Formal Approaches to Agent-Based Systems, Michael G. Hinchey; James L. Rash; Walter F. Trusz

Автор: Haines, Duane E.,
Название: Neuroanatomy in Clinical Context, International Edition 9e
ISBN: 146983202X ISBN-13(EAN): 9781469832029
Издательство: Lippincott Williams & Wilkins
Рейтинг:
Цена: 35470.00 T
Наличие на складе: Невозможна поставка.
Описание: Neuroanatomy in Clinical Context, Ninth Edition provides everything the student needs to master the anatomy of the central nervous system, all in a clinical setting. Clear explanations;abundant MRI, CT, MRA, and MRV images; full-color photographs and illustrations; hundreds of review questions; and supplemental online resources combine to provide a sound anatomical base for integrating neurobiological and clinical concepts. In thus applying neuroanatomy clinically, the atlas ensures student preparedness for exams and for rotations. This authoritative approach—combined with such salutary features as full-color stained sections, extensive cranial nerve cross-referencing, and systems neurobiology coverage—sustains the legacy of this revolutionary teaching and learning tool as the neuroanatomy atlas.New and hallmark features elucidate neuroanatomy and systems neurobiology for course success!NEW! Chapter on Herniation Syndromes decodes the elegant relationship between brain injury and resulting deficit.NEW! Clinical information integrated throughout the text is screened in blue for quick identification on the page.NEW! Enhanced clinical images emphasize clarity and detail like never before, including full-color images replacing many in black and white, higher-resolution brain scans, and reprocessed spinal cord and brainstem images.MRIs complement full-color anatomical illustrations, allowing for visualization of structures both as they appear to the unaided eye and on imaging studies.Unique, full-color illustrations integrate clinical images of representative lesions with the corresponding deficits highlighted.Full-color stained sections facilitate the easy identification of anatomical features.Dozens of pathway drawings superimposed over MRIs connect structure with function of neural pathways.Located on thePoint, this atlas’s companion website offers a variety of supplementallearning resources to maximize study and review time!Question bank featuring over 280 USMLE-style and chapter-review style questionsBonus dissection photographs and brain slice series

Автор: Michael G. Hinchey; James L. Rash; Walter F. Trusz
Название: Formal Approaches to Agent-Based Systems
ISBN: 3540406654 ISBN-13(EAN): 9783540406655
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations.

Автор: James L. Rash; Christopher A. Rouff; Walter Truszk
Название: Formal Approaches to Agent-Based Systems
ISBN: 3540427163 ISBN-13(EAN): 9783540427162
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents` mental states, synthesizing agents initially and modelling.

Автор: Takao Terano; Hajime Kita; Shingo Takahashi; Hiros
Название: Agent-Based Approaches in Economic and Social Complex Systems V
ISBN: 4431998578 ISBN-13(EAN): 9784431998570
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agent-based modeling/simulation is an emergent approach to the analysis of social and economic systems. This book includes selected papers presented at the Fifth International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo in 2007.

Автор: Yutaka Nakai; Yuhsuke Koyama; Takao Terano
Название: Agent-Based Approaches in Economic and Social Complex Systems VIII
ISBN: 4431552359 ISBN-13(EAN): 9784431552352
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agent-based modeling/simulation is an emergent approach to the analysis of social and economic systems. This book includes selected papers presented at the Eighth International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo, Japan, in 2013.

Автор: T. Terano; H. Kita; H. Deguchi; K. Kijima
Название: Agent-Based Approaches in Economic and Social Complex Systems IV
ISBN: 4431998225 ISBN-13(EAN): 9784431998228
Издательство: Springer
Рейтинг:
Цена: 167700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The chapters of this book are the selected papers from those presented at the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo, Japan in 2005.

Автор: Tadahiko Murata; Takao Terano; Shingo Takahashi
Название: Agent-Based Approaches in Economic and Social Complex Systems VII
ISBN: 4431542787 ISBN-13(EAN): 9784431542780
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book includes selected papers presented at the Seventh International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Osaka, Japan, in 2012.At the workshop, 24 reviewed full papers were presented, and of those, 17 were selected to be included in this volume.

Автор: Tadahiko Murata; Takao Terano; Shingo Takahashi
Название: Agent-Based Approaches in Economic and Social Complex Systems VII
ISBN: 4431547398 ISBN-13(EAN): 9784431547396
Издательство: Springer
Рейтинг:
Цена: 167700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book includes selected papers presented at the Seventh International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Osaka, Japan, in 2012.At the workshop, 24 reviewed full papers were presented, and of those, 17 were selected to be included in this volume.

Автор: Takao Terano; Hajime Kita; Shingo Takahashi; Hiros
Название: Agent-Based Approaches in Economic and Social Complex Systems V
ISBN: 443187433X ISBN-13(EAN): 9784431874331
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agent-based modeling/simulation is an emergent approach to the analysis of social and economic systems. This book includes selected papers presented at the Fifth International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo in 2007.

Автор: Shu-Heng Chen; Takao Terano; Ryuichi Yamamoto
Название: Agent-Based Approaches in Economic and Social Complex Systems VI
ISBN: 4431546510 ISBN-13(EAN): 9784431546511
Издательство: Springer
Рейтинг:
Цена: 213360.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agent-based modeling/simulation is an emergent approach to the analysis of social and economic systems. This book includes selected papers presented at the Sixth International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Taipei in 2009.

Автор: Bertolotti
Название: Real-Time Embedded Systems
ISBN: 1439841543 ISBN-13(EAN): 9781439841549
Издательство: Taylor&Francis
Рейтинг:
Цена: 224570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.

Автор: Dietmar Winkler; Stefan Biffl; Johannes Bergsmann
Название: Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering
ISBN: 3319036017 ISBN-13(EAN): 9783319036014
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part: Keynote.- Software Quality Assurance by Static Program Analysis.- Part: Software Process Improvement and Measurement.- An Industry Ready Defect Causal Analysis Approach Exploring Bayesian Networks.- Business Intelligence in Software Quality Monitoring: Experiences and Lessons Learnt from an Industrial Case Study (Short Paper).- Dealing with Technical Debt in Agile Development Projects (Short Paper).- Part: Requirements Management.- Statistical Analysis of Requirements Prioritization for Transition to Web Technologies: A Case Study in an Electric Power Organization.- Challenges and Solutions in Global Requirements Engineering - A Literature Survey (Short Paper).- Automated Feature Identification in Web Applications (Short Paper).- Part: Value-Based Software Engineering.- Value-Based Migration of Legacy Data Structures.- Part: Software and Systems Testing.- An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance.- Effects of Test-Driven Development: A Comparative Analysis of Empirical Studies (Short Paper).- Isolated Testing of Software Components in Distributed Software Systems (Short Paper).- Part: Automation-Supported Testing.- Automated Test Generation for Java Generics (Short Paper).- Constraint-Based Automated Generation of Test Data (Short Paper).- Part: Quality Assurance and Collaboration.- RUP Alignment and Coverage Analysis of CMMI ML2 Process Areas for the Context of Software Projects Execution (Short Paper).- Directing High-Performing Software Teams: Proposal of a Capability-Based Assessment Instrument Approach (Short Paper).