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
  • Term Rewriting and Applications Term Rewriting and Applications
    Add to Cart The item has been added

    Term Rewriting and Applications

    Jürgen Giesl

    This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19- 21, 2005, at the Nara-Ken New Public Hall in the...
    $226.80

    Add to Cart The item has been added
  • Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
    Add to Cart The item has been added

    Typed Lambda Calculi and Applications

    Pawel Urzyczyn

    The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and...
    $121.54

    Add to Cart The item has been added
  • Operational Semantics for Timed Systems Operational Semantics for Timed Systems
    Add to Cart The item has been added

    Operational Semantics for Timed Systems

    Heinrich Rust

    This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • ZB 2005 ZB 2005
    Add to Cart The item has been added

    ZB 2005

    Helen Treharne

    These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. ...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Security in Pervasive Computing Security in Pervasive Computing
    Add to Cart The item has been added

    Security in Pervasive Computing

    Dieter Hutter

    This volume contains the papers presented at the 2nd International Conference on Se- rityinPervasiveComputing(SPC2005)heldApril6-8,2005inBoppard,Germany.The objective of this second conference was to...
    $121.54

    Add to Cart The item has been added
  • Computational Methods in Systems Biology Computational Methods in Systems Biology
    Add to Cart The item has been added

    Computational Methods in Systems Biology

    Vincent Danos

    The Computational Methods in Systems Biology (CMSB) workshop series was established in 2003 by Corrado Priami. The purpose of the workshop series is to help catalyze the convergence between computer...
    $121.54

    Add to Cart The item has been added
  • Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
    Add to Cart The item has been added

    Recent Trends in Algebraic Development Techniques

    José Luiz Fiadeiro

    This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the...
    $121.54

    Add to Cart The item has been added
  • Grid Computing in Life Science Grid Computing in Life Science
    Add to Cart The item has been added

    Grid Computing in Life Science

    Akihiko Konagaya

    Researchers in the ?eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computational and data management needs of life science...
    $121.54

    Add to Cart The item has been added
  • Embedded Systems Design Embedded Systems Design
    Add to Cart The item has been added

    Embedded Systems Design

    Bruno Bouyssounouse

    Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances...
    RRP: $185.90
    $183.11

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

    Engineering and Managing Software Requirements

    Aybüke Aurum

    Requirements engineering is the process by which the requirements for software systems are gathered, analyzed, documented, and managed throughout their complete lifecycle. Traditionally it has been...
    RRP: $273.90
    $269.79

    Add to Cart The item has been added
  • Shared Memory Parallel Programming with Open MP Shared Memory Parallel Programming with Open MP
    Add to Cart The item has been added

    Shared Memory Parallel Programming with Open MP

    Barbara M. Chapman

    This book contains the Proceedings of the 5th Workshop on OpenMP Appli- tionsandTools(WOMPAT2004),whichtookplaceattheUniversityofHouston, Houston, Texas on May 17 and 18, 2004. Previous workshops in...
    $121.54

    Add to Cart The item has been added
  • Quality of Service in Multiservice IP Networks Quality of Service in Multiservice IP Networks
    Add to Cart The item has been added

    Quality of Service in Multiservice IP Networks

    Marco Ajmone Marsan

    This book constitutes the refereed proceedings of the Third International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2005, held in Catania, Italy in February 2005. ...
    $226.80

    Add to Cart The item has been added
  • Information Networking Information Networking
    Add to Cart The item has been added

    Information Networking

    Cheeha Kim

    Welcome to ICOIN 2005,the International Conference on Information Netwo- ing, held at Ramada Plaza Jeju Hotel, Jeju Island, Korea during January 31- February2,2005...
    $326.97

    Add to Cart The item has been added
  • UML Modeling Languages and Applications UML Modeling Languages and Applications
    Add to Cart The item has been added

    UML Modeling Languages and Applications

    Nuno Jardim Nunes

    The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004. It was the seventh conference in a series of annual events that started in 1998. UML has rapidly become...
    $121.54

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

    Software Engineering and Middleware

    Thomas Gschwind

    Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers to engineer distributed appli- tions more easily, providing abstractions...
    $121.54

    Add to Cart The item has been added
  • Theoretical Aspects of Computing - ICTAC 2004 Theoretical Aspects of Computing - ICTAC 2004
    Add to Cart The item has been added

    Theoretical Aspects of Computing - ICTAC 2004

    Zhiming Liu

    This volume contains the proceedings of ICTAC 2004, the 1st International Colloquium on Theoretical Aspects of Computing, which was held in Guiyang, China on 20-24 September 2004. ICTAC was founded...
    $226.80

    Add to Cart The item has been added
  • Adaptive Agents and Multi-Agent Systems II Adaptive Agents and Multi-Agent Systems II
    Add to Cart The item has been added

    Adaptive Agents and Multi-Agent Systems II

    Daniel Kudenko

    Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental...
    $121.54

    Add to Cart The item has been added
  • Multiparadigm Programming in Mozart/Oz Multiparadigm Programming in Mozart/Oz
    Add to Cart The item has been added

    Multiparadigm Programming in Mozart/Oz

    Peter Van Roy

    To many readers, Mozart/Oz represents a new addition to the pantheon of p- gramming systems. One way of evaluating a newcomer is through the eyes of the classics, for example Kernighan and Pike's...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Mechanizing Mathematical Reasoning Mechanizing Mathematical Reasoning
    Add to Cart The item has been added

    Mechanizing Mathematical Reasoning

    Dieter Hutter

    By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. ...
    $226.80

    Add to Cart The item has been added
  • RoboCup 2004 RoboCup 2004
    Add to Cart The item has been added

    RoboCup 2004

    Daniele Nardi

    ThesearetheproceedingsoftheRoboCup2004Symposium,heldattheInstituto Superior T´ ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition. The papers presented here document the many...
    $219.36

    Add to Cart The item has been added
  • Agent Communication Agent Communication
    Add to Cart The item has been added

    Agent Communication

    Rogier M. van Eijk

    In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents has been one of the major topics of research in multiagent systems. The...
    $121.54

    Add to Cart The item has been added
  • Solving Polynomial Equations Solving Polynomial Equations
    Add to Cart The item has been added

    Solving Polynomial Equations

    Alicia Dickenstein

    The subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations. This study is at the heart of several areas of mathematics and its...
    $115.93

    Add to Cart The item has been added
  • SOFSEM 2005 SOFSEM 2005
    Add to Cart The item has been added

    SOFSEM 2005

    Maria Bieliková

    This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics - SOFSEM 2005, held on January 22-28, 2005 in LiptovskyJ ´...
    $121.54

    Add to Cart The item has been added
  • Peer-to-Peer Systems III Peer-to-Peer Systems III
    Add to Cart The item has been added

    Peer-to-Peer Systems III

    Geoffrey M. Voelker

    On February 26-27, 2004, the 3rd International Workshop on Peer-to-Peer S- tems (IPTPS 2004) brought researchers and practitioners together to discuss the latest developments in peer-to-peer...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Agent-Oriented Software Engineering V Agent-Oriented Software Engineering V
    Add to Cart The item has been added

    Agent-Oriented Software Engineering V

    James Odell

    The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems...
    $121.54

    Add to Cart The item has been added
  • Inconsistency Tolerance Inconsistency Tolerance
    Add to Cart The item has been added

    Inconsistency Tolerance

    Leopoldo Bertossi

    Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes...
    RRP: $93.49
    $91.62

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

    High Performance Computing - HiPC 2004

    Luc Bougé

    timely work, the quality of this program would not be as high nor would the process have run so smoothly. Ialsowishtothanktheothersupportingcastmemberswhohelpedinputtingtogether ...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Intelligent Information Technology Intelligent Information Technology
    Add to Cart The item has been added

    Intelligent Information Technology

    Gautam Das

    The 7th International Conference on Information Technology (CIT 2004) was held in Hyderabad, India, during December 20-23, 2004. The CIT 2004 was a forum where researchers from various areas of...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Global Computing Global Computing
    Add to Cart The item has been added

    Global Computing

    Corrado Priami

    This volume collects revised versions of some of the papers presented at the S- ond IST/FET International Workshop on Global Computing held in Rovereto, Italy (9-12 March, 2004). The workshop...
    $121.54

    Add to Cart The item has been added
  • Computational Logic in Multi-Agent Systems Computational Logic in Multi-Agent Systems
    Add to Cart The item has been added

    Computational Logic in Multi-Agent Systems

    João Leite

    Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • On the Move to Meaningful Internet Systems 2004 On the Move to Meaningful Internet Systems 2004
    Add to Cart The item has been added

    On the Move to Meaningful Internet Systems 2004

    Zahir Tari

    A special mention for 2004 is in order for the new Doctoral Symposium Workshop where three young postdoc researchers organized an original setup and formula to bring PhD students together and allow...
    $226.80

    Add to Cart The item has been added
  • Teaching Formal Methods Teaching Formal Methods
    Add to Cart The item has been added

    Teaching Formal Methods

    C. Neville Dean

    "Professional engineers can often be distinguished from other designers by the engineers' ability to use mathematical models to describe and 1 analyze their products." This observation by Parnas...
    $121.54

    Add to Cart The item has been added
  • Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design
    Add to Cart The item has been added

    Formal Methods in Computer-Aided Design

    Alan J. Hu

    These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for...
    $121.54

    Add to Cart The item has been added
  • Network and Parallel Computing Network and Parallel Computing
    Add to Cart The item has been added

    Network and Parallel Computing

    Hai Jin

    This proceedings contains the papers presented at the 2004 IFIP International Conference on Network and Parallel Computing (NPC 2004), held at Wuhan, China, from October 18 to 20, 2004. The goal of...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Logics in Artificial Intelligence Logics in Artificial Intelligence
    Add to Cart The item has been added

    Logics in Artificial Intelligence

    Jose Julio Alferes

    Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms,...
    $226.80

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