Advances in Temporal Logic, Howard Barringer; Michael Fisher; Dov M. Gabbay; G

Автор: Alexey Lastovetsky; Tahar Kechadi; Jack Dongarra
Название: Recent Advances in Parallel Virtual Machine and Message Passing Interface
ISBN: 3540874747 ISBN-13(EAN): 9783540874744
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: H. Jaap van den Herik; Pieter Spronck
Название: Advances in Computer Games
ISBN: 3642129927 ISBN-13(EAN): 9783642129926
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constituting the thoroughly refereed post-conference proceedings of the twelfth Advances in Computer Games conference held in Spain in 2009, the 20 revised full papers cover topics from Bayesian modeling to incongruity theory and data assurance.

Автор: Fred Kr?ger; Stephan Merz
Название: Temporal Logic and State Systems
ISBN: 3642086802 ISBN-13(EAN): 9783642086809
Издательство: Springer
Рейтинг:
Цена: 55850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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;

Автор: Fran?ois Fages; Francesca Rossi; Sylvain Soliman
Название: Recent Advances in Constraints
ISBN: 3540898115 ISBN-13(EAN): 9783540898115
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wayne Wobcke; Mengjie Zhang
Название: AI 2008: Advances in Artificial Intelligence
ISBN: 3540893776 ISBN-13(EAN): 9783540893776
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Dominique Borrione
Название: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC`s
ISBN: 940073333X ISBN-13(EAN): 9789400733336
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Amaba
Название: Advances in Human Factors, Software, and Systems Engineering
ISBN: 331941934X ISBN-13(EAN): 9783319419343
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Maarten de Rijke
Название: Advances in Intensional Logic
ISBN: 9048148979 ISBN-13(EAN): 9789048148974
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.