Вы здесь

Главная

математика

Связанные издания:

Advanced Mathematics: Computations and Applications: Proc./Intern. Conf. AMCA-95. Novosibirsk, Russia, 20-24 June, 1995
Algebraic Coding: First French-Israeli Workshop. Paris, France, July 1993
Algorithms - ESA 93: Proc./First Annual European Symp. Bad Honnef, Germany, September 1993
A Logic Programming Environment for Teaching Mathematical Concepts of Computer Science
Applied Mathematics and Computer Science: Proc./First Intern. Conf. on Applied Mathematics and Computer Science, Moscow, Russia, 28-29 October 1996
Arithmetic of Finite Fields: Revised Selected and Invited Papers/8th International Workshop, WAIFI 2020, Rennes, France, July 2020
Challenging the Mathematics Curriculum
Combining Theorem Proving and Symbolic Mathematical Computing
Computability and Complexity: Essays Dedicated to Rodney G.Downey on the Occasion of His 60th Birthday
Computational Discrete Mathematics: Advanced Lectures
Computational Science and Its Applications - ICCSA 2007: Part III: Proc./International Conference. Kuala Lumpur, Malaysia, August 2007
Computational Science - ICCS 2003: Proc./Intern. Conf., Melbourne, Australia and St.Petersburg, Russia, June 2003. Part I
Computer Performance Engineering: Proc./11th European Workshop, EPEW 2014, Florence, Italy, September 2014
Continuous Systems Simulation using GPSS/H
Controlled Natural Language: Revised Papers/ Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 2009
CSAM 93: Abstracts/Intern. Congress on Computer System and Applied Mathematics. St. Petersburg, July 19-23, 1993
Discrete Algorithmic Mathematics
Electronic Information and Communication in Mathematics: Revised Papers/ ICM 2002 International Satellite Conference. Beijing,China,August 2002
EUROMATH
Evaluating Discrete Mathematics Exercises
Functional Programming and Mathematical Objects
Future Tendencies in Computer Science, Control and Applied Mathematics: Proc./Intern. Conf. on the Occasion of the 25th Anniversary of INRIA. Paris, France, December 1992
Graph-Based Representation and Reasoning: Proc./23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 2018
Graphics Assignments in Discrete Mathematics
High Performance Computing Systems and Applications: Revised Selected Papers/23rd International Symposium, HPCS 2009, Kingston,ON,Canada, June 2009
Inducing Students to Induct
Integration of Discrete Mathematics Topics into the Secondary Mathematics Curriculum using Mathematica - A Summer Institute for High School Teaching
Intelligent Computer Mathematics: Proc./18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Bertinoro, Italy, July 2011
Interactive Theorem Proving: Proc./6th International Conference, ITP 2015, Nanjing, China, August 2015
Introducing Functional Programming in Discrete Mathematics
Introduction To Computer Mathematics
Introduction to Rewriting
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2018, Deerfield Beach,FL,USA, January 2018
Maple - программа не только для математиков
Mathematica: A System for Doing Mathematics by Computer?
Mathematical Foundations of Computer Science 1995: Proc./ 20th International Symposium, MFCS 95. Prague, Czech Republic, August/September 1995
Mathematical Foundations of Computer Science 2001: Proc./26th Intern. Symp., MFCS 2001, Marianske Lazne, Czech Republic, August 2001
Mathematical Foundations of Computer Science 2008: Proc./33rd International Symposium, MFCS 2008. Torun, Poland, August 2008
Mathematical Foundations of Computer Science: Proc./32nd International Symposium, MFCS 2007. Cesky Krumlov, Czech Republic, August 2007
Mathematical Software - ICMS 2020: Proc./7th International Conference, Braunschweig, Germany, July 2020
Mathematics as Technology: Mathematical Engineering
Mathematics of Program Construction: Proc./4th Intern. Conf., MPC 98. Marstrand, Sweden, June 1998
Mathematics of Program Construction: Proc./ 7th International Conference, MPC 2004. Stirling,Scotland,UK,july 2004
Mathematics of Program Construction: Proc./Second Intern. Conf. Oxford, U.K., June/July 1992
Mathematics of Software Engineering
Mathematics of Surfaces XII: Proc./12th IMA International Conference. Sheffield, UK, September 2007
Modeling Finite Fields with Mathematica. Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields
Monte Carlo grid for financial risk management
Normalized Rewriting - Application to Ground Completion and Standard Bases
Numerical Analysis and Its Applications: Revised Selected Papers/Third International Conference, NAA 2004. Rousse, Bulgaria, June/July 2004