German English

Save

Analyse Set

Logout

 
 
 
 

______________

GöDiscovery


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 SUB

1 - 10 of 44
previous page      next page
* results  search EADD 000 (Computability and recursion theory {Mathematics})
Books 1.  Algorithmics : the spirit of computing
/ Harel, David. - 2. ed. - Reading, Mass. [u.a.] : Addison-Wesley, 1992
Books 2.  Algebraische Theorie abstrakter Automaten, formaler Sprachen und Halbgruppen : mit 4 Tabellen
/ Arbib, Michael A.. - Berlin : Akad.-Verl., 1973
Books 3.  Introduction to algorithms : a creative approach
/ Manber, Udi. - Reading, Mass. [u.a.] : Addison-Wesley, 1989
Books 4.  Word processing in groups
/ Epstein, David B. A.. - Boston [u.a.] : Jones and Bartlett Publishers, 1992
Books 5.  Fixed point constructions in various theories of mathematical logic
/ Sommaruga-Rosolemos, Giovanni. - Napoli : Bibliopolis, 1991
Books 6.  Introduction à la calculabilité
/ Wolper, Pierre. - Paris : InterEditions, 1991
Books 7.  Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, Leuven, Belgium, 21-24 September 1992
/ Claesen, Luc J. M.. - Amsterdam [u.a.] : North-Holland, 1993
Books 8.  Introduction to algorithms
/ Cormen, Thomas H.. - 8. printing. - Cambridge, Mass. [u.a.] : MIT Press [u.a.], 1992
Books 9.  Digitale Systeme : Grundlagen
/ Wunsch, Gerhard. - 4. Aufl. - Berlin : Springer, 1993
Books 10.  Rekursionstheorie
/ Oberschelp, Arnold. - Mannheim [u.a.] : BI-Wiss.-Verl., 1993
1 - 10 of 44
previous page      next page
 
1 - 10 of 44
previous page      next page