bib.howest.be Zoekresultaten

U zocht naar: Auteur Barthe, Gilles

1 - 10 van 10

1. Programming Languages and Systems

Auteur:: Barthe, Gilles; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

2. Trustworthy Global Computing

Auteur:: Barthe, Gilles; Fournet, Cédric; Fournet, C??dric.
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

3. Foundations of Security Analysis and Design V

Auteur:: Aldini, Alessandro; Barthe, Gilles; Gorrieri, Roberto; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

4. Software Engineering and Formal Methods

Auteur:: Barthe, Gilles; Kanade, Takeo; Pardo, Alberto; Schneider, Gerardo
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

5. Security and Trust Management

Auteur:: Cuellar, Jorge; Barthe, Gilles; Kanade, Takeo; López, Javier; Pretschner, Alexander
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

6. Security and Trust Management

Auteur:: Barthe, Gilles. Markatos, Evangelos. Samarati, Pierangela.; Markatos, Evangelos; Samarati, Pierangela
Uitgever:: Springer International Publishing 2016
Type:: e-book

7. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Auteur:: Barthe, Gilles; Burdy, Lilian; Huisman, Marieke; Kanade, Takeo; Lanet, Jean-Louis; Muntean, Traian
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

8. Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Auteur:: Barthe, Gilles; Association for Computing Machinery-Digital Library.; Hermenegildo, Manuel; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

9. Formal Methods for Open Object-Based Distributed Systems

Auteur:: Barthe, Gilles; IFIP Working Group 6.1.; Boer, Frank S.; Boer, Frank S. de; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

10. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Auteur:: Barthe, Gilles; Institut national de recherche en informatique et en automatique (France); Grégoire, Benjamin; Huisman, Marieke; Kanade, Takeo; Lanet, Jean-Louis; Lanet, Jean-Luis
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book