Automata, Languages and Programming : Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings - Taschenbuch
1980, ISBN: 3540100032
[EAN: 9783540100034], New book, [SC: 12.19], [PU: Springer Berlin Heidelberg], AUTOMATION - AUTOMATISIERUNG; INFORMATIK; TURING; ALGORITHMS; COMPLEXITY; DERIVATION; HASHTABLE; PROGRAMMING… Mehr…
| ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (of 5)] NEW BOOK. Versandkosten: EUR 12.19 Details... |
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science, 85, Band 85) - Taschenbuch
2008, ISBN: 9783540100034
Springer, Taschenbuch, Auflage: 1980, 688 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 0.94 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
| amazon.de Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science, 85, Band 85) - Taschenbuch
2008, ISBN: 9783540100034
Springer, Taschenbuch, Auflage: 1980, 688 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 0.94 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
| amazon.de |
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science) Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings - Taschenbuch
2013, ISBN: 3540100032
Auflage: 1980 23,5 x 15,5 x 3,9 cm, Taschenbuch 688 Seiten Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek Turing, Languages, algorithms, Programming, derivation, hash table,… Mehr…
| Achtung-Buecher.de Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1980, ISBN: 9783540100034
Softcover book. 674 pages. Published by Springer Berlin / Heidelberg (1980) Media > Book, [PU: Springer, Berlin/Heidelberg]
| BetterWorldBooks.com used in stock. Versandkosten:zzgl. Versandkosten. Details... |
Automata, Languages and Programming : Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings - Taschenbuch
1980, ISBN: 3540100032
[EAN: 9783540100034], New book, [SC: 12.19], [PU: Springer Berlin Heidelberg], AUTOMATION - AUTOMATISIERUNG; INFORMATIK; TURING; ALGORITHMS; COMPLEXITY; DERIVATION; HASHTABLE; PROGRAMMING… Mehr…
Bakker, J.W. de, Leeuwen, J. van:
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science, 85, Band 85) - Taschenbuch2008, ISBN: 9783540100034
Springer, Taschenbuch, Auflage: 1980, 688 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 0.94 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science, 85, Band 85) - Taschenbuch
2008
ISBN: 9783540100034
Springer, Taschenbuch, Auflage: 1980, 688 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 0.94 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science) Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings - Taschenbuch
2013, ISBN: 3540100032
Auflage: 1980 23,5 x 15,5 x 3,9 cm, Taschenbuch 688 Seiten Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek Turing, Languages, algorithms, Programming, derivation, hash table,… Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science, 85, Band 85)
EAN (ISBN-13): 9783540100034
ISBN (ISBN-10): 3540100032
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer
671 Seiten
Gewicht: 1,017 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-21T11:21:21+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-31T10:32:22+02:00 (Zurich)
ISBN/EAN: 9783540100034
ISBN - alternative Schreibweisen:
3-540-10003-2, 978-3-540-10003-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: leeuwen van, bakker, jan worst, leeuw van
Titel des Buches: language science, programming languages, automata, west berlin mauer, springer, the netherlands, lecture notes computer science, seven languages, july, colloquium, proceedings
Daten vom Verlag:
Autor/in: J. W. de Bakker; J. van Leeuwen
Titel: Lecture Notes in Computer Science; Automata, Languages and Programming - Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings
Verlag: Springer; Springer Berlin
671 Seiten
Erscheinungsjahr: 1980-06-01
Berlin; Heidelberg; DE
Sprache: Englisch
50,28 € (DE)
51,69 € (AT)
63,12 CHF (CH)
Available
X, 671 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Automata; Informatik; Languages; Programming; Turing; algorithms; complexity; derivation; hash table; programming language; Programming Techniques; Theory of Computation; Formal Languages and Automata Theory; Theoretische Informatik; EA
How to get rid of pseudoterminals.- Test sets for homomorphism equivalence on context free languages.- Languages with homomorphic replacements.- Functions equivalent to integer multiplication.- Languages with reducing reflexive types.- Semantics of unbounded nondeterminism.- A shifting algorithm for min-max tree partitioning.- A characterisation of computable data types by means of a finite equational specification method.- A note on sweeping automata.- Border rank of a p×q×2 tensor and the optimal approximation of a pair of bilinear forms.- Derivations et reductions dans les grammaires algebrioues.- Semantic analysis of communicating sequential processes.- Dos systems and languages.- Algebraic implementation of abstract data types: concept, syntax, semantics and correctness.- Parameterized data types in algebraic specification languages.- Characterizing correctness properties of parallel programs using fixpoints.- Formal properties of one-visit and multi-pass attribute grammars (extended abstract).- Cryptocomplexity and NP-completeness.- On the analysis of tree-matching algorithms.- Generating and searching sets induced by networks.- The complexity of the inequivalence problem for regular expressions with intersection.- An almost linear time algorithm for computing a dependency basis in a relational data base.- Bipolar synchronization systems.- Testing of properties of finite algebras.- A transaction model.- On observing nondeterminism and concurrency.- Terminal algebra semantics and retractions for abstract data types.- The complexity of semilinear sets.- A theory of nondeterminism.- A representation theorem for models of *-free PDL.- Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions.- Symmertricspace-bounded computation (extended abstract).- On some properties of local testability.- Semantics :Algebras,fixed points,axioms.- Measuring the expressive power of dynamic logics: An application of abstract model theory.- Pebbling mountain ranges and its application to DCFL-recognition.- Space-restricted attribute grammars.- A constructive approach to compiler correctness.- A worst-case analysis of nearest neighbor searching by projection.- Proprietes syntactiques du produit non ambigu.- On the optimal assignment of attributes to passes in multi-pass attribute evaluators.- Optimal unbounded search strategies.- A "fast implementation" of a multidimensional storage into a tree storage.- Grammatical families.- Partitioned chain grammars.- An improved program for constructing open hash tables.- On the power of commutativity in cryptography.- Characterizations of the LL(k) property.- Computability in categories.- On the size complexity of monotone formulas.- Reversible computing.- The use of metasystem transition in theorem proving and program optimization.- On the power of real-time turing machines under varying specifications.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387123172 Automata, Languages, and Programming (Diaz, J.)
- 9780387123172 Automata, Languages, and Programming (Diaz, J.)
- 9780387088600 Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17-21, 1978 (G. Ausiello)
- 9783540088608 Automata Languages and Programming (Giorgio Ausiello/ C. Böhm)
- Automata, Languages, and Programming Lecture Notes in Computer Science (Loeckx, J)
- Automata, Languages and Programming (Maurer, Hermann)
< zum Archiv...