Coverart for item
The Resource Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings, part II, Luca Aceto ... [et al.] (eds.), (electronic resource)

Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings, part II, Luca Aceto ... [et al.] (eds.), (electronic resource)

Label
Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings, part II
Title
Automata, languages and programming
Title remainder
35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings, part II
Statement of responsibility
Luca Aceto ... [et al.] (eds.)
Title variation
ICALP 2008
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
CaPaEBR
LC call number
QA267
LC item number
.I58 2008eb
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
International Colloquium on Automata, Languages, and Programming
http://library.link/vocab/relatedWorkOrContributorName
  • Aceto, Luca
  • ebrary, Inc
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
5126
http://library.link/vocab/subjectName
  • Machine theory
  • Formal languages
  • Computer programming
Summary expansion
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5126 contains 56 contributions of track B and track C selected from 208 submissions and 2 invited lectures. The papers for track B are organized in topical sections on bounds, distributed computation, real-time and probabilistic systems, logic and complexity, words and trees, nonstandard models of computation, reasoning about computation, and verification. The papers of track C cover topics in security and cryptography such as theory, secure computation, two-party protocols and zero-knowledge, encryption with special properties/quantum cryptography, various types of hashing, as well as public-key cryptography and authentication
Label
Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings, part II, Luca Aceto ... [et al.] (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000355448
Dimensions
unknown
Isbn
9783540705833
Isbn Type
(e-book)
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355448
Label
Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings, part II, Luca Aceto ... [et al.] (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000355448
Dimensions
unknown
Isbn
9783540705833
Isbn Type
(e-book)
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355448

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...