Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova
(Lecture Notes in Computer Science ; 6735)
データ種別 | 電子ブック |
---|---|
著者標目 | *Löwe, Benedikt Normann, Dag Soskov, Ivan Soskova, Alexandra SpringerLink (Online service) |
出版者 | Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg |
出版年 | 2011 |
書誌詳細を非表示
巻次 | ISBN:9783642218750 |
---|---|
大きさ | v.: digital |
本文言語 | 英語 |
件 名 | LCSH:Computer science LCSH:Computer software LCSH:Computational complexity LCSH:Algebra -- Data processing 全ての件名で検索 LCSH:Logic, Symbolic and mathematical FREE:Computer Science FREE:Computation by Abstract Devices FREE:Algorithm Analysis and Problem Complexity FREE:Discrete Mathematics in Computer Science FREE:Symbolic and Algebraic Manipulation FREE:Mathematical Logic and Foundations |
書誌ID | OB00003100 |
ISBN | 9783642218750 |
NCID | LB40006267 |