Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Programmierung 8 Treffer
- Verteiltes System 5 Treffer
- Koordination 4 Treffer
- Programmiersprache 4 Treffer
- Objektorientierte Programmierung 3 Treffer
-
27 weitere Werte:
- Java (Programmiersprache) 2 Treffer
- Parallelverarbeitung 2 Treffer
- Spezifikation 2 Treffer
- Agent (Informatik) 1 Treffer
- Algorithmus 1 Treffer
- Atomarität (Informatik) 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Computersicherheit 1 Treffer
- Datensicherung 1 Treffer
- Funktionale Programmierung 1 Treffer
- Multithreading 1 Treffer
- Objekt (Informatik) 1 Treffer
- Objektorientierte Programmiersprache 1 Treffer
- Petri-Netz 1 Treffer
- Programmierparadigma 1 Treffer
- Prototyping 1 Treffer
- Rechnernetz 1 Treffer
- Semantik 1 Treffer
- Standard ML 1 Treffer
- Statische Analyse 1 Treffer
- Synchronisierung 1 Treffer
- Systemanalyse 1 Treffer
- Verifikation 1 Treffer
- Verteiltes Betriebssystem 1 Treffer
- Verteiltes Datenbanksystem 1 Treffer
- Wechselseitiger Ausschluss 1 Treffer
- Wissensrepräsentation 1 Treffer
Form
Person
- Baeten, Josephus C. M. 3 Treffer
- Lauer, Peter E. 2 Treffer
- Abadi, Martín (1963-) 1 Treffer
- Agha, Gul 1 Treffer
- Arbab, Farhad (1952-) 1 Treffer
-
37 weitere Werte:
- Axford, Tom 1 Treffer
- Bacon, Jean (1942-) 1 Treffer
- Baier, Christel 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Best, Eike 1 Treffer
- Brim, Lubǒs 1 Treffer
- Brinch Hansen, Per (1938-2007) 1 Treffer
- Ciancarini, Paolo 1 Treffer
- Cortesi, Agostino 1 Treffer
- Gardner, Philippa 1 Treffer
- Garlan, David 1 Treffer
- Harland, David M. 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Huntbach, Matthew M. 1 Treffer
- Jaffar, Joxan 1 Treffer
- Janicki, Ryszard 1 Treffer
- Jonsson, Bengt 1 Treffer
- Kanchana Kanchanasut 1 Treffer
- Kramer, Jeff (1949-) 1 Treffer
- Kwiatkowska, Marta Z. (1957-) 1 Treffer
- Larsen, Kim G. 1 Treffer
- Lea, Doug 1 Treffer
- Lee, Insup 1 Treffer
- Magee, Jeff (1952-) 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
- Nielson, Flemming 1 Treffer
- Palamidessi, Catuscia 1 Treffer
- Porto, António 1 Treffer
- Rattray, Charles 1 Treffer
- Raynal, Michel 1 Treffer
- Ringwood, Graem A. 1 Treffer
- Roscoe, A. W. 1 Treffer
- Sangiorgi, Davide 1 Treffer
- Schneider, Fred B. 1 Treffer
- Snow, C. R. 1 Treffer
- Tokoro, Mario 1 Treffer
- Yonezawa, Akinori 1 Treffer
42 Treffer
-
Berlin [u.a.]: Springer, 2013Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 2002Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. print.. - Reading, Mass. [u.a.]: Addison-Wesley, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1997Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1989Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: