Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Funktional-logische Programmiersprache 3 Treffer
- Objektorientierte Programmiersprache 3 Treffer
- Graphersetzungssystem 2 Treffer
- Implementierung (Informatik) 2 Treffer
- Objektorientierte Programmierung 2 Treffer
-
45 weitere Werte:
- Parallelverarbeitung 2 Treffer
- Petri-Netz 2 Treffer
- Programmverifikation 2 Treffer
- Softwarespezifikation 2 Treffer
- Verteiltes System 2 Treffer
- Abstrakter Datentyp 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmus 1 Treffer
- Attributierte Grammatik 1 Treffer
- Attributierte Graph-Grammatik / Software Engineering 1 Treffer
- Attributierte Graph-Grammatik / Softwareentwicklung 1 Treffer
- Ausnahmebehandlung 1 Treffer
- Automat (Automatentheorie) 1 Treffer
- Automatische Parallelisierung 1 Treffer
- BABEL (Programmiersprache) 1 Treffer
- CCS 1 Treffer
- Conclog 1 Treffer
- Echtzeitsystem 1 Treffer
- Elektronische Unterschrift 1 Treffer
- Formale Semantik 1 Treffer
- Formale Sprache 1 Treffer
- Funktionale Programmiersprache 1 Treffer
- Funktionale Programmierung 1 Treffer
- Graph-Grammatik 1 Treffer
- Konfiguration (Informatik) 1 Treffer
- Migration (Informatik) 1 Treffer
- Modulare Programmierung 1 Treffer
- Objekt (Informatik) 1 Treffer
- Operationale Semantik 1 Treffer
- PROGRES (Programmiersprache) 1 Treffer
- Programmierumgebung 1 Treffer
- Programmierung 1 Treffer
- Rekonfiguration 1 Treffer
- SEGRAS 1 Treffer
- Softwareentwicklung 1 Treffer
- Softwareentwicklung / Graph-Grammatik 1 Treffer
- Softwarewartung 1 Treffer
- TCSP 1 Treffer
- Typentheorie 1 Treffer
- Typinferenzsystem 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
- Typsystem 1 Treffer
- Zeitkomplexität 1 Treffer
- Übersetzer (Informatik) 1 Treffer
- Übersetzerbau 1 Treffer
Sprache
Form
Person
- America, Pierre 1 Treffer
- Belli, Fevzi 1 Treffer
- Breu, Ruth 1 Treffer
- Dörr, Heiko 1 Treffer
- Endler, Markus 1 Treffer
-
23 weitere Werte:
- Feder, Christiane 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Göttler, Herbert 1 Treffer
- Hans, Werner (1965-) 1 Treffer
- Hense, Andreas V. 1 Treffer
- Hooman, Jozef J. M. 1 Treffer
- Jacquet, Jean-Marie 1 Treffer
- Jones, Mark P. 1 Treffer
- Krämer, Bernd 1 Treffer
- Lock, Hendrik C. R. 1 Treffer
- Loogen, Rita 1 Treffer
- Mück, Andy 1 Treffer
- Müller, Peter (1972-) 1 Treffer
- Odersky, Martin (1958-) 1 Treffer
- Pein, Martin 1 Treffer
- Pfitzmann, Birgit 1 Treffer
- Rutten, Jan 1 Treffer
- Schill, Alexander (1964-) 1 Treffer
- Schmidt, Heinz W. 1 Treffer
- Schürr, Andreas 1 Treffer
- Taubner, Dirk 1 Treffer
- Yellin, Daniel M. 1 Treffer
- Zimmermann, Wolf 1 Treffer
27 Treffer
-
Berlin [u.a.]: Springer, 1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Saarbrücken: Pirrot, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Amsterdam: Centrum voor Wiskunde en Informatica, 1991Hochschulschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Als Ms. gedr.. - Aachen: Shaker, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1995Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Norderstedt: Books on Demand, 2002Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin: Springer, [2002]Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff: