Title: Geometric Computing for Perception Action Systems: Concepts, Algorithms, and Scientific Applications / Edition 1, Author: Eduardo Bayro Corrochano
Title: Quantum Interaction: 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers, Author: Harald Atmanspacher
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
Title: Global Optimization and Constraint Satisfaction: Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / Edition 1, Author: Christophe Jermann
Title: Mathematica® Computer Programs for Physical Chemistry / Edition 1, Author: William H. Cropper
Title: Classical Mechanics with Maple / Edition 1, Author: Ronald L. Greene
Title: Approximation and Online Algorithms: Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers / Edition 1, Author: Giuseppe Persiano
Title: Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings, Author: Martyn Amos
Title: Approximation and Online Algorithms: Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers / Edition 1, Author: Thomas Erlebach
Title: Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings, Author: Yo-Sub Han
Title: A Course on Optimization and Best Approximation / Edition 1, Author: R. B. Holmes
Title: Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers / Edition 1, Author: Stefano Berardi
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / Edition 1, Author: Roy Dyckhoff
Title: Algorithms and Complexity: Second Italian Conference, CIAC '94, Rome, Italy, February 23 - 25, 1994. Proceedings / Edition 1, Author: Maurizio Bonuccelli
Title: Simplicial Global Optimization, Author: Remigijus Paulavicius
Title: The Dynamics of Concepts: A Connectionist Model / Edition 1, Author: Philip R.van Loocke
Title: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1, Author: Frank Pfenning
Title: Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings / Edition 1, Author: Mandayam Srivas
Title: Turing Machines with Sublogarithmic Space / Edition 1, Author: Andrzej Szepietowski
Title: Variational Methods in Partially Ordered Spaces / Edition 1, Author: Alfred Göpfert

Pagination Links