Coverart for item
The Resource Theoretical aspects of computing : ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 : proceedings, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.), (electronic resource)

Theoretical aspects of computing : ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 : proceedings, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.), (electronic resource)

Label
Theoretical aspects of computing : ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 : proceedings
Title
Theoretical aspects of computing
Title remainder
ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 : proceedings
Statement of responsibility
John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
CaPaEBR
LC call number
QA76
LC item number
.I28 2008eb
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
ICTAC 2008
http://library.link/vocab/relatedWorkOrContributorDate
1965-
http://library.link/vocab/relatedWorkOrContributorName
  • Fitzgerald, John
  • Haxthausen, Anne E
  • Yenigun, Husnu
  • ebrary, Inc
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
5160
http://library.link/vocab/subjectName
  • Electronic data processing
  • Information theory
Summary expansion
This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. The 27 revised full papers were carefully reviewed and selected from over 70 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development
Label
Theoretical aspects of computing : ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 : proceedings, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000355637
Dimensions
unknown
Isbn
9783540857617
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355637
Label
Theoretical aspects of computing : ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 : proceedings, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000355637
Dimensions
unknown
Isbn
9783540857617
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355637

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 ...