Automata, Languages, and Programming : Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings - Taschenbuch
1979, ISBN: 3540095101
[EAN: 9783540095101], Neubuch, [PU: Springer Berlin Heidelberg], INFORMATIK; LANGUAGE; TEXT; ALGORITHMS; CALCULUS; COMPLEXITY; FORMALLANGUAGE; LOGIC, Druck auf Anfrage Neuware - Printed a… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Automata, Languages, and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings (Lecture Notes in Computer Science) Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings Auflage: 1979 - Taschenbuch
1979, ISBN: 9783540095101
Auflage: 1979 700 Seiten 23,5 x 15,5 x 4,0 cm, Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek Versand D: 2,90 EUR calculus, Informatik, algorithms, programming, Language, com… Mehr…
buchfreund.de Mosakowski GbR, 65428 Rüsselsheim am Main Versandkosten:Versandkosten innerhalb der BRD. (EUR 2.90) Details... |
Automata, Languages, and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings (Lecture Notes in Computer Science) Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings - Taschenbuch
1979, ISBN: 3540095101
Auflage: 1979 23,5 x 15,5 x 4,0 cm, Taschenbuch 700 Seiten Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek calculus, Informatik, algorithms, programming, Language, complexity… 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... |
ISBN: 9783540095101
*Automata Languages and Programming* - Sixth Colloquium Graz Austria July 16-20 1979. Proceedings. Auflage 1979 / Taschenbuch für 138.99 € / Aus dem Bereich: Bücher, English,, Internation… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540095101
*Automata Languages and Programming* - Sixth Colloquium Graz Austria July 16-20 1979. Proceedings. Auflage 1979 / Taschenbuch für 138.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & … Mehr…
Hugendubel.de Versandkosten:Does not ship to your country., zzgl. Versandkosten Details... |
Automata, Languages, and Programming : Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings - Taschenbuch
1979, ISBN: 3540095101
[EAN: 9783540095101], Neubuch, [PU: Springer Berlin Heidelberg], INFORMATIK; LANGUAGE; TEXT; ALGORITHMS; CALCULUS; COMPLEXITY; FORMALLANGUAGE; LOGIC, Druck auf Anfrage Neuware - Printed a… Mehr…
Maurer, H. A.:
Automata, Languages, and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings (Lecture Notes in Computer Science) Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings Auflage: 1979 - Taschenbuch1979, ISBN: 9783540095101
Auflage: 1979 700 Seiten 23,5 x 15,5 x 4,0 cm, Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek Versand D: 2,90 EUR calculus, Informatik, algorithms, programming, Language, com… Mehr…
Automata, Languages, and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings (Lecture Notes in Computer Science) Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings - Taschenbuch
1979
ISBN: 3540095101
Auflage: 1979 23,5 x 15,5 x 4,0 cm, Taschenbuch 700 Seiten Taschenbuch Exemplar aus einer wissenchaftlichen Bibliothek calculus, Informatik, algorithms, programming, Language, complexity… Mehr…
ISBN: 9783540095101
*Automata Languages and Programming* - Sixth Colloquium Graz Austria July 16-20 1979. Proceedings. Auflage 1979 / Taschenbuch für 138.99 € / Aus dem Bereich: Bücher, English,, Internation… Mehr…
ISBN: 9783540095101
*Automata Languages and Programming* - Sixth Colloquium Graz Austria July 16-20 1979. Proceedings. Auflage 1979 / Taschenbuch für 138.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & … Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Automata Languages and Programming
EAN (ISBN-13): 9783540095101
ISBN (ISBN-10): 3540095101
Taschenbuch
Erscheinungsjahr: 1979
Herausgeber: Springer Berlin Heidelberg
700 Seiten
Gewicht: 1,040 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-02-28T07:37:08+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-31T10:32:22+02:00 (Zurich)
ISBN/EAN: 9783540095101
ISBN - alternative Schreibweisen:
3-540-09510-1, 978-3-540-09510-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: maurer hermann, ginsburg, rose
Titel des Buches: graz, austria, 1979, automaton, the programming language, lecture notes computer science, english computer science, automata languages and programming, colloquium, proceedings
Daten vom Verlag:
Autor/in: H. A. Maurer
Titel: Lecture Notes in Computer Science; Automata, Languages, and Programming - Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings
Verlag: Springer; Springer Berlin
688 Seiten
Erscheinungsjahr: 1979-06-01
Berlin; Heidelberg; DE
Gewicht: 2,130 kg
Sprache: Englisch
139,09 € (DE)
142,99 € (AT)
153,50 CHF (CH)
POD
XII, 688 p.
BC; Theory of Computation; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automata; Informatik; Language; Text; algorithms; calculus; complexity; formal language; logic; programming; Software Engineering/Programming and Operating Systems; Theory of Computation; Software Engineering; Software Engineering; EA
Sharing in nondeterminism.- Sur les mots sans carré définis par un morphisme.- A characterization of abstract data as model-theoretic invariants.- Inherent ambiguities in families of grammars extended abstract.- Representing complexity classes by equality sets.- Supercounter machines.- Existential quantifiers in abstract data types.- A generalization of Ginsburg and Rose's characterization of G-S-M mappings.- Strict deterministic languages and controlled rewriting systems.- A string matching algorithm fast on the average.- Functional characterization of some semantic equalities inside ?-calculus.- Arbitration and queueing under limited shared storage requirements.- On the homomorphic characterizations of families of languages.- Two level grammars: CF-grammars with equation schemes.- Proving termination with multiset orderings.- One abstract accepting algorithm for all kinds of parsers.- Studies in abstract/concrete mappings in proving algorithm correctness.- A characterization of a dot-depth two analogue of generalized definite languages.- Partitioned LL(k) grammars.- Recursion schemes and generalized interpretations.- A rational theory of AFLs.- On the succinctness of different representations of languages.- A fixed-point theorem for recursive-enumerable languages and some considerations about fixed-point semantics of monadic programs.- Hierarchic index sequential search with optimal variable block size and its minimal expected number of comparisons.- A unique termination theorem for a theory with generalised commutative axioms.- Dags and Chomsky hierarchy.- Recent advances in the probabilistic analysis of graph-theoretic algorithms.- On the average stack size of regularly distributed binary trees.- On reductions of parallel programs.- On the height of derivation trees.- The modal logic of programs.- A comparison between two variations of a pebble game on graphs.- LL(k) parsing for attributed grammars.- On eliminating nondeterminism from Turing machines which use less than logarithm worktape space.- Structure preserving transformations on non-left-recursive grammars.- The complexity of restricted minimum spanning tree problems.- A systematic approach to formal language theory through parallel rewriting.- Extending the notion of finite index.- On the complexity of general context-free language parsing and recognition.- Space-time tradeoffs for oblivious integer multiplication.- Investigating programs in terms of partial graphs.- On the power of random access machines.- An axiomatic treatment of ALGOL 68 routines.- P-selective sets, tally languages, and the behavior of polynomial time reducibilities on NP.- Constructing call-by-value continuation semantics.- A formal semantics for concurrent systems.- On constructing LL(k) parsers.- More on advice on structuring compilers and proving them correct.- Languages of nilpotent and solvable groups (extended abstract).- Unique fixed points vs. least fixed points.- A modification of the LR(k) method for constructing compact bottom-up parsers.- Optimal decomposition of linear automata.- Bracketed two-level grammars — A decidable and practical approach to language definitions.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387088600 Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17-21, 1978 (G. Ausiello)
< zum Archiv...