Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Informatik 5 Treffer
- Datenverarbeitung 4 Treffer
- Echtzeitsystem 3 Treffer
- Fehlertoleranz 3 Treffer
- Mathematik 3 Treffer
-
23 weitere Werte:
- Programmiersprache 3 Treffer
- Algebraische Methode 2 Treffer
- Automatentheorie 2 Treffer
- Datenstruktur 2 Treffer
- Kategorientheorie 2 Treffer
- Logische Programmierung 2 Treffer
- Softwareentwicklung 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Berechenbarkeit 1 Treffer
- Formale Methode 1 Treffer
- Formale Sprache 1 Treffer
- Formalisierung 1 Treffer
- Grundlage 1 Treffer
- Methode 1 Treffer
- Nebenläufigkeit 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Programmierung 1 Treffer
- Semantik 1 Treffer
- Softwarespezifikation 1 Treffer
- Systementwicklung 1 Treffer
- Temporale Logik 1 Treffer
- Theoretische Informatik 1 Treffer
- VDM 1 Treffer
Sprache
Form
Person
- Bibel, Wolfgang 3 Treffer
- Domingue, John 2 Treffer
- Ehrig, Hartmut (1944-2016) 2 Treffer
- Mahr, Bernd (1945-2015) 2 Treffer
- Milne, Robert 2 Treffer
-
12 weitere Werte:
- O'Hearn, Peter W. (1963-) 2 Treffer
- Strachey, Christopher 2 Treffer
- Wing, Jeannette Marie (1956-) 2 Treffer
- Beklemishev, Lev D. (1967-) 1 Treffer
- Blass, Andreas (1947-) 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Gurevich, Yuri (1940-) 1 Treffer
- Kinnear, Kenneth E. 1 Treffer
- Manna, Zohar 1 Treffer
- Pnûʾēlî, Āmîr 1 Treffer
- Prehn, Søren 1 Treffer
- Swart, Henricus C. de 1 Treffer
37 Treffer
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1998Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1998Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1998Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1985Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1979), 1989; 1979Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1992Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
[2015]Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff: