Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmierung 11 Treffer
- Semantik 9 Treffer
- Implementierung (Informatik) 8 Treffer
- Logische Programmierung 8 Treffer
- Parallelverarbeitung 7 Treffer
-
45 weitere Werte:
- Compiler 4 Treffer
- Formale Semantik 3 Treffer
- Formale Sprache 3 Treffer
- Typentheorie 3 Treffer
- Abstrakter Datentyp 2 Treffer
- Automatentheorie 2 Treffer
- Datenverarbeitung 2 Treffer
- Funktionale Semantik 2 Treffer
- Grundlage 2 Treffer
- Operationale Semantik 2 Treffer
- Programmanalyse 2 Treffer
- Programmtransformation 2 Treffer
- Syntax 2 Treffer
- Theoretische Informatik 2 Treffer
- Theorie 2 Treffer
- Algebra 1 Treffer
- Algorithmentheorie 1 Treffer
- Algorithmentheorie / Programmiersprache 1 Treffer
- Algorithmentheorie / Programmierung 1 Treffer
- Algorithmus 1 Treffer
- Algorithmus / Lehrbuch*BASIC 1 Treffer
- Algorithmus / MODULA 2 1 Treffer
- Algorithmus / Problemanalyse 1 Treffer
- Algorithmus*Informatik / Lehrbuch 1 Treffer
- Angewandte Informatik / Algorithmus 1 Treffer
- Axiomatische Semantik 1 Treffer
- BASIC / Programmiersprache 1 Treffer
- Berechnungstheorie 1 Treffer
- Computerarchitektur 1 Treffer
- Constraint-basiertes Schließen 1 Treffer
- Datenbank 1 Treffer
- Datentyp 1 Treffer
- Deklarative Programmiersprache 1 Treffer
- Grammatik 1 Treffer
- Höhere Programmiersprache 1 Treffer
- Höhere Programmiersprache / Lehrbuch 1 Treffer
- Internet 1 Treffer
- Interpretierer 1 Treffer
- Klassifikation 1 Treffer
- Komplexitätstheorie 1 Treffer
- Kontrollfluss 1 Treffer
- Kontrollstruktur 1 Treffer
- Mathematik 1 Treffer
- Mathematische Logik 1 Treffer
- Mehragentensystem 1 Treffer
Sprache
Form
Person
- Sebesta, Robert W. 3 Treffer
- Deransart, Pierre 2 Treffer
- Friedman, Daniel P. 2 Treffer
- Haynes, Christopher T. 2 Treffer
- Hermenegildo, Manuel 2 Treffer
-
45 weitere Werte:
- Jones, Neil D. (1941-) 2 Treffer
- Pierce, Benjamin C. (1963-) 2 Treffer
- Wand, Mitchell 2 Treffer
- Alber, Klaus 1 Treffer
- Atkinson, Malcolm P. (1943-) 1 Treffer
- Backhouse, Roland Carl 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Bal, Henri E. 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Barthe, Gilles 1 Treffer
- Bayer, Stephan 1 Treffer
- Ben-Arî, Môtî (1948-) 1 Treffer
- Breugel, Franck van (1966-) 1 Treffer
- Brookes, Stephen D. 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Cejtlin, Georgij E. 1 Treffer
- Chatterjee, Siddharta (1963-) 1 Treffer
- Dignum, Frank 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Fehr, Elfriede 1 Treffer
- Findlay, William 1 Treffer
- Fischer, Alice E. 1 Treffer
- Glaser, Hugh 1 Treffer
- Gluškov, Viktor Michajlovič (1923-1982) 1 Treffer
- Gordon, Michael J. C. 1 Treffer
- Gough, Kevin John (1942-) 1 Treffer
- Grodzinsky, Frances S. 1 Treffer
- Gunter, Carl A. 1 Treffer
- Guo, Yi-Ke 1 Treffer
- Gutknecht, Jürg 1 Treffer
- Henning, Peter A. (1958-) 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Hoffmann, Berthold 1 Treffer
- Horowitz, Ellis 1 Treffer
- Huang, Chua-Huang 1 Treffer
- Hughes, John 1 Treffer
- Juščenko, Ekaterina L. 1 Treffer
- Kobayashi, Naoki 1 Treffer
- Krieg-Brückner, Bernd (1949-) 1 Treffer
- Kuchen, Herbert 1 Treffer
- Leach Albert, Javier 1 Treffer
- Lee, John A. N. (1934-) 1 Treffer
- Li, Zhiyuan (1954-) 1 Treffer
- Lock, Hendrik C. R. 1 Treffer
- Louden, Kenneth C. 1 Treffer
66 Treffer
-
Cambridge, Mass. [u.a.]: MIT Press, 1997Monographie, Gedruckte RessourceZugriff:
-
Sankt Augustin: Ges. für Mathematik und Datenverarbeitung, 1990Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass [u.a.]: MIT Press [u.a.], 1992Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Bonn [u.a.]: Internat. Thomson Publ, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2005Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. Aufl.. - Bonn: Galileo Press, 2006Monographie, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: BI-Wiss.-Verl, 1988Monographie, Gedruckte RessourceZugriff:
-
3. ed., repr. with. corr.. - Reading, Mass. [u.a.]: Addison-Wesley, 1996Monographie, Gedruckte RessourceZugriff:
-
Redwood City, Calif. [u.a.]: Benjamin/Cummings, 1989Monographie, Gedruckte RessourceZugriff: