Zum Inhalt springen

  1. Degano, Pierpaolo [Herausgeber:in]; Guttman, Joshua D. [Sonstige Person, Familie und Körperschaft] ; FAST 6 2009 Eindhoven

    Formal aspects in security and trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5 - 6, 2009 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 5983

  2. Degano, Pierpaolo [Herausgeber:in]; Etalle, Sandro [Sonstige Person, Familie und Körperschaft]; Guttman, Joshua [Sonstige Person, Familie und Körperschaft] ; FAST 7 2010 Pisa

    Formal aspects of security and trust : 7th international Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6561

  3. Degano, Pierpaolo [Herausgeber:in]; Guttman, Joshua [Sonstige Person, Familie und Körperschaft]; Martinelli, Fabio [Sonstige Person, Familie und Körperschaft] ; FAST 5 2008 Málaga

    Formal aspects in security and trust : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5491

  4. Degano, Pierpaolo [Verfasser:in] ; Guttman, Joshua D. [Sonstige Person, Familie und Körperschaft]

    Principles of Security and Trust : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7215

  5. Degano, Pierpaolo [Verfasser:in] ; Guttman, Joshua D. [Sonstige Person, Familie und Körperschaft]

    Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 5983

  6. Degano, Pierpaolo [Verfasser:in] ; Etalle, Sandro [Herausgeber:in]; Guttman, Joshua [Herausgeber:in]

    Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6561

  8. Guttman, Joshua D. [Herausgeber:in]; Landwehr, Carl E. [Herausgeber:in]; Meseguer, José [Herausgeber:in]; Pavlovic, Dusko [Herausgeber:in]

    Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2019

    Erschienen in: Security and Cryptology ; 11565- Springer eBooks ; Computer Science

  9. Nigam, Vivek [Herausgeber:in]; Ban Kirigin, Tajana [Herausgeber:in]; Talcott, Carolyn [Herausgeber:in]; Guttman, Joshua [Herausgeber:in]; Kuznetsov, Stepan [Herausgeber:in]; Thau Loo, Boon [Herausgeber:in]; Okada, Mitsuhiro [Herausgeber:in]

    Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday - [1st ed. 2020.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Theoretical Computer Science and General Issues ; 12300- Springer eBook Collection

  10. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Degano, Pierpaolo [Sonstige Person, Familie und Körperschaft]; Guttman, Joshua [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Martinelli, Fabio [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]

    Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5491

  11. Guttman, Joshua

    Save that POCUS Scan!

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ovid Technologies (Wolters Kluwer Health), 2024

    Erschienen in: Emergency Medicine News, 46 (2024) 8B