Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Systementwicklung 9 Treffer
- Eingebettetes System 8 Treffer
- Hardwareentwurf 8 Treffer
- Model Checking 8 Treffer
- Softwarespezifikation 5 Treffer
-
45 weitere Werte:
- Automatisches Beweisverfahren 4 Treffer
- Formale Methode 4 Treffer
- Systementwurf 4 Treffer
- Verteiltes System 4 Treffer
- Anwendungssystem 3 Treffer
- Dienstgüte 3 Treffer
- Informationssystem 3 Treffer
- Komponente (Software) 3 Treffer
- Programmverifikation 3 Treffer
- Systemanalyse 3 Treffer
- Verifikation 3 Treffer
- Anpassung 2 Treffer
- Aspektorientierte Programmierung 2 Treffer
- Biocomputer 2 Treffer
- Biologisches System 2 Treffer
- Codegenerierung 2 Treffer
- Codeoptimierung 2 Treffer
- Echtzeitsystem 2 Treffer
- Hybrides System 2 Treffer
- Middleware 2 Treffer
- Mobile Computing 2 Treffer
- Objektorientierte Programmierung 2 Treffer
- Softwarearchitektur 2 Treffer
- UML 2 Treffer
- Ubiquitous Computing 2 Treffer
- Web Services 2 Treffer
- Zeitbehafteter Automat 2 Treffer
- Anwendungsdienstanbieter 1 Treffer
- Anwendungssoftware 1 Treffer
- Autonomic Computing 1 Treffer
- Bionik 1 Treffer
- Client-Server-Konzept 1 Treffer
- Computer 1 Treffer
- Entwurfsautomation 1 Treffer
- Feature-Technologie 1 Treffer
- Gestaltung 1 Treffer
- Graphische Benutzeroberfläche 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Mehragentensystem 1 Treffer
- Message sequence chart 1 Treffer
- Modell 1 Treffer
- Objektorientierung 1 Treffer
- Qualitätsmanagement 1 Treffer
- Qualitätssicherung 1 Treffer
- Requirements engineering 1 Treffer
Sprache
Person
- Graf, Susanne 2 Treffer
- Ijspeert, Auke Jan 2 Treffer
- Abramsky, Samson (1953-) 1 Treffer
- Akşit, Mehmet 1 Treffer
- Bouyssounouse, Bruno 1 Treffer
-
21 weitere Werte:
- Cleaveland, Walter R. (1961-) 1 Treffer
- Coen-Porisini, Alberto (1961-) 1 Treffer
- Garavel, Hubert 1 Treffer
- Gschwind, Thomas 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hinchey, Michael G. 1 Treffer
- Jensen, Kurt 1 Treffer
- Katoen, Joost-Pieter (1964-) 1 Treffer
- Krall, Andreas 1 Treffer
- Leue, Stefan 1 Treffer
- Margaria, Tiziana 1 Treffer
- Murugesan, San (1948-) 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Pink, Axel 1 Treffer
- Sayles, Jonathan (1952-) 1 Treffer
- Schepers, Henk 1 Treffer
- Steffen, Bernhard 1 Treffer
- Wang, Farn 1 Treffer
- Weske, Mathias (1963-) 1 Treffer
- Yang, Laurence Tianruo 1 Treffer
28 Treffer
-
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 [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1994Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Heidelberg, New York : Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: