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

    Generic Model Management

    Sergey Melnik

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

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

    Software Engineering Research and Applications

    C.V. Ramamoorthy

    It was our great pleasure to extend a welcome to all who participated in SERA 2003, the ?rst world-classs International Conference on Software Engineering Research and Applications, which was held at...
    $121.54

    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

    Frank van der Linden

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

    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

    Rick Kazman

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

    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

    Krzysztof Apt

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

    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

    Susanne Graf

    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),...
    $121.54

    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

    Yukiyoshi Kameyama

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

    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

    René Alt

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

    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

    Frank Bomarius

    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...
    RRP: $93.49
    $91.62

    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

    Günther R. Raidl

    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...
    RRP: $93.49
    $91.62

    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

    Richard Sharp

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

    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

    Peter D. Mosses

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

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

    Active Networks

    Naoki Wakamiya

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

    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

    Giovanna Di Marzo Serugendo

    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...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Languages and Compilers for Parallel Computing Languages and Compilers for Parallel Computing
    Add to Cart The item has been added

    Languages and Compilers for Parallel Computing

    Lawrence Rauchwerger

    This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2003, held in College Station, ...
    $121.54

    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

    Dines Bjørner

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

    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

    Dines Bjørner

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

    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

    Ivan Lirkov

    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...
    RRP: $93.49
    $91.62

    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

    Rocco De Nicola

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

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

    Concept Lattices

    Peter Eklund

    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...
    RRP: $93.49
    $91.62

    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

    Andreas Ulrich

    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...
    RRP: $93.49
    $91.62

    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

    Luca Cardelli

    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...
    RRP: $185.90
    $183.11

    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

    Hans-Gerhard Gross

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

    Add to Cart The item has been added
  • Mobile and Ubiquitous Information Access Mobile and Ubiquitous Information Access
    Add to Cart The item has been added

    Mobile and Ubiquitous Information Access

    Fabio Crestani

    The ongoing migration of computing and information access from the desktop and te- phone to mobile computing devices such as PDAs, tablet PCs, and next-generation (3G) phones poses critical...
    $121.54

    Add to Cart The item has been added
  • Wired/Wireless Internet Communications Wired/Wireless Internet Communications
    Add to Cart The item has been added

    Wired/Wireless Internet Communications

    Peter Langendoerfer

    TheInternationalConferenceonWired/WirelessInternetCommunications(WWIC)was held for the second time, following a successful start in 2002, in LasVegas. The goal of ...
    $115.93

    Add to Cart The item has been added
  • Perspectives of Systems Informatics Perspectives of Systems Informatics
    Add to Cart The item has been added

    Perspectives of Systems Informatics

    Manfred Broy

    Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), July 9-12, 2003...
    $121.54

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

    CASL User Manual

    Michel Bidoit

    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 ...
    RRP: $93.49
    $91.62

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

    Logic Programming and Nonmonotonic Reasoning

    Vladimir Lifschitz

    The papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January 6-8, 2004...
    $121.54

    Add to Cart The item has been added
  • FST TCS 2003 FST TCS 2003
    Add to Cart The item has been added

    FST TCS 2003

    Paritosh K Pandya

    Over the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have been providing an - nual forum in India for the presentation and...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Form-Oriented Analysis Form-Oriented Analysis
    Add to Cart The item has been added

    Form-Oriented Analysis

    Dirk Draheim

    Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel way to achieve a...
    $226.80

    Add to Cart The item has been added
  • Advances in Learning Software Organizations Advances in Learning Software Organizations
    Add to Cart The item has been added

    Advances in Learning Software Organizations

    Frank Maurer

    The theme of the 4th International Workshop on Learning Software Organizations (LSO 2002) was "BalancingAgile Processes and Long-Term Learning in Software - ganizations."The LSOWorkshop series...
    $121.54

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

    Advances in Agent Communication

    Frank Dignum

    InthisbookwepresentacollectionofpapersaroundthetopicofAgentCom- nication. The communication between agents has been one of the major topics of research in multi-agent systems. The current work can...
    $121.54

    Add to Cart The item has been added
  • Formal Methods at the Crossroads Formal Methods at the Crossroads
    Add to Cart The item has been added

    Formal Methods at the Crossroads

    Bernhard K. Aichernig

    This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18-21, 2002. Armando...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Matchmaking in Electronic Markets Matchmaking in Electronic Markets
    Add to Cart The item has been added

    Matchmaking in Electronic Markets

    Daniel J. Veit

    Electronic negotiations concern transactions on the basis of electronic media, such as the Internet. Platforms have been developed to aid participants in electronic markets during the agreement ...
    $121.54

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

    On The Move to Meaningful Internet Systems 2003

    Zahir Tari

    missions in fact also treat an envisaged mutual impact among them. As for the 2002 edition in Irvine, the organizers wanted to stimulate this cross-pollination with a program of shared famous keynote...
    $264.24

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