Electronic Books

Total Books: 4601 - 4620 /4873
978-3-540-78800-3
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

Continue reading
978-3-540-68564-7
Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

To support application developers in the various tasks involved in this process, several different tools need to be at his ...

Continue reading
978-3-319-38849-6
Tooth Whitening : An Evidence-Based Perspective / Jorge Perdigão (ed.)

Reviews the evidence relating to the mechanisms, clinical efficacy, safety/toxicity, and clinical application of tooth whitening ...

Continue reading
9781536191332
Top 10 Challenges of Big Data Analytics / Maria José Sousa

The application of big data analytics in all fields of research is a critical driver for the competitiveness of all countries ...

Continue reading
978-0-387-27439-3
Topics in Almost Automorphy

The range of applications include at present linear and nonlinear evolution equations, integro-differential and functional-differential ...

Continue reading
978-1-4020-2128-2
Topics in Analysis and its Applications

Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...

Continue reading
978-1-4020-5334-4
Topics in Geometry, Coding Theory and Cryptography

This book presents survey articles on some of these new developments. Most of the material is directly related to the interaction ...

Continue reading
9781107159549
Topological Data Analysis for Genomics and Evolution: Topology in Biology

Biology has entered the age of Big Data. A technical revolution has transformed the field, and extracting meaningful information ...

Continue reading
978-1-4020-4666-7
Topological Fixed Point Theory of Multivalued Mappings

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
978-1-4020-3177-9
Topological Quantum Field Theory and Four Manifolds

Deals with topological quantum field theories and their applications to topological aspects of four manifolds. This book ...

Continue reading
978-3-540-31532-2
Topology and Geometry in Physics

Application of the concepts and methods of topology and geometry have led to a deeper understanding of many crucial aspects ...

Continue reading
978-3-540-70823-0
Topology-based in Methods in Visualization

Topology-based methods are built on the idea of abstracting characteristic structures such as the topological skeleton from ...

Continue reading
3527346600
Total Chemical Synthesis of Proteins / Ashraf Brik

This important reference explores the three main chemoselective ligation methods for assembling unprotected peptide segments, ...

Continue reading
978-1-4020-6572-9
Toward Agroforestry Design

Jose and Gordon’s Toward Agroforestry Design is an important reference for anyone interested in exploring or managing the ...

Continue reading
978-3-030-52829-4
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges

This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...

Continue reading
978-0-387-85691-9
Towards Sustainable Society on Ubiquitous Networks : The 8th IFIP Conference on e-Business, e-Services, and e-Society (I3E 2008), September 24–16, 2008, Tokyo, Japan

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

Continue reading
NoIMG
Towards Synthesis of Micro-

At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...

Continue reading
978-3-540-89897-9
Towards a Service-Based Internet : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings

This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...

Continue reading
978-3-540-34170-3
Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory

This research monograph proposes a unified, cross-fertilizing approach for knowledge-representation and modeling based on ...

Continue reading
978-3-540-79299-4
Transactions on Computational Science I

This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...

Continue reading
Total Books: 4601 - 4620 /4873