Passer au contenu principal Passer au contenu du pied de page

Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings

Édition : Frédéric Loulergue

19 juillet 2021

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

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

Acheter le livre numérique

Description

Langue

anglais

Programming and Software Engineering

Publié par: Springer International Publishing

ISBN: 9783030793791

Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Hossein Hojjat Couverture souple
116,95 $
2 formats offerts
Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Stephen Chang Couverture souple
80,50 $
2 formats offerts
Silicon Valley Cybersecurity Conference: First Conference, Svcc 2020, San Jose, Ca, Usa, December 17-19, 2020, Revised Selected Papers

Younghee Park Couverture souple
80,50 $
2 formats offerts
Explainable and Transparent AI and Multi-Agent Systems: 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers

Davide Calvaresi Couverture souple
94,95 $
2 formats offerts
Advances in Brain Inspired Cognitive Systems: 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

Jinchang Ren Couverture souple
109,50 $
2 formats offerts
Advances in Brain Inspired Cognitive Systems: 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

Jinchang Ren Couverture souple
72,95 $
Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Juergen Dingel Couverture souple
80,50 $
Biomimetic and Biohybrid Systems: 11th International Conference, Living Machines 2022, Virtual Event, July 19-22, 2022, Proceedings

Alexander Hunt Couverture souple
131,50 $
2 formats offerts
Computers and Games: International Conference, CG 2022, Virtual Event, November 22-24, 2022, Revised Selected Papers

Cameron Browne Couverture souple
87,95 $
2 formats offerts
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part II

Sheng Wen Couverture souple
80,50 $
2 formats offerts
Explainable And Transparent Ai And Multi-agent Systems: Third International Workshop, Extraamas 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers

Davide Calvaresi Couverture souple
145,95 $
2 formats offerts
Advances in Model and Data Engineering in the Digitalization Era: MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

Mohamed Mosbah Couverture souple
116,95 $
2 formats offerts
Learning and Intelligent Optimization: 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

Panos M. Pardalos Couverture souple
80,50 $
2 formats offerts
Computer Vision and Image Processing: 6th International Conference, CVIP 2021, Rupnagar, India, December 3-5, 2021, Revised Selected Papers, Part I

Balasubramanian Raman Couverture souple
175,50 $
2 formats offerts
xxAI - Beyond Explainable AI: International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers

Andreas Holzinger Couverture souple
72,95 $
2 formats offerts
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Loek Cleophas Couverture souple
80,50 $
2 formats offerts
Machine Learning and Data Mining for Sports Analytics: 5th International Workshop, MLSA 2018, Co-located with ECML/PKDD 2018, Dublin, Ireland, September 10, 2018, Proceedings

Ulf Brefeld Couverture souple
94,95 $
2 formats offerts
Machine Learning and Knowledge Extraction: 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17-20, 2021, Proceedings

Andreas Holzinger Couverture souple
160,95 $
2 formats offerts
From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers

Juliana Bowles Couverture souple
87,95 $
2 formats offerts
Machine Learning and Data Mining in Pattern Recognition: 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012, Proceedings

Petra Perner Couverture souple
80,50 $

Évaluation éditoriale

frederic loulergue

Auteur

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

Jasmin Christian Blanchette Couverture souple
80,50 $
Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Jordi Cabot Couverture souple
80,50 $
Tests and Proofs: 6th International Conference, Tap 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Achim Brucker Couverture souple
102,50 $
Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Bertrand Meyer Couverture souple
80,50 $
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 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

Nobuko Yoshida Couverture souple
72,95 $
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings

Wolfgang Ahrendt Couverture souple
80,50 $
2 formats offerts
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Gilles Dowek Couverture souple
80,50 $
Distributed Computing: 30th International Symposium, Disc 2016, Paris, France, September 27-29, 2016. Proceedings

Cyril Gavoille Couverture souple
80,50 $
2 formats offerts
Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Couverture souple
72,95 $
2 formats offerts
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

Jean Goubault-Larrecq Couverture souple
72,95 $
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Laurence Tratt Couverture souple
80,50 $
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Zhong Shao Couverture souple
80,50 $
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Bernhard Beckert Couverture souple
80,50 $
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Stephanie Weirich Couverture souple
72,95 $
2 formats offerts
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Couverture souple
80,50 $
2 formats offerts
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

Stefan Kiefer Couverture souple
72,95 $
Evolutionary Computation in Combinatorial Optimization: 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings

Christine Zarges Couverture souple
80,50 $
2 formats offerts
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Stephanie Weirich Couverture souple
72,95 $
2 formats offerts
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Stephanie Weirich Couverture souple
58,50 $
Practical Aspects Of Declarative Languages: 23rd International Symposium, Padl 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

José F. Morales Couverture souple
80,50 $
2 formats offerts