2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Главная
→
Computer Aided Verification - CAV 2011
Computer Aided Verification - CAV 2011
Ganesh Gopalakrishnan
,
Shaz Qadeer
Скачать книгу бесплатно
(pdf, 8.79 Mb)
Читать «Computer Aided Verification - CAV 2011 »
Только что пользователи скачали эти книги:
Taschenbuch der Wirtschaftsmathematik: mit zahlreichen Tabellen
Автор:
Wolfgang Eichholz
, Автор:
Eberhard Vilkner
Размер книги: 3.33 Mb
Multi Agent Systems for Decision Support A Case study in the transportation domain
Автор:
Размер книги: 1.49 Mb
Decision Making Support Systems
Автор:
Manuel Mora
, Автор:
Guisseppi A. Forgionne
, Автор:
Jatinder N. D. Gupta
Категория:
G_Economics
,
GA_Game Theory
,
GAdec_Decision Support
Размер книги: 4.36 Mb
The Raven Prince
Автор:
Elizabeth Hoyt
Размер книги: 338 Kb
A Decision Support System for Evaluating Ranges and Airspace
Автор:
Robbert et al
Размер книги: 739 Kb
Guideline-based decision support in medicine : modeling guidelines for the development and application of clinical decision support system
Автор:
Paul A de Clercq
Категория:
Математика
,
Прикладная математика
Размер книги: 5.20 Mb
Container Terminals and Automated Transport Systems: Logistics Control Issues and Quantitative Decision Support
Автор:
Hans-Otto Gunther
, Автор:
Kap Hwan Kim
Категория:
Физкультура и спорт
Размер книги: 3.33 Mb
Envisioning a future decision support system for requirements engineering : a holistic and human-centred perspective
Автор:
by Beatrice Alenljung.
Категория:
Техника
Размер книги: 1.17 Mb
Decision Support: An Examination of the DSS Discipline (Annals of Information Systems)
Автор:
David Schuff
, Автор:
David Paradice
, Автор:
Frada Burstein
, Автор:
Daniel J. Power
, Автор:
Ramesh Sharda
Размер книги: 5.94 Mb
Advances In Decision Support Systems
Автор:
Ger Devlin
Размер книги: 29.80 Mb
