Advances in Temporal Logic, Howard Barringer; Michael Fisher; Dov M. Gabbay; G
Автор: 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 provides a platform for addressing human factors challenges in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research ideas in the process. This book is intended for researchers, professional software and systems engineers, and human factors and human systems integration experts to help them address societal challenges for next-generation systems with applications for meeting them. Topics include evolutionary and complex systems, human systems integration, smart grids and infrastructure, workforce training requirements, systems engineering education, and defense and aerospace. Based on the AHFE 2016 International Conference on Human Factors, Software, and Systems Engineering, held on July 27-31, 2016, in Walt Disney World®, Florida, USA. This book represents an inspiring guide for all researchers and professionals in the field of Human Factors, Software, and Systems Engineering.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
