Computational Materials Chemistry
As a result of the advancements in algorithms and the huge increase in speed of computers over the past decade, electronic ...
اقرأ المزيد
Computational Quantum Mechanics for Materials Engineers
Computational Quantum Mechanics for Materials Engineers describes new approaches to the modelling of disordered alloys that ...
اقرأ المزيدComputational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic ...
اقرأ المزيد
Computational and Ambient Intelligence
This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...
اقرأ المزيد
Computational and Ambient Intelligence
This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...
اقرأ المزيد
Computational studies of RNA and DNA
Computational Studies of RNA and DNA includes, in an integrated way, modern computational studies of nucleic acids, ranging ...
اقرأ المزيد
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
اقرأ المزيد
Computer Security – ESORICS 2007
This book address issues such as data protection; security protocols; systems; web and network security; privacy; threat ...
اقرأ المزيد
Computer Security – ESORICS 2007
This book address issues such as data protection; security protocols; systems; web and network security; privacy; threat ...
اقرأ المزيد
Computer Simulation Studies in Condensed-Matter Physics XVI
This status report features the most recent developments in the field, spanning a wide range of topical areas in the computer ...
اقرأ المزيد
Computer Simulation Studies in Condensed-Matter Physics XVIII
This volume represents a "status report" emanating from presentations made during the 18th Annual Workshop on Computer ...
اقرأ المزيد
Computer Vision - ACCV 2006 (vol. # 3851)
proceedings. ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer ...
اقرأ المزيد
Computer Vision - ACCV 2006 (vol. # 3852)
ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer vision is ...
اقرأ المزيد
Computing and Combinatorics (vol. # 3595)
The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...
اقرأ المزيد
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, ...
اقرأ المزيد
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, ...
اقرأ المزيد
Conceptual Density Functional Theory: Towards a New Chemical Reactivity Theory / Shubin Liu
This two-volume reference book shows how conceptual density functional theory can reconcile empirical observations within ...
اقرأ المزيد
Conservation in the 21st Century: Gorillas as a Case Study
this book is essential reading for primatologists, biologists, and conservationists searching for both a current assessment ...
اقرأ المزيد
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly ...
اقرأ المزيد
Consumer Driven Electronic Transformation
The Symposia have become important, unique - casions in the international calendar of business research. The papers c- lected ...
اقرأ المزيد
