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