Suchergebnisse
Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Komponente (Software) 5 Treffer
- Ada 4 Treffer
- Eingebettetes System 4 Treffer
- Formale Methode 4 Treffer
- Zuverlässigkeit 4 Treffer
-
45 weitere Werte:
- Algebraische Methode 3 Treffer
- Objektorientierung 3 Treffer
- Container-Klasse 2 Treffer
- Formale Spezifikationstechnik 2 Treffer
- Formalisierung 2 Treffer
- Methode 2 Treffer
- Model Checking 2 Treffer
- Programmiersprache 2 Treffer
- Projektmanagement 2 Treffer
- Software Engineering 2 Treffer
- Systementwicklung 2 Treffer
- VDM 2 Treffer
- Wirtschaftsinformatik 2 Treffer
- Agent (Informatik) 1 Treffer
- Anwendungssystem 1 Treffer
- Ausfallsicheres System 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- CASE (Informatik) 1 Treffer
- Computersicherheit 1 Treffer
- Datensicherung 1 Treffer
- Domain engineering 1 Treffer
- Echtzeitsystem 1 Treffer
- Entwurfsautomation 1 Treffer
- Generische Programmierung 1 Treffer
- Hardwareentwurf 1 Treffer
- Kategorientheorie 1 Treffer
- Koalgebra 1 Treffer
- Kryptoanalyse 1 Treffer
- Leistungsbewertung 1 Treffer
- Mehragentensystem 1 Treffer
- Objektorientierte Analyse 1 Treffer
- Programmdokumentation 1 Treffer
- Programmgenerator 1 Treffer
- Programmierung 1 Treffer
- Programmverifikation 1 Treffer
- Qualitätsmanagement 1 Treffer
- Qualitätssicherung 1 Treffer
- Rechnernetz 1 Treffer
- Softwarelebenszyklus 1 Treffer
- Softwareprodukt 1 Treffer
- Softwarespezifikation 1 Treffer
- Systementwurf 1 Treffer
- Verbandstheorie 1 Treffer
- Verifikation 1 Treffer
- Zugriffskontrolle 1 Treffer
Sprache
Standort
Quelle der Treffer
29 Treffer
-
Bonn: Gesellschaft für Informatik e.V. (GI), [2017]Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Bonn: Gesellschaft für Informatik e.V. (GI), [2016]Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2009Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2007Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2007Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Stuttgart: Fraunhofer-IRB-Verl, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: