Formal Methods and Software Engineering, Lindsay Groves; Jing Sun
Автор: 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.
Автор: 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.
Автор: Mccabe Название: Unit operations of chemical engineering ISBN: 0071247106 ISBN-13(EAN): 9780071247108 Издательство: McGraw-Hill Рейтинг: Цена: 67490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Includes separate chapters that are devoted to each of the principle unit operations, grouped into 4 sections: fluid mechanics, heat transfer, mass transfer and equilibrium stages, and operations involving particulate solids. This book contains its balanced treatment of theory and engineering practice, with many practical, illustrative examples.
Автор: 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.
Автор: Zhenhua Duan; Luke Ong Название: Formal Methods and Software Engineering ISBN: 3319686895 ISBN-13(EAN): 9783319686899 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Автор: Karin Breitman; Ana Cavalcanti Название: Formal Methods and Software Engineering ISBN: 3642103723 ISBN-13(EAN): 9783642103728 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 11th International Conference on Formal Engineering Methods ICFEM 2009 Rio de Janeiro Brazil Decemb. .
Автор: Dimitra Giannakopoulou; Gwen Sala?n Название: Software Engineering and Formal Methods ISBN: 3319104306 ISBN-13(EAN): 9783319104300 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions.
Автор: Stephan Merz; Jun Pang Название: Formal Methods and Software Engineering ISBN: 331911736X ISBN-13(EAN): 9783319117362 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014.
Автор: Alessandro Cimatti; Marjan Sirjani Название: Software Engineering and Formal Methods ISBN: 3319661965 ISBN-13(EAN): 9783319661964 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions.
Автор: Robert M. Hierons; Mercedes G. Merayo; Mario Brave Название: Software Engineering and Formal Methods ISBN: 3642405606 ISBN-13(EAN): 9783642405600 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.
Автор: Chapra, Steven C. Название: Numerical methods for engineers ISBN: 007126759X ISBN-13(EAN): 9780071267595 Издательство: McGraw-Hill Рейтинг: Цена: 61770.00 T Наличие на складе: Невозможна поставка. Описание: Numerical Methods for Engineers
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
