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

Name: Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Warwick Tucker
ISBN: 9783319317687

Marco Nehmeier Édition : Jürgen Wolff von Gudenberg , Warwick Tucker

10 avril 2016

80,50 $

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

Description

Langue

anglais

Pages

291

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783319317687

Automata, Languages and Programming: 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings

Couverture souple
142,95 $
Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Romain Wacquez Couverture souple
94,95 $
2 formats offerts
Progress In Pattern Recognition, Image Analysis, Computer Vision, And Applications: 23rd Iberoamerican Congress, Ciarp 2018, Madrid, Spain, November 19-22, 2018, Proceedings

Ruben Vera-rodriguez Couverture souple
160,95 $
2 formats offerts
Flexible Query Answering Systems: 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011, Proceedings

Henning Christiansen Couverture souple
80,50 $
Intelligent Computers, Algorithms, and Applications: Third BenchCouncil International Symposium, IC 2023, Sanya, China, December 3-6, 2023, Revised Selected Papers

Christophe Cruz Couverture souple
58,50 $
Intelligent Computers, Algorithms, and Applications: Third BenchCouncil International Symposium, IC 2023, Sanya, China, December 3-6, 2023, Revised Selected Papers

Christophe Cruz Couverture souple
124,50 $
2 formats offerts
Emerging Technologies For Authorization And Authentication: 4th International Workshop, Etaa 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers

Andrea Saracino Couverture souple
87,95 $
2 formats offerts
Artificial Intelligence over Infrared Images for Medical Applications: Third International Conference, AIIIMA 2024, Virtual Event, November 9, 2024, Proceedings

Siva Teja Kakileti Couverture souple
80,50 $
String Processing And Information Retrieval: 23rd International Symposium, Spire 2016, Beppu, Japan, October 18-20, 2016, Proceedings

Shunsuke Inenaga Couverture souple
80,50 $
2 formats offerts
Highlights In Practical Applications Of Agents, Multi-agent Systems, And Social Good. The Paams Collection: International Workshops Of Paams 2021, Salamanca, Spain, October 6-9, 2021, Proceedings

Fernando De La Prieta Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Couverture souple
80,50 $
2 formats offerts
Theory of Quantum Computation, Communication, and Cryptography: 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Kazuo Iwama Couverture souple
72,95 $
Flexible Query Answering Systems: 10th International Conference, Fqas 2013, Granada, Spain, September 18-20, 2013. Proceedings

Henrik Legind Larsen Couverture souple
80,50 $
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings

Maria Serna Couverture souple
160,95 $
Advances in Production Management Systems. Towards Smart and Digital Manufacturing: IFIP WG 5.7 International Conference, APMS 2020, Novi Sad, Serbia, August 30 - September 3, 2020, Proceedings, Part II

Bojan Lalic Couverture rigide
160,95 $
2 formats offerts
Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

Bernd Finkbeiner Couverture souple
145,95 $
2 formats offerts
Advances in Production Management Systems. Towards Smart and Digital Manufacturing: IFIP WG 5.7 International Conference, APMS 2020, Novi Sad, Serbia, August 30 - September 3, 2020, Proceedings, Part II

Bojan Lalic Couverture souple
160,95 $
Evolvable Systems: From Biology to Hardware: 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings

Kiyoshi Tanaka Couverture souple
80,50 $
Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Stephen Watt Couverture souple
175,50 $
2 formats offerts
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Couverture souple
71,50 $

Évaluation éditoriale

jurgen wolff von gudenberg

Auteur

High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Edoardo Di Napoli Couverture souple
80,50 $
2 formats offerts
Membrane Computing: 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers

Thomas Hinze 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
Algorithmic Aspects of Cloud Computing: 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

Ivona Brandic Couverture souple
87,95 $
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
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
Computer Algebra In Scientific Computing: 23rd International Workshop, Casc 2021, Sochi, Russia, September 13-17, 2021, Proceedings

François Boulier Couverture souple
145,95 $
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
High Performance Computing For Computational Science - Vecpar 2014: 11th International Conference, Eugene, Or, Usa, June 30 - July 3, 2014, Revised Selected Papers

Michel Dayd Couverture souple
80,50 $
2 formats offerts
Computer Algebra In Scientific Computing: 22nd International Workshop, Casc 2020, Linz, Austria, September 14-18, 2020, Proceedings

François Boulier Couverture souple
160,95 $
2 formats offerts
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
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
Fundamentals Of Computation Theory: 23rd International Symposium, Fct 2021, Athens, Greece, September 12-15, 2021, Proceedings

Evripidis Bampis Couverture souple
145,95 $
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
Graph-theoretic Concepts In Computer Science: 46th International Workshop, Wg 2020, Leeds, Uk, June 24-26, 2020, Revised Selected Papers

Isolde Adler 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
Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Ivan Dimov Couverture souple
80,50 $
2 formats offerts
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
SOFSEM 2021: Theory and Practice of Computer Science: 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings

Tomá Bure Couverture souple
160,95 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi

Automata, Languages and Programming: 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings

Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Progress In Pattern Recognition, Image Analysis, Computer Vision, And Applications: 23rd Iberoamerican Congress, Ciarp 2018, Madrid, Spain, November 19-22, 2018, Proceedings

Flexible Query Answering Systems: 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011, Proceedings

Intelligent Computers, Algorithms, and Applications: Third BenchCouncil International Symposium, IC 2023, Sanya, China, December 3-6, 2023, Revised Selected Papers

Intelligent Computers, Algorithms, and Applications: Third BenchCouncil International Symposium, IC 2023, Sanya, China, December 3-6, 2023, Revised Selected Papers

Emerging Technologies For Authorization And Authentication: 4th International Workshop, Etaa 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers

Artificial Intelligence over Infrared Images for Medical Applications: Third International Conference, AIIIMA 2024, Virtual Event, November 9, 2024, Proceedings

String Processing And Information Retrieval: 23rd International Symposium, Spire 2016, Beppu, Japan, October 18-20, 2016, Proceedings

Highlights In Practical Applications Of Agents, Multi-agent Systems, And Social Good. The Paams Collection: International Workshops Of Paams 2021, Salamanca, Spain, October 6-9, 2021, Proceedings

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Theory of Quantum Computation, Communication, and Cryptography: 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Flexible Query Answering Systems: 10th International Conference, Fqas 2013, Granada, Spain, September 18-20, 2013. Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings

Advances in Production Management Systems. Towards Smart and Digital Manufacturing: IFIP WG 5.7 International Conference, APMS 2020, Novi Sad, Serbia, August 30 - September 3, 2020, Proceedings, Part II

Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

Advances in Production Management Systems. Towards Smart and Digital Manufacturing: IFIP WG 5.7 International Conference, APMS 2020, Novi Sad, Serbia, August 30 - September 3, 2020, Proceedings, Part II

Evolvable Systems: From Biology to Hardware: 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings

Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Membrane Computing: 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers

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

Algorithmic Aspects of Cloud Computing: 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

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

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

Computer Algebra In Scientific Computing: 23rd International Workshop, Casc 2021, Sochi, Russia, September 13-17, 2021, Proceedings

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

High Performance Computing For Computational Science - Vecpar 2014: 11th International Conference, Eugene, Or, Usa, June 30 - July 3, 2014, Revised Selected Papers

Computer Algebra In Scientific Computing: 22nd International Workshop, Casc 2020, Linz, Austria, September 14-18, 2020, Proceedings

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

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

Fundamentals Of Computation Theory: 23rd International Symposium, Fct 2021, Athens, Greece, September 12-15, 2021, Proceedings

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

Graph-theoretic Concepts In Computer Science: 46th International Workshop, Wg 2020, Leeds, Uk, June 24-26, 2020, Revised Selected Papers

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

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

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

SOFSEM 2021: Theory and Practice of Computer Science: 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings