automata languages programming 16th (4 Ergebnisse)

Paperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 372. Ex-Library. Front cover is creased on lower leading corner and front spine side. There is a scuff on the front cover resulting from possible sticker removal. Previous owner's sticker on the front cover. Small pen inscription on title page; library catalogue sticker on colophon. Faint bumps across some edges. Foot of page block a little yellowed due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Zustand: Good. 788 pp., Paperback, ex library, some wear to cover, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Taschenbuch. Zustand: Neu. Automata, Languages and Programming | 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings | Giorgio Ausiello (u. a.) | Taschenbuch | xiv | Englisch | 1989 | Springer | EAN 9783540513711 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.