Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Name: Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Price: 60.99 CAD
Availability: InStock
Author: Ivan Dimov
ISBN: 9783319202396

Édition : Ivan Dimov

29 décembre 2015

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

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Bernhard Beckert Couverture souple
80,50 $
Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

Ivan Dimov Couverture souple
80,50 $
2 formats offerts
Swarm Intelligence Based Optimization: First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

Patrick Siarry Couverture souple
80,50 $
Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho Couverture souple
80,50 $
2 formats offerts
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Bertrand Meyer Couverture souple
102,50 $
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch-teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers

Jean-Michel Bruel Couverture souple
80,50 $
2 formats offerts
Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part II

Giuseppe Nicosia Couverture souple
189,95 $
2 formats offerts
Classical and Quantum Computing: with C++ and Java Simulations

Yorick Hardy Couverture souple
80,50 $
Uml 2003 - The Unified Modeling Language, Modeling Languages And Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings

Perdita Stevens Couverture souple
80,50 $
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Maurizio Gabbrielli Couverture souple
80,50 $
2 formats offerts
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Joost-Pieter Katoen Couverture souple
80,50 $
High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008

Hong Mei Couverture rigide
80,50 $
Verified Software. Theories, Tools, And Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers

Ruzica Piskac Couverture souple
80,50 $
2 formats offerts
Decision Support Systems III - Impact of Decision Support Systems for Global Environments: Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers

Fátima Dargam Couverture souple
65,95 $
2 formats offerts
Augmented Reality Games II: The Gamification of Education, Medicine and Art

Vladimir Geroimenko Couverture rigide
291,95 $
4 formats offerts
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Marcel Vinícius Oliveira Couverture souple
80,50 $
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Human Error, Safety and Systems Development: 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

Philippe Palanque Couverture souple
80,50 $
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Fabio Fioravanti Couverture souple
80,50 $
2 formats offerts
Frontiers of Algorithmic Wisdom: International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022, Revised Selected Papers

Minming Li Couverture souple
87,95 $
2 formats offerts

Évaluation éditoriale

ivan dimov

Auteur

Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

Ivan Dimov Couverture souple
80,50 $
2 formats offerts
Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Markus Roggenbach Couverture souple
80,50 $
2 formats offerts
Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Marek Cygan Couverture souple
80,50 $
2 formats offerts
Numerical Computations: Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part I

Yaroslav D. Sergeyev Couverture souple
80,50 $
2 formats offerts
Numerical Computations: Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part II

Yaroslav D. Sergeyev Couverture souple
80,50 $
2 formats offerts
Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Santiago Escobar Couverture souple
80,50 $
2 formats offerts
Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Pawel Urzyczyn Couverture souple
80,50 $
Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers

Marco Nehmeier Couverture souple
80,50 $
2 formats offerts
Combinatorial Optimization And Applications: 13th International Conference, Cocoa 2019, Xiamen, China, December 13-15, 2019, Proceedings

Yingshu Li Couverture souple
80,50 $
2 formats offerts
Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Jianer Chen Couverture souple
80,50 $
2 formats offerts
Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Roman Wyrzykowski Couverture souple
80,50 $
2 formats offerts
Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers

Ivan Lirkov Couverture souple
80,50 $
2 formats offerts
Quantum Interaction: 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Harald Atmanspacher Couverture souple
80,50 $
2 formats offerts
Approximation and Online Algorithms: 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

Leah Epstein Couverture souple
80,50 $
2 formats offerts
Structural Information and Communication Complexity: 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

Shay Kutten Couverture souple
80,50 $
Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Roman Wyrzykowski Couverture souple
80,50 $
2 formats offerts
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Couverture souple
262,95 $
2 formats offerts
Dynamic Logic. New Trends And Applications: Second International Workshop, Dali 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Lu Soares Barbosa Couverture souple
80,50 $
2 formats offerts
Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

Roman Wyrzykowski Couverture souple
80,50 $
2 formats offerts
Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Viktória Zs Couverture souple
65,95 $
2 formats offerts

Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

Swarm Intelligence Based Optimization: First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch-teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part II

Classical and Quantum Computing: with C++ and Java Simulations

Uml 2003 - The Unified Modeling Language, Modeling Languages And Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008

Verified Software. Theories, Tools, And Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers

Decision Support Systems III - Impact of Decision Support Systems for Global Environments: Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers

Augmented Reality Games II: The Gamification of Education, Medicine and Art

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Human Error, Safety and Systems Development: 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Frontiers of Algorithmic Wisdom: International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Numerical Computations: Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part I

Numerical Computations: Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part II

Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers

Combinatorial Optimization And Applications: 13th International Conference, Cocoa 2019, Xiamen, China, December 13-15, 2019, Proceedings

Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers

Quantum Interaction: 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Approximation and Online Algorithms: 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

Structural Information and Communication Complexity: 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Dynamic Logic. New Trends And Applications: Second International Workshop, Dali 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers