Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Name: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Price: 60.99 CAD
Availability: InStock
Author: Tiziana Margaria
ISBN: 9783030614706

Édition : Tiziana Margaria

27 novembre 2020

60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Theoretical Computer Science and General Issues

Publié par: Springer International Publishing

ISBN: 9783030614706

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Tiziana Margaria Couverture souple
145,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Tiziana Margaria Couverture souple
145,95 $
2 formats offerts
Recent Wireless Power Transfer Technologies Via Radio Waves

Naoki Shinohara Couverture rigide
132,50 $
2 formats offerts
Secure Coordination Control of Networked Robotic Systems: From a Control Theory Perspective

Xiaolei Li Couverture souple
58,50 $
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Couverture souple
102,50 $
2 formats offerts
Recent Advances in Artificial Intelligence in Cost Estimation in Project Management

Nevena Rankovi Couverture rigide
291,95 $
Secure Coordination Control of Networked Robotic Systems: From a Control Theory Perspective

Xiaolei Li Couverture rigide
262,95 $
2 formats offerts
Multihomed Communication With Sctp (stream Control Transmission Protocol)

Victor C.m. Leung Couverture souple
110,95 $
3 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Modern Traffic Engineering in the System Approach to the Development of Traffic Networks: 16th Scientific and Technical Conference "Transport Systems. Theory and Practice 2019" Selected Papers

Elå¼bieta Macioszek Couverture souple
262,95 $
2 formats offerts
Algorithms Are Not Enough: Creating General Artificial Intelligence

Herbert L. Roitblat Couverture rigide
47,00 $
2 formats offerts
Business Analytical Capabilities and Artificial Intelligence-enabled Analytics: Applications and Challenges in the Digital Era, Volume 2

Abdalmuttaleb M. A. Musleh Al-Sartawi Couverture souple
58,50 $
Pathways in Software Engineering: On the Development and Operations of Large-Scale Software Systems

Dirk Draheim Couverture rigide
131,50 $
Numerical And Evolutionary Optimization - Neo 2017

Leonardo Trujillo Couverture souple
321,50 $
3 formats offerts
Java in Distributed Systems: Concurrency, Distribution and Persistence

Marko Boger Couverture souple
90,18 $
Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001

Rachid Guerraoui Couverture souple
80,50 $
Artificial Intelligence: A Very Short Introduction

Margaret A. Boden Livre numérique Kobo
7,99 $
Graph Neural Networks: Foundations, Frontiers, and Applications

Lingfei Wu Couverture souple
116,95 $

Évaluation éditoriale

tiziana margaria

Auteur

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Tiziana Margaria Couverture souple
145,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Tiziana Margaria Couverture souple
145,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Couverture souple
102,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts
Applied Reconfigurable Computing. Architectures, Tools, And Applications: 16th International Symposium, Arc 2020, Toledo, Spain, April 1-3, 2020, Proceedings

Fernando Rinc Couverture souple
80,50 $
2 formats offerts
Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Luca Pulina Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Tiziana Margaria Couverture souple
80,50 $
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Applied Reconfigurable Computing. Architectures, Tools, And Applications: 17th International Symposium, Arc 2021, Virtual Event, June 29-30, 2021, Proceedings

Steven Derrien Couverture souple
80,50 $
2 formats offerts
Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Chu-min Li Couverture souple
175,50 $
2 formats offerts
From Bioinspired Systems and Biomedical Applications to Machine Learning: 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almeria, Spain, June 3-7, 2019, Proceedings, Part II

José Manuel Ferrández Vicen Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Language And Automata Theory And Applications: 14th International Conference, Lata 2020, Milan, Italy, March 4-6, 2020, Proceedings

Alberto Leporati Couverture souple
80,50 $
2 formats offerts

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Description

Vous aimerez peut-être aussi

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Recent Wireless Power Transfer Technologies Via Radio Waves

Secure Coordination Control of Networked Robotic Systems: From a Control Theory Perspective

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Recent Advances in Artificial Intelligence in Cost Estimation in Project Management

Secure Coordination Control of Networked Robotic Systems: From a Control Theory Perspective

Multihomed Communication With Sctp (stream Control Transmission Protocol)

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Modern Traffic Engineering in the System Approach to the Development of Traffic Networks: 16th Scientific and Technical Conference "Transport Systems. Theory and Practice 2019" Selected Papers

Algorithms Are Not Enough: Creating General Artificial Intelligence

Business Analytical Capabilities and Artificial Intelligence-enabled Analytics: Applications and Challenges in the Digital Era, Volume 2

Pathways in Software Engineering: On the Development and Operations of Large-Scale Software Systems

Numerical And Evolutionary Optimization - Neo 2017

Java in Distributed Systems: Concurrency, Distribution and Persistence

Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001

Artificial Intelligence: A Very Short Introduction

Graph Neural Networks: Foundations, Frontiers, and Applications

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Applied Reconfigurable Computing. Architectures, Tools, And Applications: 16th International Symposium, Arc 2020, Toledo, Spain, April 1-3, 2020, Proceedings

Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Applied Reconfigurable Computing. Architectures, Tools, And Applications: 17th International Symposium, Arc 2021, Virtual Event, June 29-30, 2021, Proceedings

Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

From Bioinspired Systems and Biomedical Applications to Machine Learning: 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almeria, Spain, June 3-7, 2019, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Language And Automata Theory And Applications: 14th International Conference, Lata 2020, Milan, Italy, March 4-6, 2020, Proceedings