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

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

Lecture Notes in Computer Science - volume 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, …

deliverable within 2-3 weeks

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, …

deliverable within 2-3 weeks

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…

deliverable within 2-3 weeks

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…

deliverable within 1-2 weeks

Buch

Alan Jarvis, Bernie Fishpool, Victoria Ellis
Cambridge Advanced National (AAQ) in IT: Data Analytics Student Book

This printed student book offers comprehensive coverage of the mandatory units for the Cambridge Advanced National in IT: Data Analytics (Certificate and Extended Certificate). Endorsed for OCR's qualific…

lieferbar ab 31.7.2025.

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…

deliverable within 2-3 weeks

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…

deliverable within 2-3 weeks

Buch

Enterprise Information Systems

Lecture Notes in Business Information Processing - volume 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…

deliverable within 2-3 weeks

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…

available for immediate delivery

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…

deliverable within 2-3 weeks

Buch

Renata Paradowska, Sian Lavers, Sue Northeast
Cambridge Advanced National (AAQ) in Health and Social Care Student Book

This printed student book offers comprehensive coverage of the mandatory units for the Cambridge Advanced National in Health and Social Care (Certificate and Extended Certificate). Endorsed for OCR's qual…

lieferbar ab 31.5.2025.

Buch

Andrew Osborn, Claire Reet, Sarah Varley, Stuart Peet
Cambridge Advanced National (AAQ) in Engineering Student Book

This printed student book offers comprehensive coverage of the mandatory units for the Cambridge Advanced National in Engineering (Certificate and Extended Certificate). Endorsed for OCR's qualification a…

lieferbar ab 31.5.2025.

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

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…

deliverable within 1-2 weeks

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 …

deliverable within 2-3 weeks

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 …

deliverable within 2-3 weeks

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…

deliverable within 2-3 weeks

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…

Coming soon

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…

deliverable within 2-3 weeks

Buch

Search Results "Specifications" - all Bücher, Diverse, CDs und mehr