Your search returned 5 results.

Results
	1.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe ... [et al.]. by CASSIS (Conference) (2005 : Nice, France) Barthe, Gilles SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3956 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / edited by Gilles Barthe, Cedric Fournet. by TGC 2007 (2007 : Sophia-Antipolis, France) Barthe, Gilles Fournet, Cedric SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4912 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3.	Foundations of security analysis and design V [electronic resource] : FOSAD 2007/2008/2009 tutorial lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri. by Aldini, Alessandro Gorrieri, Roberto Barthe, Gilles SpringerLink (Online service) Series: Lecture notes in computer science ; 5705 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	4.	Verification, model checking, and abstract interpretation [electronic resource] : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / edited by Gilles Barthe, Manuel Hermenegildo. by VMCAI 2010 (2010 : Madrid, Spain) Barthe, Gilles Hermenegildo, Manuel SpringerLink (Online service) Series: Lecture notes in computer science ; 5944 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: VMCAI 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	5.	Foundations of Probabilistic Programming / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. by Barthe, Gilles [editor.] Katoen, Joost-Pieter [editor.] Silva, Alexandra [editor.] Publisher: Cambridge : Cambridge University Press, 2020 Online resources: Click here to access online Availability: No items available.

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library