Wishlist

Barnes and Noble

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

From Barnes and Noble

Barnes and Noble

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

From Barnes and Noble

Barnes and Noble

VLSI-SoC: Design Methodologies for SoC and SiP: 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers / Edition 1

From Barnes and Noble

Barnes and Noble

Combinatorial Optimization: 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, Revised Selected Papers

From Barnes and Noble

Barnes and Noble

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

From Barnes and Noble

Barnes and Noble

Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

From Barnes and Noble

Barnes and Noble

Computational Science and Its Applications - ICCSA 2023 Workshops: Athens, Greece, July 3-6, 2023, Proceedings

From Barnes and Noble

Barnes and Noble

Service-Oriented Computing - ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and Satellite Events, Mï¿½laga, Spain, November 13-16, 2017, Revised Selected Papers

From Barnes and Noble

Barnes and Noble

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Procee / Edition 1

From Barnes and Noble

Barnes and Noble

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

From Barnes and Noble

Barnes and Noble

On the Move to Meaningful Internet Systems, OTM 2010: Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Greece, October 25-29, 2010, Proceedings, Part I

From Barnes and Noble

Barnes and Noble

The Semantic Web: Research and Applications: 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011. Proceedings, Part I

From Barnes and Noble

Barnes and Noble

Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

From Barnes and Noble

Barnes and Noble

The Semantic Web: ESWC 2020 Satellite Events: Events, Heraklion, Crete, Greece, May 31 - June 4, 2020, Revised Selected Papers

From Barnes and Noble

Barnes and Noble

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, Proceedings

From Barnes and Noble

Barnes and Noble

Emerging Information Security and Applications: Second International Symposium, EISA 2021, Copenhagen, Denmark, November 12-13, Revised Selected Papers

From Barnes and Noble

Home

Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select

You May Also Like

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

VLSI-SoC: Design Methodologies for SoC and SiP: 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers / Edition 1

Combinatorial Optimization: 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, Revised Selected Papers

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Computational Science and Its Applications - ICCSA 2023 Workshops: Athens, Greece, July 3-6, 2023, Proceedings

Service-Oriented Computing - ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and Satellite Events, Mï¿½laga, Spain, November 13-16, 2017, Revised Selected Papers

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Procee / Edition 1

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

On the Move to Meaningful Internet Systems, OTM 2010: Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Greece, October 25-29, 2010, Proceedings, Part I

The Semantic Web: Research and Applications: 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011. Proceedings, Part I

Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

The Semantic Web: ESWC 2020 Satellite Events: Events, Heraklion, Crete, Greece, May 31 - June 4, 2020, Revised Selected Papers

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, Proceedings

Emerging Information Security and Applications: Second International Symposium, EISA 2021, Copenhagen, Denmark, November 12-13, Revised Selected Papers