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

SAT-Based Scalable Formal Verification Solutions, Malay Ganai; Aarti Gupta


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

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

Автор: Malay Ganai; Aarti Gupta
Название:  SAT-Based Scalable Formal Verification Solutions
ISBN: 9781441943415
Издательство: Springer
Классификация:




ISBN-10: 1441943412
Обложка/Формат: Paperback
Страницы: 360
Вес: 0.55 кг.
Дата издания: 2007
Серия: Integrated Circuits and Systems
Язык: English
Издание: 1st ed. softcover of
Иллюстрации: 118 black & white illustrations, 33 black & white tables, biography
Размер: 234 x 156 x 19
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.


Scalable Uncertainty Management

Автор: Schockaert
Название: Scalable Uncertainty Management
ISBN: 3319458558 ISBN-13(EAN): 9783319458557
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Combinatorial Games: From Theoretical Solving to AI Algorithms.- A Gentle Introduction to Reinforcement Learning.- Possibilistic Graphical Models for Uncertainty Modeling.- On the Explanation of SameAs Statements using Argumentation.- Reasoning with Multiple-Agent Possibilistic Logic.- Incremental Preference Elicitation in Multi-Attribute Domains for Choice and Ranking with the Borda Count.- Graphical Models for Preference Representation: An Overview.- Diffusion of Opinion and Influence.- Fuzzy Labeling for Abstract Argumentation: An Empirical Evaluation.- A Belief-Based Approach to Measuring Message Acceptability.- Intertranslatability of Labeling-based Argumentation Semantics.- Preference Inference Based on Pareto Models.- Persuasion Dialogues via Restricted Interfaces using Probabilistic Argumentation.- Metric Logic Program Explanations for Complex Separator Functions.- A Two-Stage Online Approach for Collaborative Multi-Agent Planning under Uncertainty.- 9-ASP for Computing Repairs with Existential Ontologies.- Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy.- Fuzzy Quantified Structural Queries to Fuzzy Graph Databases.- Reasoning with Data - A New Challenge For AI.- Probabilistic Spatial Reasoning in Constraint Logic Programming.- ChoiceGAPs: Competitive Diffusion as a Massive Multi-Player Game in Social Networks.- Challenges for Efficient Query Evaluation on Structured Probabilistic Data.- Forgetting-Based Inconsistency Measure.- A Possibilistic Multivariate Fuzzy c-Means Clustering Algorithm.- A Measure of Referential Success Based on Alpha-Cuts.- Graded Justification of Arguments via Internal and External Endogenous Features.

The Startup Checklist: 25 Steps to Scalable, High-Growth Business

Автор: Rose David S.
Название: The Startup Checklist: 25 Steps to Scalable, High-Growth Business
ISBN: 111916379X ISBN-13(EAN): 9781119163794
Издательство: Wiley
Рейтинг:
Цена: 4277.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 25 Steps to Found and Scale a High-Growth Business The Startup Checklist is the entrepreneur`s essential companion. While most entrepreneurship books focus on strategy, this invaluable guide provides the concrete steps that will get your new business off to a strong start.


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