Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 21 Treffer
- Model Checking 14 Treffer
- Systementwicklung 12 Treffer
- Softwarespezifikation 10 Treffer
- Formale Spezifikationstechnik 9 Treffer
-
45 weitere Werte:
- Verifikation 9 Treffer
- Verteiltes System 9 Treffer
- Objektorientierung 8 Treffer
- Testen 8 Treffer
- Software 7 Treffer
- Komponente (Software) 6 Treffer
- Programmanalyse 5 Treffer
- Rechnernetz 5 Treffer
- UML 5 Treffer
- Zeitbehafteter Automat 5 Treffer
- Zeitbewertetes Petri-Netz 5 Treffer
- Zeitdiskretes System 5 Treffer
- Echtzeitsystem 4 Treffer
- Hardwareentwurf 3 Treffer
- Mehragentensystem 3 Treffer
- Nebenläufigkeit 3 Treffer
- Offenes Kommunikationssystem 3 Treffer
- Temporale Logik 3 Treffer
- Abfragesprache 2 Treffer
- Abstrakte Interpretation 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Fehlertoleranz 2 Treffer
- Hybrides System 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- Kommunikationsprotokoll 2 Treffer
- Ontologie (Wissensverarbeitung) 2 Treffer
- Programmverifikation 2 Treffer
- Semantic Web 2 Treffer
- Telekommunikationsnetz 2 Treffer
- Theoretische Informatik 2 Treffer
- Verteilte Programmierung 2 Treffer
- XML 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Abstraktion 1 Treffer
- Agent (Informatik) 1 Treffer
- Algebraische Methode 1 Treffer
- Anwendungssystem 1 Treffer
- Bug (Informatik) 1 Treffer
- Codeoptimierung 1 Treffer
- Computational logic 1 Treffer
- Data Mining 1 Treffer
- Datenfluss 1 Treffer
- Dekomposition 1 Treffer
- Electronic Commerce 1 Treffer
- Formale Semantik 1 Treffer
Sprache
Form
Person
- Bernardo, Marco (1970-) 4 Treffer
- Boer, Frank S. de 3 Treffer
- Hinchey, Michael G. 2 Treffer
- Najm, Elie (1952-) 2 Treffer
- Aichernig, Bernhard K. 1 Treffer
-
44 weitere Werte:
- Alferes, José Júlio (1966-) 1 Treffer
- Asarin, Eugene 1 Treffer
- Backhouse, Roland 1 Treffer
- Barkaoui, Kamel 1 Treffer
- Boer, Frank S. de (1956-) 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
- Brinksma, Ed 1 Treffer
- Butler, Michael 1 Treffer
- Börger, Egon 1 Treffer
- Cassez, Franck (1967-) 1 Treffer
- Dang Van Hung (1950-) 1 Treffer
- Davies, Jim 1 Treffer
- Dean, Neville 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Emerson, E. Allen 1 Treffer
- Fages, François 1 Treffer
- Frutos-Escrig, David de 1 Treffer
- Gaudel, Marie-Claude 1 Treffer
- George, Chris 1 Treffer
- Gorrieri, Roberto 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Hutter, Dieter 1 Treffer
- Katoen, Joost-Pieter (1964-) 1 Treffer
- König, Hartmut (1950-) 1 Treffer
- Lakhnech, Yassine 1 Treffer
- Larsen, Kim G. 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Leue, Stefan 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Meyer, John-Jules Ch (1954-) 1 Treffer
- Naftalin, Maurice 1 Treffer
- Nierstrasz, Oscar (1957-) 1 Treffer
- Núñez, Manuel 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Petrenko, Alexandre 1 Treffer
- Pettersson, Paul 1 Treffer
- Rash, James L. 1 Treffer
- Roever, Willem-Paul de (1943-) 1 Treffer
- Romijn, Judi 1 Treffer
- Steffen, Bernhard 1 Treffer
- Steffen, Martin 1 Treffer
- Wang, Farn 1 Treffer
- Wing, Jeannette Marie (1956-) 1 Treffer
- Yi, Kwangkeun 1 Treffer
56 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: