Languages
Gorrieri, Roberto.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Foundations of security analysis and design VIFOSAD tutorial lectures /
by:
Aldini, Alessandro.; Gorrieri, Roberto.; SpringerLink (Online service)
(Electronic resources)
Foundations of security analysis and design VFOSAD 2007/2008/2009 tutorial lectures /
by:
Aldini, Alessandro.; Barthe, Gilles.; Gorrieri, Roberto.; SpringerLink (Online service)
(Electronic resources)
Process algebras for Petri netsthe alphabetization of distributed systems /
by:
Gorrieri, Roberto.; SpringerLink (Online service)
(Electronic resources)
Foundations of security analysis and design IIFOSAD 2001/2002 turorial lectures /
by:
(1998 :); Focardi, Riccardo, (1970-); Gorrieri, Roberto.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
Introduction to concurrency theorytransition systems and CCS /
by:
Gorrieri, Roberto.; SpringerLink (Online service); Versari, Cristian.
(Electronic resources)
Foundations of Security Analysis and Design III :FOSAD 2004/2005 Tutorial Lectures
by:
Aldini, Alessandro.; Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service)
(Electronic resources)
Foundations of security analysis and designtutorial lectures /
by:
(1998 :); Focardi, Riccardo.; Gorrieri, Roberto.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.