Skip to contents

Wegener, Ingo [Author]

Kompendium theoretische Informatik - eine Ideensammlung

View online
Schließen

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

View online
Schließen

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
Schöning, Uwe [Author]

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

View online
Schließen

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.]

View online
Schließen

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.]

View online
Schließen

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

View online
Schließen

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

View online
Schließen

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

View online
Schließen

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

View online
Schließen

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

View online
Schließen

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
Krämer, Sybille [Author]

Symbolische Maschinen : die Idee der Formalisierung in geschichtlichem Abriß

View online
Schließen

Close

Bookmarks

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

Darmstadt: Wissenschaftliche Buchgesellschaft, 1988
Brauer, Wilfried [Editor]; Rozenberg, Grzegorz [Honoree]

Formal and natural computing : essays dedicated to Grzegorz Rozenberg

View online
Schließen

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]

View online
Schließen

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]
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

View online
Schließen

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

View online
Schließen

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
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

View online
Schließen

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
Ben-David, Shai [Editor]; Case, John [Other]; Maruoka, Akira [Other] ; ALT 15 2004 Padua

Algorithmic learning theory : 15th international conference, ALT 2004, Padova, Italy, October 2 - 5, 2004 ; proceedings

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3244
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

View online
Schließen

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

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