Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 14 Treffer
- Natürliche Sprache 2 Treffer
- Bekič, Hans (1936-1982) 1 Treffer
- Compiler 1 Treffer
- Datenbank 1 Treffer
-
16 weitere Werte:
- Datenverarbeitung 1 Treffer
- Definition 1 Treffer
- Formale Beschreibung 1 Treffer
- Formale Sprache 1 Treffer
- Funktionale Programmiersprache 1 Treffer
- Gleichung 1 Treffer
- Kategorientheorie 1 Treffer
- Konstruktive Logik 1 Treffer
- Mathematik 1 Treffer
- PASCAL (Programmiersprache) 1 Treffer
- Parallelverarbeitung 1 Treffer
- Prädikatenumformer 1 Treffer
- RML (Programmiersprache) 1 Treffer
- Theoretische Informatik 1 Treffer
- Typentheorie 1 Treffer
- Verteiltes System 1 Treffer
Sprache
Form
Person
- Alber, Klaus 1 Treffer
- Allison, Lloyd 1 Treffer
- Arbib, Michael A. (1940-) 1 Treffer
- Bekič, Hans (1936-1982) 1 Treffer
- Clifford, James 1 Treffer
-
15 weitere Werte:
- Curien, Pierre-Louis 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Donahue, James E. 1 Treffer
- Engelfriet, Joost 1 Treffer
- Fehr, Elfriede 1 Treffer
- Hennessy, Matthew 1 Treffer
- Jones, Cliff B. (1944-) 1 Treffer
- Manes, Ernest G. (1943-) 1 Treffer
- Milne, Robert 1 Treffer
- Pettersson, Mikael 1 Treffer
- Scholten, Carel S. 1 Treffer
- Shields, Michael William (1950-) 1 Treffer
- Strachey, Christopher 1 Treffer
- Streicher, Thomas 1 Treffer
- Struckmann, Werner (1952-) 1 Treffer
16 Treffer
-
Berlin [u.a.]: Springer, 1976Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1984Monographie, Aufsatzsammlung, Bibliografie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1986Monographie, Gedruckte RessourceZugriff:
-
London: Chapman and Hall [u.a.]Monographie, Schriftenreihe, Gedruckte RessourceZugriff:
-
London: Pitman [u.a.], 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1990Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1986Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: BI-Wiss.-Verl, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1974Monographie, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff: