Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 478 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Proceedings / International Workshop on Parallel Processing by Cellular Automata and Arrays, Parcella von
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985-1989
Weitere Titel:
  • Lecture notes in computer science / Proceedings - International Workshop on Parallel Processing by Cellular Automata and Arrays
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
2.
Mathematical foundations of computer science 7 7. Symposium at Zakopane, Poland, Sept. 4 - 8, 1978 von Reihen: ; 64 | Lecture notes in computer science ; 64
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: 1978
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 64.
Vormerken Zum Korb hinzufügen
3.
Proceedings 2 Aachen, September 17 - 19, 1986 von Reihen: ; 237 | Lecture notes in computer science ; 237
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: 1986
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 237.
Vormerken Zum Korb hinzufügen
4.
5.
Verifying concurrent processes using temporal logic Brent T. Hailpern von Reihen: ; 12900 | Lecture notes in computer science ; 129
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1982
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 129.
Vormerken Zum Korb hinzufügen
6.
Alternating sequential/parallel processing Y. Wallach von Reihen: ; 12700 | Lecture notes in computer science ; 127
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1982
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 127.
Vormerken Zum Korb hinzufügen
7.
Parallele Algorithmen Friedel Hoßfeld von Reihen: ; 64 | Informatik-Fachberichte ; 64
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin [u.a.] Springer 1983
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) IFB 64 1.Ex.
Vormerken Zum Korb hinzufügen
8.
High-speed computation [proceedings of the NATO Advanced Research Workshop on High-Speed Computation, held at Jülich, Federal Republic of Germany, June 20 - 22, 1983] ed. by Janusz S. Kowalik von Reihen: NATO NATO ASI series / F ; 7
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1984
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) KOW j 1983:1 1.Ex.
Vormerken Zum Korb hinzufügen
9.
Distributed computing ed. by Fred B. Chambers ... von Reihen: Academic Press rapid manuscript reproduction | ; 2000 | Automatic Programming Information Centre APIC studies in data processing ; 2000 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London [u.a.] Acad. Pr. 1984
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ChAM f 1984:1 1.Ex.
Vormerken Zum Korb hinzufügen
10.
Parallele Systeme Johannes Röhrich von Reihen: ; 117 | Informatik-Fachberichte ; 117
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1986
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Habil.-Schr., 1985
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) IFB 117 1.Ex.
Vormerken Zum Korb hinzufügen
11.
LUCAS associative array processor design, programming and application studies Christer Fernstrom; Ivan Kruzela; Bertil Svensson von Reihen: ; 21600 | Lecture notes in computer science ; 216
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1986
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 216.
Vormerken Zum Korb hinzufügen
12.
Logics and models of concurrent systems [proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8 - 19 October 1984] ed. by Krzysztof R. Apt von Reihen: ; 1300 | NATO NATO ASI series / F ; 13 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) APT k 1985:1 1.Ex.
Vormerken Zum Korb hinzufügen
13.
A survey of verification techniques for parallel programs Howard Barringer von Reihen: ; 19100 | Lecture notes in computer science ; 191
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 191.
Vormerken Zum Korb hinzufügen
14.
Organisation von parallelen Prozessen Theorie deterministischer Schedules von Klaus Ecker von Reihen: ; 23 | Reihe Informatik ; 23
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Mannheim [u.a.] Bibliographisches Institut 1977
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ECkE k 1977:1 1.Ex.
Vormerken Zum Korb hinzufügen
15.
Semantics of concurrent computation proceedings of the International Symposium Evian, France, July 2 - 4, 1979 ed. by Gilles Kahn von Reihen: ; 7000 | Lecture notes in computer science ; 70
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1979
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 70 1.Ex.
Vormerken Zum Korb hinzufügen
16.
Seminar on Concurrency Carnegie-Mellon University, Pittsburgh, PA, July 9 - 11, 1984 ed. by S. D. Brookes ... von Reihen: ; 19700 | Lecture notes in computer science ; 197
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 197.
Vormerken Zum Korb hinzufügen
17.
The concurrency control problem for database systems Marco Antonio Casanova von Reihen: ; 11600 | Lecture notes in computer science ; 116
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 1981
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 116.
Vormerken Zum Korb hinzufügen
18.
Parallel processes and related automata = Parallele Prozesse und damit zusammenhängende Automaten ed./Hrsg.: W. Knödel; H. J. Schneider von Reihen: Computing <Wien> / Supplementum ; 3
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Wien [u.a.] Springer 1981
Weitere Titel:
  • Parallele Prozesse und damit zusammenhängende Automaten
  • Parallele Prozesse und damit zusammenhängende Automaten
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) KNÖ w 1981:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
19.
The analysis of concurrent systems Cambridge, September 12 - 16, 1983 ; proceedings ed. by B. T. Denvir ... von Reihen: ; 20700 | Lecture notes in computer science ; 207
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 207.
Vormerken Zum Korb hinzufügen
20.
Parallel sorting algorithms Selim G. Akl von Reihen: ; 12 | Notes and reports in computer science and applied mathematics ; 12
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Orlando, Fla. [u.a.] Acad. Pr. 1985
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AKL s 1985:1 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha