Logic Programming (vol. # 4079)
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
Continue reading
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Continue reading
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Continue reading
MICAI 2008: Advances in Artificial Intelligence :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
Continue reading
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Continue reading
Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...
Continue reading
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, ...
Continue reading
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. ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Multiparadigm Programming in Mozart
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
Continue reading
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 ...
Continue reading
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 - ...
Continue reading
OpenMP: Portable Multi-Level Parallelism on Modern Systems
This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, ...
Continue readingOptimizing 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 ...
Continue reading
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 ...
Continue reading
Parsing Techniques : A Practical Guide
In addition to the traditional parsing techniques, this second edition presents new developments and discoveries: generalized ...
Continue reading
Power-Aware Computer Systems
Welcome to the proceedings of the 3rd Power-Aware Computer Systems (PACS 2003) Workshop held in conjunction with the 36th ...
Continue reading
Practical Aspects of Declarative Languages (vol. # 3350)
Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, ...
Continue reading
