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 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. ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 - ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيدOptimizing 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Parsing Techniques : A Practical Guide
In addition to the traditional parsing techniques, this second edition presents new developments and discoveries: generalized ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Philosophys Higher Education
In sociology it was the dualism of the individual and society. The question most asked in our classes was always regarding ...
اقرأ المزيد
Portraits of Influential Chinese Educators
This book conveys an understanding of China’s educational development from within. It does so through portraits of eleven ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
