Electronic Books

Total Books: 101 - 120 /188

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 ...

Total Books: 101 - 120 /188