Humburger Icon
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
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

21 results found
List viewGrid view
Sort By:
1.
Programming Languages and SystemsNR
Programming Languages and Systems
By: Gilles Barthe
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,600
Binding:
Paperback
Release:
22 Mar 2011
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
2.
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,600
Binding:
Paperback
Release:
21 Oct 2011
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
3.
Applied Semantics36 %
Applied Semantics
By: Peter Dybjer, Gilles Barthe, Luis Pinto, João Saraiva
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
21 Aug 2002
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices36 %
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
By: Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
21 Jan 2005
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Foundations of Security Analysis and Design V36 %
Foundations of Security Analysis and Design V
By: Gilles Barthe, Roberto Gorrieri, Alessandro Aldini
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹4,986
₹3,191
Binding:
Paperback
Release:
17 Aug 2009
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices36 %
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
By: Gilles Barthe, Marieke Huisman, Benjamin Gregoire, Jean-Luis Lanet
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
18 Apr 2006
Language:
English
Available
Ships within 14-16 Days Explain..
7.
Verification, Model Checking, and Abstract Interpretation36 %
Verification, Model Checking, and Abstract Interpretation
By: Gilles Barthe, Manuel Hermenegildo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
08 Jan 2010
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Foundations of Probabilistic Programming48 %
Foundations of Probabilistic Programming
By: Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva
Publisher: Cambridge University Press
No Review Yet
₹7,308
₹3,800
Binding:
Hardback
Release:
03 Dec 2020
Language:
English
Available
Ships within 1-2 Days Explain..
9.
Trustworthy Global Computing
Trustworthy Global Computing
By: Gilles Barthe, Cédric Fournet
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹2,653
Binding:
Paperback
Release:
18 Mar 2008
Language:
English
Available
Ships within 8-10 Days Explain..
10.
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
By: Gilles Barthe
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹1,118
Binding:
Paperback
Release:
29 May 2008
Language:
English
Available
Ships within 8-10 Days Explain..
11.
Security and Trust Management36 %
Security and Trust Management
By: Pierangela Samarati, Gilles Barthe, Evangelos Markatos
Publisher: Springer International Publishing AG
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
17 Sep 2016
Language:
English
Available
Ships within 14-16 Days Explain..
12.
Security and Trust Management15 % POD/NR
Security and Trust Management
By: Gilles Barthe, Javier Lopez, Jorge Cuellar, Alexander Pretschner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹6,510
₹5,534
Binding:
Paperback
Release:
23 Sep 2011
Language:
English
International Edition
Ships within 10-12 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.
Engineering Secure Software and SystemsNR
Engineering Secure Software and Systems
By: Gilles Barthe, Riccardo Scandariato, Ben Livshits
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,435
Binding:
Paperback
Release:
30 Jan 2012
Language:
English
International Edition
Ships within 10-12 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-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹6,968
Binding:
Paperback
Release:
04 May 2012
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
15.
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming
By: Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva
Publisher: Cambridge University Press (Virtual Publishing)
No Review Yet
₹17,092
Binding:
Digital download and online
Release:
18 Nov 2020
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Programming Languages and Systems
Programming Languages and Systems
By: Gilles Barthe
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
23 Feb 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
17.
Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design V
By: Gilles Barthe, Roberto Gorrieri, Alessandro Aldini
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
17 Apr 2010
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
18.
Trustworthy Global Computing
Trustworthy Global Computing
By: Gilles Barthe, C Dric Fournet
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
04 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
19.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
By: Gilles Barthe, Marieke Huisman, Benjamin Gregoire
No Review Yet
₹2,201
Binding:
Paperback
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
20.
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
By: Gilles Barthe, Frank S de Boer
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
04 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results
ASK VIDYA