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 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
Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
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
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
Network Performance Analysis : Using the J Programming Language
This useful volume introduces concepts and principles of network performance analysis by example, using the J programming ...
Continue reading
Object-Oriented Technology. ECOOP 2007 Workshop Reader : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
This volume contains the reports from the workshopsheld at the 21st European Conference on Object-Oriented Programming - ...
Continue reading
On The Interpretation of Treaties : The Modern International Law as Expressed in the 1969 Vienna Convention on the Law of Treaties
This book investigates the contents and structure of this system. By importing knowledge from linguistics, and pragmatics ...
Continue reading
On the path to AI Law’s prophecies and the conceptual foundations of the machine learning age
This book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ...
Continue readingOptimizing HPC Applications with Intel® Cluster Tools
Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance ...
Continue reading
PHP 8 Solutions : Dynamic Web Design and Development Made Easy / David Powers
Design and build dynamic PHP-based web sites and applications / Get started right away through practical examples that you ...
Continue reading
Parsing Techniques : A Practical Guide
In addition to the traditional parsing techniques, this second edition presents new developments and discoveries: generalized ...
Continue reading
Past Meets Present : Archaeologists Partnering with Museum Curators, Teachers, and Community Groups
Past Meets Present provides the reader with models for implementing public outreach programs with an emphasis on collaborative ...
Continue reading
Phantasy, Image Consciousness, and Memory (1898-1925)
This first part of the introduction draws attention to some of thekey features, relations, and distinctions Husserl uncovers ...
Continue reading
Philosophys Higher Education
In sociology it was the dualism of the individual and society. The question most asked in our classes was always regarding ...
Continue reading
Portraits of Influential Chinese Educators
This book conveys an understanding of China’s educational development from within. It does so through portraits of eleven ...
Continue reading
Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the ...
Continue reading
Practical C++ Design : From Programming to Architecture / Adam B. Singer
Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study ...
Continue reading
Practical Explainable AI Using Python : Artificial Intelligence Model Explanations Using Python-based Libraries, Extensions, and Frameworks / Pradeepta Mishra
Learn the ins and outs of decisions, biases, and reliability of AI algorithms and how to make sense of these predictions. ...
Continue reading
Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...
Continue reading
