Gesamtpreis (1 Artikel Artikel):
Versandziel:
luca viganò (40 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (40)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (37)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (28)
Sprache (4)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Galois
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: NEW.
-
Socio-Technical Aspects in Security
Verlag: Springer International Publishing AG, 2022
ISBN 10: 3031101820 ISBN 13: 9783031101823
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,71
EUR 4,73 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Socio Technical Aspects in Security (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: new.
-
Zustand: new.
-
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Arspa-wits 2009, York, Uk, March 28-29, 200: Vol 5511
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 3642034586 ISBN 13: 9783642034589
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,72
EUR 11,38 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2009 edition. 223 pages. 9.30x6.10x0.50 inches. In Stock.
-
The Morphology of Urban Landscapes
Verlag: Dietrich Reimer Verlag GmbH, 2021
ISBN 10: 3496016485 ISBN 13: 9783496016489
Sprache: Englisch
EUR 39,00
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Redaktion: Andri GerberAndri Gerber ist Staedtebauhistoriker und Stadtmetaphorologe. Er wurde an der ETH Zuerich promoviert und habilitiert und ist Professor am Institut Urban Landscape, ZHAW Winterthur.Redaktion: Regula IseliRegula Isel.
-
Socio-technical Aspects in Security and Trust: 10th International Workshop, Stast 2020, Virtual Event, September 14, 2020, Revised Selected Papers
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030793176 ISBN 13: 9783030793173
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 91,72
EUR 11,38 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 219 pages. 9.25x6.10x0.46 inches. In Stock.
-
SOCIO-TECHNICAL ASPECTS IN SECURITY : 11
Anbieter: Speedyhen, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,73
EUR 46,66 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
-
EUR 53,32
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Principles of Security and Trust: 5th International Conference, Post 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3662496348 ISBN 13: 9783662496343
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,25
EUR 28,45 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 288 pages. 9.25x6.10x0.68 inches. In Stock.
-
Tests and Proofs
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2013, 2013
ISBN 10: 3642389155 ISBN 13: 9783642389153
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeIncremental Refinement Checking for Test Case Generation.- Time for Mutants - Model-Based Mutation Testing with Timed Automata.- Model-Based Testing for Verification Back-Ends.- A Metric for Testing Program Verification Systems.- Test Program Generation for a Microprocessor: A Case-Study.- A Declarative Debugger for Sequential Erlang Programs.- Initiating a Benchmark for UML and OCL Analysis Tools.- Speeding Up Algorithmic Debugging Using Balanced Execution Trees.- Generating Test Suites with Augmented Dynamic Symbolic Execution.- Divergent Quiescent Transition Systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.
-
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642389155 ISBN 13: 9783642389153
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
-
Foundations and Applications of Security Analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642034586 ISBN 13: 9783642034589
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Principles of Security and Trust
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2016, 2016
ISBN 10: 3662496348 ISBN 13: 9783662496343
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.
-
Foundations and Applications of Security Analysis
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642034586 ISBN 13: 9783642034589
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -The Joint Workshop on ¿Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security¿ (ARSPA-WITS 2009) was held in York, UK, March 28¿29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on ¿Automated Reasoning for Security P- tocol Analysis,¿ bringing together researchers and practitioners from both the security andthe formalmethods communities,from academiaand industry,who are working on developing and applying automated reasoning techniques and tools for the formal speci cation and analysis of security protocols. The rst two ARSPA workshops were held as satellite events of the Second International JointConferenceon Automated Reasoning(IJCAR 2004)andof the 32nd Int- nationalColloquiumonAutomata,LanguagesandProgramming(ICALP2005), respectively. ARSPA then joined forces with the workshop FCS (Foundations of Computer Security): FCS-ARSPA 2006 was a liated with LICS 2006, in the context of FLoC 2006,and FCS-ARSPA 2007 was a liated with LICS 2007 and ICALP 2007. WITSistheo cialannualworkshoporganizedbytheIFIP WG1.7on¿T- oretical Foundations of Security Analysis and Design,¿ established to promote the investigation on the theoretical foundations of security, discovering and p- moting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security-related applications. This is the ninth meeting in the series. In 2008, ARSPA and WITS joined with the workshop on Foundations of Computer - curityFCSforajointworkshop,FCS-ARSPA-WITS2008,associatedwithLICS 2008 and CSF 21.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.
-
Foundations and Applications of Security Analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642034586 ISBN 13: 9783642034589
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conferenceproceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS 2009.The12 revised full papers presented together with 2 invited talkswerecarefully reviewed and selected from27 submissions. The papers featuretopics including formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, the modeling of information flow and its application to confidentiality policies, system composition and covert channel analysis.
-
Principles of Security and Trust : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Verlag: Springer Berlin Heidelberg, 2016
ISBN 10: 3662496348 ISBN 13: 9783662496343
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 12 full papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections named: information flow; models and applications; protocols.
-
Labelled Deduction
Verlag: Springer Netherlands, Springer Netherlands, 2012
ISBN 10: 9401057818 ISBN 13: 9789401057813
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
-
Taschenbuch. Zustand: Neu. Principles of Security and Trust | 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings | Luca Viganò (u. a.) | Taschenbuch | x | Englisch | 2016 | Springer Berlin | EAN 9783662496343 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Foundations and Applications of Security Analysis | Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers | Luca Viganò (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer-Verlag GmbH | EAN 9783642034589 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Socio-Technical Aspects in Security
Verlag: Springer, Berlin|Springer, 2022
ISBN 10: 3031101820 ISBN 13: 9783031101823
Sprache: Englisch
Zustand: New. This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research i.
-
Socio-Technical Aspects in Security and Trust
Verlag: Springer International Publishing, Springer Nature Switzerland Jun 2021, 2021
ISBN 10: 3030793176 ISBN 13: 9783030793173
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.
-
Morphologie Von Stadtlandschaften: Geschichte, Analyse, Entwurf
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 40,59
EUR 14,23 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 224 pages. German language. 9.45x6.65x0.75 inches. In Stock.
-
Socio-Technical Aspects in Security and Trust : 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
Verlag: Springer International Publishing, 2021
ISBN 10: 3030793176 ISBN 13: 9783030793173
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
Socio-Technical Aspects in Security and Trust | 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
Verlag: Springer Nature Switzerland, 2021
ISBN 10: 3030793176 ISBN 13: 9783030793173
Sprache: Englisch
Taschenbuch. Zustand: Neu. Socio-Technical Aspects in Security and Trust | 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers | Luca Viganò (u. a.) | Taschenbuch | xii | Englisch | 2021 | Springer Nature Switzerland | EAN 9783030793173 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Socio-Technical Aspects in Security
Verlag: Springer International Publishing, Springer International Publishing Jul 2022, 2022
ISBN 10: 3031101820 ISBN 13: 9783031101823
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in October 2021.The 10 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: web and apps; context and modelling; and from the present to the future.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.
-
Socio-Technical Aspects in Security : 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
Verlag: Springer International Publishing, 2022
ISBN 10: 3031101820 ISBN 13: 9783031101823
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in October 2021.The 10 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: web and apps; context and modelling; and from the present to the future.
-
Socio-Technical Aspects in Security | 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
Verlag: Springer International Publishing, 2022
ISBN 10: 3031101820 ISBN 13: 9783031101823
Sprache: Englisch
Taschenbuch. Zustand: Neu. Socio-Technical Aspects in Security | 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers | Luca Viganò (u. a.) | Taschenbuch | x | Englisch | 2022 | Springer International Publishing | EAN 9783031101823 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 92,27
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New.
-
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642389155 ISBN 13: 9783642389153
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
