Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Continue readingTheoretical and Quantum Mechanics: Fundamentals provides an introduction to theoretical and quantum mechanics for chemists. ...
Continue readingThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Continue readingThis book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis volume will be of interest to both the researcher interested in therapeutic hypothermia as well as the clinician interested ...
Continue readingOur previous book, About Life, concerned modern biology. We used our present-day understanding of cells to ‘define’ the ...
Continue readingThyroid Ultrasound and Ultrasound-Guided FNA, Second Edition is a "user friendly" book for the clinician, using ultrasound ...
Continue readingThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Continue readingThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Continue readingDetails the basic principles and sequencing of cavity preparation and outlines the different preparation designs indicated ...
Continue readingThis book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held ...
Continue readingThis book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held ...
Continue readingThe central theme of this book is the restoration of Poincaré duality, on stratified singular spaces by using Verdier-self-dual ...
Continue readingThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Continue readingIn this book, the authors present a challenge for future research to build a stronger, more complete understanding of entrepreneurial ...
Continue readingThe SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
Continue reading