Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juli 1992
Genre:	EDV / Informatik
	algorithmanalysisandproblemcomplexity / Algorithmen und Datenstrukturen / Algorithms / Automat / Automata / Combinatorics / complexity / Computability / Concurrency / datastructures / Datenbanken / Datenmanagement / formallanguage / Graph / linearoptimization / Logic / programminglanguage / Symbol / theoreticalcomputerscience / Theoretische Informatik / Verification mehr...
ISBN:	9783540557197
EAN-Code:	9783540557197
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 40 mm
Gewicht:	1095 gr
Seiten:	736
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This volume presents the proceedings of the 19th International Colloquium onAutomata, Languages, and Programming (ICALP 92) in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP is a broadly based conference covering all aspects of theoretical computer science, including such topics as computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design andlayout, parallel and distributed computation, theory of concurrency, and theory of robotics. The papers in the volume are grouped into thematic parts corresponding to their order of presentation at ICALP 92.