Passer au contenu principal Passer au contenu du pied de page

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Édition : Sergei Artemov

2 janvier 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: 9783319720562

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
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
Theoretical Approaches to Non-Numerical Problem Solving: Proceedings of the IV Systems Symposium at Case Western Reserve University

Couverture souple
142,95 $
Finite Fields with Applications to Coding Theory, Cryptography and Related Areas: Proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, Mexico, May 21-25, 2001

Gary L. Mullen Couverture souple
160,95 $
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings

Anthony W. Lin Couverture souple
87,95 $
2 formats offerts
Finite Fields and their Applications: Proceedings of the 14th International Conference on Finite Fields and their Applications, Vancouver, June 3-7, 2019

Couverture rigide
255,99 $
Current Trends In Analysis, Its Applications And Computation: Proceedings Of The 12th Isaac Congress, Aveiro, Portugal, 2019

Paula Cerejeiras Couverture souple
248,50 $
2 formats offerts
New Trends In Differential Equations, Control Theory And Optimization - Proceedings Of The 8th Congress Of Romanian Mathematicians

Viorel Barbu Couverture rigide
216,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
The Arbitrariness Of The Sign In Question: Proceedings Of A Clg 100 Workshop. Geneva, January 10-12, 2017

Couverture souple
42,00 $
New Developments in Differential Geometry: Proceedings of the Colloquium on Differential Geometry, Debrecen, Hungary,July 26-30, 1994

L. Tamássy Couverture souple
160,95 $
Potential Theory: Copenhagen 1979: Proceedings of a Colloquium Held in Copenhagen, May 14-18, 1979

Couverture souple
59,95 $
Analysis, Applications, and Computations: Proceedings of the 13th ISAAC Congress, Ghent, Belgium, 2021

Uwe Kähler Couverture souple
321,50 $
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
Proceedings of the International Congress of Mathematicians: August 3–11, 1994 Zürich, Switzerland

Coffret
71,50 $
Proceedings Of The 2018 Conference Of The Computational Social Science Society Of The Americas

Ted Carmichael Couverture souple
321,50 $
Differential Games And Control Theory Iii: Proceedings Of The Third Kingston Conference

Pan-tai Liu Couverture rigide
481,50 $
3 formats offerts
Foundations Of Information And Knowledge Systems: 11th International Symposium, Foiks 2020, Dortmund, Germany, February 17-21, 2020, Proceedings

Andreas Herzig Couverture souple
80,50 $
2 formats offerts
Orthogonal Polynomials and their Applications: Proceedings of an International Symposium held in Segovia, Spain, Sept. 22-27, 1986

Couverture souple
59,95 $
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

Évaluation éditoriale

sergei artemov

Auteur

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
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
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Sergei Artemov Couverture souple
80,50 $
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
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
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
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
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
Abstract State Machines, Alloy, B, Tla, Vdm, And Z: 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings

Michael Butler 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: 26th International Workshop, Wollic 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Rosalie Iemhoff 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
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
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
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Frank Pfenning Couverture souple
80,50 $
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
Combinatorics On Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings

Thierry Lecroq Couverture souple
102,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