Electronic Books

Total Books: 1481 - 1500 /1574

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

This volume will be of interest to both the researcher interested in therapeutic hypothermia as well as the clinician interested ...

Our previous book, About Life, concerned modern biology. We used our present-day understanding of cells to ‘define’ the ...

Thyroid Ultrasound and Ultrasound-Guided FNA, Second Edition is a "user friendly" book for the clinician, using ultrasound ...

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

Details the basic principles and sequencing of cavity preparation and outlines the different preparation designs indicated ...

This book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held ...

This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held ...

The central theme of this book is the restoration of Poincaré duality, on stratified singular spaces by using Verdier-self-dual ...

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

In this book, the authors present a challenge for future research to build a stronger, more complete understanding of entrepreneurial ...

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...

This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...

This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...

This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...

This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...

Total Books: 1481 - 1500 /1574