Skip to contents

Wegener, Ingo [Author]

Kompendium theoretische Informatik - eine Ideensammlung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Teubner, 1996

Published in: Leitfäden der Informatik
Gill, Arthur [Author]

Applied algebra for the computer sciences

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, NJ: Prentice-Hall, Inc., 1976

Published in: Prentice-Hall series in automatic computation
Fokkink, Willem J. [Author] ; Fokkink, Wan [Other]

Introduction to process algebra : with 11 figures and 11 tables

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Texts in theoretical computer science- An EATCS series
Krämer, Sybille [Author]

Symbolische Maschinen : die Idee der Formalisierung in geschichtlichem Abriß

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Darmstadt: Wissenschaftliche Buchgesellschaft, 1988
Schöning, Uwe [Author]

Theoretische Informatik - kurz gefasst - [5. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg: Spektrum Akademischer Verlag, 2008

Published in: Hochschultaschenbuch
Blum, Norbert [Author]

Theoretische Informatik : eine anwendungsorientierte Einführung - [2., überarb. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 2001
Schöning, Uwe [Author]

Theoretische Informatik kurzgefaßt - [2., überarb. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg; Berlin; Oxford: Spektrum Akad. Verl., 1995

Published in: Spektrum-Lehrbuch
Schöning, Uwe [Author]

Theoretische Informatik kurz gefaßt

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1992
Loeckx, Jacques [Author]

Computability and decidability : an introduction for students of computer science

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in economics and mathematical systems ; 68
Kitaev, Aleksej Ju [Author]; Šen, Aleksandr Ch [Author]; Vjalyj, Michail N. [Author]

Classical and quantum computation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Providence, RI: American Mathematical Society, 2002

Published in: Graduate studies in mathematics ; 47
Mazurkiewicz, Antoni [Editor]

Mathematical foundations of computer science

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Warszawa: Polish Scientific Publ., 1977

Published in: Międzynarodowe Centrum Matematyczne im. Stefana Banacha: Banach Center publications ; 2
Cesa-Bianchi, Nicolò [Author]; Lugosi, Gábor [Author]

Prediction, learning, and games

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge; New York; Melbourne; Madrid: Cambridge University Press, 2006
Schönhage, Arnold [Author]; Grotefeld, Andreas F. [Author]; Vetter, Ekkehart [Author]

Fast algorithms : a multitape turing machine implementation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994
Brauer, Wilfried [Editor]; Rozenberg, Grzegorz [Honoree]

Formal and natural computing : essays dedicated to Grzegorz Rozenberg

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 2300
Sipser, Michael [Author]

Introduction to the theory of computation - [Third edition, international edition]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Australia; Brazil; Japan; Korea; Mexiko; Singapore; Spain; United Kingdom; United States: Cengage Learning, [2013]
Gavaldà, Ricard [Editor]; Lugosi, Gábor [Other]; Zeugmann, Thomas [Other]; Zilles, Sandra [Other] ; ALT 20 2009 Porto

Algorithmic learning theory : 20th international conference, ALT 2009, Porto, Portugal, October 3-5, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5809
Hutter, Marcus [Editor]; Stephan, Frank [Other]; Vovk, Vladimir [Other]; Zeugmann, Thomas [Other]; Stephan, Frank [Editor]; Vovk, Vladimir [Editor]; Zeugmann, Thomas [Editor] ; ALT 21 2010 Canberra

Algorithmic learning theory : 21st international conference, ALT 2010, Canberra, Australia, October 6-8, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6331
Freund, Yoav [Editor]; Györfi, László [Other]; Turán, György [Other]; Zeugmann, Thomas [Other] ; ALT 19 2008 Budapest

Algorithmic learning theory : 19th International Conference, ALT 2008, Budapest, Hungary, October 13 - 16, 2008; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5254
Balcázar, José Luis [Editor]; Long, Philip M. [Other]; Stephan, Frank [Other] ; ALT 17 2006 Barcelona

Algorithmic learning theory : 17th international conference, ALT 2006, Barcelona, Spain, October 7 - 10, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4264
Gavaldà, Ricard [Editor] ; ALT 14 2003 Sapporo

Algorithmic learning theory : 14th international conference, Sapporo, Japan, October 17 - 19, 2003 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 2842

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication