Computer Science

Subrecursive Programming Systems: Complexity & Succinctness

Product Description
Subrecursive programming systems are pervasive throughout both theoretical and practical computer science. This monograph systematically and rigorously develops the theory of subrecursive programming systems and the powe… More >>

Subrecursive Programming Systems: Complexity & Succinctness

Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings

Product Description
This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 submitted. A … More >>

Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings

A Knowledge-Based Approach to Program Understanding

Product Description
The knowledge-based approach to the automation of program understanding presented here plays an important role in nearly all software related tasks: it is vital to the development, maintenance and re-use activities, a… More >>

A Knowledge-Based Approach to Program Understanding

Graph-Theoretic Concepts in Computer Science: 21st International Workshop, WG ‘95, Aachen, Germany, June 20 – 22, 1995. Proceedings

Product Description
This book constitutes the refereed proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG ‘95, held in Aachen, Germany, in June 1995. The WG workshop series contributes to inte… More >>

Graph-Theoretic Concepts in Computer Science: 21st International Workshop, WG ‘95, Aachen, Germany, June 20 – 22, 1995. Proceedings

Human-Computer Interaction: 5th International Conference, EWHCI ‘95, Moscow, Russia, July 3-7, 1995. Selected Papers

Product Description
This book contains a collection of revised refereed papers selected from the presentations at the 5th East-West Conference on Human-Computer Interaction, EWHCI ‘95, held in Moscow, Russia, in July 1995. The main goal of … More >>

Human-Computer Interaction: 5th International Conference, EWHCI ‘95, Moscow, Russia, July 3-7, 1995. Selected Papers

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Product Description
This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004. The 24 revised full papers presented together with 3 invi… More >>

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

DCE – The OSF Distributed Computing Environment, Client/Server Model and Beyond: International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings

Product Description
Client/server applications are of increasing importance in industry; they are a significant first step towards a global distributed processing model. A very recent response to this trend is the Distributed Computing… More >>

DCE – The OSF Distributed Computing Environment, Client/Server Model and Beyond: International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings

Adaptive Hypermedia and Adaptive Web-Based Systems: International Conference, AH 2000, Trento, Italy, August 28-30, 2000 Proceedings

Product Description
The proceedings of the International Conference, AH 2000, on Adaptive Hypermedia and Adaptive Web-Based Systems, held in Trento, Italy, August 28-30, 2000. The conference brought together a group of interdisciplinary pe… More >>

Adaptive Hypermedia and Adaptive Web-Based Systems: International Conference, AH 2000, Trento, Italy, August 28-30, 2000 Proceedings

Load Balancing in Parallel Computers: Theory and Practice

Product Description
Load Balancing in Parallel Computers: Theory and Practice is about the essential software technique of load balancing in distributed memory message-passing parallel computers, also called multicomputers. Each processo… More >>

Load Balancing in Parallel Computers: Theory and Practice

Learning Classifier Systems: 5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002, Revised Papers

Product Description
This book constitutes the refereed proceedings of the 5th International Workshop on Learning Classifier Systems, IWLCS 2003, held in Granada, Spain in September 2003 in conjunction with PPSN VII. The 10 revised full pap… More >>

Learning Classifier Systems: 5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002, Revised Papers