Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 36 Treffer
- Abstrakter Datentyp 14 Treffer
- Objektorientierte Programmierung 10 Treffer
- Semantik 10 Treffer
- Softwareentwicklung 9 Treffer
-
45 weitere Werte:
- Funktionale Programmierung 7 Treffer
- Programmierung 7 Treffer
- Formale Sprache 6 Treffer
- Typentheorie 6 Treffer
- Funktionale Semantik 5 Treffer
- Objektorientierte Programmiersprache 5 Treffer
- Parallelverarbeitung 5 Treffer
- Algebraische Spezifikation 4 Treffer
- Formale Spezifikationstechnik 4 Treffer
- Operationale Semantik 4 Treffer
- Verteiltes System 4 Treffer
- Z (Programmiersprache) 4 Treffer
- Algorithmus 3 Treffer
- C++ 3 Treffer
- Datenstruktur 3 Treffer
- Echtzeitsystem 3 Treffer
- Formale Semantik 3 Treffer
- Funktional-logische Programmiersprache 3 Treffer
- Funktionale Programmiersprache 3 Treffer
- Java (Programmiersprache) 3 Treffer
- Nebenläufigkeit 3 Treffer
- Softwarespezifikation 3 Treffer
- Agent (Informatik) 2 Treffer
- Algebra 2 Treffer
- Algorithmische Programmierung 2 Treffer
- AspectJ 2 Treffer
- Axiomatische Semantik 2 Treffer
- Befehlsvorrat 2 Treffer
- Computerarchitektur 2 Treffer
- Constraint-Programmierung 2 Treffer
- Fehlertoleranz 2 Treffer
- Formale Beschreibungstechnik 2 Treffer
- Graphersetzungssystem 2 Treffer
- Grundlage 2 Treffer
- Implementierung (Informatik) 2 Treffer
- Jini 1.0 2 Treffer
- Jini 1.1 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Mathematik 2 Treffer
- Natürliche Sprache 2 Treffer
- Petri-Netz 2 Treffer
- Programmverifikation 2 Treffer
- Software Engineering 2 Treffer
- Syntaktische Analyse 2 Treffer
- Syntax 2 Treffer
Sprache
Person
- Nielson, Flemming 3 Treffer
- Riis Nielson, Hanne 3 Treffer
- Sebesta, Robert W. 3 Treffer
- Abnous, Razmik 2 Treffer
- Diller, Antoni 2 Treffer
-
45 weitere Werte:
- Ehrich, Hans-Dieter (1943-) 2 Treffer
- Friedman, Daniel P. 2 Treffer
- Harrison, Rachel 2 Treffer
- Haynes, Christopher T. 2 Treffer
- Khoshafian, Setrag 2 Treffer
- Lock, Hendrik C. R. 2 Treffer
- Oaks, Scott 2 Treffer
- Prudenzi, Patrizia Sabrina 2 Treffer
- Schürr, Andreas 2 Treffer
- Stubbs, Daniel F. 2 Treffer
- Wand, Mitchell 2 Treffer
- Webre, Neil W. 2 Treffer
- Wong, Henry 2 Treffer
- Alber, Klaus 1 Treffer
- Alexandrescu, Andrei 1 Treffer
- Asperti, Andrea 1 Treffer
- Avenhaus, Jürgen (1941-) 1 Treffer
- Azmoodeh, Manoochehr 1 Treffer
- Aßmann, Uwe 1 Treffer
- Backhouse, Roland Carl 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Belli, Fevzi 1 Treffer
- Ben-Arî, Môtî (1948-) 1 Treffer
- Bergin, Joseph (1948-) 1 Treffer
- Biewer, Benno (1958-) 1 Treffer
- Bishop, Judith M. (1951-) 1 Treffer
- Bistarelli, Stefano 1 Treffer
- Blikle, Andrzej 1 Treffer
- Bobrow, Daniel Gureasko 1 Treffer
- Boley, Harold 1 Treffer
- Breu, Ruth 1 Treffer
- Breugel, Franck van (1966-) 1 Treffer
- Bundschuh, Manfred 1 Treffer
- Böckle, Günter 1 Treffer
- Börger, Egon 1 Treffer
- Carrano, Frank M. 1 Treffer
- Cejtlin, Georgij E. 1 Treffer
- Craig, Iain D. 1 Treffer
- Crawley, J. W. 1 Treffer
- Daconta, Michael C. 1 Treffer
- Desrivières, Jim 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Dori, Dov (1953-) 1 Treffer
- Dörr, Heiko 1 Treffer
155 Treffer
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass [u.a.]: MIT Press [u.a.], 1992Monographie, Gedruckte RessourceZugriff:
-
1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Bonn [u.a.]: Internat. Thomson Publ, 1994Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1992Monographie, Gedruckte RessourceZugriff:
-
Wokingham, England [u.a.]: Addison-Wesley, 1986Monographie, Einführung, Gedruckte RessourceZugriff:
-
Englewood Cliffs, N.J. [u.a.]: Prentice-Hall Internat, 1979Monographie, Gedruckte RessourceZugriff:
-
READING, MASS.; LONDON ETC.: ADDISON-WESLEY, 1975Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: McGraw-Hill, 1995Monographie, Einführung, Gedruckte RessourceZugriff:
-
Basingstoke [u.a.]: Macmillan Education, 1988Monographie, Gedruckte RessourceZugriff:
-
2. ed., 1. [Dr.]. - Redwood City, Calif. [u.a.]: Benjamin/Cummings, 1993Monographie, Gedruckte RessourceZugriff: