Programming and scripting languages: general Books

Sidebar Sidebar Sidebar
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Formal Methods for Mobile Computing Formal Methods for Mobile Computing
    Add to Cart The item has been added

    Formal Methods for Mobile Computing

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

    Add to Cart The item has been added
  • Term Rewriting and Applications Term Rewriting and Applications
    Add to Cart The item has been added

    Term Rewriting and Applications

    This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19- 21, 2005, at the Nara-Ken New Public Hall in the...
    $227.00

    Add to Cart The item has been added
  • Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
    Add to Cart The item has been added

    Typed Lambda Calculi and Applications

    The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and...
    $122.00

    Add to Cart The item has been added
  • Operational Semantics for Timed Systems Operational Semantics for Timed Systems
    Add to Cart The item has been added

    Operational Semantics for Timed Systems

    This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and...
    $92.00

    Add to Cart The item has been added
  • Embedded Systems Design Embedded Systems Design
    Add to Cart The item has been added

    Embedded Systems Design

    Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances...
    $184.00

    Add to Cart The item has been added
  • UML Modeling Languages and Applications UML Modeling Languages and Applications
    Add to Cart The item has been added

    UML Modeling Languages and Applications

    The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004. It was the seventh conference in a series of annual events that started in 1998. UML has rapidly become...
    $122.00

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

    Software Engineering and Middleware

    Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers to engineer distributed appli- tions more easily, providing abstractions...
    $122.00

    Add to Cart The item has been added
  • Adaptive Agents and Multi-Agent Systems II Adaptive Agents and Multi-Agent Systems II
    Add to Cart The item has been added

    Adaptive Agents and Multi-Agent Systems II

    Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental...
    $122.00

    Add to Cart The item has been added
  • Multiparadigm Programming in Mozart/Oz Multiparadigm Programming in Mozart/Oz
    Add to Cart The item has been added

    Multiparadigm Programming in Mozart/Oz

    To many readers, Mozart/Oz represents a new addition to the pantheon of p- gramming systems. One way of evaluating a newcomer is through the eyes of the classics, for example Kernighan and Pike's...
    $92.00

    Add to Cart The item has been added
  • FSTTCS 2004 FSTTCS 2004
    Add to Cart The item has been added

    FSTTCS 2004

    The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running conference on computer science in India, and is organized under...
    $92.00

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

    Agent-Oriented Software Engineering V

    The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems...
    $122.00

    Add to Cart The item has been added
  • UML 2004 - The Unified Modeling Language UML 2004 - The Unified Modeling Language
    Add to Cart The item has been added

    UML 2004 - The Unified Modeling Language

    This volumecomprises the ?nal versionsof the technicalpapers presented at the UML 2004 conference held in Lisbon (Portugal), October 11-15, 2004. UML 2004 was the seventh conference in a series of...
    $92.00

    Add to Cart The item has been added
  • Implementation of Functional Languages Implementation of Functional Languages
    Add to Cart The item has been added

    Implementation of Functional Languages

    Functional programminghas a long history,reaching back through early reali- tions in languages like LISP to foundational theories of computing, in particular ?-calculus and recursive function theory...
    $122.00

    Add to Cart The item has been added
  • Software Security - Theories and Systems Software Security - Theories and Systems
    Add to Cart The item has been added

    Software Security - Theories and Systems

    Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology,...
    $122.00

    Add to Cart The item has been added
  • Middleware 2004 Middleware 2004
    Add to Cart The item has been added

    Middleware 2004

    Middleware systems compriseprogrammingmodels, abstractions,protocols,and services to facilitate the design, the development, the integration, and the - ployment of distributed applications in...
    $227.00

    Add to Cart The item has been added
Programming and scripting languages: general