Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Software Engineering 4 Treffer
- Datenbanksystem 3 Treffer
- Informationssystem 3 Treffer
- World Wide Web 3 Treffer
- Automatentheorie 2 Treffer
-
15 weitere Werte:
- Datenverarbeitung 2 Treffer
- Formale Sprache 2 Treffer
- Graphenzeichnen 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Programmiersprache 2 Treffer
- Softwareentwicklung 2 Treffer
- Logische Programmierung 1 Treffer
- Model Checking 1 Treffer
- Nebenläufigkeit 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Programmverifikation 1 Treffer
- Systementwicklung 1 Treffer
- Verteilte Programmierung 1 Treffer
- Wissenstechnik 1 Treffer
Sprache
Form
Person
- Bjørner, Dines (1937-) 2 Treffer
- Aceto, Luca 1 Treffer
- Agrawal, Manindra (1966-) 1 Treffer
- Arun-Kumar, S. 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
-
15 weitere Werte:
- Emde Boas, Peter van 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Hariharan, Ramesh (1968-) 1 Treffer
- Honsell, Furio 1 Treffer
- Leach Albert, Javier 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Lodaya, Kamal 1 Treffer
- Nielsen, Mogens 1 Treffer
- Pandya, Paritosh K. 1 Treffer
- Ramanujam, Ramaswamy 1 Treffer
- Sassone, Vladimiro 1 Treffer
- Tiuryn, Jerzy 1 Treffer
- Vojtáš, Peter 1 Treffer
- Walukiewicz, Igor 1 Treffer
- Wiedermann, Jiří (1948-) 1 Treffer
22 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, 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, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1986) ; New York, NY: American Elsevier (1986) ; Edinburgh: Edinburgh Univ. Press (1986) ; Berlin ; Heidelberg [u.a.]: Springer (1986), 1986Konferenzschrift, 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, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: