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

571 - 580 von 1235
<< < > >>


Online Ressourcen 571 Methoden- und Werkzeugunterstützung für Ontologie-basierte Software-Entwicklung
Bachmann, Andrej, 2010
Online Ressource
Online Ressourcen 572 Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen
Mistrzyk, Tomasz, 2010
Online Ressource
Online Ressourcen 573 Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung
Schackmann, Holger, 2010
Online Ressource
Online Ressourcen 574 Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung
Schackmann, Holger. - Aachen : Shaker, 2010, 1. Auflage
Online Ressource
Online Ressourcen 575 Model checking nondeterministic and randomly timed systems
Neuhäußer, Martin R., 2010
Online Ressource
Online Ressourcen 576 Modeling and model-based testing of service choreographies
Wieczorek, Sebastian, 2010
Online Ressource
Online Ressourcen 577 Modeling linearly and non-linearly dependent simulation input data
Nassaj, Feras, 2010
Online Ressource
Online Ressourcen 578 Modeling Petri net-based multi-agent applications
Cabac, Lawrence, 2010
Online Ressource
Online Ressourcen 579 Modellextraktion aus natürlichen Sprachen
Gelhausen, Tom. - Karlsruhe : KIT Scientific Publishing, 2010
Online Ressource
Online Ressourcen 580 MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
Krahn, Holger. - Aachen : Shaker, 2010, 1. Auflage
Online Ressource


571 - 580 von 1235
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (1235)

Kataloge/Sammlungen

Alle Kataloge/SammlungenHochschulschriften (1235)

Standorte

Alle StandorteLeipzig (1235)

E-Mail-IconAdministration