Interactive Decision Maps, Alexander V. Lotov; Vladimir A. Bushenkov; Georgy
Автор: Gerwin Klein; Ruben Gamboa Название: Interactive Theorem Proving ISBN: 3319089692 ISBN-13(EAN): 9783319089690 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
Автор: Torsten Bohlin Название: Interactive System Identification: Prospects and Pitfalls ISBN: 3642486207 ISBN-13(EAN): 9783642486203 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The craft of designing mathematical models of dynamic objects offers a large number of methods to solve subproblems in the design, typically parameter estimation, order determination, validation, model reduc- tion, analysis of identifiability, sensi tivi ty and accuracy.
Автор: Mauricio Ayala-Rinc?n; C?sar A. Mu?oz Название: Interactive Theorem Proving ISBN: 331966106X ISBN-13(EAN): 9783319661063 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.
Автор: Sandrine Blazy; Christine Paulin-Mohring; David Pi Название: Interactive Theorem Proving ISBN: 364239633X ISBN-13(EAN): 9783642396335 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions.
Автор: Masatoshi Sakawa Название: Large Scale Interactive Fuzzy Multiobjective Programming ISBN: 3662003864 ISBN-13(EAN): 9783662003862 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Blanchette Название: Interactive Theorem Proving ISBN: 3319431439 ISBN-13(EAN): 9783319431437 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
Автор: Lewin Название: An Interactive Introduction to Mathematical Analysis ISBN: 1107694043 ISBN-13(EAN): 9781107694040 Издательство: Cambridge Academ Рейтинг: Цена: 6653.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a rigorous course in the calculus of functions of a real variable. The companion on-screen version of this text contains hundreds of links to alternative approaches, more complete explanations and solutions to exercises; links that make it more friendly than any printed book could be.
Автор: Van Verth James M. Название: Essential Mathematics for Games and Interactive Applications ISBN: 1482250926 ISBN-13(EAN): 9781482250923 Издательство: Taylor&Francis Рейтинг: Цена: 16843.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Expert Guidance on the Math Needed for 3D Game Programming Developed from the authors' popular Game Developers Conference (GDC) tutorial, Essential Mathematics for Games and Interactive Applications, Third Edition illustrates the importance of mathematics in 3D programming. It shows you how to properly animate, simulate, and render scenes and discusses the mathematics behind the processes.
New to the Third Edition Completely revised to fix errors and make the content flow better, this third edition reflects the increased use of shader graphics pipelines, such as in DirectX 11, OpenGL ES (GLES), and the OpenGL Core Profile. It also updates the material on real-time graphics with coverage of more realistic materials and lighting.
The Foundation for Successful 3D Programming The book covers the low-level mathematical and geometric representations and algorithms that are the core of any game engine. It also explores all the stages of the rendering pipeline. The authors explain how to represent, transform, view, and animate geometry. They then focus on visual matters, specifically the representation, computation, and use of color. They also address randomness, intersecting geometric entities, and physical simulation.
An Introduction to Creating Real and Active Virtual Worlds This updated book provides you with a conceptual understanding of the mathematics needed to create 3D games as well as a practical understanding of how these mathematical bases actually apply to games and graphics. It not only includes the theoretical mathematical background but also incorporates many examples of how the concepts are used to affect how a game looks and plays.
Web Resource A supplementary website contains a collection of source code, supporting libraries, and interactive demonstrations that illustrate the concepts and enable you to experiment with animation and simulation applications. The site also includes slides and notes from the authors' GDC tutorials.
Описание: In this book the classical Greek construction problems are explored in a didactical, enquiry based fashion using Interactive Geometry Software (IGS).
Автор: Martin Gerard Rogers; Michael Bruen; Lucien-Yves M Название: Electre and Decision Support ISBN: 1441951083 ISBN-13(EAN): 9781441951083 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Following a comparison of Cost Benefit Analysis and Multicriteria Decision Aid, the introductory chapter sets out the structure of the book, with four subsequent chapters devoted to the methodology of ELECTRE and three outlining case studies involving different versions of ELECTRE.
Автор: Christian Urban; Xingyuan Zhang Название: Interactive Theorem Proving ISBN: 3319221019 ISBN-13(EAN): 9783319221014 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Автор: J?rgen Richter-Gebert; Ulrich H. Kortenkamp Название: User Manual for the Interactive Geometry Software Cinderella ISBN: 3540671390 ISBN-13(EAN): 9783540671398 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cinderella is a unique, technically very sophisticated teachware for geometry that will be used as a tool by students learning Euclidean, projective, spherical and hyperbolic geometry, as well as in geometric research.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
