Theoretical Computer Science

Concepts to cope with: a) what can be accomplished in a fully automated fashion (algorithmically solvable) b) How to measure the inherent difficulty of tasks (problems) c) What is randomness and how can it be useful? d) What is nondeterminism and what role does it play in CS? e) How to represent infinite objects by finite automata and grammars?

AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Introduction to the theory of computation

Michael Sipser

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.040.02.2 1997 3 / 4 Theoretical Computer Science Available
Textbook.B.040.02.3 1997 3 / 4 Theoretical Computer Science Available
Textbook.B.040.02.4 1997 3 / 4 Theoretical Computer Science Available
ID.97.1 1997 Available
Textbook.B.040.08.2 2013 3 / 4 Theoretical Computer Science On-site use only
Textbook.B.040.02.1 1997 3 / 4 Theoretical Computer Science On-site use only
Textbook.B.040.08.1 2013 3 / 4 Theoretical Computer Science Unavailable
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Theoretische Informatik

Eine algorithmenorientierte Einführung

Ingo Wegener

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.040.07.2 2005 3 / 4 Theoretical Computer Science Available
ID.99.2 1999 Available
Textbook.B.040.07.1 2005 3 / 4 Theoretical Computer Science On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Introduction to automata theory, languages, and computation

John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.040.04.2 2007 3 / 4 Theoretical Computer Science Available
Textbook.B.040.04.3 2007 3 / 4 Theoretical Computer Science Available
Textbook.B.040.04.4 2007 3 / 4 Theoretical Computer Science Available
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION

Theoretische Informatik

Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Alexander Asteroth, Christel Baier

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.040.01.2 2003 3 / 4 Theoretical Computer Science Available
ID.02.6 2002 Available
Textbook.B.040.01.1 2003 3 / 4 Theoretical Computer Science On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Theoretical computer science

Introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography

Juraj Hromkovič

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.M.044.05.1 2004 16 / 0 Methods for Design of Random Systems Available
Textbook.M.044.05.2 2004 16 / 0 Methods for Design of Random Systems Available
Textbook.M.029.06.2 2004 8 / 3 Algorithms Lab Available
Textbook.B.040.03.3 2004 3 / 4 Theoretical Computer Science Available
Textbook.B.040.03.4 2004 3 / 4 Theoretical Computer Science Available
Textbook.B.040.03.5 2004 3 / 4 Theoretical Computer Science Available
Textbook.B.040.03.6 2004 3 / 4 Theoretical Computer Science Available
doz.hromko.2004.01.2 2004 Available
Textbook.B.040.03.1 2004 3 / 4 Theoretical Computer Science On-site use only
doz.hromko.2004.01.1 2004 On-site use only
Textbook.B.040.03.2 2004 3 / 4 Theoretical Computer Science Unavailable
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Algorithmics

The spirit of computing

David Harel with Yishai Feldman

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.040.05.2 2004 3 / 4 Theoretical Computer Science Available
Textbook.B.040.05.3 2004 3 / 4 Theoretical Computer Science Available
Textbook.B.040.05.1 2004 3 / 4 Theoretical Computer Science On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Theoretische Informatik

Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie

Juraj Hromkovič

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.040.09.10 2014 3 / 4 Theoretical Computer Science Available
Textbook.B.040.09.3 2014 3 / 4 Theoretical Computer Science Available
Textbook.B.040.09.4 2014 3 / 4 Theoretical Computer Science Available
Textbook.B.040.09.5 2014 3 / 4 Theoretical Computer Science Available
Textbook.B.040.09.6 2014 3 / 4 Theoretical Computer Science Available
Textbook.B.040.09.7 2014 3 / 4 Theoretical Computer Science Available
Textbook.B.040.09.9 2014 3 / 4 Theoretical Computer Science Available
doz.hromko.2014.01.2 2014 Available
doz.hromko.2011.01.2 2011 Available
doz.hromko.2007.01.3 2007 Available
doz.hromko.2014.01.1 2014 On-site use only
doz.hromko.2011.01.1 2011 On-site use only
doz.hromko.2007.01.1 2007 On-site use only
Textbook.B.040.09.2 2014 3 / 4 Theoretical Computer Science 2.4.2024 Unavailable
Textbook.B.040.09.8 2014 3 / 4 Theoretical Computer Science 22.4.2024 Unavailable
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE

Einführung in die Automatentheorie, Formale Sprachen und Berechenbarkeit

John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.040.06.2 2011 3 / 4 Theoretical Computer Science Available
Textbook.B.040.06.3 2011 3 / 4 Theoretical Computer Science Available
ID.11.9 2011 Available
Textbook.B.040.06.1 2011 3 / 4 Theoretical Computer Science On-site use only