Passer au contenu principal Passer au contenu du pied de page

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

Édition : Sérgio Campos

26 novembre 2021

66,99 $ ~~Réduction sur le prix courant 83,03 $ à~~

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: 9783030921378

Proceedings of the International Conference on Advances in Nano-Neuro-Bio-Quantum (ICAN 2023)

Couverture souple
64,95 $
Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin Couverture souple
124,50 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Couverture souple
80,50 $
2 formats offerts
Human-Computer Interaction. Interaction Techniques and Novel Applications: Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

Masaaki Kurosu Couverture souple
80,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Couverture souple
80,50 $
2 formats offerts
Intelligent Data Engineering and Automated Learning - IDEAL 2024: 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part II

Vicente Julian Couverture souple
131,50 $
Web and Wireless Geographical Information Systems: 20th International Symposium, W2GIS 2023, Quebec City, QC, Canada, June 12-13, 2023, Proceedings

Mir Abolfazl Mostafavi Couverture souple
87,95 $
2 formats offerts
Application And Theory Of Petri Nets And Concurrency: 42nd International Conference, Petri Nets 2021, Virtual Event, June 23-25, 2021, Proceedings

Didier Buchs Couverture souple
80,50 $
2 formats offerts
Enterprise Information Systems: 22nd International Conference, Iceis 2020, Virtual Event, May 5-7, 2020, Revised Selected Papers

Joaquim Filipe Couverture souple
233,95 $
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
Advances In Data Mining. Applications And Theoretical Aspects: 18th Industrial Conference, Icdm 2018, New York, Ny, Usa, July 11-12, 2018, Proceedings

Petra Perner Couverture souple
80,50 $
2 formats offerts
Advances In Data Mining. Applications And Theoretical Aspects: 17th Industrial Conference, Icdm 2017, New York, Ny, Usa, July 12-13, 2017, Proceedings

Petra Perner Couverture souple
80,50 $
Intelligent Data Engineering and Automated Learning - IDEAL 2024: 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part I

Vicente Julian Couverture souple
131,50 $
Advanced Parallel Processing Technologies: 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Chao Li Couverture souple
116,95 $
2 formats offerts
Intelligent Data Engineering And Automated Learning - Ideal 2020: 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part Ii

Cesar Analide Couverture souple
160,95 $
2 formats offerts
Advances in Data Science: Third International Conference on Intelligent Information Technologies, ICIIT 2018, Chennai, India, December 11-14, 2018, Proceedings

Leman Akoglu Couverture souple
80,50 $
2 formats offerts
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Maria Christakis Couverture souple
80,50 $
2 formats offerts
Smart Cities, Green Technologies, and Intelligent Transport Systems: 9th International Conference, SMARTGREENS 2020, and 6th International Conference, VEHITS 2020, Prague, Czech Republic, May 2-4, 2020, Revised Selected Papers

Cornel Klein Couverture souple
131,50 $
2 formats offerts
Intelligent Systems and Data Science: First International Conference, ISDS 2023, Can Tho, Vietnam, November 11-12, 2023, Proceedings, Part II

Thai-Nghe Nguyen Couverture souple
124,50 $
2 formats offerts
Object Databases: Second International Conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009. Revised Selected Papers

Moira C. Norrie Couverture souple
80,50 $

Évaluation éditoriale

sergio campos

Auteur

Formal Methods: 24th International Symposium, Fm 2021, Virtual Event, November 20-26, 2021, Proceedings

Marieke Huisman Couverture souple
175,50 $
2 formats offerts
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Yamine Ait-ameur Couverture souple
80,50 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Couverture souple
80,50 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin Couverture souple
124,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
Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Couverture souple
145,95 $
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
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lucas Lima Couverture souple
87,95 $
2 formats offerts
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Márcio Cornélio Couverture souple
65,95 $
2 formats offerts
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Couverture souple
80,50 $
2 formats offerts
Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings

Shigeru Yamashita Couverture souple
80,50 $
2 formats offerts
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

Shang-wei Lin Couverture souple
80,50 $
2 formats offerts
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Couverture souple
131,50 $
2 formats offerts
System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Ferhat Khendek Couverture souple
80,50 $
2 formats offerts
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Couverture souple
80,50 $
2 formats offerts
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Couverture souple
80,50 $
2 formats offerts
Programming Languages And Systems: 19th Asian Symposium, Aplas 2021, Chicago, Il, Usa, October 17-18, 2021, Proceedings

Hakjoo Oh Couverture souple
124,50 $
2 formats offerts
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Couverture souple
80,50 $
2 formats offerts
Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice H. ter Beek Couverture souple
80,50 $
2 formats offerts
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I

Yongxuan Lai Couverture souple
175,50 $
2 formats offerts