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