Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Systementwicklung 10 Treffer
- Softwareentwicklung 8 Treffer
- Model Checking 6 Treffer
- Objektorientierung 3 Treffer
- Offenes Kommunikationssystem 3 Treffer
-
37 weitere Werte:
- Programmanalyse 3 Treffer
- Programmverifikation 3 Treffer
- Software 3 Treffer
- Testen 3 Treffer
- Verteiltes System 3 Treffer
- Hardwareentwurf 2 Treffer
- Verifikation 2 Treffer
- Algebraische Methode 1 Treffer
- Anwendung 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Bug (Informatik) 1 Treffer
- Codeoptimierung 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Datenfluss 1 Treffer
- Echtzeitsystem 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Hardwareverifikation 1 Treffer
- Kategorientheorie 1 Treffer
- Koalgebra 1 Treffer
- Kontrollfluss 1 Treffer
- Logische Programmierung 1 Treffer
- Mobile Computing 1 Treffer
- Modellgetriebene Entwicklung 1 Treffer
- OCL (Programmiersprache) 1 Treffer
- Programmmverifikation 1 Treffer
- Softwarearchitektur 1 Treffer
- Softwarelebenszyklus 1 Treffer
- Softwaretest 1 Treffer
- Spezifikationssprache 1 Treffer
- Statische Analyse 1 Treffer
- Systementwurf 1 Treffer
- UML 1 Treffer
- Verbandstheorie 1 Treffer
- Verteilte Programmierung 1 Treffer
- Zeitbehafteter Automat 1 Treffer
- Zeitbewertetes Petri-Netz 1 Treffer
- Zeitdiskretes System 1 Treffer
Sprache
Form
Person
- Bernardo, Marco (1970-) 4 Treffer
- Araki, Keijirō 1 Treffer
- Backhouse, Roland 1 Treffer
- Beierle, Christoph (1954-) 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
-
14 weitere Werte:
- Butler, Michael 1 Treffer
- Eriksson, Lars-Henrik 1 Treffer
- Fitzgerald, John 1 Treffer
- Gorrieri, Roberto 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Hutter, Dieter 1 Treffer
- Misra, Jayadev 1 Treffer
- Najm, Elie (1952-) 1 Treffer
- Nierstrasz, Oscar (1957-) 1 Treffer
- Oliveira, José Nuno (1955-) 1 Treffer
- Romijn, Judi 1 Treffer
- Steffen, Martin 1 Treffer
- Wing, Jeannette Marie (1956-) 1 Treffer
- Yi, Kwangkeun 1 Treffer
22 Treffer
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Amsterdam [u.a.]: North Holland, 1995Sammelwerk, Gedruckte RessourceZugriff: