- 5 Résultats
prix le plus bas: € 26,95, prix le plus élevé: € 139,09, prix moyen: € 108,60
1
Automata, Languages and Programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings - Michael S. Paterson
Commander
sur ZVAB.com
€ 127,96
Envoi: € 0,001
CommanderLien sponsorisé
Michael S. Paterson:

Automata, Languages and Programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings - Livres de poche

1990, ISBN: 3540528261

[EAN: 9783540528265], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; RHETORIK (SPRACHE); SPRACHE - ZEICHENSPRACHE; AUTOMAT; LAYOUT; ALGORIT… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings Michael S. Paterson Edi
Commander
sur BarnesandNoble.com
€ 109,99
CommanderLien sponsorisé
Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings Michael S. Paterson Edi - nouveau livre

ISBN: 9783540528265

This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Scienc… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
3
Automata, languages and programming: 17th International Colloquium Warwick University, England, July 1990; Proceedings Lecture notes in computer science ; Vol. 443 - Goos, G. and J. Hartmanis
Commander
sur ZVAB.com
€ 26,95
Envoi: € 2,701
CommanderLien sponsorisé
Goos, G. and J. Hartmanis:
Automata, languages and programming: 17th International Colloquium Warwick University, England, July 1990; Proceedings Lecture notes in computer science ; Vol. 443 - Livres de poche

1990

ISBN: 3540528261

[EAN: 9783540528265], Gebraucht, sehr guter Zustand, [SC: 2.7], [PU: Springer Verlag;], IX, 780 Seiten; graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaf… Plus…

NOT NEW BOOK. Frais d'envoi EUR 2.70 books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Koblenz, Germany [1048006] [Rating: 5 (von 5)]
4
Automata Languages and Programming - Michael Paterson
Commander
sur Hugendubel.de
€ 138,99
Envoi: € 7,501
CommanderLien sponsorisé
Michael Paterson:
Automata Languages and Programming - Livres de poche

ISBN: 9783540528265

Automata Languages and Programming ab 138.99 € als Taschenbuch: 17th International Colloquium Warwick University England July 16-20 1990 Proceedings. Auflage 1990. Aus dem Bereich: Bücher… Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 7.50)
5
Automata, Languages and Programming - Michael S. Paterson
Commander
sur lehmanns.de
€ 139,09
Envoi: € 0,001
CommanderLien sponsorisé
Michael S. Paterson:
Automata, Languages and Programming - Livres de poche

1990, ISBN: 9783540528265

17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1990

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings Michael S. Paterson Edi

This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics. This volume contains five invited papers and 52 papers selected from 250 submitted.

Informations détaillées sur le livre - Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings Michael S. Paterson Edi


EAN (ISBN-13): 9783540528265
ISBN (ISBN-10): 3540528261
Livre de poche
Date de parution: 1990
Editeur: Springer Berlin Heidelberg Core >1 >T
781 Pages
Poids: 1,186 kg

Livre dans la base de données depuis 2007-02-13T03:24:08+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-01-20T06:07:09+01:00 (Paris)
ISBN/EAN: 3540528261

ISBN - Autres types d'écriture:
3-540-52826-1, 978-3-540-52826-5
Autres types d'écriture et termes associés:
Auteur du livre: paterson, geometry
Titre du livre: ing 1990, warwick, proceedings the international colloquium language, automata languages and programming, lecture notes computer science automata, language england


Données de l'éditeur

Auteur: Michael S. Paterson
Titre: Lecture Notes in Computer Science; Automata, Languages and Programming - 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
Editeur: Springer; Springer Berlin
788 Pages
Date de parution: 1990-07-02
Berlin; Heidelberg; DE
Langue: Anglais
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 788 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; Layout; algorithms; complexity; computer science; data structure; formal language; knowledge base; programming; programming language; robot; robotics; semantics; term rewriting; verification; data structures; combinatorics; algorithm analysis and problem complexity; Theory of Computation; Formal Languages and Automata Theory; Data Science; Discrete Mathematics; Algorithms; Artificial Intelligence; Datenbanken; Diskrete Mathematik; Algorithmen und Datenstrukturen; Künstliche Intelligenz; EA

LEDA: A library of efficient data types and algorithms.- A new universal class of hash functions and dynamic hashing in real time.- A complete and decidable proof system for call-by-value equalities.- Static correctness of hierarchical procedures.- Generic terms having no polymorphic types.- A complete system of B-rational identities.- On non-counting regular classes.- Two-way automata with multiplicity.- ?-Continuous semirings, algebraic systems and pushdown automata.- Nondeterministic computations in sublogarithmic space and space constructibility.- Normalizing and accelerating RAM computations and the problem of reasonable space measures.- A formal study of learning via queries.- Language learning by a “team”.- Functions as processes.- A domain-theoretic model for a higher-order process calculus.- Concurrency, automata and domains.- A theory of communicating processes with value-passing.- Analytic variations on the common subexpression problem.- Can a maximum flow be computed in o(nm) time?.- On the distributional complexity of disjointness.- Computing boolean functions on anonymous networks.- On the composition of zero-knowledge proof systems.- Additional queries to random and pseudorandom oracles.- Communication among relations.- Stability and sequentiality in dataflow networks.- Automata for modeling real-time systems.- Markov decision processes and regular events.- Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond.- Nonoblivious normalization algorithms for nonlinear rewrite systems.- Algebraic properties of idempotent substitutions.- Determining the separation of preprocessed polyhedra — A unified approach.- Randomized incremental construction of delaunay and Voronoi diagrams.- Merging free trees in parallel for efficient voronoidiagram construction.- Local optimization and the Traveling Salesman Problem.- Polynomial-time approximation algorithms for the ising model.- On parallelizing graph-partitioning heuristics.- Iterated substitutions and locally catenative systems: a decidability result in the binary case.- Decomposition of partial commutations.- Boolean closure and unambiguity of rational sets.- Compositionality through an operational semantics of contexts.- Structural and behavioural equivalences of networks.- Proving partial order liveness properties.- A proof system for the parallel object-oriented language POOL.- A new approach to maximum matching in general graphs.- On-line graph algorithms with SPQR-trees.- On the bit-complexity of discrete solutions of PDEs: Compact multigrid.- An efficient algorithm for branching bisimulation and stuttering equivalence.- Partial evaluation, self-application and types.- Provable computable functions on abstract data types.- Equational formulas in order-sorted algebras.- An input-size/output-size trade-off in the time-complexity of rectilinear hidden surface removal.- Approximation of convex polygons.- On the rectilinear art gallery problem.- On parallel hashing and integer sorting.- The parallel simplicity of compaction and chaining.- The importance of the left merge operator in process algebras.- Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9780387528267 Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings (I C A L P//AUTOMATA, LANGUAGES, AND PROGRAMMING) (Michael S. Paterson)


< pour archiver...