The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Continue readingThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Continue readingThe 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Continue readingThis book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...
Continue readingThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Continue readingThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue readingThis book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...
Continue readingJoel Spolsky started his weblog in March 2000 in order to offer his insights, based on years of experience, on how to improve ...
Continue readingThis useful volume introduces concepts and principles of network performance analysis by example, using the J programming ...
Continue readingThis volume contains the reports from the workshopsheld at the 21st European Conference on Object-Oriented Programming - ...
Continue readingOptimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance ...
Continue readingDesign and build dynamic PHP-based web sites and applications / Get started right away through practical examples that you ...
Continue readingIn addition to the traditional parsing techniques, this second edition presents new developments and discoveries: generalized ...
Continue readingThis book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the ...
Continue readingUpdated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study ...
Continue readingThis book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...
Continue readingThis book is a modern guide for all C++ programmers to learn Intel Threading Building Blocks (TBB).this book reflects their ...
Continue readingProgramming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative ...
Continue reading