Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 13 Treffer
- Datenbanksystem 3 Treffer
- Informationssystem 3 Treffer
- World Wide Web 3 Treffer
- Automatentheorie 2 Treffer
-
20 weitere Werte:
- Graphenzeichnen 2 Treffer
- Grundlage 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Logik 2 Treffer
- Logische Programmierung 2 Treffer
- Mathematische Logik 2 Treffer
- Algorithmus 1 Treffer
- Berechenbarkeit 1 Treffer
- Berechnungstheorie 1 Treffer
- Datenverarbeitung 1 Treffer
- Formale Sprache 1 Treffer
- Mathematik 1 Treffer
- Model Checking 1 Treffer
- Nebenläufigkeit 1 Treffer
- Programmierlogik 1 Treffer
- Softwareentwicklung 1 Treffer
- Verifikation 1 Treffer
- Verteilte Programmierung 1 Treffer
- Verteiltes System 1 Treffer
- Wissenstechnik 1 Treffer
Sprache
Form
Person
- Bjørner, Dines (1937-) 2 Treffer
- Manna, Zohar (1939-2018) 2 Treffer
- Agrawal, Manindra (1966-) 1 Treffer
- Arun-Kumar, S. 1 Treffer
- Beckman, Frank S. 1 Treffer
-
13 weitere Werte:
- Brady, J. M. 1 Treffer
- Börger, Egon 1 Treffer
- Dershowitz, Nachum (1951-) 1 Treffer
- Emde Boas, Peter van 1 Treffer
- Harel, David 1 Treffer
- Hariharan, Ramesh (1968-) 1 Treffer
- Leeuwen, Jan van 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Lodaya, Kamal 1 Treffer
- Pandya, Paritosh K. 1 Treffer
- Ramanujam, Ramaswamy 1 Treffer
- Vojtáš, Peter 1 Treffer
- Wiedermann, Jiří (1948-) 1 Treffer
19 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: McGraw-Hill, 1974Monographie, Gedruckte RessourceZugriff:
-
2. impr.. - Amsterdam [u.a.]: Elsevier [u.a.], 1992Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1980Monographie, Gedruckte RessourceZugriff:
-
LONDON: CHAPMAN AND HALL, 1977Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 1979Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: