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
  • UML 2004 - The Unified Modeling Language UML 2004 - The Unified Modeling Language
    Add to Cart The item has been added

    UML 2004 - The Unified Modeling Language

    Thomas Baar

    This volumecomprises the ?nal versionsof the technicalpapers presented at the UML 2004 conference held in Lisbon (Portugal), October 11-15, 2004. UML 2004 was the seventh conference in a series of...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Architecting Dependable Systems II Architecting Dependable Systems II
    Add to Cart The item has been added

    Architecting Dependable Systems II

    Rogério de Lemos

    As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken into account from the very beginning of the design...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Implementation of Functional Languages Implementation of Functional Languages
    Add to Cart The item has been added

    Implementation of Functional Languages

    Phil Trinder

    Functional programminghas a long history,reaching back through early reali- tions in languages like LISP to foundational theories of computing, in particular ?-calculus and recursive function theory...
    $121.54

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

    Applied Computing

    Suresh Manandhar

    The focus of the Asian Applied Computing Conference (AACC) is primarily to bring the research in computer science closer to practical applications. The conference is aimed primarily at topics that...
    $121.54

    Add to Cart The item has been added
  • Software Security - Theories and Systems Software Security - Theories and Systems
    Add to Cart The item has been added

    Software Security - Theories and Systems

    Kokichi Futatsugi

    Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology,...
    $121.54

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

    Utility Computing

    Akhil Sahai

    This volume of the Lecture Notes in Computer Science series contains all the papersacceptedforpresentationatthe13thIFIP/IEEEInternationalWorkshop on Distributed Systems: Operations and Management...
    RRP: $93.49
    $91.62

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

    Middleware 2004

    Hans-Arno Jacobsen

    Middleware systems compriseprogrammingmodels, abstractions,protocols,and services to facilitate the design, the development, the integration, and the - ployment of distributed applications in...
    $226.80

    Add to Cart The item has been added
  • Graph Transformations Graph Transformations
    Add to Cart The item has been added

    Graph Transformations

    Hartmut Ehrig

    ICGT 2004 was the 2nd International Conference on Graph Transformation, following the ?rst one in Barcelona (2002), and a series of six international workshops on graph grammars with applications in...
    RRP: $93.49
    $91.62

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

    CONCUR 2004 -- Concurrency Theory

    Philippa Gardner

    This volume contains the proceedings of the 15th International Conference on Concurrency Theory (CONCUR 2004) held in the Royal Society, London, UK, from the 31st August to the 3rd September, 2004. ...
    $121.54

    Add to Cart The item has been added
  • Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
    Add to Cart The item has been added

    Theorem Proving in Higher Order Logics

    Konrad Slind

    This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. TPHOLs covers...
    $121.54

    Add to Cart The item has been added
  • Formal Methods for Components and Objects Formal Methods for Components and Objects
    Add to Cart The item has been added

    Formal Methods for Components and Objects

    Frank S. de Boer

    Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the ...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Inductive Logic Programming Inductive Logic Programming
    Add to Cart The item has been added

    Inductive Logic Programming

    Rui Camacho

    Invited Papers.- Automated Synthesis of Data Analysis Programs: Learning in Logic.- At the Interface of Inductive Logic Programming and Statistics.- From Promising to Profitable Applications of ILP:...
    $121.54

    Add to Cart The item has been added
  • Euro-Par 2004 Parallel Processing Euro-Par 2004 Parallel Processing
    Add to Cart The item has been added

    Euro-Par 2004 Parallel Processing

    Marco Danelutto

    Euro-Par Conference Series Euro-Par is an annual series of international conferences dedicated to the p- motion and advancement of all aspectsof parallelcomputing. The major themes can be divided...
    RRP: $252.89
    $249.10

    Add to Cart The item has been added
  • Static Analysis Static Analysis
    Add to Cart The item has been added

    Static Analysis

    Roberto Giacobazzi

    Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages...
    RRP: $93.49
    $91.62

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

    RoboCup 2003

    Daniel Polani

    RoboCup 2003, the 7th Robot World Cup Soccer and Rescue Competitions and Conferences, was held at PadovaFiere, in Padua, Italy during July 2-11, 2003. Following the trend established in recent years,...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
    Add to Cart The item has been added

    Algebraic Methodology and Software Technology

    Charles Rattray

    This volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebraic Methodology and Software Technology, held during July 12-16,2004,in Stirling, Scotland, UK. The...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Lectures on Concurrency and Petri Nets Lectures on Concurrency and Petri Nets
    Add to Cart The item has been added

    Lectures on Concurrency and Petri Nets

    Jörg Desel

    Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.-...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Computer Human Interaction Computer Human Interaction
    Add to Cart The item has been added

    Computer Human Interaction

    Masood Masoodian

    APCHI 2004 was the sixth Asia-Paci?c Conference on Computer-Human Int- action, and was the ?rst APCHI to be held in New Zealand. This conference series provides opportunities for HCI researchers and...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Logic Based Program Synthesis and Transformation Logic Based Program Synthesis and Transformation
    Add to Cart The item has been added

    Logic Based Program Synthesis and Transformation

    Maurice Bruynooghe

    This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based...
    RRP: $93.49
    $91.62

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

    ECOOP 2004 - Object-Oriented Programming

    Martin Odersky

    ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread...
    $226.80

    Add to Cart The item has been added
  • Domain-Specific Program Generation Domain-Specific Program Generation
    Add to Cart The item has been added

    Domain-Specific Program Generation

    Christian Lengauer

    Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written ...
    $115.93

    Add to Cart The item has been added
  • Component Deployment Component Deployment
    Add to Cart The item has been added

    Component Deployment

    Wolfgang Emmerich

    This volume of the Lecture Notes in Computer Science series contains the p- ceedings of the second Working Conference on Component Deployment, which took place May 20-21, 2004, at the e-Science...
    $121.54

    Add to Cart The item has been added
  • Soft Computing in Software Engineering Soft Computing in Software Engineering
    Add to Cart The item has been added

    Soft Computing in Software Engineering

    Ernesto Damiani

    Soft computing is playing an increasing role in the study of complex systems in science and engineering. There is a large spectrum of successful applications of soft computing in very different...
    $334.16

    Add to Cart The item has been added
  • Validation of Stochastic Systems Validation of Stochastic Systems
    Add to Cart The item has been added

    Validation of Stochastic Systems

    Christel Baier

    It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project "Validation of...
    $121.54

    Add to Cart The item has been added
  • Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
    Add to Cart The item has been added

    Practical Aspects of Declarative Languages

    Bharat Jayaraman

    The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and...
    $121.54

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

    Programming Multi-Agent Systems

    Mehdi Dastani

    Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made...
    $121.54

    Add to Cart The item has been added
  • Types for Proofs and Programs Types for Proofs and Programs
    Add to Cart The item has been added

    Types for Proofs and Programs

    Stefano Berardi

    These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST...
    RRP: $93.49
    $91.62

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

    Rewriting Techniques and Applications

    Vincent van Oostrom

    This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2- 5, 2004, at the RWTH Aachen in Germany. RTA is...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Computational Science - ICCS 2004 Computational Science - ICCS 2004
    Add to Cart The item has been added

    Computational Science - ICCS 2004

    Marian Bubak

    The International Conference on Computational Science (ICCS 2004) held in Krak´ ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne,...
    $199.42

    Add to Cart The item has been added
  • Objects, Agents, and Features Objects, Agents, and Features
    Add to Cart The item has been added

    Objects, Agents, and Features

    Mark D. Ryan

    In recent years, concepts in object-oriented modeling and programming have been extended in several directions, giving rise to new paradigms such as age- orientation and feature-orientation. This...
    $121.54

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