Electronic Books

Total Books: 301 - 320 /1617
NoIMG
Computer-based Design and Manufacturing

This book offers a comprehensive overview of the latest methods and state-of-the-art technologies in intelligent product ...

Lire la suite
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. ...

Lire la suite
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, ...

Lire la suite
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, ...

Lire la suite
Conceptual Modelling in Information Systems Engineering

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

Lire la suite
Conceptual Modelling in Information Systems Engineering

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

Lire la suite
Conceptualizing Environmental Citizenship for 21st Century Education

This book is about the development of a common understanding of environmental citizenship. It conceptualizes and frames ...

Lire la suite
Conditional Mutagenesis: An Approach to Disease Models

Leading experts provide timely and comprehensive information on methods for conditional mutagenesis in the mouse (part 1) ...

Lire la suite
Conjoint Measurement : Methods and Applications

Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...

Lire la suite
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 ...

Lire la suite
Constituents of Modern System-safety Thinking

Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...

Lire la suite
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
NoIMG
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
NoIMG
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lire la suite
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 ...

Lire la suite
NoIMG
Contemporary 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 ...

Lire la suite
Contemporary Empirical Methods in Software Engineering

This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...

Lire la suite
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 ...

Lire la suite
Total Books: 301 - 320 /1617