Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Gilles Barthe

Gilles BartheGilles Barthe is Scientific Director at the Max Planck Institute for Security and Privacy and Research Professor at the IMDEA Software Institute, Madrid. His recent research develops programming language techniques and verification methods for probablistic languages, with a focus on cryptographic and differentially private computations. Read More Read Less

15 results found
List viewGrid view
Sort By:
1.
Foundations of Probabilistic Programming33 %
Foundations of Probabilistic Programming
By: Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva, Alexandra (University College London) Silva, Joost-Pieter (RWTH Aachen University, Germany) Katoen
Publisher: Cambridge University Press
No Review Yet
₹6,288
₹4,213
Binding:
Hardback
Release:
07 Jan 2021
Language:
English
Available
Ships within 2-4 Days Explain..
2.
Formal Methods for Open Object-Based Distributed Systems59 %
Formal Methods for Open Object-Based Distributed Systems
By: Gilles Barthe
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹6,555
₹2,688
Binding:
Paperback
Release:
01 Aug 2008
Language:
English
Available
Ships within 2-4 Days Explain..
3.
Trustworthy Global Computing48 %
Trustworthy Global Computing
By: Gilles Barthe, C. Dric Fournet, Cedric Fournet, Cédric Fournet
Publisher: Springer
No Review Yet
₹4,685
₹2,436
Binding:
Paperback
Release:
01 Jun 2008
Language:
English
Available
Ships within 1-2 Days Explain..
4.
Foundations of Security Analysis and Design V37 %
Foundations of Security Analysis and Design V
By: Gilles Barthe, Roberto Gorrieri, Alessandro Aldini
Publisher: Springer
No Review Yet
₹4,412
₹2,780
Binding:
Paperback
Release:
17 Aug 2009
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices37 %
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
By: Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
21 Jan 2005
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices37 %
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
By: Gilles Barthe, Marieke Huisman, Benjamin Gregoire, Jean-Luis Lanet
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
01 May 2006
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Verification, Model Checking, and Abstract Interpretation37 %
Verification, Model Checking, and Abstract Interpretation
By: Gilles Barthe, Manuel Hermenegildo
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
01 Apr 2010
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Security and Trust Management37 %
Security and Trust Management
By: Pierangela Samarati, Gilles Barthe, Evangelos Markatos
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
17 Sep 2016
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Applied Semantics37 %
Applied Semantics
By: Peter Dybjer, Gilles Barthe, Joao Saraiva, Luis Pinto, João Saraiva
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
21 Aug 2002
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Programming Languages and SystemsNR
Programming Languages and Systems
By: Gilles Barthe, Gilles (EDT) Barthe
Publisher: Springer
No Review Yet
₹5,211
Binding:
Paperback
Release:
22 Mar 2011
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
11.
Engineering Secure Software and SystemsNR
Engineering Secure Software and Systems
By: Gilles Barthe, Gilles (EDT) Barthe, Riccardo Scandariato, Ben Livshits, Riccardo (EDT) Scandariato
Publisher: Springer
No Review Yet
₹5,058
Binding:
Paperback
Release:
30 Jan 2012
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
12.
Security and Trust Management19 % POD/NR
Security and Trust Management
By: Gilles Barthe, Javier (EDT) Lopez, Alexander (EDT) Pretschner, Gilles (EDT) Barthe, Jorge (EDT) Cuellar
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,950
₹4,820
Binding:
Paperback
Release:
23 Sep 2011
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
13.
Software Engineering and Formal MethodsNR
Software Engineering and Formal Methods
By: Gilles Barthe, Alberto Pardo, Gerardo Schneider
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,211
Binding:
Paperback
Release:
21 Oct 2011
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
14.
Formal Aspects of Security and TrustNR
Formal Aspects of Security and Trust
By: Sandro Etalle, Gilles Barthe, Anupam Datta
Publisher: Springer
No Review Yet
₹6,487
Binding:
Paperback
Release:
04 May 2012
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
15.
Joke Robaard: Folders, Suits, Pockets, Files, Stocks29 %
Joke Robaard: Folders, Suits, Pockets, Files, Stocks
By: Jorinde Seijdel, Gilles Deleuze, Roland Barthes, Adolf Loos, Jean-Luc Godard
Publisher: Valiz
No Review Yet
₹2,699
₹1,916
Binding:
Paperback
Release:
02 Aug 2004
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found