Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Parallelverarbeitung 24 Treffer
- Programmierung 22 Treffer
- Theoretische Informatik 16 Treffer
- Compiler 15 Treffer
- Formale Sprache 14 Treffer
-
45 weitere Werte:
- Automatentheorie 12 Treffer
- Implementierung (Informatik) 11 Treffer
- Parallelrechner 10 Treffer
- Datenverarbeitung 9 Treffer
- Logische Programmierung 9 Treffer
- Semantik 9 Treffer
- Verteiltes System 9 Treffer
- Computerarchitektur 8 Treffer
- Nebenläufigkeit 7 Treffer
- Koordination 5 Treffer
- Programmanalyse 5 Treffer
- Datenbanksystem 4 Treffer
- Algorithmus 3 Treffer
- Auszeichnungssprache 3 Treffer
- Betriebssystem 3 Treffer
- Echtzeitsystem 3 Treffer
- Mehragentensystem 3 Treffer
- Produktionsregelsystem 3 Treffer
- Programmtransformation 3 Treffer
- Programmverifikation 3 Treffer
- Semantic Web 3 Treffer
- Softwareentwicklung 3 Treffer
- Algorithmische Programmiersprache 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Dialogsystem 2 Treffer
- Formale Semantik 2 Treffer
- Kommunikation 2 Treffer
- Kongress 2 Treffer
- Objektorientierte Programmierung 2 Treffer
- Skalierbarkeit 2 Treffer
- Software Engineering 2 Treffer
- Typentheorie 2 Treffer
- Algorithmische Geometrie 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Ausführung 1 Treffer
- Automation 1 Treffer
- Automatische Parallelisierung 1 Treffer
- Benutzeroberfläche 1 Treffer
- Berechnungstheorie 1 Treffer
- Computerarithmetik 1 Treffer
- Computersimulation 1 Treffer
- Constraint-basiertes Schließen 1 Treffer
- Datenbank 1 Treffer
- Datentyp 1 Treffer
- Datenverarbeitungssystem 1 Treffer
Sprache
Form
Person
- Aarts, Emile H. L. (1955-) 2 Treffer
- Bakker, Jacobus Willem de 2 Treffer
- Brookes, Stephen D. 2 Treffer
- Bruynooghe, Maurice 2 Treffer
- Ciancarini, Paolo 2 Treffer
-
45 weitere Werte:
- Deransart, Pierre 2 Treffer
- Dignum, Frank 2 Treffer
- Hermenegildo, Manuel 2 Treffer
- Jones, Neil D. (1941-) 2 Treffer
- Schlender, Bodo 2 Treffer
- Adi, Asaf 1 Treffer
- Aguilar, Rafael 1 Treffer
- André, Françoise 1 Treffer
- Antoniou, Grigoris (1961-) 1 Treffer
- Arbab, Farhad (1952-) 1 Treffer
- Arvind, Vikraman 1 Treffer
- Atkinson, Malcolm P. (1943-) 1 Treffer
- Bal, Henri E. 1 Treffer
- Bancilhon, François 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Barthe, Gilles 1 Treffer
- Barton, Michael H. 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Benyon, David 1 Treffer
- Birtwistle, Graham M. (1939-) 1 Treffer
- Bormann, Jürgen 1 Treffer
- Brodie, Michael L. 1 Treffer
- Böhm, Corrado (1923-2017) 1 Treffer
- Carter, Larry 1 Treffer
- Chatterjee, Siddharta (1963-) 1 Treffer
- Coplien, James O. 1 Treffer
- Cousot, Patrick 1 Treffer
- Dam, Mads 1 Treffer
- De Nicola, Rocco 1 Treffer
- Dietz, Henry G. 1 Treffer
- Droste, Manfred 1 Treffer
- Dwarkadas, Sandhya 1 Treffer
- Eigenmann, Rudolf 1 Treffer
- Eijk, Rogier M. van 1 Treffer
- Engeler, Erwin 1 Treffer
- Eršov, Andrej P. (1931-1988) 1 Treffer
- Garlan, David 1 Treffer
- Gelernter, David 1 Treffer
- Glaser, Hugh 1 Treffer
- Goebel, Gerhard 1 Treffer
- Gutknecht, Jürg 1 Treffer
- Hankin, Chris 1 Treffer
- Hibbard, P. G. 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Hsiang, Jieh (1954-) 1 Treffer
143 Treffer
-
Amsterdam [u.a.]: North-Holland, 1981Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland [Publ. Co.], 1988-Zeitschrift, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1982Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York, NY: Assoc. for Computing Machinery, 2000Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York, NY: ACM Press, 1995Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1978) ; New York, NY: American Elsevier (1978) ; Edinburgh: Edinburgh Univ. Press (1978) ; Berlin ; Heidelberg [u.a.]: Springer (1978), 1978Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2007Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston (u.a.]: Kluwer Academic Press, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1983) ; New York, NY: American Elsevier (1983) ; Edinburgh: Edinburgh Univ. Press (1983) ; Berlin ; Heidelberg [u.a.]: Springer (1983), 1983Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff: