Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Name: Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Ina Schaefer
ISBN: 9783319929699

Einar Broch Johnsen Édition : Ina Schaefer

30 mai 2018

80,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 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

303

Theoretical Computer Science and General Issues

Publié par: Springer Nature

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

ISBN: 9783319929699

Multi-agent-based Simulation Xxi: 21st International Workshop, Mabs 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers

Samarth Swarup Couverture souple
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 $
Multi-agent-based Simulation Xx: 20th International Workshop, Mabs 2019, Montreal, Qc, Canada, May 13, 2019, Revised Selected Papers

Mario Paolucci Couverture souple
80,50 $
2 formats offerts
Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Klaus Schmid Couverture souple
80,50 $
Serious Games: Joint International Conference, Jcsg 2020, Stoke-on-trent, Uk, November 19-20, 2020, Proceedings

Minhua Ma Couverture souple
138,95 $
2 formats offerts
From Animals to Animats 13: 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellon, Spain, July 22-25, 2014, Proceedings

Angel P. del Pobil Couverture souple
80,50 $
Flexible Query Answering Systems: 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006

Henrik Legind Larsen Couverture souple
160,95 $
Advances in Neuroergonomics and Cognitive Engineering: Proceedings of the AHFE 2018 International Conference on Neuroergonomics and Cognitive Engineering, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida USA

Hasan Ayaz Couverture souple
248,50 $
2 formats offerts
Digital Libraries: The Era of Big Data and Data Science: 16th Italian Research Conference on Digital Libraries, IRCDL 2020, Bari, Italy, January 30-31, 2020, Proceedings

Michelangelo Ceci Couverture souple
116,95 $
2 formats offerts
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Dion H. Goh Couverture souple
94,95 $
2 formats offerts
Highlights Of Practical Applications Of Survivable Agents And Multi-agent Systems. The Paams Collection: International Workshops Of Paams 2019, Vila, Spain, June 26-28, 2019, Proceedings

Fernando De La Prieta Couverture souple
80,50 $
2 formats offerts
From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries: 24th International Conference on Asian Digital Libraries, ICADL 2022, Hanoi, Vietnam, November 30 - December 2, 2022, Proceedings

Yuen-hsien Tseng Couverture souple
131,50 $
2 formats offerts
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Dion H. Goh Couverture souple
58,50 $
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection: 17th International Conference, PAAMS 2019, vila, Spain, June 26-28, 2019, Proceedings

Yves Demazeau Couverture souple
80,50 $
2 formats offerts
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II

Dion H. Goh Couverture souple
87,95 $
2 formats offerts
Jakarta Ee Recipes: A Problem-solution Approach

Josh Juneau Couverture souple
94,95 $
2 formats offerts
Trends and Applications in Knowledge Discovery and Data Mining: PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers

Wen-Chih Peng Couverture souple
160,95 $
2 formats offerts
ITIL 4 Digital and IT Strategy (DITS): Your companion to the ITIL 4 Strategic Leader DITS certification

Claire Agutter Livre numérique Kobo
43,99 $ ~~Réduction sur le prix courant 54,77 $ à~~
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II

Dion H. Goh Couverture souple
58,50 $
Data Mining in Large Sets of Complex Data

Robson Leonardo Ferreira Cordeiro Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

ina schaefer

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Description

Vous aimerez peut-être aussi

Multi-agent-based Simulation Xxi: 21st International Workshop, Mabs 2020, Auckland, New Zealand, May 10, 2020, Revised 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

Multi-agent-based Simulation Xx: 20th International Workshop, Mabs 2019, Montreal, Qc, Canada, May 13, 2019, Revised Selected Papers

Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Serious Games: Joint International Conference, Jcsg 2020, Stoke-on-trent, Uk, November 19-20, 2020, Proceedings

From Animals to Animats 13: 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellon, Spain, July 22-25, 2014, Proceedings

Flexible Query Answering Systems: 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006

Advances in Neuroergonomics and Cognitive Engineering: Proceedings of the AHFE 2018 International Conference on Neuroergonomics and Cognitive Engineering, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida USA

Digital Libraries: The Era of Big Data and Data Science: 16th Italian Research Conference on Digital Libraries, IRCDL 2020, Bari, Italy, January 30-31, 2020, Proceedings

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Highlights Of Practical Applications Of Survivable Agents And Multi-agent Systems. The Paams Collection: International Workshops Of Paams 2019, Vila, Spain, June 26-28, 2019, Proceedings

From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries: 24th International Conference on Asian Digital Libraries, ICADL 2022, Hanoi, Vietnam, November 30 - December 2, 2022, Proceedings

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection: 17th International Conference, PAAMS 2019, vila, Spain, June 26-28, 2019, Proceedings

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II

Jakarta Ee Recipes: A Problem-solution Approach

Trends and Applications in Knowledge Discovery and Data Mining: PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers

ITIL 4 Digital and IT Strategy (DITS): Your companion to the ITIL 4 Strategic Leader DITS certification

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II

Data Mining in Large Sets of Complex Data

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Algorithms - Esa 2010, Part Ii: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Algorithms - ESA 2010: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Algorithms - Esa 2011: 19th Annual European Symposium, Saarbrucken, Germany, September 5-9, 2011, Proceedings

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Applications of Evolutionary Computation: 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011, Proceedings

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Informatics in Schools: Contributing to 21st Century Education: 5th International Conference, ISSEP 2011, Bratislava, Slovakia, October 26-29, 2011, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I