Advances in Temporal Logic, Howard Barringer; Michael Fisher; Dov M. Gabbay; G
Автор: Klaus-Dieter Althoff; Ralph Bergmann; Mirjam Minor Название: Advances in Case-Based Reasoning ISBN: 3540855017 ISBN-13(EAN): 9783540855019 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 9th European Conference on Case-Based Reasoning, ECCBR 2008, held in Trier, Germany, in September 2008. This book presents 34 research papers and 5 application papers with 3 invited talks which were reviewed and selected from 71 submissions.
Автор: Behnam Banieqbal; Howard Barringer; Amir Pnueli Название: Temporal Logic in Specification ISBN: 3540518037 ISBN-13(EAN): 9783540518037 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Fred Kr?ger; Stephan Merz Название: Temporal Logic and State Systems ISBN: 3642086802 ISBN-13(EAN): 9783642086809 Издательство: Springer Рейтинг: Цена: 8378.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;
Автор: Maarten de Rijke Название: Advances in Intensional Logic ISBN: 9048148979 ISBN-13(EAN): 9789048148974 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers the proceedings of the 15th European PVM/MPI Users` Group Meeting held in Dublin, Ireland, in September 2008. This book contains topical sections on applications, collective operations, library internals, message passing for multi-core and mutlithreaded architectures, MPI datatypes, MPI I/O, and synchronisation issues.
Автор: Fran?ois Fages; Francesca Rossi; Sylvain Soliman Название: Recent Advances in Constraints ISBN: 3540898115 ISBN-13(EAN): 9783540898115 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers the proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. This book addresses various aspects of constraint and logic programming, including foundational issues, and implementation techniques.
Автор: Gerson Zaverucha; Augusto Loureiro da Costa Название: Advances in Artificial Intelligence - SBIA 2008 ISBN: 3540881891 ISBN-13(EAN): 9783540881896 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in October 2008. This book features sections on computer vision and pattern recognition, distributed AI: autonomous agents, multi-agent systems and game knowledge representation and reasoning.
Автор: Alexander Gelbukh; Eduardo F. Morales Название: MICAI 2008: Advances in Artificial Intelligence ISBN: 3540886354 ISBN-13(EAN): 9783540886358 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th Mexican International Conference on Artificial Intelligence, MICAI 2008, held in Atizapan de Zaragoza, Mexico, in October 2008. This book features sections on logic and reasoning, knowledge-based systems, knowledge representation and acquisition, ontologies, and natural language processing.
Автор: Wayne Wobcke; Mengjie Zhang Название: AI 2008: Advances in Artificial Intelligence ISBN: 3540893776 ISBN-13(EAN): 9783540893776 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, held in Auckland, New Zealand, in December 2008. The papers are organized in topical sections on knowledge representation, constraints, planning, grammar and language processing, statistical learning, and vision and image processing.
Автор: Angelo Oddi; Fran?ois Fages; Francesca Rossi Название: Recent Advances in Constraints ISBN: 3642032508 ISBN-13(EAN): 9783642032509 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008.
Описание: This book presents extensions to standard specification and description languages, as well as new language-based design techniques and methodologies to solve the challenges raised by mixed signal and multi-processor systems on a chip.
Автор: Gabriele Puppis Название: Automata for Branching and Layered Temporal Structures ISBN: 3642118801 ISBN-13(EAN): 9783642118807 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a fresh method for deciding Monadic Second Order theories of trees.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
