1. A Process Algebraic Approach to Software Architecture Design
Author: / Alessandro Aldini, Marco Bernardo, Flavio Corradini
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
2. A process algebraic approach to software architecture design
Author: Aldini, Alessandro.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software architecture,، Software engineering,، Electronic books
Classification :
QA
76
.
754
.
A43
2010
3. A process algebraic approach to software architecture design
Author: / Alessandro Aldini, Marco Bernardo, Flavio Corradini
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Software architecture,Software engineering
Classification :
QA
76
.
754
.
A43
2010
4. 26, 2010, Advanced Lectures-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
Author: / Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
5. Centric Networking-User
Author: / Alessandro Aldini, Alessandro Bogliolo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
6. Computer Performance Engineering
Author: / Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
7. Computer performance engineering
Author: / Alessandro Aldini ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Formal methods (Computer science), Congresses,Stochastic models, Congresses,Computer systems, Evaluation, Congresses
Classification :
QA76
.
9
.
E94E64
2010
8. Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Author: / , Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj SuriکJoancomart-Alfaro, Jordi Herrera-Joaquin Garcia
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
9. Formal Methods for Quantitative Aspects of Programming Languages
Author: / Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
10. Foundations of Security Analysis and Design III :
Author: edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Data encryption (Computer science)
11. Foundations of Security Analysis and Design VI
Author: / Alessandro Aldini, Roberto Gorrieri
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
12. Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
Author: / Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
13. Foundations of Security Analysis and Design VII
Author: / Alessandro Aldini, Javier Lopez, Fabio Martinelli
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
14. Foundations of security analysis and design III
Author: / Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer security--Congresses,Computer networks--Security measures--Congresses
Classification :
QA
,
76
.
9
,.
A25
,
F685
,
2005
15. Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
Author: Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer security,، Computer networks -- Security measures
Classification :
QA
76
.
L28
Vol
.
3655
