語系
Degano, Pierpaolo.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal aspects in security and trust = 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers /
by:
Degano, Pierpaolo.; Guttman, Joshua D.; SpringerLink (Online service); FAST 2009 ((2009 :)
(書目-語言資料,印刷品)
Automata, languages, and programming = 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
by:
Degano, Pierpaolo.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming ((1997 :); Gorrieri, Roberto.; Marchetti-Spaccamela, Alberto.
(書目-語言資料,印刷品)
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.; Guttman, Joshua D.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
Degano, Pierpaolo.; Guttman, Joshua.; Martinelli, Fabio.; SpringerLink (Online service); FAST 2008 ((2008 :)
(書目-語言資料,印刷品)
Formal aspects of security and trust = 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
Degano, Pierpaolo.; Etalle, Sandro.; Guttman, Joshua.; SpringerLink (Online service)
(書目-電子資源)
Concurrency, Graphs and Models = Essays 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.
Logics and Meanings of Programs.
Machine theory
Computer simulation.
Multitasking (Computer science)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Management of Computing and Information Systems.
Computer software- Verification.
Software engineering.
Formal methods (Computer science)
Information Storage and Retrieval.
Computer programming
Data encryption (Computer science)
Formal languages
Computer networks- Security measures
Computer security
Data Encryption.
Computer Science.
Computer Communication Networks.
Computers and Society.
Systems and Data Security.
Public key infrastructure (Computer security)
Computer programming.
Symbolic and Algebraic Manipulation.