Programming and scripting languages: general Books

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

    UML Modeling Languages and Applications

    Nuno Jardim Nunes

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

    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

    Thomas Gschwind

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

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

    Theoretical Aspects of Computing - ICTAC 2004

    Zhiming Liu

    This volume contains the proceedings of ICTAC 2004, the 1st International Colloquium on Theoretical Aspects of Computing, which was held in Guiyang, China on 20-24 September 2004. ICTAC was founded...
    $226.80

    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

    Daniel Kudenko

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

    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

    Peter Van Roy

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

    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

    James Odell

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

    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

    Thomas Baar

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

    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

    Phil Trinder

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

    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

    Kokichi Futatsugi

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

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

    Middleware 2004

    Hans-Arno Jacobsen

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

    Add to Cart The item has been added
  • Static Analysis Static Analysis
    Add to Cart The item has been added

    Static Analysis

    Roberto Giacobazzi

    Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Component Deployment Component Deployment
    Add to Cart The item has been added

    Component Deployment

    Wolfgang Emmerich

    This volume of the Lecture Notes in Computer Science series contains the p- ceedings of the second Working Conference on Component Deployment, which took place May 20-21, 2004, at the e-Science...
    $121.54

    Add to Cart The item has been added
  • Programming Multi-Agent Systems Programming Multi-Agent Systems
    Add to Cart The item has been added

    Programming Multi-Agent Systems

    Mehdi Dastani

    Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made...
    $121.54

    Add to Cart The item has been added
  • Types for Proofs and Programs Types for Proofs and Programs
    Add to Cart The item has been added

    Types for Proofs and Programs

    Stefano Berardi

    These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST...
    RRP: $93.49
    $91.62

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

    Rewriting Techniques and Applications

    Vincent van Oostrom

    This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2- 5, 2004, at the RWTH Aachen in Germany. RTA is...
    RRP: $93.49
    $91.62

    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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Global Optimization and Constraint Satisfaction Global Optimization and Constraint Satisfaction
    Add to Cart The item has been added

    Global Optimization and Constraint Satisfaction

    Christian Bliek

    This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Global Constraints Optimization and Costraint Satisfaction, COCOS 2002, held in Valbonne-Sophia ...
    RRP: $93.49
    $91.62

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

    Formal Methods and Software Engineering

    Jin Song Dong

    This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held...
    $226.80

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

    Agent-Oriented Software Engineering IV

    Paolo Giorgini

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

    Add to Cart The item has been added
  • Pattern Recognition and Image Processing in C++ Pattern Recognition and Image Processing in C++
    Add to Cart The item has been added

    Pattern Recognition and Image Processing in C++

    Dietrich Paulus

    Parts of this text were used for several years by students in a one~term under­ graduate course in computer science. The students had to prepare projects in small groups (2~4 students).1 This book...
    $267.06

    Add to Cart The item has been added
  • Principled Software Development Principled Software Development
    Add to Cart The item has been added

    Principled Software Development

    Peter Müller

    This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Artificial Intelligence and Soft Computing Artificial Intelligence and Soft Computing
    Add to Cart The item has been added

    Artificial Intelligence and Soft Computing

    Leszek Rutkowski

    The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland,...
    $234.82

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