Your search returned 13 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Construction and analysis of safe, secure, and interoperable smart devices (e-book)

by Barthe, Gilles [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.3956Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2006Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Trustworthy global computing (e-book)

by Barthe, Gilles [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.4912Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Formal methods for open object-based distributed systems (e-book)

by Barthe, Gilles [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.5051Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Pages

Powered by Koha