Comparative Evaluation of XML Information Retrieval Systems
This book covered methodology and seven additional tracks on ad-hoc, natural language processing, heterogeneous collection, ...
اقرأ المزيد
Comparative and Global Pedagogies : Equity, Access and Democracy in Education
This book critically examines equality, equity and democracy in education, globally as well as from various perspectives. ...
اقرأ المزيد
Complex Geometry
Complex geometry studies (compact) complex manifolds. It discusses algebraic as well as metric aspects. The subject is on ...
اقرأ المزيد
Complex System Maintenance Handbook
Complex System Maintenance Handbook is the first book to integrate this vast literature with chapters written by internationally-renowned ...
اقرأ المزيد
Complexity Theory
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...
اقرأ المزيد
Complexity Theory and Cryptology
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...
اقرأ المزيدComputational Intelligence for Agent-based Systems
In these last years the digital technology explosion has spawned so many new lifestyle models that the boundaries between ...
اقرأ المزيد
Computational Methods in Systems Biology (vol. # 3082)
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
اقرأ المزيد
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
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 Algebra and Geometric Algebra with Applications
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
اقرأ المزيد
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 Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
اقرأ المزيد
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 ...
اقرأ المزيد
Computer-Aided Design of User Interfaces IV
Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations ...
اقرأ المزيد
Computer-Aided Design of User Interfaces V
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
اقرأ المزيد
Computer-Aided Design of User Interfaces V
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
اقرأ المزيد
Consumers, Policy and the Environment
The role of the consumer has changed from seeking the most satisfaction from goods and services to reconciling consumption ...
اقرأ المزيد
Continental Scientific Drilling
Scientific drilling is an indispensable tool of modern Earth science - search, as it provides the only means of obtaining ...
اقرأ المزيد
