語系
Aldini, Alessandro.
概要
| 作品: | 1 作品在 4 項出版品 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)
(書目-電子資源)
Formal methods for quantitative aspects of programming languages10th 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:
(1998 :); Aldini, Alessandro.; SpringerLink (Online service)
(書目-電子資源)
Foundations of security analysis and design VIIIFOSAD 2014/2015/2016 tutorial lectures /
by:
(1998 :); Aldini, Alessandro.; Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service)
(書目-電子資源)
User-centric networkingfuture perspectives /
by:
Aldini, Alessandro.; Bogliolo, Alessandro.; SpringerLink (Online service)
(書目-電子資源)
Computer performance engineering7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings /
by:
(1998 :); Aldini, Alessandro.; SpringerLink (Online service)
(書目-電子資源)
A process algebraic approach to software architecture design
by:
Aldini, Alessandro.; Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service)
(書目-電子資源)
Foundations of security analysis and design VIIFOSAD 2012/2013 tutorial lectures /
by:
(1998 :); Aldini, Alessandro.; Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service)
(書目-電子資源)
Foundations of Security Analysis and Design III :FOSAD 2004/2005 Tutorial Lectures
by:
Aldini, Alessandro.; Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Communications Engineering, Networks.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Stochastic models
Home computer networks.
R & D/Technology Policy.
Data protection
Management of Computing and Information Systems.
Operating Systems.
Antibodies.
Software architecture.
Computer systems
Programming Techniques.
Data protection.
Complexity.
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Programming languages (Electronic computers)
Computer security
Data Encryption.
Information Systems Applications (incl.Internet)
Wireless communication systems.
Computer networks
Computer Science.
Computer Communication Networks.
Systems and Data Security.
System Performance and Evaluation.
Customer services.
Computer Systems Organization and Communication Networks.
Computers and Society.