Skip to contents

Schöning, Uwe [Author]

Theoretische Informatik - kurzgefasst - [4. Aufl., korr. Nachdr.]

Close

Bookmarks

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

Heidelberg; Berlin: Spektrum, Akad. Verl., 2003

Published in: Hochschultaschenbuch
Aho, Alfred V. [Author]; Ullman, Jeffrey D. [Author]

Foundations of computer science - [C ed., 6.pr.]

Close

Bookmarks

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

New York [u.a.]: Computer Science Press, 2000

Published in: Principles of computer science series
Schöning, Uwe [Author]

Theoretische Informatik - kurzgefasst - [4. Aufl.]

Close

Bookmarks

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

Heidelberg; Berlin: Spektrum, Akad. Verl., 2001

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

Theoretische Informatik - kurzgefaßt - [3. Aufl, 1. korr. Nachdruck]

Close

Bookmarks

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

Heidelberg; Berlin: Spektrum, Akad. Verl., 1999

Published in: Spektrum-Hochschultaschenbuch
Bauer, Thomas [Author]; Dadam, Peter [Author]

A distributed execution environment for large-scale workflow management systems with subnets and server migration

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1997

Published in: Ulmer Informatik-Berichte ; 97,03
Heinlein, Christian [Author]; Dadam, Peter [Author]

Interaction expressions - a powerful formalism for describing inter-workflow dependencies

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1997

Published in: Ulmer Informatik-Berichte ; 97,04
Arvind, Vikraman [Author]; Köbler, Johannes [Author]

On pseudorandomness and resource-bounded measure

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1997

Published in: Ulmer Informatik-Berichte ; 97,05
Messner, Jochen [Author]

Pattern matching in trace monoids

Close

Bookmarks

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

Ulm: Univ., Fakultät für Informatik, 1997

Published in: Ulmer Informatik-Berichte ; 97,01
Lindner, Wolfgang [Author]; Schuler, Rainer [Author]

A small span theorem within P

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1997

Published in: Ulmer Informatik-Berichte ; 97,02
Schöning, Uwe [Author]

Theoretische Informatik - kurzgefaßt - [3. Aufl.]

Close

Bookmarks

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

Heidelberg; Berlin: Spektrum, Akad. Verl., 1997

Published in: HochschulTaschenbuch
Cyrluk, David [Author]; Möller, Oliver [Author]; Rueß, Harald [Author]

An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1996

Published in: Ulmer Informatik-Berichte ; 96,08
Biechele, Bernd [Other] ; Universität Ulm Fakultät für Informatik

Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1996

Published in: Ulmer Informatik-Berichte ; 96,09
Bartels, Falk [Other]

Formalizing fixed-point theory in PVS

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1996

Published in: Ulmer Informatik-Berichte ; 96,10
Achatz, Klaus [Author]; Partsch, Helmut [Author]

From descriptive specifications to operational ones : a powerful transformation rule, its applications and variants

Close

Bookmarks

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

Ulm: Univ., Fakultät für Informatik, 1996

Published in: Ulmer Informatik-Berichte ; 96,13
Dold, Axel [Other]

Mechanized semantics of simple imperative programming constructs

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1996

Published in: Ulmer Informatik-Berichte ; 96,11
Arvind, Vikraman [Author]; Torán, Jacobo [Author]

A nonadaptive NC checker for permutation group intersection

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1996

Published in: Ulmer Informatik-Berichte ; 96,07
Pepper, Peter [Author]

Grundlagen der Informatik - [2., verb. Aufl.]

Close

Bookmarks

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

München; Wien: Oldenbourg, 1995
Hollas, Boris [Author]

Grundkurs theoretische Informatik : mit Aufgaben und Anwendungen - [2., vollständig überarbeitete Auflage]

Close

Bookmarks

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

Berlin; Heidelberg: Springer Vieweg, [2015]
Hoffmann, Dirk W. [Author]

Theoretische Informatik : mit 26 Tabellen und 109 Aufgaben ; [im Internet: Lösungen zu den Übungsaufgaben] - [3., aktualisierte Aufl.]

Close

Bookmarks

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

[München]: Hanser, [2015]
Vossen, Gottfried [Author]; Witt, Kurt-Ulrich [Author]

Grundkurs theoretische Informatik : eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen - [5., durchges. Aufl.]

Close

Bookmarks

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

Wiesbaden: Vieweg + Teubner, 2011

Published in: Studium

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