Passer au contenu principal Passer au contenu du pied de page

Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

Édition : João F. Ferreira

22 décembre 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

Theoretical Computer Science and General Issues

Publié par: Springer International Publishing

ISBN: 9783030915506

Distributed Algorithms: 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings

Couverture souple
71,50 $
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
Logic, Language, Information, and Computation: 21st International Workshop, Wollic 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings

Ulrich Kohlenbach Couverture souple
80,50 $
Scientific Computing in Electrical Engineering: SCEE 2020, Eindhoven, The Netherlands, February 2020

Couverture souple
142,95 $
3 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 $
Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Fabrizio Riguzzi Couverture souple
72,95 $
Logic, Language, Information, And Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

Valeria de Paiva Couverture souple
65,95 $
2 formats offerts
Cultures Of Mathematics And Logic: Selected Papers From The Conference In Guangzhou, China, November 9-12, 2012

Shier Ju Couverture souple
160,95 $
3 formats offerts
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Couverture souple
131,50 $
2 formats offerts
Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Nicholas Olenev Couverture souple
80,50 $
2 formats offerts
Logic, Language, Information, And Computation: 23rd International Workshop, Wollic 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Jouko Vä Couverture souple
80,50 $
2 formats offerts
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Lev D. Beklemishev Couverture souple
80,50 $
Scientific Computing In Electrical Engineering: Scee 2016, St. Wolfgang, Austria, October 2016

Ulrich Langer Couverture souple
160,95 $
3 formats offerts
Transistorized Building Blocks for Data Instrumentation; NBS Technical Note 68

Couverture souple
20,95 $
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
Formal Grammar 2018: 23rd International Conference, Fg 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Annie Foret Couverture souple
80,50 $
2 formats offerts
Geometric Methods In Physics Xxxviii: Workshop, Biaaowiea A, Poland, 2019

Piotr Kielanowski Couverture rigide
262,95 $
2 formats offerts
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part VI

Makoto Onizuka Couverture souple
116,95 $
2 formats offerts
Geometric Methods In Physics Xxxviii: Workshop, Biaaowiea A, Poland, 2019

Piotr Kielanowski Couverture souple
262,95 $
Encyclopedia of Engineering: A Treatise On Boilers, Steam Engines, the Locomotive, Electricity, Machine Shop Practice, Air Brake Practice, Engineer's Catechism, Gas, Oil, Traction and Automobile Motors, Refrigeration, Volume 4

Couverture souple
34,76 $

Évaluation éditoriale

joao f ferreira

Auteur

Logic, Rationality, And Interaction: 7th International Workshop, Lori 2019, Chongqing, China, October 18-21, 2019, Proceedings

Patrick Blackburn Couverture souple
80,50 $
2 formats offerts
Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Couverture souple
94,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
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
Logic, Language, Information, And Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

Valeria de Paiva Couverture souple
65,95 $
2 formats offerts
Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers

Evripidis Bampis Couverture souple
94,95 $
2 formats offerts
Logic, Language, Information, And Computation: 25th International Workshop, Wollic 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Lawrence S. Moss Couverture souple
109,50 $
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
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
Logic, Language, Information, And Computation: 23rd International Workshop, Wollic 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Jouko Vä Couverture souple
80,50 $
2 formats offerts
Formal Grammar 2018: 23rd International Conference, Fg 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Annie Foret Couverture souple
80,50 $
2 formats offerts
Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.v. Gopal Couverture souple
80,50 $
2 formats offerts
Learning And Intelligent Optimization: 14th International Conference, Lion 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers

Ilias S. Kotsireas Couverture souple
80,50 $
2 formats offerts
Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings

Nicholas Olenev Couverture souple
80,50 $
2 formats offerts
Graph-theoretic Concepts In Computer Science: 47th International Workshop, Wg 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers

Åukasz Kowalik Couverture souple
145,95 $
2 formats offerts
Logic, Language, Information, And Computation: 26th International Workshop, Wollic 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Rosalie Iemhoff Couverture souple
80,50 $
2 formats offerts
Mathematical Optimization Theory And Operations Research: 19th International Conference, Motor 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings

Alexander Kononov Couverture souple
80,50 $
2 formats offerts
Formal Grammar: 24th International Conference, Fg 2019, Riga, Latvia, August 11, 2019, Proceedings

Raffaella Bernardi Couverture souple
80,50 $
2 formats offerts
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Santiago Escobar Couverture souple
80,50 $
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