Electronic Books

Total Books: 5761 - 5780 /6190

The Transfer and Diffusion of Information Technology for Organizational Reilience addresses the challenges faced by many ...

This is the first book-length treatment of the Variational Bayes (VB) approximation in signal processing. It has been written ...

The Vehicle Routing Problem (VRP) has been an especially active and fertile area of research. Over the past five to seven ...

The Waste Market undertakes the interesting task of examining the creative ways in which a handful of European countries, ...

This volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...

This thorough yet understandable introduction to the boundary element method presents an attractive alternative to the finite ...

This research is concerned with the impact of the nation branding, so the nation branding Was presented as a process of creating ...

MDR-1 belongs to a large family of ATP-binding cassette transporter proteins. These pumps bind their substrate and export ...

It provides an invaluable resource for those looking to build, remodel or conserve theatre buildings, taking into account ...

Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

This book comprises a selection of papers from the IFSA 2007 World Congress on theoretical advances and applications of fuzzy ...

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...

This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...

the book is a very fitting tribute to the legacy of Shimon Even.Shimon Even was considered a superb teacher in Computer ...

Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...

Total Books: 5761 - 5780 /6190