Gilles barthe (146 résultats)

3540688625 / 9783540688624

Etat: Occasion - Assez bon

EUR 7,57

EUR 6,02 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

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

Gilles Barthe

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2008

Couverture souple

Vendeur : Ammareal, Morangis, FranceAmmareal

Vendeur avec une évaluation de 5 étoiles

2840240319 / 9782840240310

Etat: Occasion - Très bon

Bonne affaire

Prix actuel : EUR 5,55

EUR 16,50 expédition

Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Softcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.

L'enfance spirituelle

Gilles Barthe

Langue : français

Edité par Editions des Béatitudes, 1993

Couverture souple

Vendeur : Ammareal, Morangis, FranceAmmareal

Vendeur avec une évaluation de 5 étoiles

110848851X / 9781108488518

Etat: Occasion - Bon

Bonne affaire

Prix actuel : EUR 3,15

EUR 16,50 expédition

Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Softcover. Etat : Bon. Couverture différente. Edition 1993. Tome 8. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Different cover. Edition 1993. Volume 8. Ammareal gives back up to 15% of this item's net price to charity organizations.

Foundations of Probabilistic Programming

Langue : anglais

Edité par Cambridge University Press, 2020

Couverture rigide

Vendeur : SN Books Ltd, Thetford, Royaume-UniSN Books Ltd

Vendeur avec une évaluation de 5 étoiles

3540242872 / 9783540242871

Etat: Occasion - Assez bon

EUR 16,31

EUR 17,46 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

hardcover. Etat : Very Good. Orders shipped daily from the UK. Professional seller.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, . (Lecture Notes in Computer Science, 3362)

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Blue Vase Books, Interlochen, MI, Etats-UnisBlue Vase Books

Vendeur avec une évaluation de 5 étoiles

3540336893 / 9783540336891

Etat: Occasion - Assez bon

EUR 41,45

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : very_good. Book has little sign of wear or use.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 - Revised Selected Papers

Barthe, G. et al

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Anybook.com, Lincoln, Royaume-UniAnybook.com

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 26,74

EUR 15,83 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:9783540336891.

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers Lecture Notes in Computer Science, 4912

Barthe, Gilles:

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagnebooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 29,95

EUR 15,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Broschiert. Etat : Gut. 400 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 635.

Trustworthy Global Computing

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,70

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Trustworthy Global Computing

0

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Aldini, Alessandro (EDT); Barthe, Gilles (EDT); Gorrieri, Roberto (EDT)

Etat: Neuf

EUR 48,70

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

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

Langue : anglais

Edité par Springer, 2009

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 50,93

EUR 2,27 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures (Paperback or Softback)

Aldini, Alessandro

Langue : anglais

Edité par Springer 8/17/2009, 2009

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 53,28

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

Paperback or Softback. Etat : New. Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures. Book.

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science, 5705)

Langue : anglais

Edité par Springer, 2009

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

110848851X / 9781108488518

Etat: Neuf

EUR 58,54

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Foundations of Probabilistic Programming

0

Langue : anglais

Edité par Cambridge University Press, 2020

Couverture rigide

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Barthe, Gilles [Editor]; Fournet, Cédric [Editor];

Etat: Neuf

EUR 59,62

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in . Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Barthe, Gilles (EDT); Gregoire, Benjamin (EDT); Huisman, Marieke (EDT); Lanet, Jean-luis (EDT)

Etat: Occasion - Assez bon

EUR 54,81

EUR 6,02 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Construction And Analysis of Safe, Secure, And Interoperable Smart Devices : Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Langue : anglais

Edité par Springer, 2006

3540336893 / 9783540336891

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Barthe, Gilles (EDT); Markatos, Evangelos (EDT); Samarati, Pierangela (EDT)

Etat: Occasion - Comme neuf

EUR 61,28

EUR 2,27 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Security and Trust Management : 12th International Workshop, Stm 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Langue : anglais

Edité par Springer, 2016

331946597X / 9783319465975

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3642281656 / 9783642281655

Etat: Occasion - Comme neuf

EUR 61,68

EUR 2,27 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Engineering Secure Software and Systems (Paperback)

Gilles Barthe

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012

Couverture souple

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail

Vendeur avec une évaluation de 5 étoiles

Cuellar, Jorge (EDT); Lopez, Javier (EDT); Barthe, Gilles (EDT); Pretschner, Alexander (EDT)

Etat: Neuf

EUR 64,87

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected fro…

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

Langue : anglais

Edité par Springer, 2011

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 63,67

EUR 2,27 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

Etat : New.

Security and Trust Management

Jorge Cuellar

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011

Couverture souple

Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA

Vendeur avec une évaluation de 5 étoiles

Cuellar, Jorge (EDT); Lopez, Javier (EDT); Barthe, Gilles (EDT); Pretschner, Alexander (EDT)

Etat: Neuf

EUR 66,02

Frais de port gratuits

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Paperback. Etat : New. 2011. This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010. The 17 revised full papers presented were carefully reviewed and selected from 40 submissions. Focusing on…

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

Langue : anglais

Edité par Springer, 2011

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 64,99

EUR 2,27 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

Etat : As New. Unread book in perfect condition.

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science, 5705)

Langue : anglais

Edité par Springer, 2009

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,76

EUR 13,94 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In English.

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

Aldini, Alessandro

Langue : anglais

Edité par Springer 2009-08, 2009

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Aldini, Alessandro (EDT); Barthe, Gilles (EDT); Gorrieri, Roberto (EDT)

Etat: Neuf

EUR 51,05

EUR 18,03 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

PF. Etat : New.

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

Langue : anglais

Edité par Springer, 2009

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Barthe, Gilles (EDT); Markatos, Evangelos (EDT); Samarati, Pierangela (EDT)

Etat: Neuf

EUR 54,02

EUR 17,46 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Security and Trust Management : 12th International Workshop, Stm 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Langue : anglais

Edité par Springer, 2016

331946597X / 9783319465975

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3540688625 / 9783540688624

Etat: Neuf

EUR 71,62

EUR 2,27 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings (Lecture Notes in Computer Science, 5051)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

3540336893 / 9783540336891

Etat: Neuf

EUR 60,90

EUR 13,94 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... (Lecture Notes in Computer Science, 3956)

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

3642113184 / 9783642113185

Etat: Neuf

EUR 60,90

EUR 13,94 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2010

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,90

EUR 13,94 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6710)

Langue : anglais

Edité par Springer, 2011

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 75,39

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4912)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

3540242872 / 9783540242871

Etat: Neuf

EUR 60,90

EUR 13,94 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... (Lecture Notes in Computer Science, 3362)

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles