Specification – Bücher, CDs, LPs und mehr, Seite 6

Ihre Suche nach "Specification" ergab 109 Treffer

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*

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*

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*

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*

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*

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*

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*

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*

Chris Köcher
Verification of Automata with Storage Mechanisms

An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to ask whether a finite automaton with certain memory like a stac…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 18,00*

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.