Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
by
 
Jurgensen, Helmut. editor.

Title
: 
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Author
: 
Jurgensen, Helmut. editor.

ISBN
: 
9783642393105

Physical Description
: 
X, 289 p. 56 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 8031

Subject Term
: 
Computer science.
 
Computer software.
 
Logic design.
 
Computational complexity.
 
Computation by Abstract Devices.
 
Mathematical Logic and Formal Languages.
 
Logics and Meanings of Programs.
 
Algorithm Analysis and Problem Complexity.
 
Discrete Mathematics in Computer Science.

Added Author
: 
Reis, Rogério.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-39310-5


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book334778-1001ONLINE(334778.1)Elektronik Kütüphane