馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Models of computation in context：7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings

Corporate Authors: Conference on Computability in Europe (7th 2011 Sofia, Bulgaria); SpringerLink (Online service)
Group Author: Löwe Benedikt.
Published: Springer,
Publication Dates: c2011.

Book

2

Cover is for reference only

Logic and theory of algorithms：4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings

Corporate Authors: Conference on Computability in Europe (4th 2008 Athens, Greece); SpringerLink (Online service)
Group Author: Dimitracopoulos Costas.; Löwe Benedikt.; Beckmann Arnold.
Published: Springer,
Publication Dates: 2008.

Book

3

Cover is for reference only

The nature of computation logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, proceedings /

Corporate Authors: Conference on Computability in Europe Milan, Italy); SpringerLink (Online service)
Group Author: Bonizzoni, Paola.; Brattka, Vasco, 1966-; Löwe, Benedikt.
Published:

Electronic eBook

4

Cover is for reference only

Mathematical theory and computational practice：5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings

Corporate Authors: Conference on Computability in Europe (5th 2009 Heidelberg, Germany); SpringerLink (Online service)
Group Author: (Klaus); Löwe Benedikt.; Merkle Wolfgang.; Ambos-Spies K.
Published: Springer,
Publication Dates: c2009.

Book

5

Cover is for reference only

Logic and the foundations of game and decision theory - LOFT 8：8th international conference, Amsterdam, the Netherlands, July 3-5, 2008 : revised selected papers

Corporate Authors: International Conference on Logic and the Foundations of Game and Decision Theory (8th 2008 Amsterdam, Netherlands); SpringerLink (Online service)
Group Author: Löwe Benedikt.; Hoek W. van der; (Wiebe); Bonanno Giacomo.
Published: Springer,
Publication Dates: c2010.

Book

6

Cover is for reference only

New computational paradigms：First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings

Corporate Authors: Conference on Computability in Europe (1st 2005 Amsterdam, Netherlands); SpringerLink (Online service)
Group Author: Cooper S. B.; (S. Barry); Löwe Benedikt.; Torenvliet Leen.
Published: Springer,
Publication Dates: c2005.

Book

7

Cover is for reference only

Computation and logic in the real world：Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings

Corporate Authors: Conference on Computability in Europe (3rd 2007 Siena, Italy); SpringerLink (Online service)
Group Author: (S. Barry); Löwe Benedikt.; Sorbi Andrea, 1956-; Cooper S. B.
Published: Springer,
Publication Dates: c2007.

Book

8

Cover is for reference only

New computational paradigms：changing conceptions of what is computable

Corporate Authors: SpringerLink (Online service)
Group Author: (S. Barry); Löwe Benedikt.; Sorbi Andrea, 1956-; Cooper S. B.
Published: Springer,
Publication Dates: 2008.

Book

Narrow Search