語系
Degano, Pierpaolo.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Principles of security and trustfirst international conference, POST 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(1998 :); Degano, Pierpaolo.; Guttman, Joshua D.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects in security and trust5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
(1998 :); Degano, Pierpaolo.; Guttman, Joshua.; Martinelli, Fabio.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects of security and trust7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
(1998 :); Degano, Pierpaolo.; Etalle, Sandro.; Guttman, Joshua.; SpringerLink (Online service)
(書目-電子資源)
Computational methods in systems biology7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings /
by:
(1998 :); Degano, Pierpaolo.; Gorrieri, Roberto.; SpringerLink (Online service)
(書目-電子資源)
Automata, languages, and programming24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
by:
(1998 :); Degano, Pierpaolo.; Gorrieri, Roberto.; Marchetti-Spaccamela, Alberto.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects in security and trust6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers /
by:
(1998 :); Degano, Pierpaolo.; Guttman, Joshua D.; SpringerLink (Online service)
(書目-電子資源)
Foundations and applications of security analysisJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers /
by:
(1998 :); Degano, Pierpaolo.; SpringerLink (Online service); Vigano, Luca.
(書目-電子資源)
Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Meseguer, Jose.; Nicola, Rocco.; SpringerLink (Online service)
(書目-電子資源)
主題
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Software Engineering.
Data Structures, Cryptology and Information Theory.
Computer Appl. in Life Sciences.
Logics and Meanings of Programs.
Machine theory
Multitasking (Computer science)
Computer simulation.
Computer software
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Management of Computing and Information Systems.
Cryptography
Computation by Abstract Devices.
Software engineering.
Information Storage and Retrieval.
Formal methods (Computer science)
Computer programming
Data encryption (Computer science)
Coding and Information Theory.
Numeric Computing.
Formal languages
Data Encryption.
Computer security
Cell Biology.
Computer Science.
Computer Communication Networks.
Computers and Society.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Public key infrastructure (Computer security)
Computer networks
Computer programming.
Symbolic and Algebraic Manipulation.
Computational biology
Bioinformatics
Computational Biology/Bioinformatics.