Electronic Books

Total Books: 1 - 20 /91
Advances in Structural Engineering - Optimization : Emerging Trends in Structural Optimization / Sinan Melih Nigdeli, Gebrail Bekdaş, Aylin Ece Kayabekir, Melda Yucel

An up-to-date source for computation applications of optimization, prediction via artificial intelligence methods, and evaluation ...

Lire la suite
Algebraic Biology

This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...

Lire la suite
Algebraic Biology

This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...

Lire la suite
Automated Technology for Verification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...

Lire la suite
Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Lire la suite
Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Lire la suite
Bioarrays

Bioarrays: From Basics to Diagnostics provides an integrated and comprehensive collection of timely articles on the use of ...

Lire la suite
Bioinformatics of Genome Regulation and Structure II

The conference was organized by the Laboratory of Theoretical Genetics, Institute of Cytology and Genetics, Siberian Branch ...

Lire la suite
Bird Species

The average person can name more bird species than they think, but do we really know what a bird “species” is? This open ...

Lire la suite
Bordieuan Field Theory as an Instrument for Military Operational Analysis

This book uses Pierre Bourdieu’s field theory as a lens through which to examine military operations. Novel in its approach, ...

Lire la suite
CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

Lire la suite
CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

Lire la suite
Chemistry from First Principles

This book examines the appearance of matter in its most primitive form, from the vacuum and the diversity that results from ...

Lire la suite
Children's Exploration and Cultural Formation

This book examines the educational conditions that support cultures of exploration in kindergartens. It conceptualises cultures ...

Lire la suite
Chromosomal Alterations

Cytogenetics is a very important research tool in basic and applied research. The uses of cytogenetics in human-population ...

Lire la suite
Compact Riemann Surfaces

Although Riemann surfaces are a time-honoured field, this book is novel in its broad perspective that systematically explores ...

Lire la suite
Compact Riemann Surfaces

Although Riemann surfaces are a time-honoured field, this book is novel in its broad perspective that systematically explores ...

Lire la suite
Computable Models of the Law : Languages, Dialogues, Games, Ontologies

This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop ...

Lire la suite
NoIMG
Computational Intelligence (vol. # 174)

Hybrid Intelligent Systems has become an important research topic in computer science and a key application field in science ...

Lire la suite
Computational Science and High Performance Computing II

This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and ...

Lire la suite
Total Books: 1 - 20 /91