Buy books written by Gilles Barthe Available at Bookswagon
BooksWagon Icon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Gilles Barthe

Gilles Barthe

8 results found
List viewGrid view
Sort By:
1.
Foundations of Probabilistic Programming
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
AED238
Binding:
Hardback
Release:
07 Jan 2021
Language:
English
Available
Ships within 2-4 Days Explain..
2.
Security and Trust Management
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
AED250
Binding:
Paperback
Release:
23 Sep 2011
Language:
English
International Edition
Ships within 14-16 Days Explain..
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.
3.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
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
AED245
Binding:
Paperback
Release:
21 Jan 2005
Language:
English
International Edition
Ships within 14-16 Days Explain..
4.
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, Jean-Luis Lanet
Publisher: Springer
No Review Yet
AED245
Binding:
Paperback
Release:
01 May 2006
Language:
English
International Edition
Ships within 14-16 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
AED156
Binding:
Paperback
Release:
01 Aug 2008
Language:
English
Available
Ships within 2-4 Days Explain..
6.
Trustworthy Global Computing
Trustworthy Global Computing
By: Gilles Barthe, C. Dric Fournet, Cedric Fournet, Cédric Fournet
Publisher: Springer
No Review Yet
AED144
Binding:
Paperback
Release:
01 Jun 2008
Language:
English
Available
Ships within 1-2 Days Explain..
7.
Security and Trust Management
Security and Trust Management
By: Pierangela Samarati, Gilles Barthe, Evangelos Markatos
Publisher: Springer
No Review Yet
AED244
Binding:
Paperback
Release:
17 Sep 2016
Language:
English
International Edition
Ships within 24-26 Days Explain..
8.
Joke Robaard: Folders, Suits, Pockets, Files, Stocks
Joke Robaard: Folders, Suits, Pockets, Files, Stocks
By: Jorinde Seijdel, Gilles Deleuze, Roland Barthes, Adolf Loos, Jean-Luc Godard
Publisher: Valiz
No Review Yet
AED110
Binding:
Paperback
Release:
02 Aug 2004
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found