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 58
previous page      next page
* results  search [and] lkl "AHG 000"
Online resources (without periodicals) 1.  Extending the programming language XL to combine graph structures with ordinary differential equations
/ Hemmerling, Reinhard. - 2012Abstract
Books 2.  Extending the programming language XL to combine graph structures with ordinary differential equations
/ Hemmerling, Reinhard. - 2012
Books 3.  Mathematik für Informatiker : Algebra, Analysis, diskrete Strukturen
/ Kreußler, Bernd. - Berlin : Springer, [2009]
Books 4.  Proceedings of the 39th Annual ACM Symposium on Theory of Computing : San Diego, California, USA, June 11 - 13, 2007 ; [part of the Federated Computer Research Conference (FCRC)]
New York, NY : ACM Press, 2007
Books 5.  Proceedings of the 38th Annual ACM Symposium on Theory of Computing : Seattle, Washington, USA, May 21 - 23, 2006
/ Association for Computing Machinery / Special Interest Group on Algorithms and Computation Theory. - New York, NY : ACM Press, 2006
Books 6.  Algorithmic information theory : mathematics of digital information processing
/ Seibt, Peter. - Berlin : Springer, 2006
Books 7.  Logik für Informatiker
/ Kreuzer, Martin. - München [u.a.] : Pearson Studium, 2006
Books 8.  Introduction to computational science : modeling and simulation for the sciences
/ Shiflet, Angela B.. - Princeton, NJ [u.a.] : Princeton Univ. Press, 2006
Books 9.  Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings
/ Caires, Luís. - Berlin : Springer, 2005
Books 10.  Algorithmic applications in management : first international conference, AAIM 2005, Xian, China, June 22-25, 2005 ; proceedings
/ Megiddo, Nimrod. - Berlin [u.a.] : Springer, 2005
1 - 10 of 58
previous page      next page
Word   Type   Count
ahg 000 [LCL] Local classification (GOK) 58
 
1 - 10 of 58
previous page      next page