Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Termersetzungssystem 6 Treffer
- Logische Programmierung 5 Treffer
- Programmierung 3 Treffer
- Abstrakter Datentyp 2 Treffer
- Algorithmentheorie 1 Treffer
-
20 weitere Werte:
- Automatisches Beweisverfahren 1 Treffer
- Berechnungstheorie 1 Treffer
- Computeralgebra 1 Treffer
- Deduktionssystem 1 Treffer
- Dynamische Optimierung 1 Treffer
- Formale Methode 1 Treffer
- Funktionale Programmierung 1 Treffer
- Graphersetzungssystem 1 Treffer
- Greedy-Algorithmus 1 Treffer
- Hardwarebeschreibungssprache 1 Treffer
- Hardwareentwurf 1 Treffer
- Hardwareverifikation 1 Treffer
- Kategorientheorie 1 Treffer
- Kommunikationsprotokoll 1 Treffer
- Nichtdeterminismus 1 Treffer
- Software Engineering 1 Treffer
- Softwareentwicklung 1 Treffer
- Softwarespezifikation 1 Treffer
- Systemmodell 1 Treffer
- Typentheorie 1 Treffer
Sprache
Form
Person
- Ehrig, Hartmut (1944-2016) 2 Treffer
- Fiadeiro, José Luiz (1961-) 2 Treffer
- Hanus, Michael 2 Treffer
- Astesiano, Egidio (1939-) 1 Treffer
- Bert, Didier 1 Treffer
-
19 weitere Werte:
- Bird, Richard 1 Treffer
- Cerioli, Maura 1 Treffer
- Demoor, Oege 1 Treffer
- Dowek, Gilles (1966-) 1 Treffer
- Ehrich, Hans-Dieter (1943-) 1 Treffer
- Gogolla, Martin (1954-) 1 Treffer
- Haeberer, Armando Martín (1947-) 1 Treffer
- Heering, Jan 1 Treffer
- Hußmann, Heinrich (1959-2022) 1 Treffer
- Klaeren, Herbert (1950-) 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Levi, Giorgio (1942-) 1 Treffer
- Lipeck, Udo W. (1956-) 1 Treffer
- Mahr, Bernd (1945-2015) 1 Treffer
- Mauw, Sjouke 1 Treffer
- Möller, Bernhard 1 Treffer
- Parisi-Presicce, Francesco 1 Treffer
- Schwichtenberg, Helmut (1942-) 1 Treffer
- Wirsing, Martin (1948-) 1 Treffer
22 Treffer
-
London [u.a]: Prentice Hall, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1985Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1983Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge University Press, 1993Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: