Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 9 Treffer
- Mathematische Methode 5 Treffer
- Programmverifikation 4 Treffer
- Systementwicklung 4 Treffer
- Hardwareentwurf 3 Treffer
-
34 weitere Werte:
- Logische Programmierung 3 Treffer
- Model Checking 3 Treffer
- Programmanalyse 3 Treffer
- Software 3 Treffer
- Testen 3 Treffer
- Konstruktive Methode 2 Treffer
- Mathematik 2 Treffer
- Programmsynthese 2 Treffer
- Programmtransformation 2 Treffer
- Ada 95 1 Treffer
- Algebraische Methode 1 Treffer
- Algorithmische Programmierung 1 Treffer
- Algorithmus 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- B (Programmiersprache) 1 Treffer
- Computational logic 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Datenstruktur 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Eingebettetes System 1 Treffer
- Formalisierung 1 Treffer
- Kategorientheorie 1 Treffer
- Koalgebra 1 Treffer
- Korrektheit 1 Treffer
- Logischer Schluss 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Objektorientierung 1 Treffer
- Programm 1 Treffer
- Programmierung 1 Treffer
- SIMULA 1 Treffer
- Stochastische Optimierung 1 Treffer
- Systemtransformation 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
- Verbandstheorie 1 Treffer
Sprache
Form
Person
- Backhouse, Roland 2 Treffer
- Ehrig, Hartmut (1944-2016) 2 Treffer
- Hutter, Dieter 2 Treffer
- Aichernig, Bernhard K. 1 Treffer
- Araki, Keijirō 1 Treffer
-
21 weitere Werte:
- Beidler, John (1941-) 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
- Bossi, Annalisa 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Fitzgerald, John 1 Treffer
- Fleischer, Rudolf 1 Treffer
- Gaudel, Marie-Claude 1 Treffer
- Jeuring, Johan 1 Treffer
- Kozen, Dexter (1951-) 1 Treffer
- Lau, Kung-Kiu 1 Treffer
- Misra, Jayadev 1 Treffer
- Mosses, Peter D. 1 Treffer
- Myers, J. P. 1 Treffer
- Möller, Bernhard 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Owe, Olaf (1951-) 1 Treffer
- Siekmann, Jörg 1 Treffer
- Uustalu, Tarmo 1 Treffer
- Weber, Matthias 1 Treffer
28 Treffer
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: