Limit Search Results
Author
SpringerLink (Online service)
(30)
Deiser, Oliver. author.
(3)
Hoffmann, Dirk W. author.
(3)
Priese, Lutz. author.
(2)
Academia Republicii Socialiste România.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
35 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?
Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?
Author 
Schenke, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338349.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2295-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Entwurf integrierter 3D-Systeme der Elektronik
Entwurf integrierter 3D-Systeme der Elektronik
Author 
Lienig, Jens. editor. Dietrich, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30572-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Formale Grundlagen der Programmierung
Formale Grundlagen der Programmierung
Author 
Nebel, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Recht ex machina Formalisierung des Rechts im Internet der Dienste
Recht ex machina Formalisierung des Rechts im Internet der Dienste
Author 
Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17671-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Kreativität und Form Programm eines Glasperlenspiels zum Experimentieren mit Wissen
Kreativität und Form Programm eines Glasperlenspiels zum Experimentieren mit Wissen
Author 
Zimmermann, Rainer E. author. Wiedemann, Simon M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27521-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Technische Informatik Band 2: Entwurf digitaler Schaltungen
Technische Informatik Band 2: Entwurf digitaler Schaltungen
Author 
Kemnitz, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17447-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2560-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Cantor und die Franzosen Mathematik, Philosophie und das Unendliche
Cantor und die Franzosen Mathematik, Philosophie und das Unendliche
Author 
Décaillot, Anne-Marie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14869-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Mathematische Logik
Mathematische Logik
Author 
Ziegler, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0652-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
Author 
Deiser, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01445-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Edmund Husserl. Untersuchungen zur Urteilstheorie Texte aus dem Nachlass (1893-1918)
Edmund Husserl. Untersuchungen zur Urteilstheorie Texte aus dem Nachlass (1893-1918)
Author 
Rollinger, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6897-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Logische Grundlagen der Mathematik
Logische Grundlagen der Mathematik
Author 
Schindler, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95932-8
Format: 
Availability 
Online Library~1
Available:
Copies: