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
- Informatik 2 Treffer
- Jini 1.0 2 Treffer
- Jini 1.1 2 Treffer
- Kategorientheorie 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
Sprache
Form
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
157 Treffer
-
Berlin [u.a.]: Springer, 1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
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:
-
2. ed.. - New York [u.a.]: Wiley, 1995Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1993Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2005Monographie, Gedruckte RessourceZugriff:
-
7. print.. - Boston, Mass. [u.a.]: Addison-Wesley, 2003Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
Düsseldorf: VDI-Verl, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Wokingham, England [u.a.]: Addison-Wesley, 1991Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass [u.a.]: MIT Press [u.a.], 1992Monographie, Gedruckte RessourceZugriff:
-
1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff: