German English

Save

Analyse Set

Logout

 
 
 
 

______________

Additional catalogues and databases


Systematic search since 1994 (SUB)


Systematic search until 1945 (SUB)

______________

Video tutorials

______________

Lent or not available?
Book acquisition programme for students

______________

Home University


Home SUB

1 - 10 of 240
previous page      next page
* results  search AHF 000 (Theory of Computation {Computing})
Books 1.  Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University ...]
/ Buss, Samuel R.. - Boston [u.a.] : Birkhäuser, 1990
Books 2.  Theoretical studies in computer science
/ Ullman, Jeffrey D.. - Boston, Mass. [u.a.] : Academic Press, 1992
Books 3.  First-order programming theories
/ Gergely, Tamás. - Berlin : Springer, 1991
Books 4.  Rechnerarchitekturen
/ Everling, Wolfgang. - Mannheim [u.a.] : BI-Wissenschaftsverl., 1991
Books 5.  Skriptum Informatik : eine konventionelle Einführung
/ Appelrath, Hans-Jürgen. - 2., durchges. Aufl. - Stuttgart : Teubner [u.a.], 1992
Books 6.  Conditional logic in expert systems
/ Goodman, Irwin R.. - Amsterdam [u.a.] : North-Holland, 1991
Books 7.  Grundlagen der Informatik
/ Pepper, Peter. - München [u.a.] : Oldenbourg, 1992
Books 8.  Cancellation in context-free languages : enrichment by reduction
/ Jantzen, Matthias. - Hamburg : Universität, Fachbereich Informatik, 1992
Books 9.  π-Red+ [Pi]-Red+ : ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten l-Kalküls
/ Gärtner, Dietmar. - Kiel : Inst. für Informatik und Praktische Mathematik, 1992
Books 10.  Eine Anwendung von M-Matrizen in der VLSI-Simulation
/ Taubert, Klaus. - Hamburg : Inst. für Angewandte Mathematik der Univ., 1993
1 - 10 of 240
previous page      next page
 
1 - 10 of 240
previous page      next page