Foundations of Probabilistic Programming
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Inbunden, 2020
859 kr
Security and Trust Management
12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
AvGilles Barthe,Evangelos Markatos
Häftad, Engelska, 2016
Del 9871 i serien Lecture Notes in Computer Science
571 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
This book constitutes the refereed proceedings of the 12th International Workshop on Security and Trust Management, STM 2016, held in Heraklion, Crete, Greece, in September 2016, in conjunction with the 21st European Symposium Research in Computer Security, ESORICS 2016.The 13 full papers together with 2 short papers were carefully reviewed and selected from 34 submissions. the focus on the workshop was on following topics: access control, data protection, mobile security, privacy, security and trust policies, trust models.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Foundations of Probabilistic Programming
Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe
E-bok
20201 002 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
Häftad, 2005
571 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Traian Muntean, Jean-Louis Lanet, Marieke Huisman, Lilian Burdy, Gilles Barthe
E-bok
2005739 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
Häftad, 2006
571 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Jean-Luis Lanet, Marieke Huisman, Benjamin Gregoire, Gilles Barthe
E-bok
2006739 kr
Hoppa över listan
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
Häftad, 2008
554 kr
Del 16297
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
Häftad, 2026
932 kr
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
571 kr
- Nyhet
Del 16693
Advanced Parallel Processing Technologies
Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson
Häftad, 2026
1 022 kr
Del 16832
Progress in Cryptology - AFRICACRYPT 2026
Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez
Häftad, 2026
932 kr
- Nyhet
Electronic Participation
David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek
Häftad, 2026
730 kr
Del 12051
Sustainable Digital Communities
Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad
Häftad, 2020
1 071 kr
Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, 2000
571 kr
Del 13216
Requirements Engineering: Foundation for Software Quality
Vincenzo Gervasi, Andreas Vogelsang
Häftad, 2022
627 kr
Component-Based Software Engineering
Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford
Häftad, 2007
571 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Del 14336
Del 16137
Security and Trust Management
Audun Jøsang, Pierangela Samarati, Marinella Petrocchi
Häftad, 2013
571 kr
Del 15235
Del 10547
Security and Trust Management
Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner
Häftad, 2011
571 kr
Del 13867