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

HK$635

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

HK$1,790

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

HK$1,755 Elsewhere ~~HK$1,853.70~~ Save HK$98.70 (5%)

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

HK$480

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

HK$560

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

HK$552

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

HK$660

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

HK$581

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

HK$560

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

HK$500

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

HK$500

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

HK$800

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

HK$840

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

HK$500

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

HK$479

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

HK$500

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

HK$1,472

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(?):