Electronic Books

Total Books: 581 - 600 /1108

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...

Designed to help you make the most of your study time. Maximize your performance on the exam by learning to: * Monitor and ...

Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what ...

Communication and network technology has witnessed recent rapid development and numerous information services and applications ...

The cyber world has been both enhanced and endangered by AI. On the one hand, the performance of many existing security services ...

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...

Malware Detection, based on the Special ARO/DHS Workshop on Malware Detection at Rosslyn, VA, in 2005, captures the state ...

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...

Digital technology determines today’s world and will be one of the key technologies of the future. Successful technology ...

Managing Humans is a selection of the best essays from Michael Lopp's web site, Rands in Repose. Drawing on Lopp's management ...

It addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, ...

the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical ...

"Written to fill the need for a textbook that addresses inorganic-, organic-, and nano-based materials from a structure ...

This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...

This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Total Books: 581 - 600 /1108