Passer au contenu principal Passer au contenu du pied de page

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Édition : Michael Butler

15 juin 2018

60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~

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: 9783319912714

Stochastic Transport in Upper Ocean Dynamics II: STUOD 2022 Workshop, London, UK, September 26-29

Bertrand Chapron Couverture rigide
87,95 $
2 formats offerts
Stochastic Transport in Upper Ocean Dynamics: STUOD 2021 Workshop, London, UK, September 20-23

Bertrand Chapron Couverture souple
72,95 $
Stochastic Transport in Upper Ocean Dynamics II: STUOD 2022 Workshop, London, UK, September 26-29

Bertrand Chapron Couverture souple
72,95 $
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
The Geometry of Metric and Linear Spaces: Proceedings of a Conference held at Michigan State University, East Lansing, Michigan, USA, June 17-19, 1974

Couverture souple
90,95 $
Stochastic Transport in Upper Ocean Dynamics: STUOD 2021 Workshop, London, UK, September 20-23

Bertrand Chapron Couverture rigide
87,95 $
2 formats offerts
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Frank Pfenning Couverture souple
80,50 $
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
The Arbitrariness Of The Sign In Question: Proceedings Of A Clg 100 Workshop. Geneva, January 10-12, 2017

Couverture souple
42,00 $
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
Mathematical Research For Blockchain Economy: 1st International Conference Marble 2019, Santorini, Greece

Panos Pardalos Couverture rigide
248,50 $
2 formats offerts
Set Theory and its Applications: Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10-21, 1987

Couverture souple
90,95 $
Practical Applications of Stochastic Modelling: 11th International Workshop, PASM 2022, Alicante, Spain, September 23, 2022, Revised Selected Papers

Matthew Forshaw 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
Graph-Theoretic Concepts in Computer Science: 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Daniel Paulusma Couverture souple
116,95 $
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
Graph Drawing: 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008, Revised Papers

Ioannis G. Tollis Couverture souple
80,50 $
Logic, Language, Information, and Computation: 21st International Workshop, Wollic 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings

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

Annie Foret Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

michael butler

Auteur

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
Logical Foundations Of Computer Science: International Symposium, Lfcs 2018, Deerfield Beach, Fl, Usa, January 8-11, 2018, Proceedings

Sergei Artemov 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
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
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Oliver Kullmann Couverture souple
80,50 $
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Frank Pfenning Couverture souple
80,50 $
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
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings

Sergei Artemov 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
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
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
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
Combinatorics On Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings

Thierry Lecroq Couverture souple
102,50 $
2 formats offerts
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
Proceedings Of Netsci-x 2020: Sixth International Winter School And Conference On Network Science

Naoki Masuda Couverture rigide
160,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
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
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: 26th International Workshop, Wollic 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Rosalie Iemhoff Couverture souple
80,50 $
2 formats offerts