語系
Aldini, Alessandro.
概要
| 作品: | 2 作品在 6 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures /
by:
Gorrieri, Roberto.; Aldini, Alessandro.; SpringerLink (Online service); Barthe, Gilles.
(書目-電子資源)
Formal methods for quantitative aspects of programming languages = 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
by:
SpringerLink (Online service); Aldini, Alessandro.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Computer performance engineering = 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Aldini, Alessandro.
(書目-電子資源)
Foundations of security analysis and design VI = FOSAD tutorial lectures /
by:
Gorrieri, Roberto.; Aldini, Alessandro.; SpringerLink (Online service)
(書目-電子資源)
A process algebraic approach to software architecture design
by:
Bernardo, Marco.; Corradini, Flavio.; Aldini, Alessandro.; SpringerLink (Online service)
(書目-電子資源)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service); Aldini, Alessandro.
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Systems and Data Security.
Software Engineering/Programming and Operating Systems.
Data Encryption.
Data protection.
Operating Systems.
Computer Communication Networks.
System Performance and Evaluation.
Computer systems- Evaluation
Computer networks- Security measures
Stochastic models
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Software architecture.
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)
Antibodies.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Computer security