Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmierung 16 Treffer
- Verteiltes System 9 Treffer
- Programmiersprache 6 Treffer
- Koordination 4 Treffer
- Objektorientierte Programmierung 4 Treffer
-
42 weitere Werte:
- Parallelverarbeitung 4 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Echtzeitsystem 2 Treffer
- Java (Programmiersprache) 2 Treffer
- Spezifikation 2 Treffer
- Synchronisierung 2 Treffer
- Agent (Informatik) 1 Treffer
- Algebra 1 Treffer
- Algebraische Modelltheorie 1 Treffer
- Algebraisches Modell 1 Treffer
- Algorithmus 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Atomarität (Informatik) 1 Treffer
- Computersicherheit 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Datensicherung 1 Treffer
- Formale Semantik 1 Treffer
- Funktionale Programmierung 1 Treffer
- Kategorientheorie 1 Treffer
- Kommunikation 1 Treffer
- Mathematisches Modell 1 Treffer
- Multithreading 1 Treffer
- Objekt (Informatik) 1 Treffer
- Objektorientierte Programmiersprache 1 Treffer
- Paralleler Algorithmus 1 Treffer
- Petri-Netz 1 Treffer
- Programmierparadigma 1 Treffer
- Prototyping 1 Treffer
- Prozesskommunikation 1 Treffer
- Rechnernetz 1 Treffer
- Semantik 1 Treffer
- Softwarespezifikation 1 Treffer
- Standard ML 1 Treffer
- Statische Analyse 1 Treffer
- Synchrones Schaltwerk 1 Treffer
- Systemanalyse 1 Treffer
- Temporale Logik 1 Treffer
- Verifikation 1 Treffer
- Verteiltes Betriebssystem 1 Treffer
- Verteiltes Datenbanksystem 1 Treffer
- Wechselseitiger Ausschluss 1 Treffer
- Wissensrepräsentation 1 Treffer
Sprache
Form
Person
- Baeten, Josephus C. M. 4 Treffer
- Herrtwich, Ralf Guido 2 Treffer
- Hommel, Günter (19XX-) 2 Treffer
- Lauer, Peter E. 2 Treffer
- Abadi, Martín (1963-) 1 Treffer
-
45 weitere Werte:
- Agha, Gul 1 Treffer
- Amadio, Roberto M. 1 Treffer
- Arbab, Farhad (1952-) 1 Treffer
- Axford, Tom 1 Treffer
- Bacon, Jean (1942-) 1 Treffer
- Baier, Christel 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Ben-Arî, Môtî (1948-) 1 Treffer
- Best, Eike 1 Treffer
- Birtwistle, Graham M. (1939-) 1 Treffer
- Brim, Lubǒs 1 Treffer
- Brinch Hansen, Per (1938-2007) 1 Treffer
- Burns, Alan (1929-2013) 1 Treffer
- Ciancarini, Paolo 1 Treffer
- Cortesi, Agostino 1 Treffer
- Davies, Geoff 1 Treffer
- FrøLund, Svend 1 Treffer
- Gardner, Philippa 1 Treffer
- Garlan, David 1 Treffer
- Gehani, Narain 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
- Lewis, T. G. (1941-) 1 Treffer
- Magee, Jeff (1952-) 1 Treffer
- Manna, Zohar 1 Treffer
- Maurer, Christian 1 Treffer
- Mazurkiewicz, Antoni 1 Treffer
- Milner, Robin (1934-2010) 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
- Nielson, Flemming 1 Treffer
- Palamidessi, Catuscia 1 Treffer
- Pnûʾēlî, Āmîr 1 Treffer
- Porto, António 1 Treffer
- Rattray, Charles 1 Treffer
- Raynal, Michel 1 Treffer
58 Treffer
-
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, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester: Horwood [u.a.], 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wokingham, England [u.a.]: Addison-Wesley, 1993Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 2002Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Prentice Hall, 1989Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1992Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: