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
- Programmtransformation 2 Treffer
-
12 weitere Werte:
- Automat 1 Treffer
- Automatentheorie 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- Hochleistungsrechnen 1 Treffer
- Parallelverarbeitung 1 Treffer
- Programmanalyse 1 Treffer
- Programmsynthese 1 Treffer
- Programmverifikation 1 Treffer
- Softwareentwicklung 1 Treffer
- Supercomputer 1 Treffer
- Systementwicklung 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
-
11 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
- Tison, Sophie 1 Treffer
- Tiuryn, Jerzy 1 Treffer
- Walukiewicz, Igor 1 Treffer
- Zinterhof, Peter 1 Treffer
15 Treffer
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, 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, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: