Del 56
Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Inbunden, 2005
2 419 kr
Del i serien Lecture Notes in Computer Science
Principles of Security and Trust
Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Häftad, Engelska, 2013
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (7)
This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, in Rome, Italy, in March 2013. The 14 papers included in this volume were carefully reviewed and selected from 59 submissions. They deal with the theoretical and foundational aspects of security and trust such as new theoretical results, practical applications of existing foundational ideas, and innovative theoretical approaches stimulated by pressing practical problems.
Produktinformation
- Utgivningsdatum2013-02-20
- Mått155 x 235 x 17 mm
- Vikt470 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor287
- Upplaga2013
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642368295
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Labelled Deduction
Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò
Inbunden, 2000
1 439 kr
Complete Guide to SCION
Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig
Inbunden, 2022
1 919 kr
Complete Guide to SCION
Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig
Häftad, 2023
1 329 kr
Modeling and Analyzing Security Protocols with Tamarin
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Inbunden, 2025
819 kr
Del 17
Labelled Deduction
David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò
Häftad, 2012
1 429 kr
Hoppa över listan
Mer från samma serie
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
749 kr
Del 16375
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 219 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
969 kr
Hoppa över listan
Du kanske också är intresserad av
Del 11426
Del 10804
Trust Management II
Yücel Karabulut, John C. Mitchell, Peter Herrmann, Christian Damsgaard Jensen
Inbunden, 2008
1 479 kr
Modeling and Analyzing Security Protocols with Tamarin
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Inbunden, 2025
819 kr