語系
Gorrieri, Roberto.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Foundations of security analysis and design = tutorial lectures /
by:
Gorrieri, Roberto.; SpringerLink (Online service); Focardi, Riccardo.; International School on Foundations of Security Analysis and Design ((2000 :)
(書目-語言資料,印刷品)
Foundations of security analysis and design II = FOSAD 2001/2002 turorial lectures /
by:
Focardi, Riccardo, (1970-); Gorrieri, Roberto.; SpringerLink (Online service); International School on Foundations of Security Analysis and Design.
(書目-語言資料,印刷品)
Automata, languages, and programming = 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
by:
Degano, Pierpaolo.; Gorrieri, Roberto.; SpringerLink (Online service); Marchetti-Spaccamela, Alberto.; International Colloquium on Automata, Languages, and Programming ((1997 :)
(書目-語言資料,印刷品)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
Aldini, Alessandro.; Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Foundations of security analysis and design II = FOSAD 2001/2002 tutorial lectures /
by:
Focardi, Riccardo, (1970-); Gorrieri, Roberto.; NetLibrary, Inc.; International School on Foundations of Security Analysis and Design.
(書目-語言資料,印刷品)
Introduction to concurrency theory = transition systems and CCS /
by:
Gorrieri, Roberto.; SpringerLink (Online service); Versari, Cristian.
(書目-電子資源)
Process algebras for Petri nets = the alphabetization of distributed systems /
by:
Gorrieri, Roberto.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for open object-based distributed systems : = 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /
by:
Gorrieri, Roberto.; Wehrheim, Heike.; International Conference on Formal Methods for Open Object-Based Distributed Systems (2006 :)
(書目-語言資料,印刷品)
主題
Computer security.
Computer multitasking.
Theory of Computation.
Mathematical Logic and Foundations.
Computer algorithms.
Electronic data processing- Distributed processing.
Computer networks- Security measures.
Logics and Meanings of Programs.
Machine theory
Mathematics of Computing.
Software Engineering/Programming and Operating Systems.
Management of Computing and Information Systems.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Computer programming
Petri nets.
Computer networks- Security measures
Formal languages
Electronic data processing- Distributed processing
Computer security
Data Encryption.
Computer science- Mathematics.
Computer Science.
Computer Communication Networks.
Parallel processing (Electronic computers)
Object-oriented programming (Computer science)