Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003468541/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract ""The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such 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 data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions."--PUBLISHER'S WEBSITE.".
- catalog contributor b5029944.
- catalog contributor b5029945.
- catalog contributor b5029946.
- catalog contributor b5029947.
- catalog contributor b5029948.
- catalog created "c1993.".
- catalog date "1993".
- catalog date "c1993.".
- catalog dateCopyrighted "c1993.".
- catalog description ""The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such 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 data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "xii, 697 p. :".
- catalog identifier "0387569391 (Springer-Verlag New York Berlin Heidelberg)".
- catalog identifier "3540569391 (Springer-Verlag Berlin Heidelberg New York)".
- catalog isPartOf "Lecture notes in computer science ; 700".
- catalog issued "1993".
- catalog issued "c1993.".
- catalog language "eng".
- catalog publisher "Berlin : New York : Springer-Verlag,".
- catalog subject "Computer programming Congresses.".
- catalog subject "Formal languages Congresses.".
- catalog subject "Machine theory Congresses.".
- catalog subject "QA267 .A9228 1993".
- catalog title "Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas, R. Karlsson, S. Carlsson (eds.)".
- catalog type "Conference proceedings. fast".
- catalog type "Jerusalem (1994) swd".
- catalog type "Lund (1993) swd".
- catalog type "text".