The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Continue reading
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Continue reading
Reviews the evidence relating to the mechanisms, clinical efficacy, safety/toxicity, and clinical application of tooth whitening ...
Continue reading
The application of big data analytics in all fields of research is a critical driver for the competitiveness of all countries ...
Continue reading
The range of applications include at present linear and nonlinear evolution equations, integro-differential and functional-differential ...
Continue reading
Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Continue reading
This book presents survey articles on some of these new developments. Most of the material is directly related to the interaction ...
Continue reading
Biology has entered the age of Big Data. A technical revolution has transformed the field, and extracting meaningful information ...
Continue reading
This book is an attempt to give a systematic presentation of results and me- ods which concern the ?xed point theory of multivalued ...
Continue reading
Deals with topological quantum field theories and their applications to topological aspects of four manifolds. This book ...
Continue reading
Application of the concepts and methods of topology and geometry have led to a deeper understanding of many crucial aspects ...
Continue reading
Topology-based methods are built on the idea of abstracting characteristic structures such as the topological skeleton from ...
Continue reading
This important reference explores the three main chemoselective ligation methods for assembling unprotected peptide segments, ...
Continue reading
Jose and Gordon’s Toward Agroforestry Design is an important reference for anyone interested in exploring or managing the ...
Continue reading
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
Continue reading
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Continue readingAt the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...
Continue reading
This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...
Continue reading
This research monograph proposes a unified, cross-fertilizing approach for knowledge-representation and modeling based on ...
Continue reading
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
Continue reading