Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I
1, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II
1, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II
1, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I
1, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
1st ed. 2016, 2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings
1st Edition 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings
1st Edition 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings
1st Edition 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
1, 2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Under Pressure: Coal Industry Rhetoric and Neoliberalism
1, 2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Refocusing crime prevention: collective action and the quest for community
Refocusing crime prevention, 2007
1, 2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
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
2005., 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Janus particle synthesis, self-assembly and applications
1, 2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal aspects in security and trust: third international workshop, FAST 2005, Newcastle upon Tyne UK, July 18-19, 2005, revised selected papers
1st ed., 2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intercultural Challenges for the Reintegration of Displaced Professionals: A Response to the Language Learning Needs of Refugees in Europe
1, 2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Traditions in world cinema
1, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
2013, 2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZB 2005: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
1, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : Revised Selected Papers
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers
2007th edition, 2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verifiable Voting Systems
Computer and Information Security Handbook, 2013, p.1103-1126
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams
Integrated Formal Methods, 2017, Vol.10510
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Making Whiley Boogie
Integrated Formal Methods, 2017, Vol.10510
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing and Verifying Chain Repair Methods for CORFU Using Stateless Model Checking
Integrated Formal Methods, 2017, Vol.10510
2017
Volltextzugriff (PDF)
1 – 25 von 430
Suche als RSS-Feed
Aktive Filter
KollektionEZB Electronic Journals Library
Nur zeigenGeprüft (Peer-Review)
ThemaComputer Science, Theory & Methods
KollektionEbook Central Perpetual and DDA
Suchergebnisse filtern
Filter anzeigen