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
  • Collective Robotics Collective Robotics
    Add to Cart The item has been added

    Collective Robotics

    Alexis Drogoul

    This book constitutes the refereed proceedings of the First International Workshop on Collective Robotics, CRW'98, held as part of the Agents' World 1998 conference in Paris, France, in July 1998.The...
    $121.54

    Add to Cart The item has been added
  • System Configuration Management System Configuration Management
    Add to Cart The item has been added

    System Configuration Management

    Boris Magnusson

    This book constitutes the refereed proceedings of the 8th International Symposium on System Configuration Management, SCM-8, held in conjunction with ECOOP'98 in Brussels, Belgium, in July 1998.The...
    $121.54

    Add to Cart The item has been added
  • Intelligence in Services and Networks Intelligence in Services and Networks
    Add to Cart The item has been added

    Intelligence in Services and Networks

    Sebastiano Trigila

    This book consitutes the refereed proceedings of the 5th International Conference on Intelligence in Services and Networks, IS&N'98 in Antwerp, Belgium, in May 1998. IS&N'98 was devoted to Technology...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Reliable Software Technologies - Ada-Europe '98 Reliable Software Technologies - Ada-Europe '98
    Add to Cart The item has been added

    Reliable Software Technologies - Ada-Europe '98

    Lars Asplund

    This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998.The 23 revised full...
    $121.54

    Add to Cart The item has been added
  • RoboCup-97 RoboCup-97
    Add to Cart The item has been added

    RoboCup-97

    Hiroaki Kitano

    RoboCup is an international initiative devoted to advancing the state of the art in artificial intelligence and robotics. The ultimate, long range goal is to build a team of robot soccer players that...
    $226.80

    Add to Cart The item has been added
  • Multimodal Human-Computer Communication Multimodal Human-Computer Communication
    Add to Cart The item has been added

    Multimodal Human-Computer Communication

    Harry Bunt

    This book constitutes the strictly reviewed post-workshop documentation of the First International Conference on Cooperative Multimodal Communication held in Eindhoven, The Netherlands, in 1995.The...
    $121.54

    Add to Cart The item has been added
  • Advances in Database Technology - EDBT '98 Advances in Database Technology - EDBT '98
    Add to Cart The item has been added

    Advances in Database Technology - EDBT '98

    Hans-Jörg Schek

    This book constitutes the refereed proceedings of the 6th International Conference on Extending Database Technology, EDBT '98, held in Valencia, Spain, in March 1998. The 32 revised full papers...
    $121.54

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

    Intelligent Agents IV

    Munindar P. Singh

    This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence,...
    $121.54

    Add to Cart The item has been added
  • B'98 B'98
    Add to Cart The item has been added

    B'98

    Bert Didier

    This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.The book presents 15 revised full papers selected from 29...
    $121.54

    Add to Cart The item has been added
  • Services and Visualization Services and Visualization
    Add to Cart The item has been added

    Services and Visualization

    Tiziana Margaria

    This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods...
    $121.54

    Add to Cart The item has been added
  • Worldwide Computing and Its Applications - WWCA'98 Worldwide Computing and Its Applications - WWCA'98
    Add to Cart The item has been added

    Worldwide Computing and Its Applications - WWCA'98

    Yoshifumi Masunaga

    This book constitutes the refereed proceedings of the Second International Conference on Worldwide Computing and Its Applications, WWCA'98, held in Tsukuba, Japan, in March 1998. This volume presents...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Deductive and Object-Oriented Databases Deductive and Object-Oriented Databases
    Add to Cart The item has been added

    Deductive and Object-Oriented Databases

    Francois Bry

    This book constitutes the refereed proceedings of the 5th International Conference on Deductive and Object-Oriented Databases, DOOD'97, held in Montreux, Switzerland, in December 1997. The 22 revised...
    RRP: $93.49
    $91.62

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

    SOFSEM '97

    Frantisek Plasil

    This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is...
    $121.54

    Add to Cart The item has been added
  • Foundations of Computer Science Foundations of Computer Science
    Add to Cart The item has been added

    Foundations of Computer Science

    Christian Freksa

    This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers...
    $226.80

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

    Software Engineering - ESEC-FSE '97

    Mehdi Jazayeri

    This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Compiler Compilers Compiler Compilers
    Add to Cart The item has been added

    Compiler Compilers

    Dieter Hammer

    Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of biannual workshops on compiler compilers. Selected...
    $121.54

    Add to Cart The item has been added
  • Extensions of Logic Programming Extensions of Logic Programming
    Add to Cart The item has been added

    Extensions of Logic Programming

    Peter Schroeder-Heister

    This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of...
    $121.54

    Add to Cart The item has been added
  • ICDT '90 ICDT '90
    Add to Cart The item has been added

    ICDT '90

    Serge Abiteboul

    The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the...
    $121.54

    Add to Cart The item has been added
  • CONPAR 90 - VAPP IV CONPAR 90 - VAPP IV
    Add to Cart The item has been added

    CONPAR 90 - VAPP IV

    Helmar Burkhart

    Parallel architectures are no longer pure research vehicles, as they were some years ago. There are now many commercial systems competing for market segments in scientific computing. The 1990s are...
    RRP: $216.59
    $213.34

    Add to Cart The item has been added
  • Combinatorics on Traces Combinatorics on Traces
    Add to Cart The item has been added

    Combinatorics on Traces

    Volker Diekert

    Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This...
    $115.93

    Add to Cart The item has been added
  • CONCUR '90 CONCUR '90
    Add to Cart The item has been added

    CONCUR '90

    Joseph C.M. Baeten

    This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and...
    $121.54

    Add to Cart The item has been added
  • Software Engineering Environments Software Engineering Environments
    Add to Cart The item has been added

    Software Engineering Environments

    Fred Long

    This volume gives the proceedings of an international workshop on software engineering environments and public tool interfaces. The workshop drew together the recognized experts in these fields from...
    $121.54

    Add to Cart The item has been added
  • Attribute Grammars and their Applications Attribute Grammars and their Applications
    Add to Cart The item has been added

    Attribute Grammars and their Applications

    Pierre Deransart

    Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • On the Shape of Mathematical Arguments On the Shape of Mathematical Arguments
    Add to Cart The item has been added

    On the Shape of Mathematical Arguments

    Antonetta J.M. van Gasteren

    This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important...
    $121.54

    Add to Cart The item has been added
  • Parallel Lisp Parallel Lisp
    Add to Cart The item has been added

    Parallel Lisp

    Takayasu Ito

    This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, Qlisp at Stanford,...
    $121.54

    Add to Cart The item has been added
  • CAAP '90 CAAP '90
    Add to Cart The item has been added

    CAAP '90

    Andre Arnold

    This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical,...
    $121.54

    Add to Cart The item has been added
  • Termination Proofs for Logic Programs Termination Proofs for Logic Programs
    Add to Cart The item has been added

    Termination Proofs for Logic Programs

    Lutz Plümer

    Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that...
    $121.54

    Add to Cart The item has been added
  • Stepwise Refinement of Distributed Systems Stepwise Refinement of Distributed Systems
    Add to Cart The item has been added

    Stepwise Refinement of Distributed Systems

    Jaco W. de Bakker

    The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an...
    $219.36

    Add to Cart The item has been added
  • Specification and Transformation of Programs Specification and Transformation of Programs
    Add to Cart The item has been added

    Specification and Transformation of Programs

    Helmut A. Partsch

    "Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem...
    $105.39

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