Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 8 Treffer
- Algebra 4 Treffer
- Baum (Mathematik) 4 Treffer
- Software Engineering 4 Treffer
- Parallelverarbeitung 3 Treffer
-
18 weitere Werte:
- Programmtransformation 2 Treffer
- Softwareentwicklung 2 Treffer
- Automat 1 Treffer
- Automat (Automatentheorie) 1 Treffer
- Automatentheorie 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- CCS 1 Treffer
- Hochleistungsrechnen 1 Treffer
- Mathematik 1 Treffer
- Petri-Netz 1 Treffer
- Programmanalyse 1 Treffer
- Programmsynthese 1 Treffer
- Programmverifikation 1 Treffer
- Supercomputer 1 Treffer
- Systementwicklung 1 Treffer
- TCSP 1 Treffer
- Übersetzerbau 1 Treffer
Sprache
Form
Person
- Aceto, Luca 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Dauchet, Max 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Honsell, Furio 1 Treffer
-
12 weitere Werte:
- Jones, Neil D. (1941-) 1 Treffer
- Kirchner, Hélène 1 Treffer
- Mogensen, Torben Æ (1960-) 1 Treffer
- Nielsen, Mogens 1 Treffer
- Raoult, Jean-Claude 1 Treffer
- Raymond, Darrell 1 Treffer
- Sassone, Vladimiro 1 Treffer
- Taubner, Dirk 1 Treffer
- Tison, Sophie 1 Treffer
- Tiuryn, Jerzy 1 Treffer
- Walukiewicz, Igor 1 Treffer
- Zinterhof, Peter 1 Treffer
18 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer, 1993Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
The essence of computation: complexity, analysis, transformation ; essays dedicated to Neil D. JonesBerlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: