Future Tendencies in Computer Science, Control and Applied Mathematics, Alain Bensoussan; Jean-Pierre Verjus

Автор: Deepak Kapur
Название: Computer Mathematics
ISBN: 3540878262 ISBN-13(EAN): 9783540878261
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. This book organizes the papers in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.

Автор: Ovidiu Bagdasar
Название: Concise Computer Mathematics
ISBN: 3319017500 ISBN-13(EAN): 9783319017501
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree.

Автор: Jacques Carette; David Aspinall; Christoph Lange;
Название: Intelligent Computer Mathematics
ISBN: 3642393195 ISBN-13(EAN): 9783642393198
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Calculemus.- The Rooster and the Butterflies.- Optimising Problem Formulation for Cylindrical Algebraic Decomposition.- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation.- Certification of Bounds of Non-linear Functions: The Templates Method.- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy.- A Universal Machine for Biform Theory Graphs.- MKM.- Mathematical Practice, Crowdsourcing, and Social Machines.- Automated Reasoning Service for HOL Light.- Understanding Branch Cuts of Expressions.- Formal Mathematics on Display: A Wiki for Flyspeck.- Determining Points on Handwritten Mathematical Symbols.- Capturing Hiproofs in HOL Light.- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.- Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System.- DML.- Mathematics and the World Wide Web.- Structural Similarity Search for Mathematics Retrieval.- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ.- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions.- Three Years of DLMF: Web, Math and Search.- Escaping the Trap of Too Precise Topic Queries.- Using MathML to Represent Units of Measurement for Improved Ontology Alignment.- Systems and Projects.- A Web Interface for Isabelle: The Next Generation.- The ForMaRE Project - Formal Mathematical Reasoning in Economics.- LATExml 2012 - A Year of LATExml.- The MMT API: A Generic MKM System.- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today.- A Dynamic Symbolic Geometry Environment Based on the GrцbnerCover Algorithm for the Computation of Geometric Loci and Envelopes.- ML4PG in Computer Algebra Verification.- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.- The Web Geometry Laboratory Project.- swMATH - A New Information Service for Mathematical Software.- Software for Evaluating Relevance of Steps in Algebraic Transformations.- The DeLiVerMATH Project: Text Analysis in Mathematics.

Автор: Brigitte Chauvin; Philippe Flajolet; Daniele Gardy
Название: Mathematics and Computer Science II
ISBN: 3764369337 ISBN-13(EAN): 9783764369330
Издательство: Springer
Рейтинг:
Цена: 18161.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The International Colloquium on Mathematics and Computer Science is a biennial event that first took place at the University of Versailles-St-Quentin in 2000 and was acknowledged a success. The second colloquium was held in September 16-19, 2002, again in Versailles. This book gathers the second colloquium proceedings.

Автор: Serge Autexier; John Campbell; Julio Rubio; Volker
Название: Intelligent Computer Mathematics
ISBN: 3540851097 ISBN-13(EAN): 9783540851097
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the joint proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK.

Автор: Hung T. Nguyen; V. Kreinovich
Название: Applications of Continuous Mathematics to Computer Science
ISBN: 0792347226 ISBN-13(EAN): 9780792347224
Издательство: Springer
Рейтинг:
Цена: 38433.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Intended to be used as a textbook for a special topic course in computer science. This title addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. It focuses on the role of continuous mathematics.

Автор: Ernst-Erich Doberkat
Название: Special Topics in Mathematics for Computer Scientists
ISBN: 3319368699 ISBN-13(EAN): 9783319368696
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems.

Автор: Manfred Kerber; Jacques Carette; Cezary Kaliszyk;
Название: Intelligent Computer Mathematics
ISBN: 3319206141 ISBN-13(EAN): 9783319206141
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions.

Автор: Gordon J. Pace
Название: Mathematics of Discrete Structures for Computer Science
ISBN: 3642429882 ISBN-13(EAN): 9783642429880
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers the foundational mathematics necessary for courses in computer science.The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct.

Автор: Stephen M. Watt; Alan Sexton; James H. Davenport;
Название: Intelligent Computer Mathematics
ISBN: 331908433X ISBN-13(EAN): 9783319084336
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics.

Автор: Herman Geuvers; Matthew England; Osman Hasan; Flor
Название: Intelligent Computer Mathematics
ISBN: 3319620746 ISBN-13(EAN): 9783319620749
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning;

Автор: Cooke
Название: Computer Mathematics
ISBN: 0521273242 ISBN-13(EAN): 9780521273244
Издательство: Cambridge Academ
Рейтинг:
Цена: 5386.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Computer Mathematics will be of interest to undergraduate students of computer science and mathematics, post-graduate computing `conversion` course students and computer professionals who need an introduction to the mathematics that underpins computer science theory.