Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Software 5 Treffer
- Programmverifikation 4 Treffer
- Software Engineering 4 Treffer
- Softwareentwicklung 4 Treffer
- Bug (Informatik) 3 Treffer
-
34 weitere Werte:
- Benutzeroberfläche 2 Treffer
- Norm 2 Treffer
- Parallelverarbeitung 2 Treffer
- Zuverlässigkeit 2 Treffer
- Automation 1 Treffer
- Beweis 1 Treffer
- C/C++ PDS 7.0 1 Treffer
- COBOL 1 Treffer
- Component software 1 Treffer
- Computer programming 1 Treffer
- Denkfehler 1 Treffer
- Echtzeitsystem 1 Treffer
- Eingebettetes System 1 Treffer
- Flussdiagramm 1 Treffer
- Graphische Benutzeroberfläche 1 Treffer
- Komponente (Software) 1 Treffer
- Korn-Shell 1 Treffer
- Korrektheit 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Management 1 Treffer
- Mensch-Maschine-Kommunikation 1 Treffer
- Multimedia 1 Treffer
- Programm 1 Treffer
- Programmbaustein 1 Treffer
- Programmer's Workbench 1 Treffer
- Programmierumgebung 1 Treffer
- Programmsynthese 1 Treffer
- Qualitätssicherung 1 Treffer
- Scheme (Programmiersprache) 1 Treffer
- Softwarewartung 1 Treffer
- USA 1 Treffer
- Vektorrechner 1 Treffer
- Verifikation 1 Treffer
- X Window System 1 Treffer
Sprache
Form
Person
- Baber, Robert Laurence 1 Treffer
- Backhouse, Roland Carl 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Barstow, David R. 1 Treffer
- Cooke, Derek J. 1 Treffer
-
34 weitere Werte:
- Dershowitz, Nachum (1951-) 1 Treffer
- Elder, John (1949-) 1 Treffer
- Gerten, Rainer 1 Treffer
- Gibbs, Simon J. 1 Treffer
- Grams, Timm 1 Treffer
- Gunther, Richard C. 1 Treffer
- Guttag, John 1 Treffer
- Hecht, Matthew S. 1 Treffer
- Jander, Johannes 1 Treffer
- Jensen, Randall W. 1 Treffer
- Juliff, Peter L. 1 Treffer
- Kopetz, Hermann 1 Treffer
- Kregeloh, Thomas 1 Treffer
- Larson, James A. 1 Treffer
- Lewis, T. G. (1941-) 1 Treffer
- Lipow, Myron 1 Treffer
- Liskov, Barbara (1939-) 1 Treffer
- Morgan, Carroll (1952-) 1 Treffer
- Nelson, Eldred C. 1 Treffer
- Passig, Kathrin (1970-) 1 Treffer
- Pendergrast, J. Stephen 1 Treffer
- Perrott, Ronald H. (1942-) 1 Treffer
- Qian, Kai 1 Treffer
- Rao, Josyula Ramachandra 1 Treffer
- Scholz, Peter 1 Treffer
- Sommerville, Ian (1951-) 1 Treffer
- Stone, R. G. 1 Treffer
- Thayer, Thomas A. 1 Treffer
- Tonies, Charles C. 1 Treffer
- Tsichritzis, Dennis (1943-) 1 Treffer
- Wagenknecht, Christian (1959-) 1 Treffer
- Wang, Andy Ju An 1 Treffer
- Welch, Brent B. 1 Treffer
- Yourdon, Edward 1 Treffer
33 Treffer
-
Berlin [u.a.]: Springer, 2005Monographie, Gedruckte RessourceZugriff:
-
Englewood Cliffs, N.J.: Yourdon Press, 1992Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Macmillan, 1979Monographie, Gedruckte RessourceZugriff:
-
Kaiserslautern, 1987Monographie, Sonstiges, Gedruckte RessourceZugriff:
-
2. print., Oct. 1987. - Washington, DC, 1987Monographie, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ: Yourdon Press [u.a.], 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: North-Holland, 1977Monographie, Gedruckte RessourceZugriff:
-
1. Aufl., 1. korrigierter Nachdr.. - Beijing [u.a.]: O'Reilly, 2014Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1992Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Englewood Cliffs, N.J. [u.a.]: Prentice-Hall Internat, 1984Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Stuttgart [u.a.]: Teubner, 2004Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Prentice Hall, 1990Monographie, Einführung, Gedruckte RessourceZugriff:
-
Reston, Va.: RESTON PUBL, 1982Monographie, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1987Monographie, Gedruckte RessourceZugriff:
-
3. print., May. 1987. - Washington, DC, 1987Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1978Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr. [u.a.], 1986Monographie, Gedruckte RessourceZugriff:
-
Hoboken, NJ: Wiley-Interscience, 2005Monographie, Gedruckte RessourceZugriff: