The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Continue reading
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Continue reading
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Continue reading
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Continue reading
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Continue reading
This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. ...
Continue reading
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
Continue reading
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
Continue reading
This handbook brings together the theoretical basics of fluid dynamics with a systemaic overview of the appropriate numerical ...
Continue reading
R's open source nature, free availability, and large number of contributor packages have made R the software of choice for ...
Continue reading
This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on ...
Continue reading
Provides coverage of developments and state-of-the-art methods in the broad and diversified data analytics field and applicable ...
Continue reading
Presents the latest discoveries in the field of machine intelligence and big data Proposes many case studies and applications ...
Continue reading
It covers both micro and macro c- ponents ranging from cells, tissues and organs across to organisms and ecologic niches. ...
Continue reading
It covers both micro and macro c- ponents ranging from cells, tissues and organs across to organisms and ecologic niches. ...
Continue reading
The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, ...
Continue reading
Credit risk analysis is one of the most important topics in the field of financial risk management. Due to recent financial ...
Continue reading
This book provides students and researchers in the life sciences with essential practical information on how to quantitatively ...
Continue reading
This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...
Continue reading
This book including clustering and classification, gene expression analysis, gene networks, genome analysis, motif finding, ...
Continue reading