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

2601 - 2610 von 3259
<< < > >>


Online Ressourcen 2601 Surface approximation with elevation maps and observations thinning in numerical weather prediction
Ochotta, Tilo, 2007
Online Ressource
Online Ressourcen 2602 Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Schweitzer, Dirk Stephan, 2007
Online Ressource
Online Ressourcen 2603 Syntactic and semantic modularisation of modelling languages
Grammes, Rüdiger, 2007
Online Ressource
Online Ressourcen 2604 System support for spontaneous pervasive computing environments
Schiele, Gregor Alexander, 2007
Online Ressource
Online Ressourcen 2605 Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers
Pimingsdorfer, Dieter, 2007
Online Ressource
Online Ressourcen 2606 Tagging and parsing with cascaded Markov models
Brants, Thorsten, [2007]
Online Ressource
Online Ressourcen 2607 Tamper resistance of AES
Krummel, Volker, 2007
Online Ressource
Online Ressourcen 2608 Temporal assertions for sequential and concurrent programs
Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
Online Ressource
Online Ressourcen 2609 Temporal pattern mining in dynamic environments
Lattner, Andreas D., 2007
Online Ressource
Online Ressourcen 2610 Temporal verification with transition invariants
Rybalchenko, Andrey, [2007]
Online Ressource


2601 - 2610 von 3259
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/SammlungenHochschulschriften (3259)

Standorte

Alle StandorteOnline (frei zugänglich) (3259)

E-Mail-IconAdministration