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

Başlık
: 
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Yazar
: 
Jurgensen, Helmut. editor.

ISBN
: 
9783642393105

Fiziksel Tanımlama
: 
X, 289 p. 56 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 8031

Konu Terimleri
: 
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.

Yazar Ek Girişi
: 
Reis, Rogério.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
http://dx.doi.org/10.1007/978-3-642-39310-5


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap334778-1001ONLINE(334778.1)Elektronik Kütüphane