語系
Gorrieri, Roberto.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundations of security analysis and design VIFOSAD tutorial lectures /
by:
Aldini, Alessandro.; Gorrieri, Roberto.; SpringerLink (Online service)
(書目-電子資源)
Foundations of security analysis and design VFOSAD 2007/2008/2009 tutorial lectures /
by:
Aldini, Alessandro.; Barthe, Gilles.; Gorrieri, Roberto.; SpringerLink (Online service)
(書目-電子資源)
Process algebras for Petri netsthe alphabetization of distributed systems /
by:
Gorrieri, Roberto.; SpringerLink (Online service)
(書目-電子資源)
Foundations of security analysis and design IIFOSAD 2001/2002 turorial lectures /
by:
(1998 :); Focardi, Riccardo, (1970-); Gorrieri, Roberto.; 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)
(書目-電子資源)
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /
by:
(1998 :); Gorrieri, Roberto.; SpringerLink (Online service); Wehrheim, Heike.
(書目-電子資源)
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)
(書目-電子資源)
Introduction to concurrency theorytransition systems and CCS /
by:
Gorrieri, Roberto.; SpringerLink (Online service); Versari, Cristian.
(書目-電子資源)
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 designtutorial lectures /
by:
(1998 :); Focardi, Riccardo.; Gorrieri, Roberto.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Computer security.
Computer Appl. in Life Sciences.
Computer multitasking.
Theory of Computation.
Mathematical Logic and Foundations.
Computer algorithms.
Electronic data processing
Logics and Meanings of Programs.
Machine theory
Mathematics of Computing.
Software Engineering/Programming and Operating Systems.
Operating Systems.
Programming Techniques.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Data protection.
Programming Languages, Compilers, Interpreters.
Computer programming
Petri nets.
Numeric Computing.
Formal languages
Computer security
Data Encryption.
Cell Biology.
Computer science
Computer Science.
Computer Communication Networks.
Computer networks
Systems and Data Security.
Simulation and Modeling.
Parallel processing (Electronic computers)
Object-oriented programming (Computer science)
Computational biology
Bioinformatics
Computational Biology/Bioinformatics.