Programming and scripting languages: general Books

Sidebar Sidebar Sidebar
  • FM 2008 FM 2008
    Add to Cart The item has been added

    FM 2008

    This volume contains the proceedings of Formal Methods 2008, the 15th Inter- ? nationalSymposiumonFormalMethods,organizedbyAbo AkademiUniversity, Turku, Finland, during May 26-30, 2008. The series of...
    $92.00

    Add to Cart The item has been added
  • Modular Programming Languages Modular Programming Languages
    Add to Cart The item has been added

    Modular Programming Languages

    Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH...
    $92.00

    Add to Cart The item has been added
  • Distributed Virtual Worlds Distributed Virtual Worlds
    Add to Cart The item has been added

    Distributed Virtual Worlds

    Recently, with the success of Java and the existence of different interfaces be­ tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers...
    $116.00

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

    Reflection and Software Engineering

    This volume represents a rst attempt to bring together ideas from two pre- ously unrelated research areas, namely Software Engineering and Computational Re?ection, and to evaluate the bene ts that...
    $92.00

    Add to Cart The item has been added
  • Essentials of Constraint Programming Essentials of Constraint Programming
    Add to Cart The item has been added

    Essentials of Constraint Programming

    The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information...
    $92.00

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

    Middleware 2000

    Middleware is everywhere. Ever since the advent of sockets and other virtu- circuit abstractions, researchers have been looking for ways to incorporate high- value concepts into distributed systems...
    $92.00

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

    Approaches to Intelligent Agents

    Intelligent agents will be the necessity of the coming century. Software agents will pilot us through the vast sea of information, by communicating with other agents. A group of cooperating agents...
    $122.00

    Add to Cart The item has been added
  • Generalized Quantifiers and Computation Generalized Quantifiers and Computation
    Add to Cart The item has been added

    Generalized Quantifiers and Computation

    This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The...
    $122.00

    Add to Cart The item has been added
  • Partial Evaluation. Practice and Theory Partial Evaluation. Practice and Theory
    Add to Cart The item has been added

    Partial Evaluation. Practice and Theory

    As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an...
    $122.00

    Add to Cart The item has been added
  • Internet Programming Languages Internet Programming Languages
    Add to Cart The item has been added

    Internet Programming Languages

    This book is a collection of articles about the influence that the recent greater scope and availability of wide area networks is having on the semantics, design, and implementa tion of programming...
    $92.00

    Add to Cart The item has been added
  • Correct System Design Correct System Design
    Add to Cart The item has been added

    Correct System Design

    Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is...
    $122.00

    Add to Cart The item has been added
  • FM'99 - Formal Methods FM'99 - Formal Methods
    Add to Cart The item has been added

    FM'99 - Formal Methods

    Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A...
    $250.00

    Add to Cart The item has been added
  • Software Engineering - ESEC/FSE '99 Software Engineering - ESEC/FSE '99
    Add to Cart The item has been added

    Software Engineering - ESEC/FSE '99

    For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences...
    $122.00

    Add to Cart The item has been added
  • Meta-Level Architectures and Reflection Meta-Level Architectures and Reflection
    Add to Cart The item has been added

    Meta-Level Architectures and Reflection

    This book constitutes the refereed proceedings of the Second International Conference on Meta-Level Architectures and Reflection, Reflection'99, held in St. Malo, France in July 1999. The 13 revised...
    $92.00

    Add to Cart The item has been added
  • Fully Integrated Data Environments Fully Integrated Data Environments
    Add to Cart The item has been added

    Fully Integrated Data Environments

    This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems...
    $309.00

    Add to Cart The item has been added
  • Formal Syntax and Semantics of Java Formal Syntax and Semantics of Java
    Add to Cart The item has been added

    Formal Syntax and Semantics of Java

    Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and...
    $116.00

    Add to Cart The item has been added
  • Compiling Natural Semantics Compiling Natural Semantics
    Add to Cart The item has been added

    Compiling Natural Semantics

    Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for...
    $92.00

    Add to Cart The item has been added
  • STACS 99 STACS 99
    Add to Cart The item has been added

    STACS 99

    The Symposium on Theoretical Aspects of Computer Science (STACS) is held annually, alternating between France and Germany. The current volume cons- tutes the proceedings of the 16th STACS conference,...
    $227.00

    Add to Cart The item has been added
  • Advances in Computing Science - ASIAN'98 Advances in Computing Science - ASIAN'98
    Add to Cart The item has been added

    Advances in Computing Science - ASIAN'98

    This volume contains the proceedings of the Fourth Asian Computing Science Conference (ASIAN98), held December 8{10, 1998, in Manila, the Philippines. The previous three ASIAN conferences were also...
    $122.00

    Add to Cart The item has been added
  • Lectures on Embedded Systems Lectures on Embedded Systems
    Add to Cart The item has been added

    Lectures on Embedded Systems

    This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly...
    $116.00

    Add to Cart The item has been added
  • ZUM '98 ZUM '98
    Add to Cart The item has been added

    ZUM '98

    1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only...
    $122.00

    Add to Cart The item has been added
  • Principles of Declarative Programming Principles of Declarative Programming
    Add to Cart The item has been added

    Principles of Declarative Programming

    This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International...
    $122.00

    Add to Cart The item has been added
  • Software Engineering - ESEC-FSE '97 Software Engineering - ESEC-FSE '97
    Add to Cart The item has been added

    Software Engineering - ESEC-FSE '97

    This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software...
    $92.00

    Add to Cart The item has been added
  • Compiler Compilers Compiler Compilers
    Add to Cart The item has been added

    Compiler Compilers

    Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of biannual workshops on compiler compilers. Selected...
    $122.00

    Add to Cart The item has been added
  • ICDT '90 ICDT '90
    Add to Cart The item has been added

    ICDT '90

    The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the...
    $122.00

    Add to Cart The item has been added
  • Combinatorics on Traces Combinatorics on Traces
    Add to Cart The item has been added

    Combinatorics on Traces

    Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This...
    $116.00

    Add to Cart The item has been added
  • Attribute Grammars and their Applications Attribute Grammars and their Applications
    Add to Cart The item has been added

    Attribute Grammars and their Applications

    Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a...
    $92.00

    Add to Cart The item has been added
  • Parallel Lisp Parallel Lisp
    Add to Cart The item has been added

    Parallel Lisp

    This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, Qlisp at Stanford,...
    $122.00

    Add to Cart The item has been added
  • Specification and Transformation of Programs Specification and Transformation of Programs
    Add to Cart The item has been added

    Specification and Transformation of Programs

    "Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem...
    $116.00

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