Automata, Languages and Programming

Giorgio Ausiello

ISBN 10: 354051371X / ISBN 13: 9783540513711

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1989, 1989

Beschreibung

This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 804 pp. Englisch.

Bestandsnummer des Verkäufers 9783540513711

Bibliografische Details

• Titel: Automata, Languages and Programming
• Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1989
• Erscheinungsjahr: 1989
• Sprache: Englisch
• ISBN-10: 354051371X
• ISBN-13: 9783540513711
• Einband: Taschenbuch
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

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.