Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Bauer, Lujo [Herausgeber/in] ; Küsters, Ralf [Herausgeber/in] ; et al.

Cham: Springer Nature, 2018

Online Buch, Datenträger, Online-Ressource - 1 Online-Ressource

Evangelische Hochschule Rheinland-Westfalen-Lippe, Bibliothek (DE-956), Bibliothekskatalog
FH Münster, Hochschulbibliothek (DE-836), Bibliothekskatalog
Fachhochschule Dortmund, Hochschulbibliothek (DE-Dm13), Bibliothekskatalog
Hochschulbibliothek der Fachhochschule Aachen (DE-A96), Bibliothekskatalog
Hochschulbibliothek der Hochschule Düsseldorf (DE-Due62), Bibliothekskatalog
Hochschule Hamm-Lippstadt, Bibliothek Hamm (DE-1871)
Hochschule Koblenz, RheinAhrCampus, Bibliothek (DE-1105), Bibliothekskatalog
Hochschule Niederrhein, Bibliothek (DE-829), Bibliothekskatalog
Hochschule Ruhr West, Hochschulbibliothek (DE-1393), Bibliothekskatalog
Ruhr-Universität Bochum, Universitätsbibliothek (DE-294), Bibliothekskatalog
Technische Hochschule Georg Agricola, Hochschulbibliothek (DE-Bm1), Bibliothekskatalog
Technische Hochschule Köln, Hochschulbibliothek (DE-832), Bibliothekskatalog
Universitäts- und Landesbibliothek Bonn (DE-5), Bibliothekskatalog
Universitäts- und Landesbibliothek Düsseldorf (DE-61), Bibliothekskatalog
Universitäts- und Landesbibliothek Münster, Zentralbibliothek (DE-6), Bibliothekskatalog
Universitätsbibliothek Dortmund (DE-290), Bibliothekskatalog
Universitätsbibliothek Duisburg-Essen (DE-465), Bibliothekskatalog
Universitätsbibliothek Paderborn (DE-466), Bibliothekskatalog
Universitätsbibliothek Siegen (DE-467), Bibliothekskatalog
Universitätsbibliothek Trier (DE-385), Bibliothekskatalog
Universitätsbibliothek Wuppertal (DE-468), Bibliothekskatalog
Universitätsbibliothek der Fernuniversität (DE-708), Bibliothekskatalog
Universitätsbibliothek der RPTU in Kaiserslautern (DE-386), Bibliothekskatalog
Universitätsbibliothek der RWTH Aachen (DE-82), Bibliothekskatalog
ZB MED - Informationszentrum Lebenswissenschaften, Köln (DE-38M), Bibliothekskatalog
Zentralbibliothek der Sportwissenschaften der Deutschen Sporthochschule Köln (DE-Kn41), Bibliothekskatalog

Titel:	Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Autor/in / Beteiligte Person:	Bauer, Lujo [Herausgeber/in] ; Küsters, Ralf [Herausgeber/in] ; Bauer, Lujo [Sonstige] ; Küsters, Ralf [Sonstige]
Veröffentlichung:	Cham: Springer Nature, 2018
Medientyp:	Buch
Datenträgertyp:	Datenträger, Online-Ressource
Umfang:	1 Online-Ressource
ISBN:	9783319897226; 3319897225
Schlagwort:	authentication computer science computer software selection and evaluation cryptography data privacy formal logic formal methods formal specification internet privacy program compilers programming languages security analysis security systems semantics separation logic software engineering specifications verification world wide web thema EDItEUR::U Computing and Information Technology::UY Computer science
Sonstiges:	Online-Ressource [Kann nicht per Fernleihe bestellt werden!] English Sprache: Englisch hbz Verbund-ID: HT030722026

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.