Computer-based Design and Manufacturing
This book offers a comprehensive overview of the latest methods and state-of-the-art technologies in intelligent product ...
Weiterlesen
Conceptions of the Desirable
Right in the heart of Graz, the second largest city in Austria, an entire city district had simply fallen into oblivion. ...
Weiterlesen
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python / Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Weiterlesen
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Weiterlesen
Conceptual Modelling in Information Systems Engineering
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
Weiterlesen
Conceptual Modelling in Information Systems Engineering
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
Weiterlesen
Conceptualizing Environmental Citizenship for 21st Century Education
This book is about the development of a common understanding of environmental citizenship. It conceptualizes and frames ...
Weiterlesen
Conditional Mutagenesis: An Approach to Disease Models
Leading experts provide timely and comprehensive information on methods for conditional mutagenesis in the mouse (part 1) ...
Weiterlesen
Conjoint Measurement : Methods and Applications
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...
Weiterlesen
Connecting Mathematics and Mathematics Education Collected Papers on Mathematics Education as a Design Science
This book features a selection of articles written by Erich Ch. Wittmann between 1984 to 2019, which shows how the “design ...
Weiterlesen
Constituents of Modern System-safety Thinking
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Contact Problems : The legacy of L.A. Galin
L.A. Galin's book on contact problems is a remarkable work. Actually there are two books: the first, published in 1953 deals ...
WeiterlesenContemporary Accounts in Drug Discovery and Development / Xianhai Huang
Drug discovery is a lengthy and complex process that typically involves identifying an unmet medical need, determining a ...
Weiterlesen
Contemporary Empirical Methods in Software Engineering
This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...
Weiterlesen
Contemporary Family Lifestyles in Central and Western Europe Selected Cases
This introductory chapter approaches two basic categories of the whole monography which is a family and a lifestyle. The ...
Weiterlesen
