Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
Lire la suiteThis practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
Lire la suiteThis book takes a taxpayer's perspective to the relations taxation creates between people and their state. Larsen proposes ...
Lire la suiteA Guide to Methods in the Biomedical Sciences gives a basic description of common methods used in research. This is not intended ...
Lire la suiteThe ultimate goal for school psychologists, teachers, and other allied mental health and educational professionals is to ...
Lire la suiteThis book provides a fresh approach to the study of energy expenditure by introducing the latest concepts in open system ...
Lire la suiteThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lire la suiteThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lire la suiteGreat effort has been put forth to continuously make AI “smarter.” But, will smarter always equal more successful AI? ...
Lire la suiteStresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction ...
Lire la suiteThis book uses modern biological knowledge to tackle the question: "What distinguishes living organisms from the non-living ...
Lire la suiteThis book is a unique compilation of experimental benchmark analyses of the accelerator-driven system (ADS) at the Kyoto ...
Lire la suiteThis volume contains the collection of papers from the second workshop on Experimental Acoustic Inversion Techniques for ...
Lire la suiteThis volume, written by experts in the field, is the first to deal with the relationship between human disease and the actin ...
Lire la suiteLearning and adaption are key features of "real economies". Studying interesting real phenomena like innovation, industry ...
Lire la suiteAs a web designer or developer, you know how powerful DOM scripting is for enhancing web pages and applications, adding dynamic ...
Lire la suiteA discussion of recently developed experimental methods for noise research in nanoscale electronic devices, conducted by ...
Lire la suiteThe International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging ...
Lire la suiteThis book - in conjunction with the two volumes CCIS 0015 and LNAI 5226 - constitutes the refereed proceedings of the 4th ...
Lire la suite