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

Principles of Program Analysis, Flemming Nielson; Hanne R. Nielson; Chris Hankin


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

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

Автор: Flemming Nielson; Hanne R. Nielson; Chris Hankin
Название:  Principles of Program Analysis
ISBN: 9783642084744
Издательство: Springer
Классификация:


ISBN-10: 3642084745
Обложка/Формат: Paperback
Страницы: 452
Вес: 0.66 кг.
Дата издания: 01.12.2010
Язык: English
Издание: Softcover reprint of
Иллюстрации: 51 tables, black and white; xxi, 452 p.
Размер: 233 x 156 x 29
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems.


Geochemical Modelling of Igneous Processes – Principles And Recipes in R Language

Автор: Vojt?ch Janou?ek; Jean-Fran?ois Moyen; Herv? Marti
Название: Geochemical Modelling of Igneous Processes – Principles And Recipes in R Language
ISBN: 366251687X ISBN-13(EAN): 9783662516874
Издательство: Springer
Рейтинг:
Цена: 13059.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of this book is to unlock the power of the freeware R language to advanced university students and researchers dealing with whole-rock geochemistry of (meta-) igneous rocks.

Architecture Principles

Автор: Danny Greefhorst; Erik Proper
Название: Architecture Principles
ISBN: 3662520699 ISBN-13(EAN): 9783662520697
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It can be argued that architecture principles form the cornerstone of any architecture. The focus of this book is on the role of architecture principles. It provides both a balanced perspective on architecture principles, and is the first book on the topic.

Principles of Declarative Programming

Автор: Catuscia Palamidessi; Hugh Glaser; Karl Meinke
Название: Principles of Declarative Programming
ISBN: 3540650121 ISBN-13(EAN): 9783540650126
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of papers from the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, and the 6th International Conference on Algebraic and Logic Programming. They are organized in sections on topics such as verification, logic programming and term rewriting.

Principles and Practice of Constraint Programming

Автор: Alan Borning
Название: Principles and Practice of Constraint Programming
ISBN: 3540586016 ISBN-13(EAN): 9783540586012
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The contributors to this volume cover a broad range of topics including constraint programming languages, algorithms for constraint entailment, and the relationship of constraints to the areas of AI, operational research, problem-solving, database development and user interfaces.

Software Process: Principles, Methodology, and Technology

Автор: Jean-Claude Derniame; Badara A. Kaba; David Wastel
Название: Software Process: Principles, Methodology, and Technology
ISBN: 3540655166 ISBN-13(EAN): 9783540655169
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1 Jean Claude Derniame Software process technology is an emerging and strategic area that has already reached a reasonable degree of maturity, delivering products and significant industrial expe riences.

PRIMA 2014: Principles and Practice of Multi-Agent Systems

Автор: Hoa Khanh Dam; Jeremy Pitt; Yang Xu; Guido Governa
Название: PRIMA 2014: Principles and Practice of Multi-Agent Systems
ISBN: 3319131907 ISBN-13(EAN): 9783319131900
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2014, held in Gold Coast, QLD, Australia, in December 2014. The 21 revised full papers presented together with 15 short papers were carefully reviewed and selected from 77 submissions.

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Автор: Bo An; Ana Bazzan; Jo?o Leite; Serena Villata; Lee
Название: PRIMA 2017: Principles and Practice of Multi-Agent Systems
ISBN: 3319691309 ISBN-13(EAN): 9783319691305
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.

Concurrent Programming: Algorithms, Principles, and Foundations

Автор: Michel Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642446159 ISBN-13(EAN): 9783642446153
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.

Principles and Practice of Constraint Programming - CP 2000

Автор: Rina Dechter
Название: Principles and Practice of Constraint Programming - CP 2000
ISBN: 3540410538 ISBN-13(EAN): 9783540410539
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the proceedings of the 6th International Conference on Principles and Practice of Constraint Programming, CP 2000, held in Singapore in September 2000. Issues of constraint processing, ranging from theoretical issues to applications in various fields are addressed.

Principles and Practice of Declarative Programming

Автор: Gopalan Nadathur
Название: Principles and Practice of Declarative Programming
ISBN: 3540665404 ISBN-13(EAN): 9783540665403
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP`99, held in Paris, France, in September/October 1999.

Principles of Distributed Systems

Автор: Roberto Baldoni; Nicolas Nisse; Maarten van Steen
Название: Principles of Distributed Systems
ISBN: 3319038494 ISBN-13(EAN): 9783319038490
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 17th International Conference on Principles of Distributed Systems, OPODIS 2013, held in Nice, France, in December 2013. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.

Audio Production Principles

Автор: Elmosnino, Stephane
Название: Audio Production Principles
ISBN: 0190699361 ISBN-13(EAN): 9780190699369
Издательство: Oxford Academ
Рейтинг:
Цена: 7364.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A new and fully practical guide to all of the key topics in audio production, this book covers the entire workflow from pre-production, to recording all kinds of instruments, to mixing theories and tools, and finally to mastering.


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