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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
Many-Core Computing : Hardware and software
Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...
Continue reading
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, ...
Continue readingMicrofinance, EU Structural Funds and Capacity Building for Managing Authorities : A Comparative Analysis of European Convergence Regions
This book presents a study of capacity building and structural funds in public managing authorities for the microcredit sector. ...
Continue reading
Microsurgery in Periodontal and Implant Dentistry : Concepts and Applications / Hsun-Liang (Albert) Chan, Diego Velasquez-Plata
Compiles all relevant information regarding fundamental concepts and advanced techniques related to the applications of minimally ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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. ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Modelling of Powder Die Compaction
In particular, the book presents a number of case studies that have been developed to test compaction models. Full details ...
Continue reading
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 ...
Continue reading
Modern Operating System / Andrew S. Tanenbaum
incorporates the latest developments and technologies in operating systems (OS) technologies. Author Andy Tanenbaum's clear ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
