Computer programming / software engineering Books

Sidebar Sidebar Sidebar
  • Computational Logic Computational Logic
    Add to Cart The item has been added

    Computational Logic

    Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a...
    $227.00

    Add to Cart The item has been added
  • FME 2002 FME 2002
    Add to Cart The item has been added

    FME 2002

    This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are...
    $184.00

    Add to Cart The item has been added
  • Funktionale Programmierung Funktionale Programmierung
    Add to Cart The item has been added

    Funktionale Programmierung

    Dieses Lehrbuch gibt eine kompakte Einführung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich...
    $71.00

    Add to Cart The item has been added
  • Life Long Learning Life Long Learning
    Add to Cart The item has been added

    Life Long Learning

    Lernen mit elektronischen Dokumenten wird immer wichtiger. Der entscheidende Vorteil des Mediums Computer ist die Möglichkeit, dynamische Dokumente zu erzeugen. Diese Dynamik kann zum einen in den...
    $89.00

    Add to Cart The item has been added
  • Automata, Languages and Programming Automata, Languages and Programming
    Add to Cart The item has been added

    Automata, Languages and Programming

    This volume contains the contributions of the 29th International Colloquium on Automata, Languages, and Programming (ICALP) held July8-13, 2002 in M´alaga, Spain. The diversityand the qualityof the...
    $226.00

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

    Computational Science - ICCS 2002

    Computational Science is the scienti?c discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems. The area of...
    $280.00

    Add to Cart The item has been added
  • Intelligent Agents VIII Intelligent Agents VIII
    Add to Cart The item has been added

    Intelligent Agents VIII

    This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on "Agent Theories, Architectures, and L- guages" have established themselves as a...
    $92.00

    Add to Cart The item has been added
  • Innovative Internet Computing Systems Innovative Internet Computing Systems
    Add to Cart The item has been added

    Innovative Internet Computing Systems

    2 I CS2002wasthesecondworkshoponInnovativeInternetComputingSystems, a series of international workshops on system and information management for 2 theNextGenerationInternet(NGI)...
    $116.00

    Add to Cart The item has been added
  • Software Quality - ECSQ 2002 Software Quality - ECSQ 2002
    Add to Cart The item has been added

    Software Quality - ECSQ 2002

    Software professionals and companies live in a new world today. Increasingly complex systems need to be built faster and cheaper. While many of the est- lished approaches in software quality are...
    $122.00

    Add to Cart The item has been added
  • B2B Integration B2B Integration
    Add to Cart The item has been added

    B2B Integration

    Business-to-business (B2B) integration is a buzzword which has been used a lot in recent years, with a variety of meanings. Starting with a clear technical definition of this term and its relation to...
    $122.00

    Add to Cart The item has been added
  • Soft-Ware 2002 Soft-Ware 2002
    Add to Cart The item has been added

    Soft-Ware 2002

    This was the ?rst conference of a new series devoted to the e?ective handling of soft issues in the design, development, and operation of computing systems. The conference brought together...
    $122.00

    Add to Cart The item has been added
  • Contracts, Scenarios and Prototypes Contracts, Scenarios and Prototypes
    Add to Cart The item has been added

    Contracts, Scenarios and Prototypes

    What is this Book About? At the beginning of the 21st century, computer systems-and especially so- ware-play an important role in our society. Software is contained in virtually every technical...
    $116.00

    Add to Cart The item has been added
  • Advances in Cryptology - EUROCRYPT 2002 Advances in Cryptology - EUROCRYPT 2002
    Add to Cart The item has been added

    Advances in Cryptology - EUROCRYPT 2002

    This book constitutes the refereed proceedings of the International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT 2002, held in Amsterdam, The Netherlands, in...
    $220.00

    Add to Cart The item has been added
  • Programming Constraint Services Programming Constraint Services
    Add to Cart The item has been added

    Programming Constraint Services

    Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti?cial Intelligence,...
    $122.00

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

    Software Visualization

    This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own. Based on a seminar held at Dagstuhl Castle in May 2001, the book offers...
    $116.00

    Add to Cart The item has been added
  • Agent-Oriented Software Engineering II Agent-Oriented Software Engineering II
    Add to Cart The item has been added

    Agent-Oriented Software Engineering II

    Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally. One of the most...
    $92.00

    Add to Cart The item has been added
  • Object Modeling with the OCL Object Modeling with the OCL
    Add to Cart The item has been added

    Object Modeling with the OCL

    As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system...
    $122.00

    Add to Cart The item has been added
  • ZB 2002 ZB 2002
    Add to Cart The item has been added

    ZB 2002

    These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps...
    $92.00

    Add to Cart The item has been added
  • Rough-Neural Computing Rough-Neural Computing
    Add to Cart The item has been added

    Rough-Neural Computing

    Soft computing comprises various paradigms dedicated to approximately solving real-world problems, e.g. in decision making, classification or learning; among these paradigms are fuzzy sets, rough...
    $335.00

    Add to Cart The item has been added
  • Stochastic Algorithms Stochastic Algorithms
    Add to Cart The item has been added

    Stochastic Algorithms

    SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13-14, 2001 in Berlin, Germany. The present volume comprises contributed papers and four...
    $122.00

    Add to Cart The item has been added
  • Progress in Cryptology - INDOCRYPT 2001 Progress in Cryptology - INDOCRYPT 2001
    Add to Cart The item has been added

    Progress in Cryptology - INDOCRYPT 2001

    INDOCRYPT 2001, the Second Annual Crypto Conference, is proof of the s- ni?cant amount of enthusiasm generated among Indian as well as International crypto communities. INDOCRYPT 2001 was organized...
    $122.00

    Add to Cart The item has been added
  • Formal and Natural Computing Formal and Natural Computing
    Add to Cart The item has been added

    Formal and Natural Computing

    This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics...
    $122.00

    Add to Cart The item has been added
  • Advances in Soft Computing - AFSS 2002 Advances in Soft Computing - AFSS 2002
    Add to Cart The item has been added

    Advances in Soft Computing - AFSS 2002

    It is our great pleasure to welcome you all to the 2002 AFSS International Conference on Fuzzy Systems (AFSS 2002) to be held in Calcutta, the great City of Joy. AFSS 2002 is the ?fth conference in...
    $227.00

    Add to Cart The item has been added
  • Multiset Processing Multiset Processing
    Add to Cart The item has been added

    Multiset Processing

    Themultiset (a set with multiplicities associated with its elements, in the form of natural numbers) is a notion which has appeared again and again in many areas of mathematics and computer science,...
    $116.00

    Add to Cart The item has been added
  • Transactional Agents Transactional Agents
    Add to Cart The item has been added

    Transactional Agents

    The term "agent" is one of those catchwords that mean widely differing things to different people. To telecommunications people it is little more than a mobile piece of code that may be executed at...
    $122.00

    Add to Cart The item has been added
  • High Performance Computing - HiPC 2001 High Performance Computing - HiPC 2001
    Add to Cart The item has been added

    High Performance Computing - HiPC 2001

    MessagefromtheGeneralCo-Chairs It is our pleasure to welcome you to the Eighth International Conference on High Performance Computing and to Hyderabad, a leading center for Infor- ...
    $122.00

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

    FST TCS 2001

    This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the...
    $92.00

    Add to Cart The item has been added
  • Advances in Cryptology Asiacrypt 2001 Advances in Cryptology Asiacrypt 2001
    Add to Cart The item has been added

    Advances in Cryptology Asiacrypt 2001

    The origins of the Asiacrypt series of conferences can be traced back to 1990, when the ?rst Auscrypt conference was held, although the name Asiacrypt was ?rst used for the 1991 conference in Japan...
    $122.00

    Add to Cart The item has been added
  • Theoretical Aspects of Computer Software Theoretical Aspects of Computer Software
    Add to Cart The item has been added

    Theoretical Aspects of Computer Software

    This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The...
    $122.00

    Add to Cart The item has been added
  • Persistent Object Systems Persistent Object Systems
    Add to Cart The item has been added

    Persistent Object Systems

    The Ninth International Workshop on Persistent Object Systems (POS 9) took place at the SAS Radisson Hotel in Lillehammer, Norway, from 6th to 8th September 2000. Previous workshops in the series...
    $92.00

    Add to Cart The item has been added
  • SOFSEM 2001 SOFSEM 2001
    Add to Cart The item has been added

    SOFSEM 2001

    SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 - December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This...
    $92.00

    Add to Cart The item has been added
  • Automata Implementation Automata Implementation
    Add to Cart The item has been added

    Automata Implementation

    This volume contains the revised versions of papers presented at the fourth international Workshop on Implementing Automata (WIA), held 17-19 July, 1999, at Potsdam University, Germany. As for its...
    $92.00

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