Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmierung 12 Treffer
- Formale Sprache 7 Treffer
- Koordination 5 Treffer
- Verteiltes System 5 Treffer
- Nebenläufigkeit 4 Treffer
-
31 weitere Werte:
- Programmanalyse 4 Treffer
- Mehragentensystem 3 Treffer
- Theoretische Informatik 3 Treffer
- Dialogsystem 2 Treffer
- Generation 4 2 Treffer
- Kommunikation 2 Treffer
- Softwareproduktionsumgebung 2 Treffer
- Algorithmische Geometrie 1 Treffer
- Constraint-basiertes Schließen 1 Treffer
- Echtzeitsystem 1 Treffer
- Eingebettetes System 1 Treffer
- Implementierung (Informatik) 1 Treffer
- Informationssystem 1 Treffer
- Interpretierer 1 Treffer
- Objektorientierte Programmiersprache 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Parallelverarbeitung 1 Treffer
- Programmierumgebung 1 Treffer
- Programmtransformation 1 Treffer
- Programmverifikation 1 Treffer
- RATFOR 1 Treffer
- Software Engineering 1 Treffer
- Softwareentwicklung 1 Treffer
- Softwarespezifikation 1 Treffer
- Softwareumgebung 1 Treffer
- Softwarewerkzeug 1 Treffer
- Syntaktische Analyse 1 Treffer
- Systementwicklung 1 Treffer
- Telekommunikationsnetz 1 Treffer
- Typentheorie 1 Treffer
- Umwelt 1 Treffer
Sprache
Form
Person
- Ciancarini, Paolo 2 Treffer
- Dignum, Frank 2 Treffer
- Arbab, Farhad (1952-) 1 Treffer
- Arvind, Vikraman 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
-
29 weitere Werte:
- Benyon, David 1 Treffer
- Coplien, James O. 1 Treffer
- Dam, Mads 1 Treffer
- De Nicola, Rocco 1 Treffer
- Eijk, Rogier M. van 1 Treffer
- Evans, Michael W. 1 Treffer
- Garlan, David 1 Treffer
- Gough, Kevin John (1942-) 1 Treffer
- Hankin, Chris 1 Treffer
- Kapoor, Sanjiv 1 Treffer
- Kernighan, Brian W. (1942-) 1 Treffer
- Kobayashi, Naoki 1 Treffer
- Koskimies, Kai 1 Treffer
- Martin, Robert C. (1952-) 1 Treffer
- Mueller, Frank (1966-) 1 Treffer
- Paakki, Jukka 1 Treffer
- Pandu Rangan, C. (1955-) 1 Treffer
- Plauger, Phillip J. (1944-) 1 Treffer
- Porto, António 1 Treffer
- Reps, Thomas W. (1956-) 1 Treffer
- Riis Nielson, Hanne 1 Treffer
- Sagiv, Mooly 1 Treffer
- Sannella, Donald 1 Treffer
- Schmidt, David 1 Treffer
- Sestoft, Peter (1962-) 1 Treffer
- Smolka, Gert (1955-) 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
- Vlissides, John M. (1961-2005) 1 Treffer
- Yi, Kwangkeun 1 Treffer
32 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Plenum Pr, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass [u.a.]: MIT Pr, 1984Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Sydney [u.a.]: Addison-Wesley, 1988Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: