Theoretical Computer Science and Discrete Mathematics, S. Arumugam; Jay Bagga; Lowell W. Beineke; B.S. Pa
Автор: 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.
Название: Handbook of Graph Drawing and Visualization ISBN: 113803424X ISBN-13(EAN): 9781138034242 Издательство: Taylor&Francis Рейтинг: Цена: 8573.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Get an In-Depth Understanding of Graph Drawing Techniques, Algorithms, Software, and Applications
The Handbook of Graph Drawing and Visualization provides a broad, up-to-date survey of the field of graph drawing. It covers topological and geometric foundations, algorithms, software systems, and visualization applications in business, education, science, and engineering. Each chapter is self-contained and includes extensive references.
The first several chapters of the book deal with fundamental topological and geometric concepts and techniques used in graph drawing, such as planarity testing and embedding, crossings and planarization, symmetric drawings, and proximity drawings. The following chapters present a large collection of algorithms for constructing drawings of graphs, including tree, planar straight-line, planar orthogonal and polyline, spine and radial, circular, rectangular, hierarchical, and three-dimensional drawings as well as labeling algorithms, simultaneous embeddings, and force-directed methods. The book then introduces the GraphML language for representing graphs and their drawings and describes three software systems for constructing drawings of graphs: OGDF, GDToolkit, and PIGALE. The final chapters illustrate the use of graph drawing methods in visualization applications for biological networks, computer security, data analytics, education, computer networks, and social networks.
Edited by a pioneer in graph drawing and with contributions from leaders in the graph drawing research community, this handbook shows how graph drawing and visualization can be applied in the physical, life, and social sciences. Whether you are a mathematics researcher, IT practitioner, or software developer, the book will help you understand graph drawing methods and graph visualization systems, use graph drawing techniques in your research, and incorporate graph drawing solutions in your products.
Автор: Josep Diaz; Ivan Lanese; Davide Sangiorgi Название: Theoretical Computer Science ISBN: 3662446014 ISBN-13(EAN): 9783662446010 Издательство: Springer Рейтинг: Цена: 10202.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.
Автор: Sumit Ganguly; Ramesh Krishnamurti Название: Algorithms and Discrete Applied Mathematics ISBN: 3319149733 ISBN-13(EAN): 9783319149738 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book collects the refereed proceedings of the First International Conference onon Algorithms and Discrete Applied Mathematics, CALDAM 2015, held in Kanpur, India, in February 2015.
Автор: 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.
Автор: Sathish Govindarajan; Anil Maheshwari Название: Algorithms and Discrete Applied Mathematics ISBN: 331929220X ISBN-13(EAN): 9783319292205 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book collects the refereed proceedingsof the Second International Conference on Algorithms and Discrete AppliedMathematics, CALDAM 2016, held in Thiruvananthapuram, India, in February 2016.
Автор: Brigitte Chauvin; Philippe Flajolet; Daniele Gardy Название: Mathematics and Computer Science II ISBN: 3034894759 ISBN-13(EAN): 9783034894753 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the second volume in a series of innovative proceedings entirely devoted to the connections between mathematics and computer science. Here mathematics and computer science are directly confronted and joined to tackle intricate problems in computer science with deep and innovative mathematical approaches.
Автор: A.K. Agarwal; Bruce C. Berndt; Christian F. Kratte Название: Number Theory and Discrete Mathematics ISBN: 3034894813 ISBN-13(EAN): 9783034894814 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: To mark the World Mathematical Year 2000 an International Conference on Number Theory and Discrete Mathematics in honour of the legendary Indian Mathematician Srinivasa Ramanuj~ was held at the centre for Advanced study in Mathematics, Panjab University, Chandigarh, India during October 2-6, 2000.
Автор: 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.
Автор: Michael Drmota; Philippe Flajolet; Dani?le Gardy; Название: Mathematics and Computer Science III ISBN: 3034896204 ISBN-13(EAN): 9783034896207 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mathematics and Computer Science III contains invited and contributed papers on combinatorics, random graphs and networks, algorithms analysis and trees, branching processes, constituting the Proceedings of the Third International Colloquium on Mathematics and Computer Science, held in Vienna in September 2004.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
