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

881 - 890 von 1232
<< < > >>


Online Ressourcen 881 Specification and verification of security policies for smart cards
Schwan, Matthias, 2008
Online Ressource
Online Ressourcen 882 Static termination analysis for prolog using term rewriting and SAT solving
Schneider-Kamp, Peter. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2008, [Online-Ausg.]
Online Ressource
Online Ressourcen 883 Strukturierte Nutzungssicht für multifunktionale Systeme
Deubler, Martin R., 2008
Online Ressource
Online Ressourcen 884 Suchbasierte Strukturverbesserung objektorientierter Systeme
Seng, Olaf, [2008]
Online Ressource
Online Ressourcen 885 Suchbasierte Strukturverbesserung objektorientierter Systeme
Seng, Olaf. - Karlsruhe : Univ.-Verl. Karlsruhe, 2008
Online Ressource
Online Ressourcen 886 Synthesis of distributed systems
Schewe, Sven, 2008, [Online-Ausg.]
Online Ressource
Online Ressourcen 887 Systematisierung des funktionalen Tests eingebetteter Software
Olejniczak, Robert, 2008
Online Ressource
Online Ressourcen 888 Tagging and smart textiles
Reichel, Milena, 2008
Online Ressource
Online Ressourcen 889 Testaufwandsschätzung in der Softwareentwicklung
Dowie, Ulrike, 2008, [Online-Ausg.]
Online Ressource
Online Ressourcen 890 Testing in Functional Programming
Widera, Manfred. - Aachen : Shaker, 2008, 1. Auflage
Online Ressource


881 - 890 von 1232
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (1232)

Kataloge/Sammlungen

Alle Kataloge/SammlungenHochschulschriften (1232)

Standorte

Alle StandorteLeipzig (1232)

E-Mail-IconAdministration