Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 11 Treffer
- Abstrakter Datentyp 7 Treffer
- Objektorientierte Programmiersprache 7 Treffer
- Objektorientierte Programmierung 5 Treffer
- Programmierung 5 Treffer
-
45 weitere Werte:
- Semantik 5 Treffer
- Formale Spezifikationstechnik 4 Treffer
- Datenstruktur 3 Treffer
- Typentheorie 3 Treffer
- Z (Programmiersprache) 3 Treffer
- Algebra 2 Treffer
- Anwendung 2 Treffer
- C++ 2 Treffer
- Constraint (Künstliche Intelligenz) 2 Treffer
- Formale Beschreibungstechnik 2 Treffer
- Formale Semantik 2 Treffer
- Formale Sprache 2 Treffer
- Funktionale Programmiersprache 2 Treffer
- Funktionale Programmierung 2 Treffer
- Implementierung (Informatik) 2 Treffer
- Nebenläufigkeit 2 Treffer
- Software Engineering 2 Treffer
- Softwareentwicklung 2 Treffer
- Systementwicklung 2 Treffer
- Verteiltes System 2 Treffer
- Aktionssemantik 1 Treffer
- Algebraische Modelltheorie 1 Treffer
- Algebraisches Modell 1 Treffer
- Algorithmentheorie 1 Treffer
- Algorithmus 1 Treffer
- Automatische Parallelisierung 1 Treffer
- BABEL (Programmiersprache) 1 Treffer
- Berechnungstheorie 1 Treffer
- Compiler 1 Treffer
- Computerarchitektur 1 Treffer
- Datentyp 1 Treffer
- Datenverarbeitung 1 Treffer
- Deklarative Programmiersprache 1 Treffer
- Deklarative Programmierung 1 Treffer
- Diskrete Simulation 1 Treffer
- Formale Methode 1 Treffer
- Funktional-logische Programmiersprache 1 Treffer
- GRAPES-86 1 Treffer
- Grammatik 1 Treffer
- Höhere Programmiersprache 1 Treffer
- Implementation 1 Treffer
- Informatik 1 Treffer
- Interpretierer 1 Treffer
- Kategorientheorie 1 Treffer
- Klassifikation 1 Treffer
Form
Person
- Ege, Raimund K. 3 Treffer
- Chen, Jian 2 Treffer
- Diller, Antoni 2 Treffer
- Sebesta, Robert W. 2 Treffer
- Abnous, Razmik 1 Treffer
-
45 weitere Werte:
- America, Pierre 1 Treffer
- Andrews, Derek 1 Treffer
- Asveld, Peter R. 1 Treffer
- Azmoodeh, Manoochehr 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Barringer, Howard 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Ben-Arî, Môtî (1948-) 1 Treffer
- Bergin, Joseph (1948-) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Carrano, Frank M. 1 Treffer
- Craig, Iain D. 1 Treffer
- Crawley, J. W. 1 Treffer
- Daconta, Michael C. 1 Treffer
- Darlington, John (1947-) 1 Treffer
- Deursen, Arie van 1 Treffer
- Emms, Judy 1 Treffer
- Fiedler, Jörg 1 Treffer
- Fitzgerald, John (1951-) 1 Treffer
- Ford, Judith 1 Treffer
- Ford, Neville J. 1 Treffer
- Frauenstein, Thomas 1 Treffer
- Friedman, Daniel P. 1 Treffer
- FrøLund, Svend 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Gunter, Carl A. 1 Treffer
- Guo, Yi-Ke 1 Treffer
- Haggenmüller, Rudolf 1 Treffer
- Hans, Werner (1965-) 1 Treffer
- Harrison, Rachel 1 Treffer
- Harry, Andrew 1 Treffer
- Haynes, Christopher T. 1 Treffer
- Heeg, Georg 1 Treffer
- Held, Gerhard 1 Treffer
- Helman, Paul 1 Treffer
- Hense, Andreas V. 1 Treffer
- Hext, Jan 1 Treffer
- Hilfinger, Paul N. 1 Treffer
- Hindley, James Roger 1 Treffer
- Khoshafian, Setrag 1 Treffer
- Klerer, Melvin 1 Treffer
- Kopp, Herbert 1 Treffer
- Lee, John A. N. (1934-) 1 Treffer
- Li, Wei 1 Treffer
76 Treffer
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1990Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Sankt Augustin: Ges. für Mathematik und Datenverarbeitung, 1990Monographie, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: McGraw-Hill, 1994Monographie, Gedruckte RessourceZugriff:
-
Düsseldorf: VDI-Verl, 1991Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: McGraw-Hill, 1991Monographie, Gedruckte RessourceZugriff:
-
Saarbrücken: Pirrot, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Amsterdam: Centrum voor Wiskunde en Informatica, 1991Hochschulschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1991Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Als Ms. gedr.. - Aachen: Shaker, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
3. ed., repr. with. corr.. - Reading, Mass. [u.a.]: Addison-Wesley, 1996Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Pr, 1991Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Prentice Hall, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Prentice Hall, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff: