Passer au contenu principal Passer au contenu du pied de page

Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Alexandre Madeira Édition : Alexander Knapp

28 décembre 2024

116,95 $

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

Description

Langue

anglais

Pages

466

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031773815

Intelligent Data Engineering And Automated Learning - Ideal 2017: 18th International Conference, Guilin, China, October 30 - November 1, 2017, Proceedings

Hujun Yin Couverture souple
80,50 $
2 formats offerts
Intelligent Data Engineering and Automated Learning - IDEAL 2007: 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings

Hujun Yin Couverture rigide
248,50 $
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Juergen Dingel Couverture souple
80,50 $
Distributed Applications and Interoperable Systems: 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Marta Patiño-Mart Couverture souple
94,95 $
2 formats offerts
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Gregor Engels Couverture rigide
160,95 $
Ubiquitous Security: Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers

Guojun Wang Couverture souple
160,95 $
2 formats offerts
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 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

Dirk Beyer Couverture souple
58,50 $
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 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

Dirk Beyer Couverture souple
72,95 $
2 formats offerts
Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings

Sihem Ben Sassi Couverture souple
80,50 $
2 formats offerts
Geoinformatics in Sustainable Ecosystem and Society: 7th International Conference, GSES 2019, and First International Conference, GeoAI 2019, Guangzhou, China, November 21-25, 2019, Revised Selected Papers

Yichun Xie Couverture souple
80,50 $
2 formats offerts
Intelligent Data Engineering and Automated Learning - IDEAL 2004: 5th International Conference, Exeter, UK, August 25-27, 2004, Proceedings

Zhen Rong Yang Couverture souple
160,95 $
Database Systems for Advanced Applications: 24th International Conference, DASFAA 2019, Chiang Mai, Thailand, April 22-25, 2019, Proceedings, Part II

Guoliang Li Couverture souple
160,95 $
2 formats offerts
Advanced Information Systems Engineering: 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings

Xavier Franch Couverture souple
131,50 $
2 formats offerts
Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings

Albert Llamosi Couverture souple
80,50 $
Simulation, Modeling, and Programming for Autonomous Robots: Second International Conference, Simpar 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings

Noriako Ando Couverture souple
80,50 $
Proceedings of the 2022 3rd International Conference on Big Data and Social Sciences (ICBDSS 2022)

Livre numérique Kobo
0,00 $
Machine Learning: Ecml 2004: 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedin: 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings

Jean-Francois Boulicaut Couverture souple
80,50 $
Intelligent Data Engineering and Automated Learning - IDEAL 2023: 24th International Conference, Evora, Portugal, November 22-24, 2023, Proceedings

Paulo Quaresma Couverture souple
131,50 $
2 formats offerts
Artificial Intelligence and Mobile Services - AIMS 2022: 11th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings

Xiuqin Pan Couverture souple
87,95 $
2 formats offerts
Coordination Models and Languages: 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Sung-shik Jongmans Couverture souple
116,95 $
2 formats offerts

Évaluation éditoriale

alexander knapp

Auteur

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Alexandre Madeira Couverture souple
80,50 $
2 formats offerts
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

Sidney C. Nogueira Couverture souple
94,95 $
2 formats offerts
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Francisco Botana Couverture souple
65,95 $
2 formats offerts
Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Anuj Dawar Couverture souple
80,50 $
Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings

Albert Llamosi Couverture souple
80,50 $
Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Daniel Mendez Couverture souple
72,95 $
Business Modeling and Software Design: 12th International Symposium, BMSD 2022, Fribourg, Switzerland, June 27-29, 2022, Proceedings

Boris Shishkov Couverture souple
131,50 $
2 formats offerts
Business Modeling And Software Design: 9th International Symposium, Bmsd 2019, Lisbon, Portugal, July 1-3, 2019, Proceedings

Boris Shishkov Couverture souple
80,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Couverture souple
58,50 $
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Lev D. Beklemishev Couverture souple
80,50 $
Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Daniel Mendez Couverture souple
109,50 $
2 formats offerts
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Couverture souple
80,50 $
2 formats offerts
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Leonardo de Moura Couverture souple
131,50 $
2 formats offerts
Enterprise Information Systems: 12th International Conference, ICEIS 2010, Funchal-Madeira, Portugal, June 8-12, 2010, Revised Selected Papers

Joaquim Filipe Couverture souple
160,95 $
Knowledge Engineering And Knowledge Management: 22nd International Conference, Ekaw 2020, Bolzano, Italy, September 16-20, 2020, Proceedings

C. Maria Keet Couverture souple
80,50 $
2 formats offerts
Advances in Enterprise Engineering XIII: 9th Enterprise Engineering Working Conference, EEWC 2019, Lisbon, Portugal, May 20-24, 2019, Revised Papers

David Aveiro Couverture souple
80,50 $
2 formats offerts
Knowledge Engineering: Practice and Patterns: 16th International Conference, EKAW 2008, Acitrezza, Sicily, Italy September 29 - October 3, 2008, Proceedings

Aldo Gangemi Couverture souple
173,95 $
Design and Architectures for Signal and Image Processing: 17th International Workshop, DASIP 2024, Munich, Germany, January 17-19, 2024, Proceedings

Tiago Dias Couverture souple
72,95 $
Similarity Search and Applications: 16th International Conference, SISAP 2023, A Coruna, Spain, October 9-11, 2023, Proceedings

Oscar Pedreira Couverture souple
94,95 $
2 formats offerts
Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part I

Hugo Plácido da Silva Couverture souple
58,50 $