Fila barbara (10 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,22
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Graphical Models for Security: 5th International Workshop, Gramsec 2018, Oxford, Uk, July 8, 2018, Revised Selected Papers
Cybenko, George (Editor)/ Pym, David (Editor)/ Fila, Barbara (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 76,61
EUR 11,70 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 144 pages. 9.25x6.10x0.33 inches. In Stock.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 85,35
EUR 9,09 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,15 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21… submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Graphical Models for Security | 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers | George Cybenko (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2019 | Springer | EAN 9783030154646 | Verantwortliche Person für die EU: Springer Verl…ag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 47,77
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018. The 7 full papers presented in this volume were carefully reviewed and selected from 2…1 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 49,20
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018. The 7 full papers presented in this volume were carefully reviewed and selecte…d from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.
Juggling Formal Methods and Security: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 16365)
Fila, Barbara (Editor)/ Jonker, Hugo (Editor)/ Radomirovic, Saa (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 153,02
EUR 11,70 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 265 pages. 6.10x0.61x9.25 inches. In Stock.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 93,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Juggling Formal Methods and Security | Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday | Barbara Fila (u. a.) | Taschenbuch | xii | Englisch | 2026 | Springer | EAN 9783032206831 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen…[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 104,85
EUR 62,06 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is dedicated to Professor Sjouke Mauw on the occasion of his 65th birthday. Prof. Mauw obtained his PhD from the University of Amsterdam and subsequently held faculty and research positions at Eindhoven University of Technology and a…t Centrum Wiskunde & Informatica (CWI) in Amsterdam. He has collaborated closely with researchers around the world, including colleagues in Australia, Norway, Singapore, and many other countries. Since 2007, he has served as a full professor at the University of Luxembourg, where he leads the Security and Trust of Software Systems group.A passionate advocate of rigorous formalization, Prof. Mauw specializes in formal methods for information security. He laid the mathematical foundations for attack trees, a practical and widely used security assessment framework, and he contributed extensively to the development of theory and tools for the specification and automated verification of security protocols.Many members of Sjouke Mauw's scientific family have contributed to this volume to honor a distinguished advisor, exceptional mentor, and outstanding educator.
