Coverart for item
The Resource Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.), (electronic book)

Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.), (electronic book)

Label
Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Title
Theoretical computer science
Title remainder
8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Statement of responsibility
Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.)
Title variation
TCS 2014
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification
Member of
Cataloging source
GW5XE
Dewey number
004
Illustrations
illustrations
Index
index present
LC call number
QA75.5
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2014
http://bibfra.me/vocab/lite/meetingName
IFIP International Conference on Theoretical Computer Science
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1950-
http://library.link/vocab/relatedWorkOrContributorName
  • Díaz, J.
  • Lanese, Ivan
  • Sangiorgi, Davide
Series statement
  • Lecture Notes in Computer Science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
8705
http://library.link/vocab/subjectName
  • Computer science
  • Computer science
  • Computer Science
  • Mathematical Logic and Formal Languages
  • Algorithm Analysis and Problem Complexity
  • Discrete Mathematics in Computer Science
  • Numeric Computing
Label
Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.), (electronic book)
Instantiates
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Color
multicolored
Control code
SPR889877741
Dimensions
unknown
Extent
1 online resource (xvi, 355 pages)
File format
unknown
Form of item
online
Isbn
9783662446010
Level of compression
unknown
Other control number
10.1007/978-3-662-44602-7
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.), (electronic book)
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Color
multicolored
Control code
SPR889877741
Dimensions
unknown
Extent
1 online resource (xvi, 355 pages)
File format
unknown
Form of item
online
Isbn
9783662446010
Level of compression
unknown
Other control number
10.1007/978-3-662-44602-7
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...