Computer programming / software engineering Books

Agile programming
Algorithms and data structures
Aspect programming / AOP
Compilers and interpreters
Database programming
Extreme programming
Functional programming
Games development and programming
Graphics programming
Macintosh programming
Microsoft programming
Mobile and handheld device programming / Apps prog
Network programming
Object-oriented programming (OOP)
Programming and scripting languages: general
Programming techniques
Software Engineering
Web programming
Sidebar Sidebar Sidebar
  • Modular Programming Languages Modular Programming Languages
    Add to Cart The item has been added

    Modular Programming Languages

    Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH...
    $92.00

    Add to Cart The item has been added
  • New Trends in Constraints New Trends in Constraints
    Add to Cart The item has been added

    New Trends in Constraints

    This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised...
    $92.00

    Add to Cart The item has been added
  • CONCUR 2000 - Concurrency Theory CONCUR 2000 - Concurrency Theory
    Add to Cart The item has been added

    CONCUR 2000 - Concurrency Theory

    This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the...
    $227.00

    Add to Cart The item has been added
  • Intelligent Systems and Soft Computing Intelligent Systems and Soft Computing
    Add to Cart The item has been added

    Intelligent Systems and Soft Computing

    Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has...
    $92.00

    Add to Cart The item has been added
  • Distributed Virtual Worlds Distributed Virtual Worlds
    Add to Cart The item has been added

    Distributed Virtual Worlds

    Recently, with the success of Java and the existence of different interfaces be­ tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers...
    $116.00

    Add to Cart The item has been added
  • Reflection and Software Engineering Reflection and Software Engineering
    Add to Cart The item has been added

    Reflection and Software Engineering

    This volume represents a rst attempt to bring together ideas from two pre- ously unrelated research areas, namely Software Engineering and Computational Re?ection, and to evaluate the bene ts that...
    $92.00

    Add to Cart The item has been added
  • Algorithm Theory - SWAT 2000 Algorithm Theory - SWAT 2000
    Add to Cart The item has been added

    Algorithm Theory - SWAT 2000

    The papers in this volume were presented at SWAT 2000, the Seventh Scandi- vian Workshop on Algorithm Theory. The workshop, which is really a conference, has been held biennially since 1988, rotating...
    $184.00

    Add to Cart The item has been added
  • ECOOP 2000 - Object-Oriented Programming ECOOP 2000 - Object-Oriented Programming
    Add to Cart The item has been added

    ECOOP 2000 - Object-Oriented Programming

    Following a 13-year tradition of excellence, the 14th ECOOP conference repeated the success of its predecessors. This excellence is certainly due to the level of maturity that object-oriented...
    $116.00

    Add to Cart The item has been added
  • Essentials of Constraint Programming Essentials of Constraint Programming
    Add to Cart The item has been added

    Essentials of Constraint Programming

    The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information...
    $92.00

    Add to Cart The item has been added
  • Advances in Cryptology - EUROCRYPT 2000 Advances in Cryptology - EUROCRYPT 2000
    Add to Cart The item has been added

    Advances in Cryptology - EUROCRYPT 2000

    EUROCRYPT 2000, the nineteenth annual Eurocrypt Conference, was sp- sored by the International Association for Cryptologic Research (IACR), in - operation with the Katholieke Universiteit Leuven in...
    $184.00

    Add to Cart The item has been added
  • Middleware 2000 Middleware 2000
    Add to Cart The item has been added

    Middleware 2000

    Middleware is everywhere. Ever since the advent of sockets and other virtu- circuit abstractions, researchers have been looking for ways to incorporate high- value concepts into distributed systems...
    $92.00

    Add to Cart The item has been added
  • The Theory of Evolution Strategies The Theory of Evolution Strategies
    Add to Cart The item has been added

    The Theory of Evolution Strategies

    Evolutionary algorithms, such as evolution strategies, genetic algorithms, or evolutionary programming, have found broad acceptance in the last ten years. In contrast to its broad propagation,...
    $335.00

    Add to Cart The item has been added
  • STACS 2000 STACS 2000
    Add to Cart The item has been added

    STACS 2000

    STACS,the SymposiumonTheoreticalAspects ofComputerScience,isheld- nually, alternating between France and Germany. STACS is organizedjointly by the Special Interest Group for Theoretical Computer...
    $184.00

    Add to Cart The item has been added
  • High Performance Computing - HiPC'99 High Performance Computing - HiPC'99
    Add to Cart The item has been added

    High Performance Computing - HiPC'99

    These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC'99) held December 17-20 in Calcutta, India. The meeting serves as a forum for presenting current...
    $92.00

    Add to Cart The item has been added
  • Grading Knowledge Grading Knowledge
    Add to Cart The item has been added

    Grading Knowledge

    If you are sitting in a basement room without a view - not to mention the bars in front of the windows - and writing a book, then you better have good company. I had the best company you could...
    $116.00

    Add to Cart The item has been added
  • Agent-Oriented Programming Agent-Oriented Programming
    Add to Cart The item has been added

    Agent-Oriented Programming

    A book that furnishes no quotations is, me judice, no book - it is a plaything. TL Peacock: Crochet Castle The paradigm presented in this book is proposed as an agent programming language. The book...
    $92.00

    Add to Cart The item has been added
  • PREMO PREMO
    Add to Cart The item has been added

    PREMO

    In 1998, SC24, the subcommittee of ISO/IEC JTC 1 concerned with computer graphics and image processing, completed work on a new standard for multimedia presentation; the PREMO standard (Presentation...
    $116.00

    Add to Cart The item has been added
  • SOFSEM'99 SOFSEM'99
    Add to Cart The item has been added

    SOFSEM'99

    This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red...
    $92.00

    Add to Cart The item has been added
  • Introduction to Process Algebra Introduction to Process Algebra
    Add to Cart The item has been added

    Introduction to Process Algebra

    Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been...
    $92.00

    Add to Cart The item has been added
  • Approaches to Intelligent Agents Approaches to Intelligent Agents
    Add to Cart The item has been added

    Approaches to Intelligent Agents

    Intelligent agents will be the necessity of the coming century. Software agents will pilot us through the vast sea of information, by communicating with other agents. A group of cooperating agents...
    $122.00

    Add to Cart The item has been added
  • Algorithm Engineering Algorithm Engineering
    Add to Cart The item has been added

    Algorithm Engineering

    This work considers practical parallel list-ranking algorithms. The model for which programs are written is a single-program multiple-data (SPMD) \bri- ingmodel". Thismodel isdesignated asa...
    $122.00

    Add to Cart The item has been added
  • Formal Models of Agents Formal Models of Agents
    Add to Cart The item has been added

    Formal Models of Agents

    This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of...
    $122.00

    Add to Cart The item has been added
  • Generalized Quantifiers and Computation Generalized Quantifiers and Computation
    Add to Cart The item has been added

    Generalized Quantifiers and Computation

    This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The...
    $122.00

    Add to Cart The item has been added
  • Partial Evaluation. Practice and Theory Partial Evaluation. Practice and Theory
    Add to Cart The item has been added

    Partial Evaluation. Practice and Theory

    As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an...
    $122.00

    Add to Cart The item has been added
  • SCI SCI
    Add to Cart The item has been added

    SCI

    Scalable Coherent Interface (SCI) is an innovative interconnect standard (ANSI/IEEE Std 1596-1992) addressing the high-performance computing and networking domain. This book describes in depth one...
    $122.00

    Add to Cart The item has been added
  • Internet Programming Languages Internet Programming Languages
    Add to Cart The item has been added

    Internet Programming Languages

    This book is a collection of articles about the influence that the recent greater scope and availability of wide area networks is having on the semantics, design, and implementa tion of programming...
    $92.00

    Add to Cart The item has been added
  • Correct System Design Correct System Design
    Add to Cart The item has been added

    Correct System Design

    Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is...
    $122.00

    Add to Cart The item has been added
  • FM'99 - Formal Methods FM'99 - Formal Methods
    Add to Cart The item has been added

    FM'99 - Formal Methods

    Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A...
    $250.00

    Add to Cart The item has been added
  • Software Engineering - ESEC/FSE '99 Software Engineering - ESEC/FSE '99
    Add to Cart The item has been added

    Software Engineering - ESEC/FSE '99

    For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences...
    $122.00

    Add to Cart The item has been added
  • Logic Programming and Automated Reasoning Logic Programming and Automated Reasoning
    Add to Cart The item has been added

    Logic Programming and Automated Reasoning

    This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted...
    $122.00

    Add to Cart The item has been added
  • Applied Formal Methods - FM-Trends 98 Applied Formal Methods - FM-Trends 98
    Add to Cart The item has been added

    Applied Formal Methods - FM-Trends 98

    This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the...
    $92.00

    Add to Cart The item has been added
  • CONCUR'99. Concurrency Theory CONCUR'99. Concurrency Theory
    Add to Cart The item has been added

    CONCUR'99. Concurrency Theory

    This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99) held in Eindhoven, The Netherlands, 24-27 August 1999. ...
    $220.00

    Add to Cart The item has been added
  • Multi-Agent System Engineering Multi-Agent System Engineering
    Add to Cart The item has been added

    Multi-Agent System Engineering

    In the ten years since the first MAAMAW was held in 1989, at King's College, Cambridge, the field of Multi-Agent Systems (MAS) has flourished. It has attracted an increasing amount of theoretical and...
    $122.00

    Add to Cart The item has been added
  • The Unified Modeling Language. <<UML>>'98 The Unified Modeling Language. <<UML>>'98
    Add to Cart The item has been added

    The Unified Modeling Language. <<UML>>'98

    This volume contains mainly the revised versions of papers presented at the wo- shop <>'98, "Beyond the Notation", that took place in Mulhouse, France on June 3-4, 1998. We thank all those that have...
    $122.00

    Add to Cart The item has been added
  • Algorithms - ESA'99 Algorithms - ESA'99
    Add to Cart The item has been added

    Algorithms - ESA'99

    The 7th Annual European Symposium on Algorithms (ESA '99) is held in Prague, Czech Republic, July 16-18, 1999. This continued the tradition of the meetings which were held in - 1993 Bad Honnef...
    $184.00

    Add to Cart The item has been added
Computer programming / software engineering