Computer programming / software engineering Books

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

    History of Computing

    Ulf Hashagen

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

    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

    Isabelle Attali

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

    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

    Adam L. Buchsbaum

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

    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

    Michal Pechoucek

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

    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

    Rogério de Lemos

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

    Add to Cart The item has been added
  • Computer and Information Sciences - ISCIS 2005 Computer and Information Sciences - ISCIS 2005
    Add to Cart The item has been added

    Computer and Information Sciences - ISCIS 2005

    Pinar Yolum

    This volume collects a subset of the high-quality papers that were accepted for presentationatthe20thInternationalSymposiumonComputerandInformation Sciences (ISCIS). ISCIS 2005 was organized by the...
    RRP: $185.90
    $183.11

    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

    Christian Kop

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

    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

    Ralf Steinmetz

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

    Add to Cart The item has been added
  • Theoretical Aspects of Computing - ICTAC 2005 Theoretical Aspects of Computing - ICTAC 2005
    Add to Cart The item has been added

    Theoretical Aspects of Computing - ICTAC 2005

    Dang Van Hung

    This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICTAC...
    $226.80

    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

    Bernhard Gramlich

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

    Add to Cart The item has been added
  • High Performance Computing and Communications High Performance Computing and Communications
    Add to Cart The item has been added

    High Performance Computing and Communications

    Jack Dongarra

    Welcome to the proceedings of the 2005 International Conference on High P- formance Computing and Communications (HPCC 2005) which was held in Sorrento (Naples), Italy, September 21-23, 2005. ...
    RRP: $273.90
    $269.79

    Add to Cart The item has been added
  • Model Driven Engineering Languages and Systems Model Driven Engineering Languages and Systems
    Add to Cart The item has been added

    Model Driven Engineering Languages and Systems

    Lionel Briand

    The MoDELS (Model Driven Engineering, Languages, and Systems) conference is a continuation of the successful series of UML conferences. This volume contains the ?nal versions of the technical papers...
    $219.36

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

    UbiComp 2005

    Michael Beigl

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

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

    Software Composition

    Thomas Gschwind

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

    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

    Torsten Eymann

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

    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

    José Luis Fiadeiro

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

    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

    Varmo Vene

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

    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

    Robert Nieuwenhuis

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

    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

    Martín Abadi

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

    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

    Malyshkin Victor

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

    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

    Andrew Black

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

    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

    Jean-Pierre Banâtre

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

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

    FM 2005

    John Fitzgerald

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

    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

    Marie-Pierre Gleizes

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

    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

    Manfred Broy

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

    Add to Cart The item has been added
  • Declarative Agent Languages and Technologies II Declarative Agent Languages and Technologies II
    Add to Cart The item has been added

    Declarative Agent Languages and Technologies II

    João Leite

    The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the...
    $121.54

    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

    Henning Christiansen

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

    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

    Hans Dobbertin

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

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

    SDL 2005

    Andreas Prinz

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

    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

    Gianfranco Ciardo

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

    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

    Theo Härder

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

    Add to Cart The item has been added
  • Reliable Software Technology - Ada-Europe 2005 Reliable Software Technology - Ada-Europe 2005
    Add to Cart The item has been added

    Reliable Software Technology - Ada-Europe 2005

    Tullio Vardanega

    Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International...
    $121.54

    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

    Barry S. Cooper

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

    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

    V.S. Sunderam

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

    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

    Stefan Biffl

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

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

    Jayantha Katupitiya

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

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

    Scientific Applications of Grid Computing

    Maria S. Pérez

    We wish to extend a warm welcome to the reader of this extended postp- ceedings publication of SAG 2004, the 1st International Workshop on Scienti?c Applications on Grid Computing. This workshop was...
    $115.93

    Add to Cart The item has been added
  • Formal Methods for Mobile Computing Formal Methods for Mobile Computing
    Add to Cart The item has been added

    Formal Methods for Mobile Computing

    Marco Bernardo

    Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). ...
    RRP: $93.49
    $91.62

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