TILAA UUTISKIRJE

KIRJAUDU

ostoskori

avaa valikko

Gilles Barthe | Booky.fi

Haullasi löytyi yhteensä 14 tuotetta
Haluatko tarkentaa hakukriteerejä?

Applied Semantics - International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Barthe, Gilles; Dybjer, Peter; Pinto, Luis; Saraiva, João
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja

51,40 €

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - International Workshop, CASSIS 2004, Marseille, Fra

Barthe, Gilles; Burdy, Lilian; Huisman, Marieke; Lanet, Jean-Louis; Muntean, Traian
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,40 €

Trustworthy Global Computing - Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Barthe, Gilles; Fournet, Cédric
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,40 €

Formal Methods for Open Object-Based Distributed Systems - 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway,

Barthe, Gilles
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,40 €

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice, F

Barthe, Gilles; Gregoire, Benjamin; Huisman, Marieke; Lanet, Jean-Luis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,40 €

Verification, Model Checking, and Abstract Interpretation - 11th International Conference, VMCAI 2010, Madrid, Spain, January 17

Barthe, Gilles; Hermenegildo, Manuel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,40 €

Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Confer

Barthe, Gilles
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Pr

Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17,

Barthe, Gilles; Livshits, Ben; Scandariato, Riccardo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,40 €

Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Se

Barthe, Gilles; Datta, Anupam; Etalle, Sandro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,40 €

Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedi

Barthe, Gilles; Markatos, Evangelos; Samarati, Pierangela
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,40 €

Foundations of Probabilistic Programming

Barthe, Gilles; Katoen, Joost-Pieter; Silva, Alexandra
Cambridge University Press
2020
Kovakantinen kirja

72,10 €

Foundations of Security Analysis and Design V - FOSAD 2008/2009 Tutorial Lectures

Aldini, Alessandro; Barthe, Gilles; Gorrieri, Roberto
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

47,30 €

Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Pa

Cuellar, Jorge; Lopez, Javier; Barthe, Gilles; Pretschner, Alexander
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

Näytä lisää...

Toimitusehdot

Asiakaspalvelu

YHTEYSTIEDOT

SEURAA MEITÄ

Booky.fi | Kotimainen kirjakauppasi netissä

Löydä seuraava lukuelämyksesi meiltä. Valikoimassamme ovat kaikki kotimaiset kirjat sekä noin 25 miljoonaa ulkomaista teosta.
Toimitamme tilaukset maailmanlaajuisesti!

Tietosuojaseloste

Evästeiden hallinta

Maksutavat