Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001797379/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b2580874.
- catalog contributor b2580875.
- catalog contributor b2580876.
- catalog contributor b2580877.
- catalog created "c1989.".
- catalog date "1989".
- catalog date "c1989.".
- catalog dateCopyrighted "c1989.".
- catalog description "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.".
- catalog extent "xi, 788 p. :".
- catalog identifier "038751371X (U.S.)".
- catalog isPartOf "Lecture notes in computer science ; 372".
- catalog issued "1989".
- catalog issued "c1989.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "511 20".
- catalog subject "Computer programming Congresses.".
- catalog subject "Machine theory Congresses.".
- catalog subject "QA267 .I23 1989".
- catalog title "Automata, languages, and programming : 16th international colloquim, Stresa, Italy, July 11-15, 1989 : proceedings / G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds.".
- catalog type "text".