Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 17 Treffer
- Formale Methode 10 Treffer
- Formale Spezifikationstechnik 10 Treffer
- Model Checking 8 Treffer
- Verteiltes System 8 Treffer
-
33 weitere Werte:
- Software 6 Treffer
- Testen 6 Treffer
- B (Programmiersprache) 5 Treffer
- Rechnernetz 5 Treffer
- Benutzeroberfläche 4 Treffer
- Mensch-Maschine-Kommunikation 4 Treffer
- Programmverifikation 4 Treffer
- Systementwicklung 4 Treffer
- Verifikation 4 Treffer
- Z (Programmiersprache) 4 Treffer
- Automatisches Beweisverfahren 3 Treffer
- Programmanalyse 3 Treffer
- Systementwurf 3 Treffer
- UML 3 Treffer
- Anpassung 2 Treffer
- Kommunikationsprotokoll 2 Treffer
- Komponente (Software) 2 Treffer
- Middleware 2 Treffer
- Mobile Computing 2 Treffer
- Telekommunikationsnetz 2 Treffer
- Anwendungssystem 1 Treffer
- Dienstgüte 1 Treffer
- Fehlertoleranz 1 Treffer
- Formalisierung 1 Treffer
- Groupware 1 Treffer
- Modellierung 1 Treffer
- Nebenläufigkeit 1 Treffer
- Programmiersprache 1 Treffer
- Programmierung 1 Treffer
- Softwaresystem 1 Treffer
- Temporale Logik 1 Treffer
- Ubiquitous Computing 1 Treffer
- Zuverlässigkeit 1 Treffer
Sprache
Form
Person
- Bert, Didier 3 Treffer
- Banieqbal, Behnam 1 Treffer
- Bowen, Jonathan P. (1956-) 1 Treffer
- Coen-Porisini, Alberto (1961-) 1 Treffer
- Davies, Jim 1 Treffer
-
21 weitere Werte:
- Dong, Jin Song (1967-) 1 Treffer
- Forbrig, Peter 1 Treffer
- Frutos-Escrig, David de 1 Treffer
- George, Chris 1 Treffer
- Gschwind, Thomas 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Jensen, Kurt 1 Treffer
- Johnson, Chris 1 Treffer
- Jorge, Joaquim 1 Treffer
- Kersten, Heinrich (1949-) 1 Treffer
- König, Hartmut (1950-) 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Najm, Elie (1952-) 1 Treffer
- Palanque, Philippe 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Rattray, Charles 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
- Treharne, Helen 1 Treffer
- Wang, Farn 1 Treffer
28 Treffer
-
Heidelberg: Hüthig, 1990Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford [u.a.]: Clarendon Press, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: