Specifications – Bücher, Diverse, CDs und mehr, Seite 6

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science - Band 15219

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Next Generation Wireless Communication

This book provides an overview of the most common techniques and methods employed in wireless fields. Conversely, it delves into a detailed study of millimeter-wave (mm-wave) and terahertz (THz) systems, …

lieferbar innerhalb 2-3 Wochen

Buch

Jeffrey Pomerantz, Jason Griffey
Standards

An engaging introduction to standards, the invisible infrastructure that shapes the built and digital environments of the modern world. Standards are the DNA of the built environment, encoded in nearly a…

lieferbar innerhalb 1-2 Wochen

Buch

R¿zvan Diaconescu
Institution-independent Model Theory

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provid…

lieferbar innerhalb 2-3 Wochen

Buch

Gareth D. Padfield, Stefan van 't Hoff, Giuseppe Quaranta, Linghai Lu
Rotorcraft Certification by Simulation and Analysis

This open access book presents the steps necessary for the application of rotorcraft flight modelling and simulation and analysis in support of certification for compliance with EASA CS-27 and CS-29, SUBP…

lieferbar innerhalb 2-3 Wochen

Buch

AI Verification

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized…

lieferbar innerhalb 2-3 Wochen

Buch

Enterprise Information Systems

Lecture Notes in Business Information Processing - Band 519

The two-volume set LNBIP 518 and 519 constitutes the refereed post-conference proceedings of the 25th International Conference on Enterprise Information Systems, ICEIS 2023, which was held in Prague, Czec…

lieferbar innerhalb 2-3 Wochen

Buch

Pratap Tumkur Renukaswamy, Jan Craninckx, Nereo Markulic
PLL Modulation and Mixed-Signal Calibration Techniques for FMCW Radar

This book covers analysis and design of PLL-based frequency modulators, used in the hearth of modern FMCW radars. The desired radar performance targets are translated into the modulator specifications fir…

lieferbar innerhalb 2-3 Wochen

Buch

Karl Liebstückel
Configuring Plant Maintenance in SAP S/4HANA

SAP Press Englisch

"To successfully manage assets in SAP S/4HANA, you need to tailor plant maintenance to your exact specifications. This book is your step-by-step guide! Plan your plant maintenance project, and then dive i…

sofort lieferbar

Buch

3D Bioprinting from Lab to Industry

A complete overview of bioprinting, from fundamentals and essential topics to recent advances and future applications Additive manufacturing, also known as 3D printing, is one of the most transformative t…

lieferbar innerhalb 1-2 Wochen

Buch

Ricardo de Freitas Fernandes Pontes
Cooling Towers and Chilled Water Systems

Cooling Towers and Chilled Water Systems: Design, Operation, and Economic Analysis is a guide to the design and operation of cooling systems within high temperature settings. The book presents various str…

lieferbar in mind. 4 Wochen

Buch

John D. Fieldhouse, David C. Barton
Automotive Chassis Engineering

Written for students and practising engineers working in automotive engineering, this book provides a fundamental yet comprehensive understanding of chassis systems and requires little prior knowledge on …

lieferbar innerhalb 2-3 Wochen

Buch

Stefano Tornincasa
Technical Drawing for Product Design

This book is intended for students, academics, designers, process engineers and CMM operators, and presents the ISO GPS and the ASME GD&T rules and concepts. The Geometric Product Specification (GPS) and …

lieferbar innerhalb 2-3 Wochen

Buch

The Application of Formal Methods

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successf…

lieferbar innerhalb 2-3 Wochen

Buch

Clive Bell, Eleanor Mayes, Tom Hockaday
Edexcel GCSE French Higher Student Book

Our Foundation and Higher tier Student Books for the 2024 French, German and Spanish GCSEs are structured around a carefully designed scheme of work, helping students learn and master the building blocks …

lieferbar in mind. 4 Wochen

Buch

Lisa M Brefere, Francis T Lynch
The Book of Yields

The Book of Yields: Accuracy in Food Costing and Purchasing is a valuable resource for educating culinary and hospitality students & professionals, that running a business is not just about making the foo…

Erscheint bald

Buch

Qiong-Zhong Chen, Shuiwen Shen
Practical Control of Electric Machines for EV/HEVs

Upon the ongoing profound revolution in the automotive industry, this book is primarily intended to give guidance on the practical design of traction motor control for pure electric vehicles (EVs) and hyb…

lieferbar innerhalb 2-3 Wochen

Buch

Running Press
Mermaids 2-In-1 Double-Sided 500-Piece Puzzle

Bask in the magic of mermaids with this double-sided 500-piece puzzle that features gorgeous artwork of beautiful and diverse sea beings! - Specifications: A double-sided 500-piece puzzle, printed in full…

lieferbar innerhalb 1-2 Wochen

Spiele

Azhar Ul Haque Sario
Cambridge Law Course

Cambridge Law Course: Advanced Level Qualification - The Essential Guide for A-Level Success Are you preparing for the rigorous Cambridge A-Level Law examinations? This comprehensive textbook is your key…

lieferbar innerhalb 2-3 Wochen

Buch

Stefan Rommer, Catherine Mulligan, Peter Hedman, Magnus Olsson
The Core Network for 5g Advanced

The Core Network for 5G Advanced, Second Edition covers up to the 3GPP release 17 & 18 which includes the core network for 5G Advanced as well as a large number of new features added by 3GPP to expand the…

lieferbar innerhalb 1-2 Wochen

Buch

Trefferliste "Specifications" - alle Bücher, Diverse, CDs und mehr