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 ...

Continue reading
978-3-211-71260-3
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. ...

Continue reading
1786305305
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, ...

Continue reading
1786306026
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, ...

Continue reading
978-3-540-72677-7
Conceptual Modelling in Information Systems Engineering

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

Continue reading
978-3-540-72677-7
Conceptual Modelling in Information Systems Engineering

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

Continue reading
978-3-030-20249-1
Conceptualizing Environmental Citizenship for 21st Century Education

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

Continue reading
978-3-540-35109-2
Conditional Mutagenesis: An Approach to Disease Models

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

Continue reading
978-3-540-71404-0
Conjoint Measurement : Methods and Applications

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

Continue reading
978-3-030-61570-3
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 ...

Continue reading
978-1-84628-130-3
Constituents of Modern System-safety Thinking

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

Continue reading
978-1-84628-079-5
Constructing Correct Software

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

Continue reading
NoIMG
Constructing Correct Software

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

Continue reading
NoIMG
Constructing Correct Software

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

Continue reading
978-1-84628-079-5
Constructing Correct Software

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

Continue reading
978-1-84628-079-5
Constructing Correct Software

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

Continue reading
978-1-4020-9043-1
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 ...

Continue reading
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 ...

Continue reading
978-3-030-32489-6
Contemporary Empirical Methods in Software Engineering

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

Continue reading
978-3-030-48299-2
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 ...

Continue reading
Total Books: 301 - 320 /1617