Alessandro Aldini – författare
Visar alla böcker från författaren Alessandro Aldini. Handla med fri frakt och snabb leverans.
30 produkter
Process Algebraic Approach to Software Architecture Design
Av Alessandro Aldini, Marco Bernardo m. fl.
Häftad, 2014
564 kr
Lägg i varukorg
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, …
Process Algebraic Approach to Software Architecture Design
Av Alessandro Aldini, Marco Bernardo m. fl.
Inbunden, 2009
564 kr
Lägg i varukorg
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, …
Process Algebraic Approach to Software Architecture Design
Av Flavio Corradini, Marco Bernardo m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, …
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
Häftad, 2024
453 kr
Lägg i varukorg
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023The 10 full papers presented in this book …
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
E-bok, 2024
588 kr
Lägg i varukorg
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023 The 10 full papers presented in this book …
User-Centric Networking
Future Perspectives
Av Alessandro Aldini, Alessandro Bogliolo
Inbunden, 2014
564 kr
Lägg i varukorg
This work represents a milestone for the "ULOOP User-centric Wireless Local Loop" project funded by the EU IST Seventh Framework Programme.ULOOP is focused on the robust, secure, and autonomic deployment of user-centric wireless networks. Contributions by ULOOP partners as well as invited tutorials …
User-Centric Networking
Future Perspectives
Av Alessandro Bogliolo, Alessandro Aldini
E-bok, 2014
718 kr
Lägg i varukorg
This work represents a milestone for the "ULOOP User-centric Wireless Local Loop" project funded by the EU IST Seventh Framework Programme. ULOOP is focused on the robust, secure, and autonomic deployment of user-centric wireless networks. Contributions by ULOOP partners as well as invited …
Foundations of Security Analysis and Design VII
FOSAD 2012 / 2013 Tutorial Lectures
Av Alessandro Aldini, Javier Lopez m. fl.
Häftad, 2014
542 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young …
Foundations of Security Analysis and Design VII
FOSAD 2012 / 2013 Tutorial Lectures
Av Fabio Martinelli, Javier Lopez m. fl.
E-bok, 2014
672 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young …
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers
Av Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí m. fl.
Häftad, 2015
564 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 9th International Workshop on Data Privacy Management, DPM 2014, the 7th International Workshop on Autonomous and Spontaneous Security, SETOP 2014, and the 3rd International Workshop on Quantitative Aspects in Security Assurance, held in …
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers
Av Neeraj Suri, Fabio Martinelli m. fl.
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 9th International Workshop on Data Privacy Management, DPM 2014, the 7th International Workshop on Autonomous and Spontaneous Security, SETOP 2014, and the 3rd International Workshop on Quantitative Aspects in Security Assurance, held in …
Data Privacy Management, and Security Assurance
10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers
Av Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas m. fl.
Häftad, 2016
1122 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 10th International Workshop on Data Privacy Management, DPM 2015, and the 4th International Workshop on Quantitative Aspects in Security Assurance, QASA 2015, held in Vienna, Austria, in September 2015, co-located with the 20th European …
Data Privacy Management, and Security Assurance
10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers
Av Neeraj Suri, Fabio Martinelli m. fl.
E-bok, 2016
1470 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 10th International Workshop on Data Privacy Management, DPM 2015, and the 4th International Workshop on Quantitative Aspects in Security Assurance, QASA 2015, held in Vienna, Austria, in September 2015, co-located with the 20th European …
User-Centric Networking
Future Perspectives
Av Alessandro Aldini, Alessandro Bogliolo
Häftad, 2016
548 kr
Lägg i varukorg
This work represents a milestone for the "ULOOP User-centric Wireless Local Loop" project funded by the EU IST Seventh Framework Programme.ULOOP is focused on the robust, secure, and autonomic deployment of user-centric wireless networks. Contributions by ULOOP partners as well as invited tutorials …
Foundations of Security Analysis and Design VIII
FOSAD 2014/2015/2016 Tutorial Lectures
Av Alessandro Aldini, Javier Lopez m. fl.
Häftad, 2016
475 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young …
Foundations of Security Analysis and Design VIII
FOSAD 2014/2015/2016 Tutorial Lectures
Av Fabio Martinelli, Javier Lopez m. fl.
E-bok, 2016
618 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young …
Data Privacy Management and Security Assurance
11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
Av Giovanni Livraga, Vicenç Torra m. fl.
Häftad, 2016
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Workshop on Data Privacy Management, DPM 2016 and the 5th International Workshop on Quantitative Aspects in Security Assurance, QASA 2016, held in Heraklion, Crete, Greece, in September 2016. 9 full papers and 4 short papers …
Data Privacy Management and Security Assurance
11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
Av Neeraj Suri, Fabio Martinelli m. fl.
E-bok, 2016
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Workshop on Data Privacy Management, DPM 2016 and the 5th International Workshop on Quantitative Aspects in Security Assurance, QASA 2016, held in Heraklion, Crete, Greece, in September 2016. 9 full papers and 4 short papers …
Foundations of Security Analysis and Design III
FOSAD 2004/2005 Tutorial Lectures
Av Alessandro Aldini, Roberto Gorrieri m. fl.
Häftad, 2005
508 kr
Lägg i varukorg
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security …
Foundations of Security Analysis and Design III
FOSAD 2004/2005 Tutorial Lectures
Av Fabio Martinelli, Roberto Gorrieri m. fl.
E-bok, 2005
672 kr
Lägg i varukorg
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security …
Foundations of Security Analysis and Design
FOSAD 2006/2007 Turtorial Lectures
Av Alessandro Aldini, Roberto Gorrieri
Häftad, 2007
564 kr
Lägg i varukorg
The increasing relevance of security to real-life applications, such as electronic commerce, is attested by the fast-growing number of research groups, events, conferences, and summer schools that are studying it. This book presents thoroughly revised versions of eight tutorial lectures given by …
Foundations of Security Analysis and Design
FOSAD 2006/2007 Turtorial Lectures
Av Roberto Gorrieri, Alessandro Aldini
E-bok, 2007
734 kr
Lägg i varukorg
Foundations of Security Analysis and Design V
FOSAD 2008/2009 Tutorial Lectures
Av Alessandro Aldini, Gilles Barthe m. fl.
Häftad, 2009
519 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open …
Foundations of Security Analysis and Design V
FOSAD 2008/2009 Tutorial Lectures
Av Roberto Gorrieri, Gilles Barthe m. fl.
E-bok, 2009
657 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open …
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, 2010, Advanced Lectures
Av Alessandro Aldini, Marco Bernardo m. fl.
Häftad, 2010
564 kr
Lägg i varukorg
This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the …
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, 2010, Advanced Lectures
Av Herbert Wiklicky, Alessandra Di Pierro m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
Computer Performance Engineering
7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
Av Alessandro Aldini, Marco Bernardo m. fl.
Häftad, 2010
564 kr
Lägg i varukorg
This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23–24, 2010. The purpose of this workshop series is to gather academic and industrial researchers working on all aspects of performance engineering. This …
Computer Performance Engineering
7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
Av Vittorio Cortellessa, Luciano Bononi m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23–24, 2010. The purpose of this workshop series is to gather academic and industrial researchers working on all aspects of performance engineering. This …
Foundations of Security Analysis and Design VI
FOSAD Tutorial Lectures
Av Alessandro Aldini, Roberto Gorrieri
Häftad, 2011
564 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a timely spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical …
Foundations of Security Analysis and Design VI
FOSAD Tutorial Lectures
Av Roberto Gorrieri, Alessandro Aldini
E-bok, 2011
755 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a timely spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical …
