Campusbibliothek

Ihre Suche erzielte 11 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Computer security - ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019 : proceedings Part 1 Kazue Sako, Steve Schneider, Peter Y. A. Ryan (eds.) von Reihen: ; 11735 | Lecture notes in computer science ; 11735
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer [2019]
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 11735.
Vormerken Zum Korb hinzufügen
2.
Computer security - ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019 : proceedings Part 2 Kazue Sako, Steve Schneider, Peter Y. A. Ryan (eds.) von Reihen: ; 11736 | Lecture notes in computer science ; 11736
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer [2019]
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 11736.
Vormerken Zum Korb hinzufügen
3.
ZB 2005: formal specification and development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005 ; proceedings Helen Treharne...(eds.) von Reihen: ; 345500 | Lecture notes in computer science ; 3455
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11415787
Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3455.
Vormerken Zum Korb hinzufügen
4.
Formal aspects in security and trust third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18 - 19, 2005 ; revised selected papers Theo Dimitrakos; Fabio Martinelli; Peter Y. A. Ryan; Steve Schneider (ed.) von Reihen: ; 386600 | Lecture notes in computer science ; 3866
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11679219
Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 3866.
Vormerken Zum Korb hinzufügen
5.
Formal aspects in security and trust fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papers Theo Dimitrakos; Fabio Martinelli; Peter Y. A. Ryan; Steve Schneider (Eds.) von Reihen: ; 469100 | Lecture notes in computer science ; 4691
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12164677
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 4691.
Vormerken Zum Korb hinzufügen
6.
A comparison of additivity axioms in timed transition systems A. S. A. Jeffrey; S. A: Schneider; F. W. Vaandrager von Reihen: ; 199366 | Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199366 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam CWI 1993
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) Amsterdam CWI CS-R9366.
Vormerken Zum Korb hinzufügen
7.
E-voting and identity 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013 ; proceedings James Heather ... (ed.) von Reihen: ; 798500 | Lecture notes in computer science ; 7985
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86290046
Verlag: Berlin Heidelberg [u.a.] Springer 2013
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 7985.
Vormerken Zum Korb hinzufügen
8.
Applied cryptography and network security 14th international conference, ACNS 2016, Guildford, UK, June 19-22, 2016 : proceedings Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider (eds.) von Reihen: ; 969600 | Lecture notes in computer science ; 9696
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Switzerland Springer [2016]
Weitere Titel:
  • ACNS 2016
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 9696.
Vormerken Zum Korb hinzufügen
9.
Integrated formal methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings Nadia Polikarpova, Steve Schneider (eds.) von Reihen: ; 1051000 | Lecture notes in computer science ; 10510
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-319-66844-4
  • 86940431
Verlag: Cham Springer [2017]
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 10510.
Vormerken Zum Korb hinzufügen
10.
Concurrent and real-time systems the CSP approach Steve Schneider von Reihen: Worldwide series in computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Chichester Weinheim [u.a.] Wiley 2000
Weitere Titel:
  • communicating sequential processes
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) SchNE st 2000:1 1.Ex.
Vormerken Zum Korb hinzufügen
11.
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha