Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 
 


Ergebnis der Suche nach: dcs=005*
im Bestand: Gesamter Bestand

2941 - 2948 von 2948
<< < > >>


Bücher 2941 Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice
Kutzner, Arne, 2000 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2942 Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen
Heinlein, Christian, 2000, [Online-Ausg.] 		Online Ressource
Bücher 2943 Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2944 Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999 		Online Ressource
Bücher 2945 Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2946 Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999 		Online Ressource
Bücher 2947 Design and implementation of the parallel functional language Eden
Breitinger, Silvia, 1998 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2948 Polymorphic type interference for object oriented programming languages
Hense, Andreas V.. - Saarbrücken : Pirrot, 1994 		Vorhanden in Leipzig Vorhanden in Frankfurt


2941 - 2948 von 2948
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (2948)

Standorte

Alle Standorte > Leipzig (2948)

Aktionen

Aktionen


E-Mail-IconAdministration