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=00*
im Bestand: Gesamter Bestand

4231 - 4240 von 4904
<< < > >>


Bücher 4231 Tamper resistance of AES
Krummel, Volker, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4232 Temporal assertions for sequential and concurrent programs
Stolz, Volker. - Aachen : RWTH Aachen, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4233 Temporal pattern mining in dynamic environments
Lattner, Andreas D., 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4234 Temporal pattern mining in dynamic environments
Lattner, Andreas D.. - Berlin : Aka, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4235 Terminologie in der Softwarelokalisierung
Körper, Diana. - Hamburg : Diplomica-Verl., 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4236 Test generation using event sequence graphs
Budnik, Christof J., 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4237 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 4238 The DP framework for proving termination of term rewriting
Thiemann, René. - Aachen : RWTH Aachen, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4239 The feature architecture mapping method for feature oriented development of software product lines
Sochos, Periklis, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4240 The Kiel Esterel processor
Li, Xin, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt


4231 - 4240 von 4904
<< < > >>




Materialarten

Alle Materialarten > Bücher (4904)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (4904)

Standorte

Alle Standorte > Leipzig (4904)

Aktionen

Aktionen


E-Mail-IconAdministration