Zum Inhalt springen

Löwe, Benedikt [Herausgeber:in] ; Conference on Computability in Europe 7 2011 Sofia

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6735
Sipser, Michael [Verfasser:in]

Introduction to the theory of computation - [2. ed., international ed.]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston, Mass. [u.a.]: Thomson, 2006
Beckmann, Arnold [Herausgeber:in]; Berger, Ulrich [Herausgeber:in]; Löwe, Benedikt [Herausgeber:in]; Tucker, John V. [Herausgeber:in] ; Conference on Computability in Europe 2 2006 Swansea

Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 3988
Cooper, S. Barry [Sonstige Person, Familie und Körperschaft]; Cooper, Stuart B. [Herausgeber:in] ; Conference on Computability in Europe 1 2005 Amsterdam

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3526
Mogensen, Torben Æ. [Herausgeber:in]; Jones, Neil D. [Gefeierte:r]

The essence of computation : complexity, analysis, transformation ; essays dedicated to Neil D. Jones

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Lecture notes in computer science ; 2566
Chen, Jianer [Herausgeber:in]; Cooper, S. Barry [Sonstige Person, Familie und Körperschaft] ; TAMC 6 2009 Changsha

Theory and applications of models of computation : 6th annual conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5532
Agrawal, Manindra [Herausgeber:in]; Du, Dingzhu [Sonstige Person, Familie und Körperschaft]; Duan, Zhenhua [Sonstige Person, Familie und Körperschaft]; Li, Angsheng [Sonstige Person, Familie und Körperschaft] ; TAMC 5 2008 Xi'an

Theory and applications of models of computation : 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4978
Cai, Jin-Yi [Herausgeber:in]; Cooper, S. Barry [Sonstige Person, Familie und Körperschaft] ; TAMC 4 2007 Schanghai

Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22 - 25, 2007 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4484
Hoßfeld, Friedel [Verfasser:in]; Hossfeld, Friedel H. W. [Verfasser:in]

Komplexität und Berechenbarkeit : über die Möglichkeiten und Grenzen des Computers ; [449. Sitzung am 6. Oktober 1999 in Düsseldorf]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiesbaden: Westdt. Verl., 2000

Erschienen in: Nordrhein-Westfälische Akademie der Wissenschaften: Vorträge / N ; 448
Dinneen, Michael J. [Herausgeber:in]; Calude, Cristian [Gefeierte:r] ; WTCS 2012 Auckland

Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012 ; dedicated to Cristian S. Calude on the occasion of his 60th birthday ; Auckland, New Zealand, February 21 - 24, 2012 ; revised selected and invited papers

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2012

Erschienen in: Lecture notes in computer science ; 7160
Chaitin, Gregory J. [Verfasser:in]

The limits of mathematics : a course on information theory and the limits of formal reasoning

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Singapore; [Heidelberg]: Springer, 1998

Erschienen in: Springer series in discrete mathematics and theoretical computer science
Hertling, Peter [Herausgeber:in] ; International Seminar on Reliable Implementation of Real Number Algorithms: Theory and Practice 2006 Dagstuhl

Reliable implementation of real number algorithms : theory and practice ; international seminar, Dagstuhl Castle, Germany, January 8 - 13, 2006 ; revised papers

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5045
Cai, Jin-Yi [Herausgeber:in]; Cooper, Stuart B. [Sonstige Person, Familie und Körperschaft]; Li, Angsheng [Sonstige Person, Familie und Körperschaft] ; TAMC 3 2006 Peking

Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 3959
Ferreira, Fernando [Herausgeber:in]; Löwe, Benedikt [Sonstige Person, Familie und Körperschaft]; Mayordomo, Elvira [Sonstige Person, Familie und Körperschaft]; Mendes Gomes, Luís [Sonstige Person, Familie und Körperschaft] ; Conference on Computability in Europe 6 2010 Ponta Delgada

Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6158
Beckmann, Arnold [Herausgeber:in]; Bienvenu, Laurent [Herausgeber:in]; Jonoska, Nataša [Herausgeber:in]

Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer, 2016

Erschienen in: Lecture notes in computer science ; 9709
Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Chen, Jianer [Sonstige Person, Familie und Körperschaft]; Cooper, Stuart B. [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]

Theory and Applications of Models of Computation : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Erschienen in: Lecture notes in computer science ; 5532
Agrawal, Manindra [Sonstige Person, Familie und Körperschaft]; Du, Dingzhu [Sonstige Person, Familie und Körperschaft]; Duan, Zhenhua [Sonstige Person, Familie und Körperschaft]; Li, Angsheng [Sonstige Person, Familie und Körperschaft]

Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Erschienen in: Lecture notes in computer science ; 4978
Kari, Jarkko [Herausgeber:in]; Manea, Florin [Herausgeber:in]; Petre, Ion [Herausgeber:in]

Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer, 2017

Erschienen in: Lecture notes in computer science ; 10307
Bonizzoni, Paola [Verfasser:in] ; Brattka, Vasco [Sonstige Person, Familie und Körperschaft]; Löwe, Benedikt [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2013

Erschienen in: Lecture notes in computer science ; 7921
Löwe, Benedikt [Verfasser:in] ; Normann, Dag [Sonstige Person, Familie und Körperschaft]; Soskov, Ivan [Sonstige Person, Familie und Körperschaft]; Soskova, Alexandra [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Erschienen in: Lecture notes in computer science ; 6735

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr