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

14 results found
List viewGrid view
Sort By:
1.
Foundations of Probabilistic Programming15 %
Foundations of Probabilistic Programming
By: Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva
Publisher: Cambridge University Press
No Review Yet
₹5,354
₹4,551
Binding:
Hardback
Release:
03 Dec 2020
Language:
English
Available
Ships within 4-6 Days Explain..
2.
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,307
₹3,396
Binding:
Paperback
Release:
08 Jan 2010
Language:
English
Available
Ships within 12-14 Days Explain..
3.
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,879
₹3,123
Binding:
Paperback
Release:
17 Aug 2009
Language:
English
Available
Ships within 12-14 Days Explain..
4.
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,572
Binding:
Paperback
Release:
18 Mar 2008
Language:
English
Available
Ships within 4-6 Days Explain..
5.
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,089
Binding:
Paperback
Release:
29 May 2008
Language:
English
Available
Ships within 4-6 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,307
₹3,396
Binding:
Paperback
Release:
18 Apr 2006
Language:
English
Available
Ships within 12-14 Days Explain..
7.
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,307
₹3,396
Binding:
Paperback
Release:
21 Jan 2005
Language:
English
Available
Ships within 12-14 Days Explain..
8.
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,307
₹3,396
Binding:
Paperback
Release:
21 Aug 2002
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Security and Trust Management36 %
Security and Trust Management
By: Pierangela Samarati, Gilles Barthe, Evangelos Markatos
Publisher: Springer International Publishing AG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
17 Sep 2016
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Security and Trust Management14 % 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,230
₹5,358
Binding:
Paperback
Release:
23 Sep 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
11.
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,354
Binding:
Paperback
Release:
21 Oct 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
12.
Programming Languages and SystemsNR
Programming Languages and Systems
By: Gilles Barthe
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,354
Binding:
Paperback
Release:
22 Mar 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
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,201
Binding:
Paperback
Release:
30 Jan 2012
Language:
English
International Edition
Ships within 12-14 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,668
Binding:
Paperback
Release:
04 May 2012
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
No more records found
ASK VIDYA