Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Price: 102.50 CAD
Availability: InStock
Author: Guy Katz
ISBN: 9783031212215

Omri Isac Édition : Radoslav Ivanov , Guy Katz

16 décembre 2022

102,50 $

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

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 513 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

205

Lecture Notes In Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031212215

Swarm Intelligence Based Optimization: First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

Patrick Siarry Couverture souple
80,50 $
VLSI-SoC: New Technology Enabler: 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6-9, 2019, Revised and Extended Selected Papers

Carolina Metzler Couverture souple
80,50 $
VLSI-SoC: New Technology Enabler: 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6-9, 2019, Revised and Extended Selected Papers

Carolina Metzler Couverture rigide
80,50 $
2 formats offerts
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Helen Treharne Couverture souple
160,95 $
Highlights in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection: International Workshops of PAAMS 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings

Alfonso González-brione Couverture souple
80,50 $
2 formats offerts
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms: 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selected Papers

Nicola Bombieri Couverture souple
80,50 $
Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities: 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Norbert A. Streitz Couverture souple
131,50 $
2 formats offerts
Document Analysis Systems: 15th IAPR International Workshop, DAS 2022, La Rochelle, France, May 22-25, 2022, Proceedings

Seiichi Uchida Couverture souple
58,50 $
Uml 2003 - The Unified Modeling Language, Modeling Languages And Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings

Perdita Stevens Couverture souple
80,50 $
Document Analysis Systems: 15th IAPR International Workshop, DAS 2022, La Rochelle, France, May 22-25, 2022, Proceedings

Seiichi Uchida Couverture souple
175,50 $
2 formats offerts
Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers

Theodor G. Wyeld Couverture rigide
80,50 $
User Modeling, Adaptation, and Personalization: 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010, Proceedings

Paul De Bra Couverture souple
80,50 $
Machine Learning for Networking: Second IFIP TC 6 International Conference, MLN 2019, Paris, France, December 3-5, 2019, Revised Selected Papers

Selma Boumerdassi Couverture souple
160,95 $
2 formats offerts
Cross-Cultural Design. Applications in Learning, Arts, Cultural Heritage, Creative Industries, and Virtual Reality: 14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II

Pei-Luen Patrick Rau Couverture souple
189,95 $
2 formats offerts
Engineering Psychology and Cognitive Ergonomics: 19th International Conference, EPCE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Don Harris Couverture souple
145,95 $
2 formats offerts
Design, User Experience, and Usability. Case Studies in Public and Personal Interactive Systems: 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part III

Aaron Marcus Couverture souple
80,50 $
2 formats offerts
Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

Couverture souple
71,50 $
From Animals to Animats 16: 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, Cergy-Pontoise, France, September 20-23, 2022, Proceedings

Lola Cañamero Couverture souple
80,50 $
2 formats offerts
Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection: International Workshops of PAAMS 2023, Guimaraes, Portugal, July 12-14, 2023, Proceedings

Dalila Dur Couverture souple
102,50 $
2 formats offerts
Architectures for Adaptive Software Systems: 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Raffaela Mirandola Couverture souple
80,50 $

Évaluation éditoriale

radoslav ivanov

Auteur

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Couverture souple
80,50 $
2 formats offerts
Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

Pavel Klinov Couverture souple
80,50 $
Conceptual Structures for Discovering Knowledge: 20th International Conference on Conceptual Structures, ICCS 2013, Mumbay, India, January 10-12, 2013, Proceedings

Heather D. Pfeiffer Couverture souple
80,50 $
Enterprise and Organizational Modeling and Simulation: 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Selected Papers

Joseph Barjis Couverture souple
80,50 $
Database and Expert Systems Applications: 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Vladimir Marik Couverture souple
160,95 $
Information And Software Technologies: 25th International Conference, Icist 2019, Vilnius, Lithuania, October 10-12, 2019, Proceedings

Robertas Damaå¡evi Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Couverture souple
87,95 $
2 formats offerts
Application And Theory Of Petri Nets And Concurrency: 39th International Conference, Petri Nets 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Victor Khomenko Couverture souple
80,50 $
2 formats offerts
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Couverture souple
80,50 $
2 formats offerts
Intelligent Systems'2014: Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24-26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses

P. Angelov Couverture souple
321,50 $
Artificial Intelligence: Methodology, Systems, and Applications: 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings

Gennady Agre Couverture souple
80,50 $
Systems, Signals and Image Processing: 28th International Conference, IWSSIP 2021, Bratislava, Slovakia, June 2-4, 2021, Revised Selected Papers

Gregor Rozinaj Couverture souple
124,50 $
2 formats offerts
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Couverture souple
204,50 $
2 formats offerts
Smart Cities, Green Technologies and Intelligent Transport Systems: 8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers

Markus Helfert Couverture souple
80,50 $
2 formats offerts
Enterprise, Business-Process and Information Systems Modeling: 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedings

Han Van Der Aa Couverture souple
72,95 $
Enterprise, Business-Process and Information Systems Modeling: 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings

Adriano Augusto Couverture souple
124,50 $
2 formats offerts
The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings

Robert Andrei Buchmann Couverture souple
80,50 $
2 formats offerts
Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised

Aleksander Jarzäbowicz Couverture souple
58,50 $
Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised

Aleksander Jarzäbowicz Couverture souple
80,50 $
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Miko Bojaåczyk Couverture souple
87,95 $
2 formats offerts

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Description

Vous aimerez peut-être aussi

Swarm Intelligence Based Optimization: First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

VLSI-SoC: New Technology Enabler: 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6-9, 2019, Revised and Extended Selected Papers

VLSI-SoC: New Technology Enabler: 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6-9, 2019, Revised and Extended Selected Papers

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection: International Workshops of PAAMS 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms: 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selected Papers

Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities: 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Document Analysis Systems: 15th IAPR International Workshop, DAS 2022, La Rochelle, France, May 22-25, 2022, Proceedings

Uml 2003 - The Unified Modeling Language, Modeling Languages And Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings

Document Analysis Systems: 15th IAPR International Workshop, DAS 2022, La Rochelle, France, May 22-25, 2022, Proceedings

Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers

User Modeling, Adaptation, and Personalization: 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010, Proceedings

Machine Learning for Networking: Second IFIP TC 6 International Conference, MLN 2019, Paris, France, December 3-5, 2019, Revised Selected Papers

Cross-Cultural Design. Applications in Learning, Arts, Cultural Heritage, Creative Industries, and Virtual Reality: 14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II

Engineering Psychology and Cognitive Ergonomics: 19th International Conference, EPCE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Design, User Experience, and Usability. Case Studies in Public and Personal Interactive Systems: 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part III

Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

From Animals to Animats 16: 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, Cergy-Pontoise, France, September 20-23, 2022, Proceedings

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection: International Workshops of PAAMS 2023, Guimaraes, Portugal, July 12-14, 2023, Proceedings

Architectures for Adaptive Software Systems: 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

Conceptual Structures for Discovering Knowledge: 20th International Conference on Conceptual Structures, ICCS 2013, Mumbay, India, January 10-12, 2013, Proceedings

Enterprise and Organizational Modeling and Simulation: 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Selected Papers

Database and Expert Systems Applications: 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Information And Software Technologies: 25th International Conference, Icist 2019, Vilnius, Lithuania, October 10-12, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Application And Theory Of Petri Nets And Concurrency: 39th International Conference, Petri Nets 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Intelligent Systems'2014: Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24-26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses

Artificial Intelligence: Methodology, Systems, and Applications: 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings

Systems, Signals and Image Processing: 28th International Conference, IWSSIP 2021, Bratislava, Slovakia, June 2-4, 2021, Revised Selected Papers

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Smart Cities, Green Technologies and Intelligent Transport Systems: 8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers

Enterprise, Business-Process and Information Systems Modeling: 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedings

Enterprise, Business-Process and Information Systems Modeling: 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings

The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings

Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised

Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings