Electronic Books

Total Books: 101 - 120 /450

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Computer Music Modeling and Retrieval (vol. # 3902)

This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...

Computer Vision Systems

Computer Vision has reached a level of maturity that allows us not only to p- form research on individual methods and system ...

Concurrency Theory

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...

Conducting Polymers

The discovery of polymers with variable conductivity brought forth a paradigmatic change in chemistry and in other branches ...

Conducting Polymers with Micro or Nanometer Structure

Conducting Polymers with Micro or Nanometer Structure describes a topic discovered by three winners of the Nobel Prize in ...

Conformation-Dependent Design of Sequences in Copolymers I

The book include : *Computer-aided conformation-dependent design of copolymer sequences *Folding and Formation of Mesoglobules ...

Conformation-Dependent Design of Sequences in Copolymers II

The book include : 1 V.O. Aseyev, H. Tenhu, F. Winnik: Temperature Dependence of the Colloidal Stability of Neutral Amphiphilic ...

Contemporary Empirical Methods in Software Engineering

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

Continuous-Time Sigma-Delta A

This comprehensive book deals with all relevant aspects arising during the analysis, design and simulation of the now widespread ...

Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems

This volume presents a well balanced combination of state-of-the-art theoretical results in the field of nonlinear controller ...

Control of Uncertain Systems: Modelling, Approximation, and Design

This Festschrift contains a collection of articles by friends, co-authors, colleagues, and former Ph.D. students of Keith ...

Controlled Nucleosynthesis

This book ushers in a new era of experimental and theoretical investigations into collective processes, structure formation, ...

Controlled Synthesis of Nanoparticles in Microheterogeneous Systems

contains descriptions of one of the most powerful bottom-up methods of synthesizing size controlled and stable nanoparticles. ...

Creatine and Creatine Kinase in Health and Disease

In this book, emphasis is placed on the intricate interplay between creatine and creatine kinase function on one hand, and ...

Current Drug Synthesis / Jie Jack Li

Delivers an authoritative and comprehensive discussion of the medicinal chemistry of current drugs, as well as the cutting-edge ...

Total Books: 101 - 120 /450