Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 11 Treffer
- Programmierung 9 Treffer
- Softwareentwicklung 6 Treffer
- Datenverarbeitung 5 Treffer
- Informatik 5 Treffer
-
45 weitere Werte:
- Programmverifikation 5 Treffer
- Softwarespezifikation 5 Treffer
- Funktionale Programmiersprache 3 Treffer
- Kategorientheorie 3 Treffer
- Nebenläufigkeit 3 Treffer
- Semantik 3 Treffer
- Verfeinerung 3 Treffer
- Algebraische Methode 2 Treffer
- Algebraische Spezifikation 2 Treffer
- Datenstruktur 2 Treffer
- Mathematik 2 Treffer
- Mathematische Logik 2 Treffer
- Parallelverarbeitung 2 Treffer
- Programm 2 Treffer
- Programmierlogik 2 Treffer
- Programmiersprache 2 Treffer
- Theoretische Informatik 2 Treffer
- Verifikation 2 Treffer
- Verteiltes System 2 Treffer
- Z (Programmiersprache) 2 Treffer
- Aktionssemantik 1 Treffer
- Algebra 1 Treffer
- Attributierte Grammatik 1 Treffer
- B (Programmiersprache) 1 Treffer
- Berechnungstheorie 1 Treffer
- Beweis 1 Treffer
- Deduktionssystem 1 Treffer
- Deduktives Datenbanksystem 1 Treffer
- Formale Methode 1 Treffer
- Formale Semantik 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Formale Sprache 1 Treffer
- Funktionale Programmierung 1 Treffer
- Funktionale Semantik 1 Treffer
- Grundlage 1 Treffer
- Information Retrieval 1 Treffer
- Intensionale Logik 1 Treffer
- Kommunikationsprotokoll 1 Treffer
- Korrektheit 1 Treffer
- Lambda-Kalkül 1 Treffer
- Logische Programmiersprache 1 Treffer
- Logischer Entwurf 1 Treffer
- Mathematische Methode 1 Treffer
- Natürliche Sprache 1 Treffer
- Nichtdeterminismus 1 Treffer
Form
Person
- Broy, Manfred (1949-) 3 Treffer
- Abelson, Harold 2 Treffer
- Apt, Krzysztof R. (1949-) 2 Treffer
- Gries, David 2 Treffer
- Harschneck, Andreas 2 Treffer
-
45 weitere Werte:
- Morgan, Carroll (1952-) 2 Treffer
- Sussman, Gerald Jay (1947-) 2 Treffer
- Andrews, Derek 1 Treffer
- Baber, Robert Laurence 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Barringer, Howard 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Bert, Didier 1 Treffer
- Bertoni, Alberto 1 Treffer
- Bird, Richard 1 Treffer
- Bottaci, Leonardo 1 Treffer
- Clement, Timothy Paul 1 Treffer
- Colburn, Timothy R. (1952-) 1 Treffer
- Conery, John S. 1 Treffer
- Curien, Pierre-Louis 1 Treffer
- Deursen, Arie van 1 Treffer
- DiCosmo, Roberto 1 Treffer
- Fariñas del Cerro, Luis 1 Treffer
- Fitzgerald, John (1951-) 1 Treffer
- FrøLund, Svend 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Grégoire, Jean-Charles 1 Treffer
- Hehner, Eric C. R. 1 Treffer
- Heisel, Maritta 1 Treffer
- Hindley, James Roger 1 Treffer
- Hogger, Christopher J. 1 Treffer
- Huet, Gérard 1 Treffer
- Hußmann, Heinrich (1959-2022) 1 Treffer
- Ida, Tetsuo 1 Treffer
- Janicki, Ryszard 1 Treffer
- Jones, John 1 Treffer
- Jonkers, Henricus B. 1 Treffer
- Kubiak, Ryszard 1 Treffer
- Lau, Kung-Kiu 1 Treffer
- Leeuwen, Jan van 1 Treffer
- Lew, Art 1 Treffer
- Lloyd, John W. (1947-) 1 Treffer
- Loeckx, Jacques (1931-2020) 1 Treffer
- Mahn, Ulrich 1 Treffer
- Malachi, Jonathan 1 Treffer
- Manna, Zohar 1 Treffer
- Mauw, Sjouke 1 Treffer
- Mazurkiewicz, Antoni 1 Treffer
- Mehlhorn, Kurt (1949-) 1 Treffer
- Minker, Jack 1 Treffer
70 Treffer
-
Cambridge: Cambridge University Press, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1994Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
3. print.. - Berlin [u.a.]: Springer, 1985Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Prentice Hall, 1997Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier [u.a.], 1990Sammelwerk, Gedruckte RessourceZugriff:
-
2ND PRINTING. - AMSTERDAM: MATHEMATISCH CENTRUM, 1973Monographie, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1988Monographie, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientific, 1996Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge University Press, 1993Sammelwerk, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientific, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
4. print.. - Cambridge, Mass. [u.a.]: MIT Pr. [u.a.], 1986Monographie, Einführung, Gedruckte RessourceZugriff:
-
5. print.. - New York [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1984Monographie, Einführung, Gedruckte RessourceZugriff:
-
Wiesbaden: Forkel, 1985Monographie, Gedruckte RessourceZugriff: