Computer programming / software engineering Books

Sidebar Sidebar Sidebar
  • Middleware 2001 Middleware 2001
    Add to Cart The item has been added

    Middleware 2001

    This book constitutes the refereed proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms, Middleware 2001, held in Heidelberg, Germany, in November 2001.The 20 revised...
    $92.00

    Add to Cart The item has been added
  • Proof Theory in Computer Science Proof Theory in Computer Science
    Add to Cart The item has been added

    Proof Theory in Computer Science

    Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory...
    $122.00

    Add to Cart The item has been added
  • History of Computing History of Computing
    Add to Cart The item has been added

    History of Computing

    The papers in this volume were presented at a conference that was designed to map out historical study needs in one area of the history of computing, namely, software. The Paderbom conference was...
    $116.00

    Add to Cart The item has been added
  • Smart Card Programming and Security Smart Card Programming and Security
    Add to Cart The item has been added

    Smart Card Programming and Security

    The E-smart 2001 international conference on research in smart cards was held in Cannes, France on 19-21 September. The conference was jointlyorganized bythe Java Card Forum, Eurosmart and INRIA, and...
    $116.00

    Add to Cart The item has been added
  • Algorithm Engineering and Experimentation Algorithm Engineering and Experimentation
    Add to Cart The item has been added

    Algorithm Engineering and Experimentation

    This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Algorithm Engineering and Experimentation, ALENEX 2001, held in Washington, DC, USA in January...
    $92.00

    Add to Cart The item has been added
  • Multi-Agent Systems and Applications IV Multi-Agent Systems and Applications IV
    Add to Cart The item has been added

    Multi-Agent Systems and Applications IV

    The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results. With its p- ticular geographicalorientation towards...
    $184.00

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

    Architecting Dependable Systems III

    As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process,...
    $92.00

    Add to Cart The item has been added
  • Conceptual Modeling - ER 2005 Conceptual Modeling - ER 2005
    Add to Cart The item has been added

    Conceptual Modeling - ER 2005

    Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would...
    $116.00

    Add to Cart The item has been added
  • Peer-to-Peer Systems and Applications Peer-to-Peer Systems and Applications
    Add to Cart The item has been added

    Peer-to-Peer Systems and Applications

    Starting with Napster and Gnutella, peer-to-peer systems became an integrated part of the Internet fabric attracting millions of users. According to recent evaluations, peer-to-peer traffic now...
    $116.00

    Add to Cart The item has been added
  • Frontiers of Combining Systems Frontiers of Combining Systems
    Add to Cart The item has been added

    Frontiers of Combining Systems

    This volume contains the proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) held September 19-21, 2005 in Vienna, Austria. Previously, FroCoS was organized...
    $122.00

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

    UbiComp 2005

    The 7th International Conference on Ubiquitous Computing (UbiComp 2005) marked the ?rst time that this premier venue for original research contributions in ubiquitous computing was held in Asia. The...
    $122.00

    Add to Cart The item has been added
  • Software Composition Software Composition
    Add to Cart The item has been added

    Software Composition

    Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These advantages have also been identi?ed by the industry,...
    $92.00

    Add to Cart The item has been added
  • Multiagent System Technologies Multiagent System Technologies
    Add to Cart The item has been added

    Multiagent System Technologies

    After two successful MATES conferences in Erfurt 2003 and 2004, the 3rd G- man conference on Multi-agent System Technologies (MATES 2005) took place in Koblenz, Germany, in September 2005, and was...
    $122.00

    Add to Cart The item has been added
  • Algebra and Coalgebra in Computer Science Algebra and Coalgebra in Computer Science
    Add to Cart The item has been added

    Algebra and Coalgebra in Computer Science

    In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to...
    $122.00

    Add to Cart The item has been added
  • Advanced Functional Programming Advanced Functional Programming
    Add to Cart The item has been added

    Advanced Functional Programming

    This volume contains the revised lecture notes corresponding to nine of the lecturecoursespresentedatthe5thInternationalSchoolonAdvancedFunctional Programming, AFP 2004, held in Tartu, Estonia,...
    $116.00

    Add to Cart The item has been added
  • Automated Deduction - CADE-20 Automated Deduction - CADE-20
    Add to Cart The item has been added

    Automated Deduction - CADE-20

    This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22-27,2005inTallinn,Es-...
    $122.00

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

    CONCUR 2005 - Concurrency Theory

    This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together...
    $122.00

    Add to Cart The item has been added
  • Parallel Computing Technologies Parallel Computing Technologies
    Add to Cart The item has been added

    Parallel Computing Technologies

    The PaCT 2005 (Parallel Computing Technologies) conference was a four-day conference held in Krasnoyarsk, September 5-9, 2005. This was the Eighth - ternational conference in the PaCT series. The...
    $122.00

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

    ECOOP 2005 - Object-Oriented Programming

    The 19th Annual Meeting of the European Conference on Object-Oriented Programming-ECOOP 2005-took place during the last week of July in Glasgow, Scotland, UK. This volume includes the refereed...
    $227.00

    Add to Cart The item has been added
  • Unconventional Programming Paradigms Unconventional Programming Paradigms
    Add to Cart The item has been added

    Unconventional Programming Paradigms

    Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information,...
    $92.00

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

    FM 2005

    This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005. Formal Methods Europe (FME, www...
    $116.00

    Add to Cart The item has been added
  • Engineering Societies in the Agents World V Engineering Societies in the Agents World V
    Add to Cart The item has been added

    Engineering Societies in the Agents World V

    The ?rst workshop "Engineering Societies in the Agents World" (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti?cial Intelligence (ECAI 2000) in Berlin. It was...
    $92.00

    Add to Cart The item has been added
  • Model-Based Testing of Reactive Systems Model-Based Testing of Reactive Systems
    Add to Cart The item has been added

    Model-Based Testing of Reactive Systems

    Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been...
    $116.00

    Add to Cart The item has been added
  • Constraint Solving and Language Processing Constraint Solving and Language Processing
    Add to Cart The item has been added

    Constraint Solving and Language Processing

    This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held...
    $122.00

    Add to Cart The item has been added
  • Advanced Encryption Standard - AES Advanced Encryption Standard - AES
    Add to Cart The item has been added

    Advanced Encryption Standard - AES

    This volume comprises the proceedings of the 4th Conference on Advanced - cryption Standard, 'AES - State of the Crypto Analysis,' which was held in Bonn, Germany, during 10-12 May 2004. The...
    $92.00

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

    SDL 2005

    This volume contains the papers presented at the 12th SDL Forum, Grimstad, Norway. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with...
    $122.00

    Add to Cart The item has been added
  • Applications and Theory of Petri Nets 2005 Applications and Theory of Petri Nets 2005
    Add to Cart The item has been added

    Applications and Theory of Petri Nets 2005

    This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to...
    $122.00

    Add to Cart The item has been added
  • Data Management in a Connected World Data Management in a Connected World
    Add to Cart The item has been added

    Data Management in a Connected World

    Data management systems play the most crucial role in building large application s- tems. Since modern applications are no longer single monolithic software blocks but highly flexible and...
    $92.00

    Add to Cart The item has been added
  • New Computational Paradigms New Computational Paradigms
    Add to Cart The item has been added

    New Computational Paradigms

    CiE 2005: New Computational Paradigms http://www. illc. uva. nl/CiE/ ThecooperationComputabilityinEurope (CiE)isaninformalEuropeannetwork covering computability in theoretical computer science and...
    $227.00

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

    Computational Science -- ICCS 2005

    The Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, May 22-25, 2005, continued in the tradition of p- vious conferences in the series: ICCS 2004 in...
    $309.00

    Add to Cart The item has been added
  • Value-Based Software Engineering Value-Based Software Engineering
    Add to Cart The item has been added

    Value-Based Software Engineering

    Ross Jeffery When, as a result of pressure from the CEO, the Chief Information Officer poses the question "Just what is this information system worth to the organization?" the IT staff members are...
    $335.00

    Add to Cart The item has been added
  • Interfacing with C++ Interfacing with C++
    Add to Cart The item has been added

    Interfacing with C++

    Learn to write C++ programs by interfacing a computer to a wide range of popular and fundamental real-world technologies. Unique and original approach to use the PC to do real things- not ...
    $92.00

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