Specifications – Bücher, CDs, Diverse 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

EUR 81,04*

Wolfgang Schreiner
Concrete Abstractions

Texts & Monographs in Symbolic Computation

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer soft…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 58,66*

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

EUR 63,51*

AI Verification

Lecture Notes in Computer Science -Band 14846

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

EUR 131,42*

Verena Hutter,
For the Love of Tattoos 500-Piece Puzzle

Piece together your very own tattoo flash sheet with this fully illustrated 500-piece puzzle and book set, featuring beautiful American Traditional tattoo designs. Specifications: A 500-piece puzzle, pri…

lieferbar innerhalb 1-2 Wochen

Buch

EUR 20,43*

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…

lieferbar ab 7.3.2025.

Buch

EUR 95,67*

Handbook of Numerical Simulation of In-Flight Icing

This Handbook of Numerical Simulation of In-Flight Icing covers an array of methodologies and technologies on numerical simulation of in-flight icing and its applications. Comprised of contributions from …

lieferbar innerhalb 2-3 Wochen

2 Bücher

EUR 930,95*

Stefano Tornincasa
Technical Drawing for Product Design

Springer Tracts in Mechanical Engineering

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

EUR 96,00*

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 innerhalb 2-3 Wochen

Buch

EUR 234,28*

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

Synthesis Lectures on Engineering, Science, and Technology

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

EUR 53,32*

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

EUR 288,57*

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

EUR 96,00*

The Application of Formal Methods

Lecture Notes in Computer Science -Band 14900

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

EUR 72,27*

Andrew Heywood, Kathy Schindler
Essentials of Political Ideas

Refreshed and completely restructured to align with the new Edexcel Politics A-Level specification, this is the new edition of Andrew Heywood's highly respected introduction to political ideas, ideologies…

lieferbar in mind. 4 Wochen

Buch

EUR 40,08*

Stefan Popa
The Read-Out Controller ASIC for the ATLAS Experiment at LHC

Springer Theses

This thesis presents the complete chain from specifications to real-life deployment of the Read Out Controller (ROC) ASIC for the ATLAS Experiment at LHC, including the design of the FPGA-based setup used…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 186,19*

Benjamin Krull
A modelling approach for deformable gas bubbles

This work contributes to the field of numerical simulation of multiphase flows with a focus on gas bubbles in liquids. The immersed boundary code PRIME allows the explicit capture of phase boundaries of t…

sofort lieferbar

Buch

EUR 39,90*

Ronny Hansch
Handbook of Random Forests: Theory and Applications for Remote Sensing

This compendium provides a hands-on description of Random Forests. It starts with a consistent introduction of general methods to create, train, and fuse ensembles of decision trees. Instead of limiting t…

Erscheint bald

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

Tobba
Train Coloring Book for Boys

Does your child love trains? Then come aboard and give this fun trains coloring book to your child! They will have a superb time coloring the attractive train images found inside this trains coloring book…

sofort lieferbar

Buch

EUR 16,00*

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

Lecture Notes in Electrical Engineering -Band 1064

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

EUR 186,19*

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

Ihre Suche nach "Specifications" ergab 127 Treffer