語系
Gorrieri, Roberto.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Introduction to Concurrency Theory = Transition Systems and CCS /
by:
Versari, Cristian.; Gorrieri, Roberto.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
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)
(書目-語言資料,印刷品)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
Aldini, Alessandro.; Martinelli, Fabio.; SpringerLink (Online service); Gorrieri, Roberto.
(書目-語言資料,印刷品)
Foundations of security analysis and design II = FOSAD 2001/2002 turorial lectures /
by:
Focardi, Riccardo, (1970-); Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Gorrieri, Roberto.
(書目-語言資料,印刷品)
Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Degano, Pierpaolo.; Gorrieri, Roberto.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Foundations of security analysis and design VI = FOSAD tutorial lectures /
by:
Aldini, Alessandro.; Gorrieri, Roberto.; 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.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer science—Mathematics.
Systems and Data Security.
Data protection.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computational biology
Cell Biology.
Computer Appl. in Life Sciences.
Petri nets.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Computer science
Computer algorithms.
Computer multitasking.
Bioinformatics
Computers.
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Software Engineering/Programming and Operating Systems.
Data Encryption.
Operating Systems.
Computer networks
Mathematics of Computing.
Computer Science.
Management of Computing and Information Systems.
Computer security
Simulation and Modeling.
Electronic data processing
Computational Biology/Bioinformatics.
Computer security.
Numeric Computing.
Computation by Abstract Devices.