Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Informatik 5 Treffer
- Logische Programmierung 5 Treffer
- Datenverarbeitung 3 Treffer
- Programmierung 3 Treffer
- Softwareentwicklung 3 Treffer
-
30 weitere Werte:
- Softwarespezifikation 3 Treffer
- Algebraische Methode 2 Treffer
- Datenstruktur 2 Treffer
- Kategorientheorie 2 Treffer
- Mathematik 2 Treffer
- Programmverifikation 2 Treffer
- Semantik 2 Treffer
- Theoretische Informatik 2 Treffer
- Algebra 1 Treffer
- B (Programmiersprache) 1 Treffer
- Berechnungstheorie 1 Treffer
- Deduktionssystem 1 Treffer
- Deduktives Datenbanksystem 1 Treffer
- Formale Methode 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Funktionale Programmiersprache 1 Treffer
- Grundlage 1 Treffer
- Logische Programmiersprache 1 Treffer
- Logischer Entwurf 1 Treffer
- Mathematische Logik 1 Treffer
- Nebenläufigkeit 1 Treffer
- Programm 1 Treffer
- Programmiersprache 1 Treffer
- Software 1 Treffer
- Spezifikationssprache 1 Treffer
- Systementwicklung 1 Treffer
- Systemtransformation 1 Treffer
- Verfeinerung 1 Treffer
- Verifikation 1 Treffer
- Verteiltes System 1 Treffer
Form
Person
- Broy, Manfred (1949-) 3 Treffer
- Andrews, Derek 1 Treffer
- Apt, Krzysztof R. (1949-) 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Bert, Didier 1 Treffer
-
12 weitere Werte:
- Bertoni, Alberto 1 Treffer
- Clement, Timothy Paul 1 Treffer
- Fitzgerald, John (1951-) 1 Treffer
- Grégoire, Jean-Charles 1 Treffer
- Huet, Gérard 1 Treffer
- Ida, Tetsuo 1 Treffer
- Janicki, Ryszard 1 Treffer
- Lau, Kung-Kiu 1 Treffer
- Mazurkiewicz, Antoni 1 Treffer
- Minker, Jack 1 Treffer
- Takeichi, Masato 1 Treffer
- Wiggins, Geraint A. 1 Treffer
25 Treffer
-
Cambridge: Cambridge Univ. Press, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientific, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Los Altos, Calif.: Kaufmann, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientific, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Providence, RI: American Math. Soc, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientific, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1991Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: