Passer au contenu principal Passer au contenu du pied de page

Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Manuel V Hermenegildo , Manuel V. Hermenegildo Édition : José F. Morales

24 octobre 2023

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

Description

Langue

anglais

Pages

566

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031442445

Simulated Evolution and Learning: 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, Proceeding: 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, Proceedings

Kalyanmoy Deb Couverture souple
160,95 $
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Kazunori Ueda Couverture souple
80,50 $
Model and Data Engineering: 11th International Conference, MEDI 2022, Cairo, Egypt, November 21-24, 2022, Proceedings

Philippe Fournier-viger Couverture souple
102,50 $
2 formats offerts
Advances In Visual Computing: 16th International Symposium, Isvc 2021, Virtual Event, October 4-6, 2021, Proceedings, Part Ii

George Bebis Couverture souple
131,50 $
2 formats offerts
Advances In Visual Computing: 16th International Symposium, Isvc 2021, Virtual Event, October 4-6, 2021, Proceedings, Part I

George Bebis Couverture souple
131,50 $
2 formats offerts
Advanced Information Systems Engineering: 33rd International Conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings

Marcello La Rosa Couverture souple
175,50 $
2 formats offerts
Pattern Recognition: 44th DAGM German Conference, DAGM GCPR 2022, Konstanz, Germany, September 27-30, 2022, Proceedings

Bj Andres Couverture souple
80,50 $
2 formats offerts
Data Science and Machine Learning: 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings

Diana Benavides-Prado Couverture souple
116,95 $
2 formats offerts
Data Science and Machine Learning: 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings

Diana Benavides-Prado Couverture souple
58,50 $
Computational Diffusion MRI: 14th International Workshop, CDMRI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Elizabeth Powell Couverture souple
94,95 $
2 formats offerts
Computational Diffusion MRI: 14th International Workshop, CDMRI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Muge Karaman Couverture souple
58,50 $
Theory and Practice of Natural Computing: 10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings

Claus Aranha Couverture souple
87,95 $
2 formats offerts
Entertainment Computing - ICEC 2011: 10th International Conference, ICEC 2011, Vancouver, BC, Canada, October 5-8, 2011, Proceedings

Junia Anacleto Couverture souple
80,50 $
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part VI

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Dependable Computing - EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceeding: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings

Rasmus Adler Couverture souple
80,50 $
2 formats offerts
Databases Theory and Applications: 34th Australasian Database Conference, ADC 2023, Melbourne, VIC, Australia, November 1-3, 2023, Proceedings

Zhifeng Bao Couverture souple
109,50 $
2 formats offerts
Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Brian Malloy Couverture souple
80,50 $
Pattern Recognition and Computer Vision: 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4-7, 2022, 2022, Proceedings, Part IV

Shiqi Yu Couverture souple
80,50 $
2 formats offerts
Advances In Swarm Intelligence: 12th International Conference, Icsi 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part Ii

Ying Tan Couverture souple
80,50 $
2 formats offerts
Pattern Recognition and Computer Vision: 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4-7, 2022, Proceedings, Part III

Shiqi Yu Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings

Martin Kutrib Couverture souple
102,50 $
2 formats offerts
Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

João Paulo A. Almeida Couverture souple
116,95 $
2 formats offerts
Search-Based Software Engineering: 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Gunel Jahangirova Couverture souple
80,50 $
2 formats offerts
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Andre Platzer Couverture souple
248,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
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings

Gagandeep Singh Couverture souple
116,95 $
2 formats offerts
Reversible Computation: 16th International Conference, RC 2024, ToruA, Poland, July 4-5, 2024, Proceedings

Torben Ægidius Mogensen Couverture souple
94,95 $
2 formats offerts
Parallel Computing Technologies: 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings

Victor Malyshkin Couverture souple
94,95 $
2 formats offerts
Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Michael Emmerich Couverture souple
145,95 $
2 formats offerts
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
Mathematical Software - ICMS 2024: 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

Kevin Buzzard Couverture souple
102,50 $
2 formats offerts
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings

Thao Dang Couverture souple
109,50 $
2 formats offerts
Combinatorial Algorithms: 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings

Adele Anna Rescigno Couverture souple
131,50 $
2 formats offerts
Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Couverture souple
124,50 $
2 formats offerts
Combinatorial Optimization: 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

Amitabh Basu Couverture souple
116,95 $
2 formats offerts
Integer Programming and Combinatorial Optimization: 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022, Proceedings

Karen Aardal Couverture souple
145,95 $
2 formats offerts
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings

Claudio Antares Mezzina Couverture souple
102,50 $
2 formats offerts
Integer Programming and Combinatorial Optimization: 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings

Alberto Del Pia Couverture souple
131,50 $
2 formats offerts