Order Total (1 Item Items):
Shipping Destination:
Fila Barbara (26 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (26)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (24)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (26)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (15)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers (Security and Cryptology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Condition: New. 1st ed. 2019 edition NO-PA16APR2015-KAP.
-
Graphical Models For Security : 5th Inte
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Graphical Models for Security: 5th International Workshop, Gramsec 2018, Oxford, Uk, July 8, 2018, Revised Selected Papers
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Paperback. Condition: Brand New. 144 pages. 9.25x6.10x0.33 inches. In Stock.
-
Condition: New.
-
Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Taschenbuch. Condition: 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.
-
Taschenbuch. Condition: 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 Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Juggling Formal Methods and Security (Paperback)
Language: English
Published by Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032206839 ISBN 13: 9783032206831
Paperback. Condition: new. Paperback. 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 at 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
Condition: 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 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.
-
Condition: 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 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.
-
Paperback. Condition: Brand New. 265 pages. 6.10x0.61x9.25 inches. In Stock.
-
Taschenbuch. Condition: 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 at 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.
-
Condition: new. Questo è un articolo print on demand.
-
Graphical Models for Security
Language: English
Published by Springer International Publishing Mrz 2019, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 144 pp. Englisch.
-
-
-
Graphical Models for Security
Language: English
Published by Springer International Publishing, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 .
-
Graphical Models for Security
Language: English
Published by Springer, Springer Mär 2019, 2019
ISBN 10: 3030154645 ISBN 13: 9783030154646
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 144 pp. Englisch.
-
Juggling Formal Methods and Security
Language: English
Published by Springer, Berlin, Springer Jul 2026, 2026
ISBN 10: 3032206839 ISBN 13: 9783032206831
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 at 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. 253 pp. Englisch.
-
Juggling Formal Methods and Security
Language: English
Published by Springer Verlag GmbH, 2026
ISBN 10: 3032206839 ISBN 13: 9783032206831
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
-
Condition: New. Print on Demand.
-
Juggling Formal Methods and Security
Language: English
Published by Springer, Palgrave Macmillan Mai 2026, 2026
ISBN 10: 3032206839 ISBN 13: 9783032206831
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 at 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 268 pp. Englisch.
-
Condition: New. PRINT ON DEMAND.
