Software Engineering for Resilient Systems (7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings (Programming and Software Engineering))

By Alessandro Fantechi, Patrizio Pelliccione

Software Engineering for Resilient Systems (7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings (Programming and Software Engineering))

By Alessandro Fantechi, Patrizio Pelliccione

£36.99

Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)

By Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)

By Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

£178

Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)

By Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)

By Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

£166 Elsewhere ~~£179.99~~ Save £13.99 (8%)

Programming with Actors (State-of-the-Art and Research Perspectives (Lecture Notes in Computer Science))

By Alessandro Ricci, Philipp Haller

Programming with Actors (State-of-the-Art and Research Perspectives (Lecture Notes in Computer Science))

By Alessandro Ricci, Philipp Haller

£46.14

From Software Engineering to Formal Methods and Tools, and Back (Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

From Software Engineering to Formal Methods and Tools, and Back (Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

£46.29

Formal Methods for Industrial Critical Systems (28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science))

By Alessandro Cimatti, Laura Titolo

Formal Methods for Industrial Critical Systems (28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science))

By Alessandro Cimatti, Laura Titolo

£51.28 Elsewhere ~~£54.99~~ Save £3.71 (7%)

AIxIA 2024 – Advances in Artificial Intelligence (XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture ..)

By Alessandro Artale, Gabriella Cortellessa, Marco Montali

AIxIA 2024 – Advances in Artificial Intelligence (XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture ..)

By Alessandro Artale, Gabriella Cortellessa, Marco Montali

£57.61 Elsewhere ~~£59.99~~ Save £2.38 (4%)

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

£46.39

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

£46.34

Foundations of Security Analysis and Design (FOSAD 2006/2007 Tutorial Lectures: No. 4 (Lecture Notes in Computer Science / Security and Cryptology))

By Alessandro Aldini, Roberto Gorrieri

Foundations of Security Analysis and Design (FOSAD 2006/2007 Tutorial Lectures: No. 4 (Lecture Notes in Computer Science / Security and Cryptology))

By Alessandro Aldini, Roberto Gorrieri

£46.21

Programming Multi-Agent Systems (Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff

Programming Multi-Agent Systems (Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff

£46.24

Formal Methods for Industrial Critical Systems (13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science))

By Darren Cofer, Alessandro Fantechi

Formal Methods for Industrial Critical Systems (13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science))

By Darren Cofer, Alessandro Fantechi

£46.21

Foundations of Security Analysis and Design V (FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science))

By Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Foundations of Security Analysis and Design V (FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science))

By Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

£41.15

Foundations of Security Analysis and Design VI (Lecture Notes in Computer Science / Security and Cryptology)

By Alessandro Aldini, Roberto Gorrieri

Foundations of Security Analysis and Design VI (Lecture Notes in Computer Science / Security and Cryptology)

By Alessandro Aldini, Roberto Gorrieri

£46.24

Formal Modeling and Analysis of Timed Systems (15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues))

By Alessandro Abate, Gilles Geeraerts

Formal Modeling and Analysis of Timed Systems (15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues))

By Alessandro Abate, Gilles Geeraerts

£48.20

Software Engineering and Formal Methods (15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings (Theoretical Computer Science and General Issues))

By Alessandro Cimatti, Marjan Sirjani

Software Engineering and Formal Methods (15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings (Theoretical Computer Science and General Issues))

By Alessandro Cimatti, Marjan Sirjani

£48.52

Languages for Embedded Systems and their Applications (Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering))

By Martin Radetzki

Languages for Embedded Systems and their Applications (Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering))

By Martin Radetzki

£123 Elsewhere ~~£129.99~~ Save £6.99 (5%)

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Alessandro Armando, Gavin Lowe

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Alessandro Armando, Gavin Lowe

Currently
Unavailable

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 (Lecture Notes i)

By Alessandro Aldini, Marco Bernardo, Alessandra di Pierro, Herbert Wiklicky

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 (Lecture Notes i)

By Alessandro Aldini, Marco Bernardo, Alessandra di Pierro, Herbert Wiklicky

Currently
Unavailable

Developments in Language Theory (14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu

Developments in Language Theory (14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu

Currently
Unavailable

View:
Safe Search(?):