Static Analysis, Patrick Cousot

Автор: John Lovett; Robert P. Trueblood
Название: Data Mining and Statistical Analysis Using SQL
ISBN: 1893115542 ISBN-13(EAN): 9781893115545
Издательство: Springer
Рейтинг:
Цена: 5309.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is not just another theoretical text on statistics or data mining. Each chapter includes: formulas (how to perform the required analysis, numerical example using data from a database, data visualization and presentation options (graphs, charts, tables), SQL procedures for extracting the desired results, and data mining techniques.

Автор: Agostino Cortesi; Gilberto File
Название: Static Analysis
ISBN: 3540664599 ISBN-13(EAN): 9783540664598
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the text, topics include sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment and foundations.

Автор: Pierre Deransart; M.V. Hermenegildo; J. Maluszynsk
Название: Analysis and Visualization Tools for Constraint Programming
ISBN: 3540411372 ISBN-13(EAN): 9783540411376
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work covers the topic of constraint debugging and presents new approaches to debugging for the computational paradigm of constraint programming. The book is based on the European research project DiSCiPl.