A Logical Approach to Discrete Math, David Gries; Fred B. Schneider
Автор: Fabrizio D`Errico Название: Material Selections by a Hybrid Multi-Criteria Approach ISBN: 3319130293 ISBN-13(EAN): 9783319130293 Издательство: Springer Рейтинг: Цена: 7836.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Brief presents a new method that is based on the author and his students` shared experience in applying a structured procedure that has as its main goal the creation of a material selection technique that uses language and employs a platform that is not restricted to engineers.
Автор: Tom Jenkyns; Ben Stephenson Название: Fundamentals of Discrete Math for Computer Science ISBN: 3319701509 ISBN-13(EAN): 9783319701509 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
An understanding of discrete mathematics is essential for students of computer science wishing to improve their programming competence.
Fundamentals of Discrete Math for Computer Science provides an engaging and motivational introduction to traditional topics in discrete mathematics, in a manner specifically designed to appeal to computer science students. The text empowers students to think critically, to be effective problem solvers, to integrate theory and practice, and to recognize the importance of abstraction. Clearly structured and interactive in nature, the book presents detailed walkthroughs of several algorithms, stimulating a conversation with the reader through informal commentary and provocative questions.
Topics and features: highly accessible and easy to read, introducing concepts in discrete mathematics without requiring a university-level background in mathematics; ideally structured for classroom-use and self-study, with modular chapters following ACM curriculum recommendations; describes mathematical processes in an algorithmic manner, often including a walk-through demonstrating how the algorithm performs the desired task as expected; contains examples and exercises throughout the text, and highlights the most important concepts in each section; selects examples that demonstrate a practical use for the concept in question.
This easy-to-understand and fun-to-read textbook is ideal for an introductory discrete mathematics course for computer science students at the beginning of their studies. The book assumes no prior mathematical knowledge, and discusses concepts in programming as needed, allowing it to be used in a mathematics course taken concurrently with a student's first programming course.
Автор: Teijiro Isokawa; Katsunobu Imai; Nobuyuki Matsui; Название: Cellular Automata and Discrete Complex Systems ISBN: 3319188119 ISBN-13(EAN): 9783319188119 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014. The 10 regular papers included in this volume were carefully reviewed and selected from a total of 25 submissions.
Автор: Marion Gottschalk; Mathias Uslar; Christina Delfs Название: The Use Case and Smart Grid Architecture Model Approach ISBN: 3319492284 ISBN-13(EAN): 9783319492285 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces readers to the fundamentals of the IEC 62559 Use Case Methodology, explains how it is related to the Smart Grid Architecture Model (SGAM), and details how a holistic view for both architecture and requirements engineering can be achieved.
Автор: Jean-Daniel Bancal Название: On the Device-Independent Approach to Quantum Physics ISBN: 3319011820 ISBN-13(EAN): 9783319011820 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores the nonlocality of multipartite systems. It explains and demonstrates robust entanglement detection as well as disproves alternative models for quantum nonlocality.
Описание: This book takes the novel approach to cover both the sequence and structure analysis of proteins in one volume and from an algorithmic perspective. Key features of the book include:* Provides a comprehensive introduction to the analysis of protein sequence and structure analysis.
Автор: Nicolas Normand; Jeanpierre Gu?don; Florent Autrus Название: Discrete Geometry for Computer Imagery ISBN: 3319323598 ISBN-13(EAN): 9783319323596 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thisbook constitutes the refereed proceedings of the 19th IAPR InternationalConference on Discrete Geometry for Computer Imagery, DGCI 2016, held in Nantes,France, in April 2016. discrete and combinatorial topology; models fordiscrete geometry; and discrete shape representation, recognition and analysis.
Автор: Martin Loebl; Jaroslav Ne?et?il; Robin Thomas Название: A Journey Through Discrete Mathematics ISBN: 3319444786 ISBN-13(EAN): 9783319444789 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This collection of high-quality articles in the field of combinatorics, geometry, algebraic topology and theoretical computer science is a tribute to Jiri Matousek, who passed away prematurely in March 2015.
Автор: Alberto Dennunzio; Enrico Formenti; Luca Manzoni; Название: Cellular Automata and Discrete Complex Systems ISBN: 3319586300 ISBN-13(EAN): 9783319586304 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017.
The 14 full papers presented together with one full-length invited paper and 2 invited talk abstracts were carefully reviewed and selected from a total of 28 submissions. The papers feature research on correlated models of automata. The topics include aspects and features of such models: dynamics; topological, ergodic, and algebraic aspects; algorithmic and complexity issues; emergent properties; formal languages; symbolic dynamics; tilings; models of parallelism and distributed systems; timing schemes; synchronous versus asynchronous models; phenomenological descriptions; scientific modelling; practical applications.
Автор: Daya Gaur; N.S. Narayanaswamy Название: Algorithms and Discrete Applied Mathematics ISBN: 3319530062 ISBN-13(EAN): 9783319530062 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017. They deal with the following areas: algorithms, graph theory, codes, polyhedral combinatorics, computational geometry, and discrete geometry.
Автор: 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.
Автор: Jean-Daniel Bancal Название: On the Device-Independent Approach to Quantum Physics ISBN: 3319377531 ISBN-13(EAN): 9783319377537 Издательство: Springer Рейтинг: Цена: 13059.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores the nonlocality of multipartite systems. It explains and demonstrates robust entanglement detection as well as disproves alternative models for quantum nonlocality.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru