Passer au contenu principal Passer au contenu du pied de page

Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Emil Sekerinski Édition : Leila Ribeiro

5 septembre 2024

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

Description

Langue

anglais

Pages

141

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031713781

Mathematical Optimization Theory and Operations Research: Recent Trends: 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30 - July 6, 2024, Revised Selected Papers

Anton Eremeev Couverture souple
124,50 $
Relational And Algebraic Methods In Computer Science: 19th International Conference, Ramics 2021, Marseille, France, November 2-5, 2021, Proceedings

Uli Fahrenberg Couverture souple
116,95 $
2 formats offerts
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Jean Goubault-Larrecq Couverture souple
72,95 $
Rigorous State-based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Alexander Raschke Couverture souple
80,50 $
2 formats offerts
Functional Analysis and its Applications: Proceedings of the International Conference on Functional Analysis and its Applications dedicated to the 110th Anniversary of Stefan Banach, May 28-31, 2002, Lviv, Ukraine

Vladimir Kadets Livre numérique Kobo
207,99 $ ~~Réduction sur le prix courant 260,00 $ à~~
2 formats offerts
Mathematical Optimization Theory and Operations Research: Recent Trends: 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021, Revised Selected Papers

Alexander Strekalovsky Couverture souple
175,50 $
2 formats offerts
Modern Metrology: A Manual of the Metrical Units and Systems of the Present Century; With an Appendix Containing a Pr

Lowis D'Aguilar Jackson Couverture souple
19,57 $
6 formats offerts
Dynamics Reported: Expositions in Dynamical Systems

N. Fenichel Couverture souple
160,95 $
Dynamics Reported: Expositions in Dynamical Systems

H.S. Dumas Couverture souple
80,50 $
Dynamics Reported: Expositions in Dynamical Systems

A.M. Blokh Couverture souple
80,50 $
Dynamics Reported: Expositions in Dynamical Systems New Series: Volume 3

G. Fournier Couverture souple
80,50 $
Logic, Language, and Probability: A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971

Livre numérique Kobo
60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~
Dynamics Reported: Expositions in Dynamical Systems

R. Bielawski Couverture souple
160,95 $
Computational Mathematics, Numerical Analysis and Applications: Lecture Notes Of The Xvii 'jacques-louis Lions' Spanish-french School

Mariano Mateos Couverture souple
189,95 $
3 formats offerts
Abstract Algebra with Applications: Volume 2: Rings and Fields

Karlheinz Spindler Livre numérique Kobo
113,99 $
Number Theory: Volume Ii: Analytic And Modern Tools

Henri Cohen Couverture souple
87,95 $
2 formats offerts
Automatic Speech Analysis and Recognition: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, June 29-July 10, 1981

Couverture souple
233,95 $
2 formats offerts
Hyperbolic Conservation Laws and Related Analysis with Applications: Edinburgh, September 2011

Gui-qiang G. Chen Couverture rigide
160,95 $
2 formats offerts
Relational And Algebraic Methods In Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

Uli Fahrenberg Couverture souple
80,50 $
2 formats offerts
Learning And Intelligent Optimization: 15th International Conference, Lion 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers

Dimitris E. Simos Couverture souple
131,50 $
2 formats offerts

Évaluation éditoriale

leila ribeiro

Auteur

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

CATHERINE DUBOIS Couverture souple
87,95 $
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Couverture souple
94,95 $
2 formats offerts
Numerical Mathematics And Advanced Applications Enumath 2019: European Conference, Egmond Aan Zee, The Netherlands, September 30 - October 4

Fred J. Vermolen Couverture rigide
554,95 $
2 formats offerts
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Uwe Glässer Couverture souple
124,50 $
2 formats offerts
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Couverture souple
116,95 $
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
Approximation and Online Algorithms: 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8-9, 2022, Proceedings

Parinya Chalermsook Couverture souple
80,50 $
2 formats offerts
Mathematical Optimization Theory and Operations Research: 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

Anton Eremeev Couverture souple
116,95 $
2 formats offerts
Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Alexander Raschke Couverture souple
94,95 $
2 formats offerts
Mathematical Optimization Theory and Operations Research: 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings

Michael Khachay Couverture souple
131,50 $
2 formats offerts
Empowering Novel Geometric Algebra for Graphics and Engineering: 7th International Workshop, ENGAGE 2022, Virtual Event, September 12, 2022, Proceedings

Eckhard Hitzer Couverture souple
87,95 $
2 formats offerts
Numerical Methods and Applications: 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings

Ivan Georgiev Couverture souple
124,50 $
2 formats offerts
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Couverture souple
116,95 $
2 formats offerts
Mathematical Optimization Theory and Operations Research: 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2-6, 2022, Proceedings

Panos Pardalos Couverture souple
291,95 $
2 formats offerts
Advanced Computational Applications of Geometric Algebra: First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

David W. Silva Couverture souple
94,95 $
2 formats offerts
Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers

Couverture souple
124,50 $
2 formats offerts
Combinatorics on Words: 14th International Conference, WORDS 2023, Umea, Sweden, June 12-16, 2023, Proceedings

Anna Frid Couverture souple
124,50 $
2 formats offerts
Relational And Algebraic Methods In Computer Science: 19th International Conference, Ramics 2021, Marseille, France, November 2-5, 2021, Proceedings

Uli Fahrenberg Couverture souple
116,95 $
2 formats offerts
Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Olivier Bournez Couverture souple
94,95 $
2 formats offerts
Rigorous State-based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Alexander Raschke Couverture souple
80,50 $
2 formats offerts