MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

Classical and New Paradigms of Computation and their Complexity Hierarchies : Papers of the conference "Foundations of the Formal Sciences III"

Published 2004

Springer Netherlands

Subjects: “...Computer science...”

Cover Image

2

The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

4

How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

5

New Computational Paradigms : Changing Conceptions of What is Computable

Published 2008

Springer New York

Subjects: “...Computer science...”

Cover Image

6

Logic and the Foundations of Game and Decision Theory - LOFT 8 : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

8

New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

9

Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

10

Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

11

Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

12

Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

13

Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Published 2009

Springer Berlin Heidelberg

Subjects: “...Computer science...”