Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 5 Treffer
- Testen 5 Treffer
- Formale Methode 3 Treffer
- Model Checking 3 Treffer
- Programmanalyse 3 Treffer
-
20 weitere Werte:
- Programmverifikation 3 Treffer
- Systementwicklung 3 Treffer
- Programmierung 2 Treffer
- Reengineering 2 Treffer
- Software Engineering 2 Treffer
- Communications software 1 Treffer
- Computer software / Development 1 Treffer
- Entwurf 1 Treffer
- Entwurfsmuster 1 Treffer
- Numerische Mathematik 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Objektorientierung 1 Treffer
- Parallelverarbeitung 1 Treffer
- Qualitätssicherung 1 Treffer
- Richtigkeit von Ergebnissen 1 Treffer
- Software patterns 1 Treffer
- Strukturierte Programmierung 1 Treffer
- Technik 1 Treffer
- Telekommunikation 1 Treffer
- Test 1 Treffer
Sprache
Form
Person
13 Treffer
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1997Monographie, Gedruckte RessourceZugriff:
-
1. print.. - Boston [u.a.]: Addison-Wesley, 2001Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Addison-Wesley, 2000Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2., bearb. u. erw. Aufl.. - Berlin: de Gruyter, 1982Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Hanser, 1983Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: