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

João F. Ferreira Édition : Alexandra Mendes , Claudio Menghi

21 novembre 2021

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

Description

Langue

anglais

Pages

147

Theoretical Computer Science and General Issues

Publié par: Springer Nature

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

ISBN: 9783030915490

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
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
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part VII

Makoto Onizuka Couverture souple
116,95 $
2 formats offerts
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part V

Makoto Onizuka Couverture souple
116,95 $
Selected Problems Of The Vietnamese Mathematical Olympiad (1962-2009)

Hai Chau Le Couverture souple
56,95 $
2 formats offerts
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part I

Makoto Onizuka Couverture souple
131,50 $
2 formats offerts
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part IV

Makoto Onizuka Couverture souple
131,50 $
2 formats offerts
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part III

Makoto Onizuka Couverture souple
116,95 $
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part IV

Makoto Onizuka Couverture souple
131,50 $
2 formats offerts
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part I

Makoto Onizuka Couverture souple
131,50 $
2 formats offerts
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part II

Makoto Onizuka Couverture souple
131,50 $
Discrete and Computational Geometry: Japanese Conference, Jcdcg 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers

Jin Akiyama Couverture souple
80,50 $
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part III

Meikang Qiu Couverture souple
160,95 $
2 formats offerts
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II

Meikang Qiu Couverture souple
160,95 $
2 formats offerts
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I

Meikang Qiu Couverture souple
160,95 $
2 formats offerts
Introduction to Mechanical Engineering: Part 1

Michael Clifford Couverture rigide
110,95 $
3 formats offerts
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Leonid Libkin Couverture souple
72,95 $
Metaheuristics for Scheduling in Distributed Computing Environments

Fatos Xhafa Couverture souple
248,50 $
2 formats offerts
The Landscape of Pervasive Computing Standards

Sumi Helal Couverture souple
38,95 $
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

Évaluation éditoriale

alexandra mendes

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
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
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
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
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: 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: 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
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
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

Sheng Wen 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
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
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
Formal Grammar 2018: 23rd International Conference, Fg 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Annie Foret Couverture souple
80,50 $
2 formats offerts
Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings

Daniela Petri Couverture souple
80,50 $
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
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Santiago Escobar Couverture souple
80,50 $