Описание: 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.
Автор: Zhenhua Duan; Luke Ong Название: Formal Methods and Software Engineering ISBN: 3319686895 ISBN-13(EAN): 9783319686899 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Stephan Merz; Jun Pang Название: Formal Methods and Software Engineering ISBN: 331911736X ISBN-13(EAN): 9783319117362 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014.
Автор: Robert M. Hierons; Mercedes G. Merayo; Mario Brave Название: Software Engineering and Formal Methods ISBN: 3642405606 ISBN-13(EAN): 9783642405600 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Karin Breitman; Ana Cavalcanti Название: Formal Methods and Software Engineering ISBN: 3642103723 ISBN-13(EAN): 9783642103728 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 11th International Conference on Formal Engineering Methods ICFEM 2009 Rio de Janeiro Brazil Decemb. .
Автор: Alessandro Cimatti; Marjan Sirjani Название: Software Engineering and Formal Methods ISBN: 3319661965 ISBN-13(EAN): 9783319661964 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Crawley, E.F., Malmqvist, J., Ostlund, S., Brodeur Название: Rethinking Engineering Education, 2 ed. ISBN: 3319055607 ISBN-13(EAN): 9783319055602 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Bertolotti Название: Real-Time Embedded Systems ISBN: 1439841543 ISBN-13(EAN): 9781439841549 Издательство: Taylor&Francis Рейтинг: Цена: 33686.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Fuente, Angel de la. Название: Mathematical methods and models for economists ISBN: 0521585295 ISBN-13(EAN): 9780521585293 Издательство: Cambridge Academ Рейтинг: Цена: 8554.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Dimitra Giannakopoulou; Gwen Sala?n Название: Software Engineering and Formal Methods ISBN: 3319104306 ISBN-13(EAN): 9783319104300 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Mccabe Название: Unit operations of chemical engineering ISBN: 0071247106 ISBN-13(EAN): 9780071247108 Издательство: McGraw-Hill Рейтинг: Цена: 10123.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
