Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmierung 16 Treffer
- Semantik 16 Treffer
- Implementierung (Informatik) 8 Treffer
- Logische Programmierung 8 Treffer
- Formale Sprache 6 Treffer
-
45 weitere Werte:
- Programmanalyse 5 Treffer
- Formale Semantik 4 Treffer
- Funktionale Semantik 3 Treffer
- Datenverarbeitung 2 Treffer
- Kontrollfluss 2 Treffer
- Mathematische Logik 2 Treffer
- Operationale Semantik 2 Treffer
- Parallelverarbeitung 2 Treffer
- Programmtransformation 2 Treffer
- Programmverifikation 2 Treffer
- Algorithmentheorie / Programmiersprache 1 Treffer
- Algorithmentheorie / Programmierung 1 Treffer
- Algorithmus 1 Treffer
- Algorithmus / Lehrbuch*BASIC 1 Treffer
- Algorithmus / MODULA 2 1 Treffer
- Algorithmus / Problemanalyse 1 Treffer
- Algorithmus*Informatik / Lehrbuch 1 Treffer
- Angewandte Informatik / Algorithmus 1 Treffer
- Attributierte Grammatik 1 Treffer
- Automatentheorie 1 Treffer
- Axiomatische Semantik 1 Treffer
- BASIC / Programmiersprache 1 Treffer
- Bekič, Hans (1936-1982) 1 Treffer
- Berechenbarkeit 1 Treffer
- Boolesche Algebra 1 Treffer
- Constraint-basiertes Schließen 1 Treffer
- Datenbank 1 Treffer
- Datenfluss 1 Treffer
- Definition 1 Treffer
- Formale Beschreibung 1 Treffer
- Gleichung 1 Treffer
- Höhere Programmiersprache / Lehrbuch 1 Treffer
- Kategorientheorie 1 Treffer
- Mathematik 1 Treffer
- Mehragentensystem 1 Treffer
- Mengenlehre 1 Treffer
- Natürliche Sprache 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- PASCAL (Programmiersprache) 1 Treffer
- Problemanalyse 1 Treffer
- Programmgenerator 1 Treffer
- Programmierlogik 1 Treffer
- Programmierumgebung 1 Treffer
- Prädikatenumformer 1 Treffer
- Relation (Mathematik) 1 Treffer
Sprache
Form
Person
- Brookes, Stephen D. 2 Treffer
- Deransart, Pierre 2 Treffer
- Hermenegildo, Manuel 2 Treffer
- Małuszyński, Jan 2 Treffer
- Alber, Klaus 1 Treffer
-
45 weitere Werte:
- Allison, Lloyd 1 Treffer
- Arbib, Michael A. (1940-) 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Bekič, Hans (1936-1982) 1 Treffer
- Best, Eike 1 Treffer
- Breugel, Franck van (1966-) 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Clifford, James 1 Treffer
- Cousot, Patrick 1 Treffer
- Curien, Pierre-Louis 1 Treffer
- Dam, Mads 1 Treffer
- De Nicola, Rocco 1 Treffer
- Dembiński, Piotr 1 Treffer
- Dignum, Frank 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Donahue, James E. 1 Treffer
- Droste, Manfred 1 Treffer
- Engelfriet, Joost 1 Treffer
- Fehr, Elfriede 1 Treffer
- Glaser, Hugh 1 Treffer
- Greibach, Sheila A. (1939-) 1 Treffer
- Gunter, Carl A. 1 Treffer
- Hankin, Chris 1 Treffer
- Hennessy, Matthew 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Jones, Cliff B. (1944-) 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Kobayashi, Naoki 1 Treffer
- Krieg-Brückner, Bernd (1949-) 1 Treffer
- Kuchen, Herbert 1 Treffer
- Loeckx, Jacques (1931-2020) 1 Treffer
- Main, Michael (1956-) 1 Treffer
- Manes, Ernest G. (1943-) 1 Treffer
- Mehlhorn, Kurt (1949-) 1 Treffer
- Milne, Robert 1 Treffer
- Richter, Reinhard 1 Treffer
- Riedewald, Günter 1 Treffer
- Riis Nielson, Hanne 1 Treffer
- Sagiv, Mooly 1 Treffer
- Sander, Peter 1 Treffer
- Sanderson, John G. 1 Treffer
- Sannella, Donald 1 Treffer
- Schmidt, David 1 Treffer
- Scholten, Carel S. 1 Treffer
- Sestoft, Peter (1962-) 1 Treffer
57 Treffer
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: