UB Paderborn / Katalog / Suche / im Katalog

26 – 50 von 139

Sortiert nach

Satisfiability problem : theory and application ; DIMACS workshop March 11 - 13, 1996

DIMACS series in discrete mathematics and theoretical computer science : 35 (Alle Bände)

Du, Dingzhu[Herausgeber]

1997

Signatur: TTQ961883

The theory of computation

Moret, Bernard M

Repr. with corr., December 1997, c 1998

Signatur: TVA2788

Proceedings / 36th Annual Symposium on Foundations of Computer Science : October 23 - 25, 1995, Milwaukee, Wisconsin

Symposium on Foundations of Computer Science

1995

Signatur: TVA2958

Grundbegriffe der theoretischen Informatik

Studienreihe Informatik

Stetter, Franz

1988

Signatur: TVA2089

Interfaces in computer science and operations research : advances in metaheuristics, optimization, and stochastic modeling technologies

Operations research, computer science interfaces series : 7 (Alle Bände)

Barr, Richard S[Herausgeber]

1997

Signatur: TVA2681

Computation and reasoning : a type theory for computer science

The international series of monographs on computer science : 11 (Alle Bände)

Luo, Zhaohui

1994

Signatur: TVA2291

Data processing mathematics

Bliss, Elizabeth

1985

Signatur: TVA2047

Les mathématiques à la portée de l'ordinateur

INITIATION AUX NOUVEAUTES DE LA SCIENCE. 22. : 22 (Alle Bände)

Arnold, André

1970

Signatur: TVA1180

Theoretical foundations of computer science

1. [Dr.], 1987

Signatur: TVA2102

Superdistribution : objects as property on the electronic frontier

Cox, Brad J

1996

Signatur: TVA2576

Kryptologie

Reihe Informatik : 47 (Alle Bände)

Horster, Patrick

1985

Signatur: TVA1936

Einführung in die Theoretische Informatik : Grundlagen und Modelle

Springer-Lehrbuch

Wagner, Klaus W

1994

Signatur: TVA2356

Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Teubner-Texte zur Informatik : 26 (Alle Bände)

Desel, Jörg

1998

Signatur: TVA2704

Informatik : eine einführende Übersicht

1971-

Signatur: TVA1106

Informatik

Balzert, Helmut

Signatur: TVA1627-...

Informations- und Codierungstheorie : mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen ; mit 6 Tabellen

Springer-Lehrbuch

3., neu bearb. Aufl, 1995

Signatur: TVA1855(3)

Introductory theory of computer science

Macmillan computer science series

Krishnamurthy, Edayathumangalam V

1983

Signatur: TVA1928

Problem - Algorithmus - Programm

Grundkurs angewandte Informatik : 2 (Alle Bände), Leitfäden der Informatik

2., durchges. Aufl, 1999

Signatur: TVA2275(2)

Computability, complexity, and languages : fundamentals of theoretical computer science

Computer science and scientific computing

2. ed, 1994

Signatur: TVA1889(2)

Elementary computability, formal languages, and automata

MacNaughton, Robert

1982

Signatur: TVA1863

Informatik : eine grundlegende Einführung

Bsv-Mathematik

Signatur: TVA1350-...

Informatik. 1. Vom Problem zum Programm, [Hauptbd.].- 1976

Informatik (Alle Bände)

Balzert, Helmut

Signatur: TVA1627-1

Introduction to the theory of computation

Sipser, Michael

1997

Signatur: TVA2623

Foundations of computer science

Computer software engineering series

Carberry, M. S

2. hardcover print, 1982

Signatur: TVA1902

Computing science

1980

Signatur: TVA1740

26 – 50 von 139

Suche als RSS-Feed

Aktive Filter

SchlagwortComputer

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(136)
Nicht angegeben
(3)

Autor / Autorin

Balzert, Helmut
(8)
Bauer, Friedrich L
(7)
Schöning, Uwe
(5)
Goos, Gerhard
(4)
Symposium on Foundations of Computer Science
(4)
Wegener, Ingo
(4)
Hoffmann, Dirk W
(3)
Leeuwen, Jan <<van>>
(3)
Sipser, Michael
(3)
Symposium on Theory of Computing
(3)
Weinhart, Karl
(3)
Wunsch, Gerhard
(3)
Dewdney, Alexander K
(2)
Erk, Katrin
(2)
Heise, Werner
(2)
MacKay, David J. C
(2)
Priese, Lutz
(2)
Quattrocchi, Pasquale
(2)
Richter, Reinhard
(2)
Sander, Peter
(2)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(139)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(65)
Englisch
(55)

Systemstelle

TVA
(139)
TTQ
(9)
TVB
(3)
TVI
(2)
TWG
(2)
TCK
(1)
TCL
(1)
TUA
(1)
TVD
(1)
TVH
(1)
TWP
(1)
TWQ
(1)
TWT
(1)
TWV
(1)
YCB
(1)
YCT
(1)

11 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Satisfiability problem : theory and application ; DIMACS workshop March 11 - 13, 1996

The theory of computation

Proceedings / 36th Annual Symposium on Foundations of Computer Science : October 23 - 25, 1995, Milwaukee, Wisconsin

Grundbegriffe der theoretischen Informatik

Interfaces in computer science and operations research : advances in metaheuristics, optimization, and stochastic modeling technologies

Computation and reasoning : a type theory for computer science

Data processing mathematics

Les mathématiques à la portée de l'ordinateur

Theoretical foundations of computer science

Superdistribution : objects as property on the electronic frontier

Kryptologie

Einführung in die Theoretische Informatik : Grundlagen und Modelle

Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Informatik : eine einführende Übersicht

Informatik

Informations- und Codierungstheorie : mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen ; mit 6 Tabellen

Introductory theory of computer science

Problem - Algorithmus - Programm

Computability, complexity, and languages : fundamentals of theoretical computer science

Elementary computability, formal languages, and automata

Informatik : eine grundlegende Einführung

Informatik. 1. Vom Problem zum Programm, [Hauptbd.].- 1976

Introduction to the theory of computation

Foundations of computer science

Computing science

Aktive Filter

Suchergebnisse filtern