Showing
1 - 14
results of
14
for search '
Barthe, Gilles
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Barthe, Gilles
Showing
1 - 14
results of
14
for search '
Barthe, Gilles
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
by
Barthe
,
Gilles
Published 2010
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
2
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011,...
Published 2011
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Published 2010
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
Published 2008
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
Published 2008
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
6
Security and Trust Management 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /
Published 2016
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
7
Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures /
Published 2009
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
8
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
Published 2011
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
9
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings /
Published 2012
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
10
Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
Published 2012
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
11
Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures /
Published 2002
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
12
Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers /
Published 2011
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
13
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
Published 2006
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
14
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /
Published 2005
Other Authors:
“…
Barthe
,
Gilles
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer Science
Computer science
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Software engineering
Computer Communication Networks
Computer communication systems
Programming Techniques
Software Engineering
Computer programming
Logics and Meanings of Programs
Computer logic
Data Encryption
Data encryption (Computer science)
Software Engineering/Programming and Operating Systems
Computer security
Management information systems
Management of Computing and Information Systems
Operating Systems
Operating systems (Computers)
Systems and Data Security
Computers and Society
Computers and civilization
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Special Purpose and Application-Based Systems
Special purpose computers
Algorithms
Computer software
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών