Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Handbook of Logic and Proof Techniques for Computer Science, Steven G. Krantz


Варианты приобретения
Цена: 6986.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Steven G. Krantz
Название:  Handbook of Logic and Proof Techniques for Computer Science
ISBN: 9781461266198
Издательство: Springer
Классификация:






ISBN-10: 146126619X
Обложка/Формат: Paperback
Страницы: 245
Вес: 0.38 кг.
Дата издания: 23.10.2012
Язык: English
Размер: 234 x 156 x 14
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Logic is, and should be, the core subject area of modern mathemat- ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.


Mathematical and Computer Programming Techniques for Computer Graphics

Автор: Comninos Peter
Название: Mathematical and Computer Programming Techniques for Computer Graphics
ISBN: 1852339020 ISBN-13(EAN): 9781852339029
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides a comprehensive and detailed coverage of the fundamentals of programming techniques for computer graphicsUses lots of code examples, encouraging the reader to explore and experiment with data and computer programs (in the C programming language)

Computer algebra handbook

Название: Computer algebra handbook
ISBN: 3540654666 ISBN-13(EAN): 9783540654667
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This computer algebra handbook gives a comprehensive snapshot of this field at the intersection of mathematics and computer science with applications in physics, engineering and education. It contains theory, systems and practice of the discipline of symbolic computation and computer algebra.

Handbook of Data Structures and Applications, Second Edition

Название: Handbook of Data Structures and Applications, Second Edition
ISBN: 149870185X ISBN-13(EAN): 9781498701853
Издательство: Taylor&Francis
Рейтинг:
Цена: 31390.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a comprehensive survey of data structures of various types. The second edition has been revised and updated with new chapters on Bloom Filters, Binary Decision Diagrams, Data Structures for Cheminformatics, and Data Structures for Big Data Stores.

Intelligent Computer Techniques in Applied Electromagnetics

Автор: Slawomir Wiak; Andrzej Krawczyk; Ivo Dolezel
Название: Intelligent Computer Techniques in Applied Electromagnetics
ISBN: 3642097235 ISBN-13(EAN): 9783642097232
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains selected papers presented at the International Symposium on Electromagnetic Fields in Mechatronics, Electrical and Electronic Engineering ISEF`07 which was held in Prague, Czech Republic, September 13-15, 2007.

Randomization and Approximation Techniques in Computer Science

Автор: Jose D.P. Rolim; Salil Vadhan
Название: Randomization and Approximation Techniques in Computer Science
ISBN: 3540441476 ISBN-13(EAN): 9783540441472
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constituting the proceedings of the 6th International Workshop on Randomization and Approximation Techniques in Computer Science, the papers presented here address such topics as: coding; geometric computations; graph colourings; random hyper-graphs; graph computations and lattice computations.

Trends, Techniques, and Problems in Theoretical Computer Science

Автор: Alica Kelemenova; Jozef Kelemen
Название: Trends, Techniques, and Problems in Theoretical Computer Science
ISBN: 3540185356 ISBN-13(EAN): 9783540185352
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Randomization and Approximation Techniques in Computer Science

Автор: Jose Rolim
Название: Randomization and Approximation Techniques in Computer Science
ISBN: 3540632484 ISBN-13(EAN): 9783540632481
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These proceedings from the International Workshop, RANDOM `97, cover randomization and approximation techniques in computer science. The book focuses on algorithms and complexity aspects arising in the development of efficient randomized solutions to computationally difficult problems.

Computer Performance Evaluation. Modelling Techniques and Tools

Автор: Boudewijn R. Haverkort; Henrik C. Bohnenkamp; Conn
Название: Computer Performance Evaluation. Modelling Techniques and Tools
ISBN: 3540672605 ISBN-13(EAN): 9783540672609
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This title presented 21 papers organized in topical sections on queueing network models, optimization in mobile networks, stochastic Petri nets, simulation, formal methods and performance evaluation, and measurement tools and applications.

Handbook of Data Structures and Applications

Автор: Mehta
Название: Handbook of Data Structures and Applications
ISBN: 1584884355 ISBN-13(EAN): 9781584884354
Издательство: Taylor&Francis
Рейтинг:
Цена: 23734.00 р.
Наличие на складе: Поставка под заказ.

Описание: Handbook of Data Structures and Applications responds to the needs of data structure and algorithm researchers by providing a comprehensive survey of data structures of various types. Divided into seven parts, the text begins with a review of introductory material, followed by a discussion of well-known classes of data structures, Priority Queues, Dictionary Structures, and Multidimensional structures. It next analyzes miscellaneous data structures, which are well-known structures that elude easy classification. The book then addresses mechanisms and tools that were developed to facilitate the use of data structures in real programs. It concludes with an examination of applications of data structures.

Handbook of Mathematical Models in Computer Vision

Автор: Paragios Nikos, Chen Yunmei, Faugeras Olivier
Название: Handbook of Mathematical Models in Computer Vision
ISBN: 0387263713 ISBN-13(EAN): 9780387263717
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This comprehensive volume is an essential reference tool for professional and academic researchers in the filed of computer vision, image processing, and applied mathematics.  Continuing rapid advances in image processing have been enhanced by the theoretical efforts of mathematicians and engineers. This marriage of mathematics and computer vision - computational vision - has resulted in a discrete approach to image processing that is more reliable when leveraging in practical tasks. This comprehensive volume provides a detailed discourse on the mathematical models used in computational vision from leading educators and active research experts in this field. Topical areas include: image reconstruction, segmentation and object extraction, shape modeling and registration, motion analysis and tracking, and 3D from images, geometry and reconstruction. The book also includes a study of applications in medical image analysis.Handbook of Mathematical Models in Computer Vision provides a graduate-level treatment of this subject as well as serving as a complete reference work for professionals.

Optimization Techniques in Computer Vision

Автор: Mongi A. Abidi; Andrei V. Gribok; Joonki Paik
Название: Optimization Techniques in Computer Vision
ISBN: 3319463632 ISBN-13(EAN): 9783319463636
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents practical optimization techniques used in image processing and computer vision problems. Ill-posed problems are introduced and used as examples to show how each type of problem is related to typical image processing and computer vision problems. Unconstrained optimization gives the best solution based on numerical minimization of a single, scalar-valued objective function or cost function. Unconstrained optimization problems have been intensively studied, and many algorithms and tools have been developed to solve them. Most practical optimization problems, however, arise with a set of constraints. Typical examples of constraints include: (i) pre-specified pixel intensity range, (ii) smoothness or correlation with neighboring information, (iii) existence on a certain contour of lines or curves, and (iv) given statistical or spectral characteristics of the solution. Regularized optimization is a special method used to solve a class of constrained optimization problems. The term regularization refers to the transformation of an objective function with constraints into a different objective function, automatically reflecting constraints in the unconstrained minimization process. Because of its simplicity and efficiency, regularized optimization has many application areas, such as image restoration, image reconstruction, optical flow estimation, etc.

Optimization plays a major role in a wide variety of theories for image processing and computer vision. Various optimization techniques are used at different levels for these problems, and this volume summarizes and explains these techniques as applied to image processing and computer vision.

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия