Passer au contenu principal Passer au contenu du pied de page

Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Emil Sekerinski Édition : Nelma Moreira , José N. Oliveira

13 août 2020

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

523

Programming and Software Engineering

Publié par: Springer Nature

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

ISBN: 9783030549930

New Frontiers in Applied Data Mining: PAKDD 2009 International Workshops, Bangkok, Thailand, April 27-30, 2010. Revised Selected Papers

Thanaruk Theeramunkong Couverture souple
80,50 $
Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Khalil Drira Couverture souple
80,50 $
2 formats offerts
Web and Big Data: APWeb-WAIM 2019 International Workshops, KGMA and DSEA, Chengdu, China, August 1-3, 2019, Revised Selected Papers

Jingkuan Song Couverture souple
80,50 $
2 formats offerts
Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms: AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers

Han La Poutr Couverture souple
80,50 $
Services - SERVICES 2019: 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings

Yunni Xia Couverture souple
80,50 $
2 formats offerts
Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers

Louise A. Dennis Couverture souple
87,95 $
2 formats offerts
Beyond Interactions: Interact 2019 Ifip Tc 13 Workshops, Paphos, Cyprus, September 2-6, 2019, Revised Selected Papers

Jos Abdelnour Nocera Couverture souple
80,50 $
2 formats offerts
Advances In Service-oriented And Cloud Computing: Workshops Of Esocc 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers

Alexander Lazovik Couverture souple
80,50 $
2 formats offerts
Analysis of Social Media and Ubiquitous Data: International Workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010, Revised Selected Papers

Martin Atzmueller Couverture souple
80,50 $
Engineering Multi-Agent Systems: 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

Andrei Ciortea Couverture souple
58,50 $
Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

Graziela Simone Tonin Couverture souple
80,50 $
2 formats offerts
Engineering Multi-Agent Systems: 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

Andrei Ciortea Couverture souple
94,95 $
2 formats offerts
Theory and Practice of Digital Libraries - TPDL 2013 Selected Workshops: LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers

Åukasz Bolikowski Couverture souple
80,50 $
2 formats offerts
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

Guadalupe Ortiz Couverture souple
80,50 $
2 formats offerts
Business Information Systems Workshops: BIS 2020 International Workshops, Colorado Springs, CO, USA, June 8-10, 2020, Revised Selected Papers

Witold Abramowicz Couverture souple
80,50 $
2 formats offerts
Current Trends in Web Engineering: ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9-12, 2020, Revised Selected Papers

In-young Ko Couverture souple
80,50 $
2 formats offerts
Computer Aided Surgery: 7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011, Proceedings

Takeyoshi Dohi Couverture souple
80,50 $
Mobile Internet Security: 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers

Ilsun You Couverture souple
131,50 $
2 formats offerts
High Performance Computing Systems: 19th Symposium, Wscad 2018, Sao Paulo, Brazil, October 1-3, 2018, Revised Selected Papers

Calebe Bianchini Couverture souple
80,50 $
Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers

Philippe Kruchten Couverture souple
72,95 $
2 formats offerts

Évaluation éditoriale

nelma moreira

Auteur

Advanced Virtual Environments and Education: Third International Workshop, WAVE 2021, Fortaleza, Brazil, March 21-24, 2021, Revised Selected Papers

Tiago T. Primo Couverture souple
102,50 $
2 formats offerts
Technology and Innovation in Learning, Teaching and Education: Third International Conference, TECH-EDU 2022, Lisbon, Portugal, August 31-September 2, 2022, Revised Selected Papers

Arsénio Reis Couverture souple
145,95 $
2 formats offerts
Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part Ii

Emil Sekerinski Couverture souple
80,50 $
2 formats offerts
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Francisco Jos Domínguez Mayo Couverture souple
175,50 $
2 formats offerts
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Gustavo Carvalho Couverture souple
102,50 $
2 formats offerts
Optimization, Learning Algorithms and Applications: Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II

Ana I. Pereira Couverture souple
116,95 $
2 formats offerts
Optimization, Learning Algorithms and Applications: Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

Ana I. Pereira Couverture souple
131,50 $
2 formats offerts
Optimization, Learning Algorithms and Applications: Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II

Ana I. Pereira Couverture souple
58,50 $
Optimization, Learning Algorithms and Applications: Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

Ana I. Pereira Couverture souple
58,50 $
UML Modeling Languages and Applications: > 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

Nuno Jardim Nunes Couverture souple
80,50 $
Applications and Usability of Interactive TV: 9th Iberoamerican Conference, jAUTI 2020, Aveiro, Portugal, December 18, 2020, Revised Selected Papers

María J. Abásolo Couverture souple
80,50 $
2 formats offerts
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

Luis Soares Barbosa Couverture souple
80,50 $
Dynamic Logic. New Trends And Applications: Second International Workshop, Dali 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Lu Soares Barbosa Couverture souple
80,50 $
2 formats offerts
Formal Methods Teaching: 4th International Workshop And Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings

João F. Ferreira Couverture souple
87,95 $
2 formats offerts
Optimization, Learning Algorithms and Applications: First International Conference, OL2A 2021, Braganca, Portugal, July 19-21, 2021, Revised Selected Papers

Ana I. Pereira Couverture souple
175,50 $
2 formats offerts
Computational Science - ICCS 2019: 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part II: 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part III

João M. F. Rodrigues Couverture souple
160,95 $
2 formats offerts
Web Information Systems and Technologies: 15th International Conference, WEBIST 2019, Vienna, Austria, September 18-20, 2019, Revised Selected Papers

Alessandro Bozzon Couverture souple
124,50 $
2 formats offerts
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Ana Bove Couverture souple
80,50 $
Numerical Methods in Geotechnical Engineering IX, Volume 2: Proceedings of the 9th European Conference on Numerical Methods in Geotechnical Engineering (NUMGE 2018), June 25-27, 2018, Porto, Portugal

António Cardoso Couverture rigide
414,50 $
2 formats offerts
Optimization, Learning Algorithms and Applications: 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II

Ana I. Pereira Couverture souple
116,95 $