Search

Your search returned 13 results.

Results
		Construction and analysis of safe, secure, and interoperable smart devices : 2nd international workshop, CASSIS, Nice, France, Mar. 8-11, 2005 by \| Barthe, Gilles...[et al.] \| Barthe, Gilles...[et al.]. Series: Lecture notes in computer science ; v.3956Edition: Language: English Publication details: Berlin ; Springer ; 2006Availability: Items available for loan: 1 Call number: 621.382:65.012.8Con:2:05. Place hold Add to cart (remove)
		Trustworthy global computing : 3rd symposium, TGC, Sophia-Antipolis, France, Nov. 5-6, 2007 by \| Barthe, Gilles \| Barthe, Gilles. Series: Lecture notes in computer science ; v.4912Edition: Language: English Publication details: Berlin ; Springer ; 2008Availability: Items available for loan: 1 Call number: 681.3:65.012.8Tru:3:07. Place hold Add to cart (remove)
		Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference proceedings, FMOODS, Oslo, Norway, June 4-6, 2008 by \| Barthe, Gilles \| Barthe, Gilles. Series: Lecture notes in computer science ; v.5051Edition: Language: English Publication details: Berlin ; Springer ; 2008Availability: Items available for loan: 1 Call number: 681.327.8:681.3.06For:10:08. Place hold Add to cart (remove)
		Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, Sept. 9-15, 2000 by \| Barthe, Gilles \| Barthe, Gilles. Series: Lecture notes in artificial intelligence ; v.2395Edition: Language: English Publication details: Berlin ; Springer ; 2002Availability: Items available for loan: 1 Call number: 681.3.06:415.4App:00. Place hold Add to cart (remove)
		Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS, Marseille, France, Mar. 10-14, 2004 by \| Barthe, Gilles...[et.al] \| Barthe, Gilles...[et.al]. Series: Lecture notes in computer science ; v.3362Edition: Language: English Publication details: Berlin ; Springer ; 2005Availability: Items available for loan: 1 Call number: 621.382:65.012.8Con:04. Place hold Add to cart (remove)
		Verification, model checking, and abstract interpretation : 11th international conference : VMCAI, Madrid, Spain, January 17-19, 2010 : proceedings (e-book) by Barthe, Gilles [Editor] \| Hermenegildo, Manuel [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5944 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer-Verlag 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Programming languages and systems : 20th European symposium on programming, ESOP, held as part of the joint European conferences on theory and practice of software : proceedings, ETAPS, Saarbrucken, Germany, Mar. 26-Apr. 3, 2011 (e-book) by Barthe, Gilles [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6602 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Security and trust management : 12th international workshop, STM, proceedings, Heraklion, Crete, Greece, Sept 26-27, 2016 (e-book) by Barthe, Gilles [Editor] \| Markatos, Evangelos [Editor] \| Samarati, Pierangela [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9331 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Applied semantics (e-book) by Barthe, Gilles [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.2395Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2002Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Construction and analysis of safe, secure, and interoperable smart devices (e-book) by Barthe, Gilles [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.3362Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2005Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha