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

2481 - 2490 von 2953
<< < > >>


Bücher 2481 Suffix arrays in theory and practice
Schürmann, Klaus-Bernd, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2482 Symbolic execution as a framework for deductive verification of object-oriented programs
Schlager, Steffen. - Göttingen : Sierke, 2007, 1. Aufl. 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2483 Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Schweitzer, Dirk Stephan, 2007 		Online Ressource
Bücher 2484 Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Schweitzer, Dirk Stephan, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2485 Syntactic and semantic modularisation of modelling languages
Grammes, Rüdiger, 2007 		Online Ressource
Bücher 2486 Syntactic and semantic modularisation of modelling languages
Grammes, Rüdiger, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2487 System support for spontaneous pervasive computing environments
Schiele, Gregor Alexander, 2007 		Online Ressource
Bücher 2488 Tamper resistance of AES
Krummel, Volker, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2489 Tamper resistance of AES
Krummel, Volker, 2007 		Online Ressource
Bücher 2490 Temporal assertions for sequential and concurrent programs
Stolz, Volker. - Aachen : RWTH Aachen, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt


2481 - 2490 von 2953
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (2953)

Standorte

Alle Standorte > Leipzig (2953)

Aktionen

Aktionen


E-Mail-IconAdministration