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
  • Scientific Applications of Grid Computing Scientific Applications of Grid Computing
    Add to Cart The item has been added

    Scientific Applications of Grid Computing

    We wish to extend a warm welcome to the reader of this extended postp- ceedings publication of SAG 2004, the 1st International Workshop on Scienti?c Applications on Grid Computing. This workshop was...
    $116.00

    Add to Cart The item has been added
  • Formal Methods for Mobile Computing Formal Methods for Mobile Computing
    Add to Cart The item has been added

    Formal Methods for Mobile Computing

    Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). ...
    $92.00

    Add to Cart The item has been added
  • Term Rewriting and Applications Term Rewriting and Applications
    Add to Cart The item has been added

    Term Rewriting and Applications

    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...
    $227.00

    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

    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...
    $122.00

    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

    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...
    $92.00

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

    ZB 2005

    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. ...
    $184.00

    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

    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...
    $122.00

    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

    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...
    $122.00

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

    Intelligent Agents and Multi-Agent Systems

    Autonomousagentsandmulti-agentsystemsarecomputationalsystemsinwhich several (semi-)autonomous agents interact with each other or work together to performsomesetoftasksorsatisfysomesetofgoals...
    $122.00

    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

    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...
    $122.00

    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

    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...
    $184.00

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

    Information Networking

    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...
    $327.00

    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

    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...
    $122.00

    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

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

    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

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

    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

    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...
    $92.00

    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

    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. ...
    $227.00

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

    RoboCup 2004

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

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

    Agent Communication

    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...
    $122.00

    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

    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...
    $116.00

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

    SOFSEM 2005

    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 ´...
    $122.00

    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

    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...
    $92.00

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

    FSTTCS 2004

    The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running conference on computer science in India, and is organized under...
    $92.00

    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

    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...
    $122.00

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

    Inconsistency Tolerance

    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...
    $92.00

    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

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

    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

    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...
    $92.00

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

    Global Computing

    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...
    $122.00

    Add to Cart The item has been added
  • Distributed Computing -- IWDC 2004 Distributed Computing -- IWDC 2004
    Add to Cart The item has been added

    Distributed Computing -- IWDC 2004

    Last, but not least, thanks to all the participants and authors. We hope that they enjoyed the workshop as much as the wonderful and culturally vibrant city of Kolkata! Bhabani P. Sinha Indian...
    $122.00

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