語系
Barthe, Gilles.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Barthe, Gilles.
(書目-語言資料,印刷品)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
Fournet, Cedric.; Barthe, Gilles.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal aspects of security and trust = 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
Datta, Anupam.; Workshop on the Preservation of Stability under Discretization ((2001 :); Barthe, Gilles.; Etalle, Sandro.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Pardo, Alberto.; Barthe, Gilles.; Schneider, Gerardo.
(書目-語言資料,印刷品)
Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings /
by:
SpringerLink (Online service); Boer, Frank S.; Barthe, Gilles.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Security and trust management = 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Markatos, Evangelos.; Barthe, Gilles.; SpringerLink (Online service); Samarati, Pierangela.
(書目-語言資料,印刷品)
Security and Trust Management = 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /
by:
Markatos, Evangelos.; Barthe, Gilles.; SpringerLink (Online service); Samarati, Pierangela.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Livshits, Benjamin.; Barthe, Gilles.; Scandariato, Riccardo.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures /
by:
Barthe, Gilles.; Aldini, Alessandro.; SpringerLink (Online service); Gorrieri, Roberto.
(書目-語言資料,印刷品)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by:
Barthe, Gilles.; CASSIS (Conference) ((2004 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Systems and Data Security.
Math Applications in Computer Science.
Computer Communication Networks.
Data protection
Computer networks
Information Systems Applications (incl. Internet).
Computer Science.
Programming Techniques.
Computer programming
Computers and civilization.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Computer security
Artificial Intelligence (incl. Robotics)
Application software.
Special Purpose and Application-Based Systems.
Computers and Society.
Data Structures, Cryptology and Information Theory.
Data encryption (Computer science).
Cryptology.
Smart cards
Electronic data processing
Computer science.
Management information systems.
Information Storage and Retrieval.
Software engineering
Programming languages (Electronic computers)
Data encryption (Computer science)
Programming Languages, Compilers, Interpreters.
Computer security.
Models and Principles.
Data transmission systems
Computer software
Software Engineering.
Software Engineering/Programming and Operating Systems.
Operating Systems.
Data Encryption.
Object-oriented programming (Computer science)