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

1461 - 1470 von 1700
<< < > >>


Bücher 1461 Syntactic and semantic modularisation of modelling languages
Grammes, Rüdiger, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1462 Tamper resistance of AES
Krummel, Volker, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1463 Temporal assertions for sequential and concurrent programs
Stolz, Volker. - Aachen : RWTH Aachen, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1464 Test generation using event sequence graphs
Budnik, Christof J., 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1465 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 1466 The DP framework for proving termination of term rewriting
Thiemann, René. - Aachen : RWTH Aachen, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1467 The feature architecture mapping method for feature oriented development of software product lines
Sochos, Periklis, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1468 The Kiel Esterel processor
Li, Xin, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1469 The role of features and aspects in software development
Apel, Sven, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1470 The role of features and aspects in software development
Apel, Sven. - Saarbrücken : VDM Verlag Dr. Müller, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt


1461 - 1470 von 1700
<< < > >>




Materialarten

Alle Materialarten > Bücher (1700)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (1700)

Standorte

Alle Standorte > Frankfurt (1700)

Aktionen

Aktionen


E-Mail-IconAdministration