搜尋書籍

搜尋「edited by B. S. Cooper, Benedikt Lowe, Torenvliet, Leen.」的結果： 找到 37,089 本書籍， 0 個書架

New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings 館藏
edited by B. S. Cooper, Benedikt Lowe, Torenvliet, Leen.
Springer-Verlag GmbH.
2005
ISBN 9783540322665 (electronic bk.) ; 9783540261797 (paper)
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings 館藏
edited by S. Barry Cooper, Anuj Dawar, Benedikt Lowe.
Springer Berlin Heidelberg
2012
ISBN 9783642308703 (electronic bk.) ; 9783642308697 (paper)
New Computational Paradigms : Changing Conceptions of What is Computable 館藏
edited by S. Barry Cooper, Benedikt Lowe, Andrea Sorbi.
Springer Science+Business Media, LLC
2008
ISBN 9780387685465 (electronic bk.) ; 9780387360331 (paper)
Classical and new paradigms of computation and their complexity hierarchies : papers of the conference "Foundations of the Formal Sciences III" 館藏
edited by Benedikt Lowe, Boris Piwinger and Thoralf Rasch.
Kluwer Academic Publishers
c2004.
ISBN 9781402027765 (electronic bk.) ; 9781402027758 (paper)
Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings 館藏
edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Lowe.
Springer-Verlag Berlin Heidelberg
2008
ISBN 9783540694076 (electronic bk.) ; 9783540694052 (paper)
Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings 館藏
edited by Klaus Ambos-Spies, Benedikt Lowe, Wolfgang Merkle.
Springer Berlin Heidelberg
2009
ISBN 9783642030734 (electronic bk.) ; 9783642030727 (paper)
查看全部 37,089 本書籍

沒有找到相關書架

請嘗試其他關鍵字