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

Alan F. Blackwell
Moral Codes

"The goal of this book is to establish an alternative agenda for commentary on AI that emphasizes the opportunities for human-centered system design by prioritizing direct specification of computer behavi…

sofort lieferbar

Buch

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science - Band 14919

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9 10, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science - Band 15223

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

Molecular and Cell Biology of Pancreas Development, Function and Regeneration

This book reviews recent advances in pancreatic endocrine and exocrine tissue development, function and regeneration. It provides a comprehensive overview on different aspects of beta-cell biology, includ…

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science - Band 15222

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

Dynamic Environments Testing, Vol. 7: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics 2024

Dynamic Environments Testing, Volume 7: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics, 2024, the seventh volume of ten from the Conference brings together contributions …

lieferbar innerhalb 2-3 Wochen

Buch

Priyam Verma, J. P. Verma
Understanding Structural Equation Modeling

This book presents a comprehensive overview of Structural Equation Modeling and how it can be applied to address research issues in different disciplines. The authors employ a simple to complex approach…

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science - Band 15220

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

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sh…

lieferbar innerhalb 2-3 Wochen

Buch

Enterprise Information Systems

Lecture Notes in Business Information Processing - Band 518

This two-volume set constitutes the refereed post-conference proceedings of the 25th International Conference on Enterprise Information Systems, ICEIS 2023, which was held in Prague, Czech Republic, durin…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

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

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

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

Trefferliste "Specification" - alle Bücher, CDs, LPs und mehr