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

Édition : Emil Sekerinski

6 octobre 2024

45,99 $ ~~Réduction sur le prix courant 57,36 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer Nature Switzerland

ISBN: 9783031713798

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

emil sekerinski

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