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
  • 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

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

    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

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

    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

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

    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

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

    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

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

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

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

    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

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

    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

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

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

    Applied Computing

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

    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

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

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

    Utility Computing

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

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

    Middleware 2004

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

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

    Graph Transformations

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

    Add to Cart The item has been added
  • Parameterized and Exact Computation Parameterized and Exact Computation
    Add to Cart The item has been added

    Parameterized and Exact Computation

    Thecentralchallengeoftheoreticalcomputerscienceistodeploymathematicsin waysthatservethecreationofusefulalgorithms. Inrecentyearstherehasbeena growinginterest in the two-dimensionalframework of...
    $116.00

    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

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

    Add to Cart The item has been added
  • Advances in Web-Based Learning - ICWL 2004 Advances in Web-Based Learning - ICWL 2004
    Add to Cart The item has been added

    Advances in Web-Based Learning - ICWL 2004

    With the rapid development of Web-based learning and new concepts like virtual cla- rooms, virtual laboratories and virtual universities, many issues need to be addressed. On the technical side,...
    $92.00

    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

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

    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

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

    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

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

    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

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

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

    Static Analysis

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

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

    RoboCup 2003

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

    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

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

    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

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

    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

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

    Add to Cart The item has been added
  • Advanced Distributed Systems Advanced Distributed Systems
    Add to Cart The item has been added

    Advanced Distributed Systems

    This volume contains the accepted papers from the 3rd International School andSymposium onAdvanced Distributed Systems heldin Guadalajara,Mexico, January24-30,2004...
    $122.00

    Add to Cart The item has been added
  • Program Development in Computational Logic Program Development in Computational Logic
    Add to Cart The item has been added

    Program Development in Computational Logic

    1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its...
    $122.00

    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

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

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