Katalog der Deutschen Nationalbibliothek

Neuigkeiten Geänderte Servicezeiten ab 1. März 2019 an der Information in Frankfurt am Main: Montag bis Freitag von 9–12 Uhr und 13–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours as of 1 March 2019 at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–12:00 and 13:00–18:00, Saturday: 10:00–16:00
 
 
 


Ergebnis der Suche nach: "SEKI" and "Report"
im Bestand: Gesamter Bestand

11 - 20 von 151
<< < > >>


Bücher 11 Hilbert's epsilon as an operator of indefinite committed choice
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 12 A calculus independent proof data structure
Dietrich, Dominik. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 13 A dialogue manager for the DIALOG demonstrator
Buckley, Mark. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 14 A proof representation
Berkelhammer, Jessi. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 15 Gender biased adaptations in educational adaptive hypermedia
Melis, Erica. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 16 Lim+, δ+ [delta+], and non-permutability of β-steps [beta-steps]
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 17 Proof planning limit problems with multiple strategies
Meier, Andreas. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 18 The new standard tactics of the inductive theorem prover QuodLibet
Schmidt-Samoa, Tobias. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 19 The proof planners of ŌMEGA
Meier, Andreas. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 20 An approach to assertion application via generalised resolution
Vo, Quoc-Bao. - Saarbrücken : Univ., Fachbereich Informatik, 2003
Vorhanden in Leipzig Vorhanden in Frankfurt


11 - 20 von 151
<< < > >>


E-Mail-IconAdministration