Passer au contenu principal Passer au contenu du pied de page

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Édition : Yoni Zohar

2 décembre 2023

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

153

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031493416

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Couverture souple
58,50 $
Similarity Search And Applications: 12th International Conference, Sisap 2019, Newark, Nj, Usa, October 2-4, 2019, Proceedings

Giuseppe Amato Couverture souple
109,50 $
2 formats offerts
Similarity Search and Applications: 17th International Conference, SISAP 2024, Providence, RI, USA, November 4-6, 2024, Proceedings

Edgar Chávez Couverture souple
94,95 $
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 $
Security Standardisation Research: 8th International Conference, SSR 2023, Lyon, France, April 22-23, 2023, Proceedings

Felix Günther Couverture souple
87,95 $
2 formats offerts
Human and Artificial Rationalities: Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings

Jean Baratgin Couverture souple
58,50 $
Human and Artificial Rationalities: Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings

Jean Baratgin Couverture souple
116,95 $
2 formats offerts
Conceptual Modeling: 39th International Conference, Er 2020, Vienna, Austria, November 3-6, 2020, Proceedings

Gillian Dobbie Couverture souple
80,50 $
2 formats offerts
Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Scott Hissam Couverture rigide
160,95 $
Fundamentals Of Computation Theory: 23rd International Symposium, Fct 2021, Athens, Greece, September 12-15, 2021, Proceedings

Evripidis Bampis Couverture souple
145,95 $
2 formats offerts
Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II

Nico Piatkowski Couverture souple
97,76 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Holger Hermanns Couverture souple
58,50 $
Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II

Ioanna Miliou Couverture souple
72,95 $
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Holger Hermanns Couverture souple
116,95 $
2 formats offerts
Beyond Databases, Architectures, and Structures: 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

Stanislaw Kozielski Couverture souple
80,50 $
Advances in Computational Intelligence: 22nd Mexican International Conference on Artificial Intelligence, MICAI 2023, Yucatan, Mexico, November 13-18, 2023, Proceedings, Part I

Hiram Calvo Couverture souple
175,50 $
2 formats offerts
Communications and Networking in China: 1st International Business Conference, Chinacombiz 2008, Hangzhou China, August 2008, Revised Selected Papers

Patrick Bond Couverture souple
80,50 $
Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part I

Panagiotis Papapetrou Couverture souple
97,76 $
2 formats offerts
Information and Communications Security: 26th International Conference, ICICS 2024, Mytilene, Greece, August 26-28, 2024, Proceedings, Part I

Sokratis Katsikas Couverture souple
109,50 $
Applications of Evolutionary Computation: 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

Paul Kaufmann Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

yoni zohar

Auteur

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Couverture souple
58,50 $
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

Sidney C. Nogueira Couverture souple
94,95 $
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
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
Advances in Bioinformatics and Computational Biology: 13th Brazilian Symposium on Bioinformatics, BSB 2020, Sao Paulo, Brazil, November 23-27, 2020, Proceedings

João C. Setubal Couverture souple
80,50 $
2 formats offerts
Advances in Bioinformatics and Computational Biology: 12th Brazilian Symposium on Bioinformatics, BSB 2019, Fortaleza, Brazil, October 7-10, 2019, Revised Selected Papers

Luis Kowada Couverture souple
80,50 $
2 formats offerts
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
Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Anuj Dawar Couverture souple
80,50 $
Advances in Bioinformatics and Computational Biology: 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings

Marcelo S. Reis Couverture souple
80,50 $
2 formats offerts
Applications of Evolutionary Computation: 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

Jo Correia Couverture souple
175,50 $
2 formats offerts
Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings

Celso C. Ribeiro Couverture souple
80,50 $
Data and Information in Online Environments: Third EAI International Conference, DIONE 2022, Virtual Event, July 28-29, 2022, Proceedings

Adilson Luiz Pinto Couverture souple
124,50 $
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 $
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
124,50 $
2 formats offerts
Discovery Science: 24th International Conference, Ds 2021, Halifax, Ns, Canada, October 11-13, 2021, Proceedings

Carlos Soares Couverture souple
131,50 $
2 formats offerts
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
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
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
Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part II

Hugo Plácido da Silva Couverture souple
58,50 $
Computer-Human Interaction Research and Applications: 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part II

Hugo Plácido da Silva Couverture souple
124,50 $
2 formats offerts