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

851 - 860 von 1070
<< < > >>


Online Ressourcen 851 Suffix arrays in theory and practice
Schürmann, Klaus-Bernd, 2007
Online Ressource
Online Ressourcen 852 Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Schweitzer, Dirk Stephan, 2007
Online Ressource
Online Ressourcen 853 Syntactic and semantic modularisation of modelling languages
Grammes, Rüdiger, 2007
Online Ressource
Online Ressourcen 854 System support for spontaneous pervasive computing environments
Schiele, Gregor Alexander, 2007
Online Ressource
Online Ressourcen 855 Tamper resistance of AES
Krummel, Volker, 2007
Online Ressource
Online Ressourcen 856 Temporal assertions for sequential and concurrent programs
Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
Online Ressource
Online Ressourcen 857 Temporal verification with transition invariants
Rybalchenko, Andrey, [2007]
Online Ressource
Online Ressourcen 858 The DP framework for proving termination of term rewriting
Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
Online Ressource
Online Ressourcen 859 The feature architecture mapping method for feature oriented development of software product lines
Sochos, Periklis, 2007
Online Ressource
Online Ressourcen 860 The Kiel Esterel processor
Li, Xin, 2007
Online Ressource


851 - 860 von 1070
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (1070)

Kataloge/Sammlungen

Alle Kataloge/SammlungenHochschulschriften (1070)

Standorte

Alle StandorteOnline (frei zugänglich) (1070)

E-Mail-IconAdministration