Formal Methods in Systems Engineering, Peter Ryan; Chris Sennett

Автор: Zaccai, Nathan R. (University of Cambridge) Serdyuk, Igor N. Zaccai, Joseph
Название: Methods in Molecular Biophysics: Structure, Dynamics, Function for Biology and Medicine, 2 ed.
ISBN: 1107056373 ISBN-13(EAN): 9781107056374
Издательство: Cambridge Academ
Рейтинг:
Цена: 60190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reflecting the significant developments of the past decade, this textbook explains key physical methods in modern biology. Each method is illustrated through real-world examples, alongside background information designed for both physicists and biologists, making this an ideal resource for students in biophysics at science and medical schools.

Автор: Glasserman
Название: Monte Carlo Methods in Financial Engineering
ISBN: 0387004513 ISBN-13(EAN): 9780387004518
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the reviews: "Paul Glasserman has written an astonishingly good book that bridges financial engineering and the Monte Carlo method. The book will appeal to graduate students, researchers, and most of all, practicing financial engineers [...] So often, financial engineering texts are very theoretical. This book is not."

Автор: Jianping Wu; Samuel T. Chanson; Quiang Gao
Название: Formal Methods for Protocol Engineering and Distributed Systems
ISBN: 1475752709 ISBN-13(EAN): 9781475752700
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Fuente, Angel de la.
Название: Mathematical methods and models for economists
ISBN: 0521585295 ISBN-13(EAN): 9780521585293
Издательство: Cambridge Academ
Рейтинг:
Цена: 57030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is intended as a textbook for a first-year PhD course in mathematics for economists and as a reference for graduate students in economics. It provides a self-contained, rigorous treatment of most of the concepts and techniques required to follow the standard first-year theory sequence in micro and macroeconomics.

Автор: Vaishnavi
Название: Design Science Research Methods and Patterns
ISBN: 1498715257 ISBN-13(EAN): 9781498715256
Издательство: Taylor&Francis
Рейтинг:
Цена: 112290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.

Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT).

With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method.

This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality.

This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.

Автор: Micouin
Название: Model Based Systems Engineering: Fundamentals and Methods
ISBN: 1848214693 ISBN-13(EAN): 9781848214699
Издательство: Wiley
Рейтинг:
Цена: 146730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a contribution to the definition of a model based system engineering (MBSE) approach, designed to meet the objectives laid out by the INCOSE. After pointing out the complexity that jeopardizes a lot of system developments, the book examines fundamental aspects of systems under consideration.

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 50680.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.

Автор: Chapra, Steven C.
Название: Numerical methods for engineers
ISBN: 007126759X ISBN-13(EAN): 9780071267595
Издательство: McGraw-Hill
Рейтинг:
Цена: 61770.00 T
Наличие на складе: Невозможна поставка.
Описание: Numerical Methods for Engineers

Автор: Chadwick
Название: Hydraulics in Civil and Environmental Engineering, Fifth Edition
ISBN: 0415672457 ISBN-13(EAN): 9780415672450
Издательство: Taylor&Francis
Рейтинг:
Цена: 40480.00 T
Наличие на складе: Нет в наличии.
Описание: Now in its fifth edition, Hydraulics in Civil and Environmental Engineering combines thorough coverage of the basic principles of civil engineering hydraulics with wide-ranging treatment of practical, real-world applications. This classic text is carefully structured into two parts to address principles before moving on to more advanced topics. The first part focuses on fundamentals, including hydrostatics, hydrodynamics, pipe and open channel flow, wave theory, physical modeling, hydrology, and sediment transport. The second part illustrates the engineering applications of these fundamental principles to pipeline system design; hydraulic structures; and river, canal, and coastal engineering—including up-to-date environmental implications. A chapter on computational hydraulics demonstrates the application of computational simulation techniques to modern design in a variety of contexts. What’s New in This Edition Substantive revisions of the chapters on hydraulic machines, flood hydrology, and computational modeling New material added to the chapters on hydrostatics, principles of fluid flow, behavior of real fluids, open channel flow, pressure surge in pipelines, wave theory, sediment transport, river engineering, and coastal engineering The latest recommendations on climate change predictions, impacts, and adaptation measures Updated references Hydraulics in Civil and Environmental Engineering, Fifth Edition is an essential resource for students and practitioners of civil, environmental, and public health engineering and associated disciplines. It is comprehensive, fully illustrated, and contains many worked examples. Spreadsheets and useful links to other web pages are available on an accompanying website, and a solutions manual is available to lecturers.

Автор: 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

Автор: 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.

Автор: Crawley, E.F., Malmqvist, J., Ostlund, S., Brodeur
Название: Rethinking Engineering Education, 2 ed.
ISBN: 3319055607 ISBN-13(EAN): 9783319055602
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes an approach to engineering education that integrates a comprehensive set of personal, interpersonal and professional engineering skills with engineering disciplinary knowledge in order to prepare innovative and entrepreneurial engineers.