Campusbibliothek

Ihre Suche erzielte 26 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
f ed. by J. C. M. Baeten von Reihen: ; 1700 | Cambridge tracts in theoretical computer science ; 17
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1990
Online-Ressourcen:
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) BAE j 1990:1 2.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
2.
Nets, terms and formulas three views of concurrent processes and their relationship E.-R. Olderog von Reihen: ; 2300 | Cambridge tracts in theoretical computer science ; 23
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1991
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Habil.-Schr., 1989
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (5)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) OLD e 1991:1 3.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
3.
Automatic verification of sequential infinite state processes Olaf Burkart von Reihen: ; 135400 | Lecture notes in computer science ; 1354
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1997
Hochschulschriftenvermerk: Teilw. zugl.: Aachen, Techn. Hochsch., Diss., 1995
Weitere Titel:
  • infinite-state
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 1354.
Vormerken Zum Korb hinzufügen
4.
Process algebra and probabilistic methods performance modeling and verification ; joint international workshop ; proceedings PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. Luca de Alfaro ... von Reihen: ; 216500 | Lecture notes in computer science ; 2165
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer-Verlag 2001
Weitere Titel:
  • PAPM PROBMIV 2001
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 LNAI 2165.
Vormerken Zum Korb hinzufügen
5.
Process algebra and probabilistic methods performance modeling and verification ; second joint international workshop ; proceedings PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002. Holger Hermanns; Roberto Segala (ed.) von Reihen: ; 239900 | Lecture notes in computer science ; 2399
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • PAPM-PROBMIV 2002
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 LNAI 2399.
Vormerken Zum Korb hinzufügen
6.
Interactive Markov chains and the quest for quantified quality Holger Hermanns von Reihen: ; 242800 | Lecture notes in computer science ; 2428
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
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 2428.
Vormerken Zum Korb hinzufügen
7.
8.
Trustworthy global computing second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 ; revised selected papers Ugo Montanari; Donald Sannella; Roberto Bruni (eds.) von Reihen: ; 466100 | Lecture notes in computer science ; 4661
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12166930
Verlag: Berlin Heidelberg [u.a.] Springer 2007
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 4661.
Vormerken Zum Korb hinzufügen
9.
Trustworthy global computing third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 ; revised selected papers Gilles Barthe; Cédric Fournet (eds.) von Reihen: ; 491200 | Lecture notes in computer science ; 4912
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2008
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 4912.
Vormerken Zum Korb hinzufügen
10.
Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings Sophia Drossopoulou (ed.) von Reihen: ; 496000 | Lecture notes in computer science ; 4960
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12244515
Verlag: Berlin Heidelberg [u.a.] Springer 2008
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 4960.
Vormerken Zum Korb hinzufügen
11.
Trustworthy global computing 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers Christos Kaklamanis; Flemming Nielson (eds.) von Reihen: ; 547400 | Lecture notes in computer science ; 5474
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12637553
Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5474.
Vormerken Zum Korb hinzufügen
12.
Equivalences for concurrent and distributed systems Igor V. Tarasyuk von Reihen: ; 199909 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Fachbereich Informatik / Carl-v.-Ossietzky-Universität Oldenburg ; 199909 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-v.-Ossietzky-Univ., Fachbereich Informatik 1999
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) Oldenburg UNI INF 9/99.
Vormerken Zum Korb hinzufügen
13.
Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Fernando Ferreira; Benedikt Löwe; Elvira Mayordomo; Luís Mendes Gomes (eds.) von Reihen: ; 615800 | Lecture notes in computer science ; 6158
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80016605
Verlag: Berlin Heidelberg [u.a.] Springer 2010
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 6158.
Vormerken Zum Korb hinzufügen
14.
Interactive Markov chains Holger Hermanns von Reihen: ; 32,7 | Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) ; 32,7 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Erlangen Inst. für Math. Maschinen und Datenverarbeitung (Informatik) 1999
Hochschulschriftenvermerk: Zugl.: Erlangen, Nürnberg, Univ., Diss., 1998
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) Erlangen-Nürnberg UNI INF Arbeitsberichte Bd. 32/7.
Vormerken Zum Korb hinzufügen
15.
Process algebra J.C.M. Baeten and W.P. Weijland, Centre for Mathematics and Computer Science, Amsterdam von Reihen: ; 1800 | Cambridge tracts in theoretical computer science ; 18
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge New York$Port Chester Melbourne Sydney Cambridge University Press 1990
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BAE j 1990:2 3.Ex, ...
Vormerken Zum Korb hinzufügen
16.
Algebra of communicating processes proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994 A. Ponse ... (ed.) Publ. in collab. with the British Computer Society von Reihen: Workshops in Computing
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: London Berlin Heidelberg [u.a.] Springer 1995
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) PON a 1995:1 1.Ex.
Vormerken Zum Korb hinzufügen
17.
Rounding errors in algebraic processes J. H. Wilkinson von
Auflage: 1. publ., unabr. and unaltered republ. of 1963
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York, NY Dover Publ. 1994
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) WIL j4 1994:1 1.Ex.
Vormerken Zum Korb hinzufügen
18.
Action refinement in process algebras Luca Aceto von Reihen: Distinguished Dissertations in Computer Science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge Cambridge University Press 1992
Hochschulschriftenvermerk: Zugl.: Univ. of Sussex, Diss., 1990
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) ACE l 1992:1 1.Ex.
Vormerken Zum Korb hinzufügen
19.
Introduction to the formal design of real time systems David Gray von Reihen: Applied computing
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Weitere Titel:
  • real-time
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) GRA d 1999:1 1.Ex.
Vormerken Zum Korb hinzufügen
20.
Introduction to process algebra with 11 figures and 11 tables Wan Fokkink von Reihen: Texts in theoretical computer science | An EATCS series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000
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) FOK w 2000:1 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha