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

1471 - 1480 von 1709
<< < > >>


Bücher 1471 Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Schweitzer, Dirk Stephan, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1472 Syntactic and semantic modularisation of modelling languages
Grammes, Rüdiger, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1473 Tamper resistance of AES
Krummel, Volker, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1474 Temporal assertions for sequential and concurrent programs
Stolz, Volker. - Aachen : RWTH Aachen, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1475 Test generation using event sequence graphs
Budnik, Christof J., 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1476 The complexity of hybrid logics over restricted frame classes
Schneider, Thomas. - Göttingen : Cuvillier, 2007, 1. Aufl. 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1477 The DP framework for proving termination of term rewriting
Thiemann, René. - Aachen : RWTH Aachen, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1478 The feature architecture mapping method for feature oriented development of software product lines
Sochos, Periklis, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1479 The Kiel Esterel processor
Li, Xin, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1480 The role of features and aspects in software development
Apel, Sven, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt


1471 - 1480 von 1709
<< < > >>




Materialarten

Alle Materialarten > Bücher (1709)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (1709)

Standorte

Alle Standorte > Leipzig (1709)

Aktionen

Aktionen


E-Mail-IconAdministration