Название: Dictionary of computing ISBN: 0199234000 ISBN-13(EAN): 9780199234004 Издательство: Oxford University Press Цена: 1108 р. Наличие на складе: Поставка под заказ. Описание: This best-selling dictionary has been revised by a team of computer specialists, making it the most up-to-date and authoritative reference of its kind. Providing comprehensive coverage of computer applications in industry, school, work, education, and the home, it is the ideal reference for students, professionals, and anyone who uses computers.
Автор: Brent Название: Modern Computer Arithmetic ISBN: 0521194695 ISBN-13(EAN): 9780521194693 Издательство: Cambridge Academ Рейтинг: Цена: 8857 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and their connections to topics such as modular arithmetic, greatest common divisors, the Fast Fourier Transform (FFT), and the computation of elementary and special functions. Brent and Zimmermann present algorithms that are ready to implement in your favourite language, while keeping a high-level description and avoiding too low-level or machine-dependent details. The book is intended for anyone interested in the design and implementation of efficient high-precision algorithms for computer arithmetic, and more generally efficient multiple-precision numerical algorithms. It may also be used in a graduate course in mathematics or computer science, for which exercises are included. These vary considerably in difficulty, from easy to small research projects, and expand on topics discussed in the text. Solutions to selected exercises are available from the authors.
Описание: Geometric Algebra for Computer Science (Revised Edition) presents a compelling alternative to the limitations of linear algebra. Geometric algebra (GA) is a compact, time-effective, and performance-enhancing way to represent the geometry of 3D objects in computer programs. This book explains GA as a natural extension of linear algebra and conveys its significance for 3D programming of geometry in graphics, vision, and robotics. It systematically explores the concepts and techniques that are key to representing elementary objects and geometric operators using GA. It covers in detail the conformal model, a convenient way to implement 3D geometry using a 5D representation space. Numerous drills and programming exercises are helpful for both students and practitioners. A companion web site includes links to GAViewer, a program that will allow you to interact with many of the 3D figures in the book; and Gaigen 2, the platform for the instructive programming exercises that conclude each chapter. The book will be of interest to professionals working in fields requiring complex geometric computation such as robotics, computer graphics, and computer games. It is also be ideal for students in graduate or advanced undergraduate programs in computer science.
Автор: Faron Moller; Georg Struth Название: Modelling Computer Systems ISBN: 1848003218 ISBN-13(EAN): 9781848003217 Издательство: Springer Рейтинг: Цена: 4208 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reviewing concepts of games and strategies, this book provides a paradigm for understanding computation, explaining the mathematics and modeling of computing systems through exercises and examples. Discusses standard topics, games and winning strategies.
Описание: Researchers are bringing information theory elements to the computer vision and pattern recognition (CVPR) arena. Among these elements there are measures (entropy, mutual information), principles (maximum entropy, minimax entropy) and theories (rate distortion theory, method of types). This book explores the latter elements.
Автор: Parhami, Behrooz Название: Computer arithmetic ISBN: 0195125835 ISBN-13(EAN): 9780195125832 Издательство: Oxford Academ Рейтинг: Цена: 4830 р. Наличие на складе: Поставка под заказ.
Описание: Computer arithmetic plays a key role in the computer designers` quest for user-friendliness, compactness, simplicity, high performance, low cost, and low power. This text emphasizes the underlying theory and actual hardware designs, and links computer arithmetic to other subfields of computing.
Описание: This volume covers some of the most recent and significant advances in computer mathematics. Researchers, engineers, academics and graduate students
interested in doing mathematics using computers will find it good reading as well as a valuable reference.
Автор: Jacques Calmet; Willi Geiselmann; J?rn M?ller-Quad Название: Mathematical Methods in Computer Science ISBN: 3540899936 ISBN-13(EAN): 9783540899938 Издательство: Springer Рейтинг: Цена: 6269 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth. The themes of the conference reflected the many interests of Thomas Beth.
Student-Friendly Coverage of Probability, Statistical Methods, Simulation, and Modeling Tools Incorporating feedback from instructors and researchers who used the previous edition, Probability and Statistics for Computer Scientists, Second Edition helps students understand general methods of stochastic modeling, simulation, and data analysis; make optimal decisions under uncertainty; model and evaluate computer systems and networks; and prepare for advanced probability-based courses. Written in a lively style with simple language, this classroom-tested book can now be used in both one- and two-semester courses.
New to the Second Edition
Axiomatic introduction of probability
Expanded coverage of statistical inference, including standard errors of estimates and their estimation, inference about variances, chi-square tests for independence and goodness of fit, nonparametric statistics, and bootstrap
More exercises at the end of each chapter
Additional MATLAB(R) codes, particularly new commands of the Statistics Toolbox
In-Depth yet Accessible Treatment of Computer Science-Related Topics Starting with the fundamentals of probability, the text takes students through topics heavily featured in modern computer science, computer engineering, software engineering, and associated fields, such as computer simulations, Monte Carlo methods, stochastic processes, Markov chains, queuing theory, statistical inference, and regression. It also meets the requirements of the Accreditation Board for Engineering and Technology (ABET).
Encourages Practical Implementation of Skills Using simple MATLAB commands (easily translatable to other computer languages), the book provides short programs for implementing the methods of probability and statistics as well as for visualizing randomness, the behavior of random variables and stochastic processes, convergence results, and Monte Carlo simulations. Preliminary knowledge of MATLAB is not required. Along with numerous computer science applications and worked examples, the text presents interesting facts and paradoxical statements. Each chapter concludes with a short summary and many exercises.
Автор: Ben-Ari Название: Mathematical Logic for Computer Science ISBN: 1447141288 ISBN-13(EAN): 9781447141280 Издательство: Springer Рейтинг: Цена: 6269 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
Автор: Hajo Broersma; Thomas Erlebach; Tom Friedetzky; Da Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540922474 ISBN-13(EAN): 9783540922476 Издательство: Springer Цена: 8359 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2008, held in Durham, UK, in June/July 2008. This book features original results on various aspects of graph-theoretic concepts in Computer Science, like structural graph theory, and sequential, parallel.
Описание: Aims to make analytic, simulation and instrumentation based modeling and performance evaluation of computer systems components understandable to computer systems designers, developers, managers and users. This book assumes familiarity with computer systems architecture, software, networks and mathematics including calculus and linear algebra.
Автор: O`Donnell Название: Discrete Mathematics Using a Computer ISBN: 1846282411 ISBN-13(EAN): 9781846282416 Издательство: Springer Рейтинг: Цена: 5220 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers a "hands-on" approach to teaching Discrete Mathematics. This second edition contains additional material on the applications of formal methods to practical programming problems. Designed for 1st and 2nd year undergraduates, it is also well suited for self-study.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru