Electronic Books

Total Books: 1361 - 1380 /3593

This volume comprises papers presented at the 2005 edition of the “Crystallography of Molecular Biology” courses that ...

Enhances learning about complex project management principles and practices through the introduction and discussion of a ...

Companies nowadays still differ considerably in that they interact with employees. This interaction depends on different ...

Practical quantum computing still seems more than a decade away, and researchers have not even identified what the best physical ...

This book introduces the new experimentalism in evolutionary computation, providing tools to understand algorithms and programs ...

The primary aim of this monograph is to present the current knowledge of brittle properties of rocks as determined in laboratory ...

This proceedings volume contains the accepted papers and invited talks p- sented at the 4th International Workshop of E?cient ...

Expert F# is about practical programming in a beautiful language that puts the power and elegance of functional programming ...

Thomas Kyte has a simple philosophy: You can treat Oracle as a black box and shove data inside of it, or you can learn how ...

Exploratory data analysis (EDA) is about detecting and describing patterns, trends, and relations in data, motivated by certain ...

Resilience has become an important topic on the safety research agenda and in organizational practice. Most empirical work ...

This vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western ...

Research on extrasolar planets is one of the exciting fields of activity in astrophysics, from early speculations on the ...

Discusses an array of major dosage forms that are commonly encountered by pharmacists in professional practice. Essential ...

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...

During the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, ...

The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...

This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...

Total Books: 1361 - 1380 /3593