Coverart for item
The Resource Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings, Serge Abiteboul, Eli Shamir (eds.)

Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings, Serge Abiteboul, Eli Shamir (eds.)

Label
Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings
Title
Automata, languages and programming
Title remainder
21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings
Statement of responsibility
Serge Abiteboul, Eli Shamir (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
  • "This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers selected from 154 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on theory of computation, automata and computation models, expressive power, automata and concurrency, pattern matching, data structures, computational complexity, logic and verification, formal languages, term rewriting, algorithms and communications, graph algorithms, randomized complexity, various algorithms."--PUBLISHER'S WEBSITE
  • "This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers selected from 154 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on theory of computation, automata and computation models, expressive power, automata and concurrency, pattern matching, data structures, computational complexity, logic and verification, formal languages, term rewriting, algorithms and communications, graph algorithms, randomized complexity, various algorithms."--PUBLISHER'S WEBSITE
Related
Member of
Cataloging source
RRR
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1994
http://bibfra.me/vocab/lite/meetingName
International Colloquium on Automata, Languages, and Programming
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Abiteboul, S.
  • Shamir, Eli
  • European Association for Theoretical Computer Science
Series statement
Lecture notes in computer science
Series volume
820
http://library.link/vocab/subjectName
  • Machine theory
  • Formal languages
  • Computer programming
Label
Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings, Serge Abiteboul, Eli Shamir (eds.)
Instantiates
Publication
Note
ICALP (International Colloquium on Automata, Languages, and Programming) is sponsored by the European Association for Theoretical Computer Science
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
30823453
Dimensions
24 cm
Extent
xiii, 644 pages
Isbn
9780387582016
Isbn Type
(Springer-Verlag New York Berlin Heidelberg)
Lccn
lum94045100
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1591811
Label
Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings, Serge Abiteboul, Eli Shamir (eds.)
Publication
Note
ICALP (International Colloquium on Automata, Languages, and Programming) is sponsored by the European Association for Theoretical Computer Science
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
30823453
Dimensions
24 cm
Extent
xiii, 644 pages
Isbn
9780387582016
Isbn Type
(Springer-Verlag New York Berlin Heidelberg)
Lccn
lum94045100
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1591811

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...