Electronic Books

Total Books: 181 - 200 /341

Leveraging Applications of Formal Methods

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...

Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

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

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

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

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

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

Mac OS X Leopard : Beyond the Manual

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

Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

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

Many-Core Computing : Hardware and software

Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...

Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

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

Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...

Modelling Autonomic Communications Environments : Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedings

Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE ...

Models in Software Engineering : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...

Modern Operating System / Andrew S. Tanenbaum

incorporates the latest developments and technologies in operating systems (OS) technologies. Author Andy Tanenbaum's clear ...

MooTools Essentials : The Official MooTools Reference for JavaScript™ and Ajax Development

Mootools is a light, modular JavaScript framework that makes adding Ajax, animations, and interactive elements to your site ...

More Joel on Software : Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity

Joel Spolsky started his weblog in March 2000 in order to offer his insights, based on years of experience, on how to improve ...

Moving Wearables into the Mainstream : Taming the Borg

Moving Wearables into the Mainstream also introduces concepts such as Operational Inertia that form a mindset conducive to ...

Mule 2: A Developers Guide to ESB and Integration Platform

Mule 2: A Developer's Guide introduces the Mule 2.0 integration platform for developers of enterprise integration applications ...

Total Books: 181 - 200 /341