Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 23 Treffer
- Formale Methode 12 Treffer
- Formale Spezifikationstechnik 12 Treffer
- Model Checking 8 Treffer
- Verteiltes System 8 Treffer
-
45 weitere Werte:
- B (Programmiersprache) 6 Treffer
- Software 6 Treffer
- Testen 6 Treffer
- Programmverifikation 5 Treffer
- Rechnernetz 5 Treffer
- Verifikation 5 Treffer
- Z (Programmiersprache) 5 Treffer
- Benutzeroberfläche 4 Treffer
- Mensch-Maschine-Kommunikation 4 Treffer
- Systementwicklung 4 Treffer
- UML 4 Treffer
- Automatisches Beweisverfahren 3 Treffer
- Programmanalyse 3 Treffer
- Systementwurf 3 Treffer
- Anpassung 2 Treffer
- Kommunikationsprotokoll 2 Treffer
- Komponente (Software) 2 Treffer
- Middleware 2 Treffer
- Mobile Computing 2 Treffer
- Petri-Netz 2 Treffer
- Telekommunikationsnetz 2 Treffer
- Anwendungssystem 1 Treffer
- Dialogsystem 1 Treffer
- Dienstgüte 1 Treffer
- Echtzeitsystem 1 Treffer
- Fehlertoleranz 1 Treffer
- Formalisierung 1 Treffer
- Groupware 1 Treffer
- Informationssystem 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Modellierung 1 Treffer
- Modulare Programmierung 1 Treffer
- Nebenläufigkeit 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Programmiersprache 1 Treffer
- Programmierung 1 Treffer
- Programmtransformation 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Risiko 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Softwaresystem 1 Treffer
- Softwarewerkzeug 1 Treffer
- Technisches System 1 Treffer
- Temporale Logik 1 Treffer
Sprache
Form
Person
- Bert, Didier 3 Treffer
- Bowen, Jonathan P. (1956-) 2 Treffer
- Banieqbal, Behnam 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Coen-Porisini, Alberto (1961-) 1 Treffer
-
36 weitere Werte:
- Davies, Jim 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Dromey, R. G. 1 Treffer
- Eggert, Horst 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Forbrig, Peter 1 Treffer
- Frutos-Escrig, David de 1 Treffer
- Gehani, Narain 1 Treffer
- George, Chris 1 Treffer
- Gschwind, Thomas 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hoffmann, Berthold 1 Treffer
- Jensen, Kurt 1 Treffer
- Johnson, Chris 1 Treffer
- Jorge, Joaquim 1 Treffer
- Jähnichen, Stefan 1 Treffer
- Keller, Marilyn 1 Treffer
- Kersten, Heinrich (1949-) 1 Treffer
- König, Hartmut (1950-) 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Leszak, Marek 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Müller, Peter (1972-) 1 Treffer
- Najm, Elie (1952-) 1 Treffer
- Palanque, Philippe 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Potter, Ben 1 Treffer
- Rattray, Charles 1 Treffer
- Sekerinski, Emil (1963-) 1 Treffer
- Shumate, Ken 1 Treffer
- Sinclair, Jane 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
- Till, David 1 Treffer
- Treharne, Helen 1 Treffer
- Wang, Farn 1 Treffer
40 Treffer
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, 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:
-
London [u.a.]: Springer, 1999Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, 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 Ressource
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Prentice Hall, 1991Monographie, 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, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1992Monographie, Gedruckte RessourceZugriff: