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