語系
Degano, Pierpaolo.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
Guttman, Joshua.; Workshop on the Preservation of Stability under Discretization ((2001 :); Martinelli, Fabio.; Degano, Pierpaolo.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Principles of security and trust = first 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:
Degano, Pierpaolo.; SpringerLink (Online service); Guttman, Joshua D.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings /
by:
Gorrieri, Roberto.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Degano, Pierpaolo.
(書目-語言資料,印刷品)
Foundations and applications of security analysis = Joint 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:
SpringerLink (Online service); Degano, Pierpaolo.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vigano, Luca.
(書目-語言資料,印刷品)
Formal aspects of security and trust = 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
Guttman, Joshua.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Etalle, Sandro.; Degano, Pierpaolo.
(書目-語言資料,印刷品)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Nicola, Rocco.; SpringerLink (Online service); Meseguer, Jose.
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Systems and Data Security.
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Software engineering.
Computational biology
Computer programming.
Computer Systems Organization and Communication Networks.
Cell Biology.
Computer Appl. in Life Sciences.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Rewriting systems (Computer science)
Data Structures, Cryptology and Information Theory.
Information Storage and Retrieval.
Bioinformatics
Software Engineering.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Coding and Information Theory.
Cryptography
Public key infrastructure (Computer security)
Multitasking (Computer science)
Computer networks
Computer Science.
Computer simulation.
Management of Computing and Information Systems.
Computer security
Computers and Society.
Simulation and Modeling.
Computational Biology/Bioinformatics.
Data encryption (Computer science)
Numeric Computing.
Computer software
Computation by Abstract Devices.