UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 134

Sortiert nach

Logic : a foundation for computer science

International computer science series

1991

Signatur: TVA2178

A basis for theoretical computer science

Texts and monographs in computer science, The AKM series in theoretical computer science

1981

Signatur: TVA1839

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

Computational complexity : a modern approach

Reprinted, 2009

Signatur: TVA3263

Theoretische Informatik : eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

I, Theoretische Informatik, I, Informatik

[Nachdr.], 2003

Signatur: TVA3124

Mathematische Grundlagen der Informatik

Informatik : 6 (Alle Bände)

Bachmann, Peter

1992

Signatur: TVA2209

Informatik. 2. Vom Programm zur Zentraleinheit, vom Systementwurf zum Systembetrieb. Lösungsband mit methodisch-didaktischer Einführung

Informatik (Alle Bände)

Balzert, Helmut

1980

Signatur: TVA1627-2,2

Informatik. 1. Vom Problem zum Programm, [Hauptbd

Informatik (Alle Bände)

Balzert, Helmut

2., bearb. u. erw. Aufl, 1983

Signatur: TVA1627(2)-1,1

Informatik. 1. Vom Problem zum Programm. Lösungsband mit methodisch-didaktischer Einführung

Informatik (Alle Bände)

Balzert, Helmut

3. Aufl., 2. Dr, 1984

Signatur: TVA1627(3)-1,2

Informatik. 2. Vom Programm zur Zentraleinheit, vom Systementwurf zum Systembetrieb, [Hauptbd.].- 1978

Informatik (Alle Bände)

Balzert, Helmut

Signatur: TVA1627-2,1

Informatik

Balzert, Helmut

Signatur: TVA1627-...

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

Informatik (Alle Bände)

Balzert, Helmut

Signatur: TVA1627-1

Lehrbuch Grundlagen der Informatik : Konzepte und Notationen in UML 2, Java 5, C++ und C#, Algorithmik und Software-Technik, Anwendungen ; mit CD-ROM und e-learning-Online-Kurs

Lehrbücher der Informatik

Balzert, Helmut

2. Aufl, 2005

Signatur: TVA2843(2)

Lehrbuch Grundlagen der Informatik : Konzepte und Notationen in UML, Java und C++ ; Algorithmik und Software-Technik ; Anwendungen ; mit 2 CD-ROMs

Lehrbücher der Informatik

Balzert, Helmut

1999

Signatur: TVA2843

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

Linux-Kernelprogrammierung : Algorithmen und Strukturen der Version 2.4

Linux-Specials

Beck, Michael

6., aktualisierte und erw. Aufl, 2001

Signatur: TVA2526(6)

Technische Informatik : eine Einführung

Informatik : Technische Informatik

2005

Signatur: TVA3140

Grundkurs Informatik : Grundlagen und Konzepte für die erfolgreiche IT-Praxis ; eine umfassende, praxisorientierte Einführung

Lehrbuch

5., vollst. überarb. Aufl, 2015

Signatur: TVA3093(5)

Computer mathematics

Cambridge computer science texts : 18 (Alle Bände)

1984

Signatur: TVA1960

Data processing mathematics

Bliss, Elizabeth

1985

Signatur: TVA2047

Handbook of model checking

[2018]

Signatur: TVA3328

Theoretische Informatik : eine anwendungsorientierte Einführung

Blum, Norbert

2., überarb. Aufl, 2001

Signatur: TVA3035(2)

Theoretische Informatik : Grundlagen und praktische Anwendungen

Vieweg : Lehrbuch Informatik

Brecht, Werner

1995

Signatur: TVA2322

Mathematik für Informatiker : Einführung an praktischen Beispielen aus der Welt der Computer

Brill, Manfred

2001

Signatur: TVA3001

Data refinement : model-oriented proof methods and their comparison

Cambridge tracts in theoretical computer science : 47 (Alle Bände)

1998

Signatur: TVA3166

1 – 25 von 134

Suche als RSS-Feed

Aktive Filter

Autor / AutorinBauer, Friedrich L

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(132)
Nicht angegeben
(2)

Autor / Autorin

Balzert, Helmut
(8)
Schöning, Uwe
(5)
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)
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)
Sperschneider, Volker
(2)
Stucky, Wolffried
(2)
Washington, Lawrence C
(2)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(134)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(60)
Englisch
(55)

Systemstelle

TVA
(134)
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

Logic : a foundation for computer science

A basis for theoretical computer science

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

Computational complexity : a modern approach

Theoretische Informatik : eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Mathematische Grundlagen der Informatik

Informatik. 2. Vom Programm zur Zentraleinheit, vom Systementwurf zum Systembetrieb. Lösungsband mit methodisch-didaktischer Einführung

Informatik. 1. Vom Problem zum Programm, [Hauptbd

Informatik. 1. Vom Problem zum Programm. Lösungsband mit methodisch-didaktischer Einführung

Informatik. 2. Vom Programm zur Zentraleinheit, vom Systementwurf zum Systembetrieb, [Hauptbd.].- 1978

Informatik

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

Lehrbuch Grundlagen der Informatik : Konzepte und Notationen in UML 2, Java 5, C++ und C#, Algorithmik und Software-Technik, Anwendungen ; mit CD-ROM und e-learning-Online-Kurs

Lehrbuch Grundlagen der Informatik : Konzepte und Notationen in UML, Java und C++ ; Algorithmik und Software-Technik ; Anwendungen ; mit 2 CD-ROMs

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

Linux-Kernelprogrammierung : Algorithmen und Strukturen der Version 2.4

Technische Informatik : eine Einführung

Grundkurs Informatik : Grundlagen und Konzepte für die erfolgreiche IT-Praxis ; eine umfassende, praxisorientierte Einführung

Computer mathematics

Data processing mathematics

Handbook of model checking

Theoretische Informatik : eine anwendungsorientierte Einführung

Theoretische Informatik : Grundlagen und praktische Anwendungen

Mathematik für Informatiker : Einführung an praktischen Beispielen aus der Welt der Computer

Data refinement : model-oriented proof methods and their comparison

Aktive Filter

Suchergebnisse filtern