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

    Component Deployment

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    Add to Cart The item has been added
  • Generic Model Management Generic Model Management
    Add to Cart The item has been added

    Generic Model Management

    Many challenging problems in information systems engineering involve the manipulation of complex metadata artifacts or models, such as database schema, interface specifications, or object diagrams,...
    $122.00

    Add to Cart The item has been added
  • Software Product-Family Engineering Software Product-Family Engineering
    Add to Cart The item has been added

    Software Product-Family Engineering

    This book contains the proceedings of the 5th International Workshop on Product Family Engineering, PFE-5. This workshop was held in Siena, Italy, November 4-6, 2003. This workshop was the fifth in...
    $227.00

    Add to Cart The item has been added
  • COTS-Based Software Systems COTS-Based Software Systems
    Add to Cart The item has been added

    COTS-Based Software Systems

    In the short space of about a decade, Commercial-Off-the-Shelf (COTS) software has evolved through being a relatively minor aspect of software development; a t- ...
    $116.00

    Add to Cart The item has been added
  • Recent Advances in Constraints Recent Advances in Constraints
    Add to Cart The item has been added

    Recent Advances in Constraints

    Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming...
    $122.00

    Add to Cart The item has been added
  • Model Checking Software Model Checking Software
    Add to Cart The item has been added

    Model Checking Software

    Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999),...
    $122.00

    Add to Cart The item has been added
  • Functional and Logic Programming Functional and Logic Programming
    Add to Cart The item has been added

    Functional and Logic Programming

    This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7-9, 2004 at the New Public Hall, Nara. FLOPS is a...
    $116.00

    Add to Cart The item has been added
  • Numerical Software with Result Verification Numerical Software with Result Verification
    Add to Cart The item has been added

    Numerical Software with Result Verification

    Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually,...
    $92.00

    Add to Cart The item has been added
  • Organic and Pervasive Computing -- ARCS 2004 Organic and Pervasive Computing -- ARCS 2004
    Add to Cart The item has been added

    Organic and Pervasive Computing -- ARCS 2004

    Where is system architecture heading? The special interest group on Computer and Systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology...
    $122.00

    Add to Cart The item has been added
  • Product Focused Software Process Improvement Product Focused Software Process Improvement
    Add to Cart The item has been added

    Product Focused Software Process Improvement

    On behalf of the PROFES organizing committee we are proud to present to you the proceedings of the 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), held in...
    $92.00

    Add to Cart The item has been added
  • Applications of Evolutionary Computing Applications of Evolutionary Computing
    Add to Cart The item has been added

    Applications of Evolutionary Computing

    Evolutionary Computation (EC) deals with problem solving, optimization, and machine learning techniques inspired by principles of natural evolution and - netics. Just from this basic de?nition, it is...
    $92.00

    Add to Cart The item has been added
  • Higher-Level Hardware Synthesis Higher-Level Hardware Synthesis
    Add to Cart The item has been added

    Higher-Level Hardware Synthesis

    In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article published...
    $122.00

    Add to Cart The item has been added
  • CASL Reference Manual CASL Reference Manual
    Add to Cart The item has been added

    CASL Reference Manual

    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language...
    $220.00

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

    Compiler Construction

    The CC program committee is pleased to present this volume with the p- ceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for...
    $122.00

    Add to Cart The item has been added
  • Active Networks Active Networks
    Add to Cart The item has been added

    Active Networks

    This volume of the LNCS series contains the proceedings of the 5th Internat- nal Working Conference on Active Networks (IWAN 2003) held in the ancient cultural city of Kyoto, Japan. This year we...
    $92.00

    Add to Cart The item has been added
  • Engineering Self-Organising Systems Engineering Self-Organising Systems
    Add to Cart The item has been added

    Engineering Self-Organising Systems

    As information handling systems get more and more complex, it becomes increasingly difficult to manage them using traditional approaches based on centralized and pre-defined control mechanisms. Over...
    $92.00

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

    Software Engineering 2

    The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly...
    $116.00

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

    Software Engineering 1

    The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, ...
    $220.00

    Add to Cart The item has been added
  • Large-Scale Scientific Computing Large-Scale Scientific Computing
    Add to Cart The item has been added

    Large-Scale Scientific Computing

    Thepapersinthis volumewerepresentedatthe4thInternationalConferenceon Large-Scale Scienti?c Computations ICLSSC 2003. It was held in Sozopol, B- garia, June 4-8, 2003. The conference was organized and...
    $92.00

    Add to Cart The item has been added
  • Coordination Models and Languages Coordination Models and Languages
    Add to Cart The item has been added

    Coordination Models and Languages

    This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. ...
    $116.00

    Add to Cart The item has been added
  • Concept Lattices Concept Lattices
    Add to Cart The item has been added

    Concept Lattices

    This volume contains the Proceedings of ICFCA 2004, the 2nd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of...
    $92.00

    Add to Cart The item has been added
  • Formal Approaches to Software Testing Formal Approaches to Software Testing
    Add to Cart The item has been added

    Formal Approaches to Software Testing

    Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the...
    $92.00

    Add to Cart The item has been added
  • A Theory of Distributed Objects A Theory of Distributed Objects
    Add to Cart The item has been added

    A Theory of Distributed Objects

    Offers an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. Presents and analyses many implementation strategies that can readily be used by developers...
    $184.00

    Add to Cart The item has been added
  • Component-Based Software Testing with UML Component-Based Software Testing with UML
    Add to Cart The item has been added

    Component-Based Software Testing with UML

    Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the...
    $122.00

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