25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
A Computer Scientists Guide to Cell Biology
This practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
اقرأ المزيد
A Computer Scientists Guide to Cell Biology
This practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
اقرأ المزيد
A Fair Share of Tax
This book takes a taxpayer's perspective to the relations taxation creates between people and their state. Larsen proposes ...
اقرأ المزيد
A Guide to Methods in the Biomedical Sciences
A Guide to Methods in the Biomedical Sciences gives a basic description of common methods used in research. This is not intended ...
اقرأ المزيد
A Practical Guide to Service Learning
The ultimate goal for school psychologists, teachers, and other allied mental health and educational professionals is to ...
اقرأ المزيد
A Primer for the Exercise and Nutrition Sciences
This book provides a fresh approach to the study of energy expenditure by introducing the latest concepts in open system ...
اقرأ المزيد
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
اقرأ المزيد
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
اقرأ المزيد
AI and UX
Great effort has been put forth to continuously make AI “smarter.” But, will smarter always equal more successful AI? ...
اقرأ المزيد
Abiotic Stress Tolerance in Plants
Stresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction ...
اقرأ المزيد
About Life
This book uses modern biological knowledge to tackle the question: "What distinguishes living organisms from the non-living ...
اقرأ المزيد
Accelerator-Driven System at Kyoto University Critical Assembly
This book is a unique compilation of experimental benchmark analyses of the accelerator-driven system (ADS) at the Kyoto ...
اقرأ المزيد
Acoustic Sensing Techniques for the Shallow Water Environment
This volume contains the collection of papers from the second workshop on Experimental Acoustic Inversion Techniques for ...
اقرأ المزيد
Actin-Binding Proteins and Disease
This volume, written by experts in the field, is the first to deal with the relationship between human disease and the actin ...
اقرأ المزيد
Adaptive Information Systems and Modelling in Economics and Management Science
Learning and adaption are key features of "real economies". Studying interesting real phenomena like innovation, industry ...
اقرأ المزيد
AdvancED DOM Scripting
As a web designer or developer, you know how powerful DOM scripting is for enhancing web pages and applications, adding dynamic ...
اقرأ المزيد
Advanced Experimental Methods For Noise Research in Nanoscale Electronic Devices
A discussion of recently developed experimental methods for noise research in nanoscale electronic devices, conducted by ...
اقرأ المزيد
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging ...
اقرأ المزيد
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
This book - in conjunction with the two volumes CCIS 0015 and LNAI 5226 - constitutes the refereed proceedings of the 4th ...
اقرأ المزيد
