Programming and scripting languages: general Books

Sidebar Sidebar Sidebar
  • Algorithms - ESA 2015 Algorithms - ESA 2015
    Add to Cart The item has been added

    Algorithms - ESA 2015

    Nikhil Bansal

    This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015. The 86 revised full...
    $199.42

    Add to Cart The item has been added
  • Euro-Par 2015 Euro-Par 2015
    Add to Cart The item has been added

    Euro-Par 2015

    Jesper Larsson Träff

    This book constitutes the refereed proceedings of the 21st International Conference on Parallel and Distributed Computing, Euro-Par 2015, held in Vienna, Austria, in August 2015. The 51 revised full...
    $105.39

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

    Software Technologies

    José Cordeiro

    This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised...
    $105.39

    Add to Cart The item has been added
  • Concurrent Objects and Beyond Concurrent Objects and Beyond
    Add to Cart The item has been added

    Concurrent Objects and Beyond

    Gul Agha

    This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers...
    $105.39

    Add to Cart The item has been added
  • ECOOP 2014 -- Object-Oriented Programming ECOOP 2014 -- Object-Oriented Programming
    Add to Cart The item has been added

    ECOOP 2014 -- Object-Oriented Programming

    Richard Jones

    This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume...
    $121.54

    Add to Cart The item has been added
  • Model-Integrating Software Components Model-Integrating Software Components
    Add to Cart The item has been added

    Model-Integrating Software Components

    Mahdi Derakhshanmanesh

    In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such...
    $105.39

    Add to Cart The item has been added
  • Fundamentals of Algebraic Specification 1 Fundamentals of Algebraic Specification 1
    Add to Cart The item has been added

    Fundamentals of Algebraic Specification 1

    Hartmut Ehrig

    The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic...
    $226.80

    Add to Cart The item has been added
  • Fundamentals of Programming Languages Fundamentals of Programming Languages
    Add to Cart The item has been added

    Fundamentals of Programming Languages

    E. Horowitz

    " .. .1 always worked with programming languages because it seemed to me that until you could understand those, you really couldn't understand computers. Understanding them doesn't really mean only...
    $115.93

    Add to Cart The item has been added
  • Data Types and Persistence Data Types and Persistence
    Add to Cart The item has been added

    Data Types and Persistence

    Malcolm P. Atkinson

    There is an established interest in integrating databases and programming languages. This book on Data Types and Persistence evolved from the proceedings of a workshop held at the Appin in August...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • The Resolution Calculus The Resolution Calculus
    Add to Cart The item has been added

    The Resolution Calculus

    Alexander Leitsch

    The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. The challenge...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Parsing Schemata Parsing Schemata
    Add to Cart The item has been added

    Parsing Schemata

    Klaas Sikkel

    Parsing, the syntactic analysis of language, has been studied extensively in computer science and computational linguistics. Computer programs and natural languages share an underlying theory of...
    $105.39

    Add to Cart The item has been added
  • Java and the Java Virtual Machine Java and the Java Virtual Machine
    Add to Cart The item has been added

    Java and the Java Virtual Machine

    Robert F. Stark

    The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that...
    $115.93

    Add to Cart The item has been added
  • Logic of Computation Logic of Computation
    Add to Cart The item has been added

    Logic of Computation

    Helmut Schwichtenberg

    The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf...
    $121.54

    Add to Cart The item has been added
  • Handbook of Formal Languages Handbook of Formal Languages
    Add to Cart The item has been added

    Handbook of Formal Languages

    Grzegorz Rozenberg

    The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when . the book Formal...
    $121.54

    Add to Cart The item has been added
  • Tools for High Performance Computing 2011 Tools for High Performance Computing 2011
    Add to Cart The item has been added

    Tools for High Performance Computing 2011

    Holger Brunst

    The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System...
    $199.42

    Add to Cart The item has been added
  • Testing Software and Systems Testing Software and Systems
    Add to Cart The item has been added

    Testing Software and Systems

    Hüsnü Yenigün

    This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised...
    $105.39

    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

    Ana Moreira

    This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013...
    $105.39

    Add to Cart The item has been added
  • Modelling Foundations and Applications Modelling Foundations and Applications
    Add to Cart The item has been added

    Modelling Foundations and Applications

    Antonio Vallecillo

    This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012. The 20 revised full foundations...
    $105.39

    Add to Cart The item has been added
  • Formal Methods for Model-Driven Engineering Formal Methods for Model-Driven Engineering
    Add to Cart The item has been added

    Formal Methods for Model-Driven Engineering

    Marco Bernardo

    This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,...
    $105.39

    Add to Cart The item has been added
  • Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
    Add to Cart The item has been added

    Formal Techniques for Distributed Systems

    Holger Giese

    This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1...
    $121.54

    Add to Cart The item has been added
  • Software and Data Technologies Software and Data Technologies
    Add to Cart The item has been added

    Software and Data Technologies

    José Cordeiro

    This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010.The...
    $121.54

    Add to Cart The item has been added
  • Logic and Program Semantics Logic and Program Semantics
    Add to Cart The item has been added

    Logic and Program Semantics

    Robert L. Constable

    This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in...
    $105.39

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

    Declarative Agent Languages and Technologies IX

    Chiaki Sakama

    This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The...
    $105.39

    Add to Cart The item has been added
  • Theory of Security and Applications Theory of Security and Applications
    Add to Cart The item has been added

    Theory of Security and Applications

    Sebastian Moedersheim

    This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrücken,...
    $115.93

    Add to Cart The item has been added
  • Formal Aspects of Component Software Formal Aspects of Component Software
    Add to Cart The item has been added

    Formal Aspects of Component Software

    Luis Soares Barbosa

    This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers...
    $121.54

    Add to Cart The item has been added
  • Open Source Software Open Source Software
    Add to Cart The item has been added

    Open Source Software

    Pär J. Ågerfalk

    Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international conf- ence was held in North America. We had a large...
    $226.80

    Add to Cart The item has been added
  • Open Source Ecosystems Open Source Ecosystems
    Add to Cart The item has been added

    Open Source Ecosystems

    Cornelia Boldyreff

    Keynote Speakers.- Open Source Is Changing the Way Work Gets Done.- How Open Source Can Still Save the World.- Papers.- Domain Drivers in the Modularization of FLOSS Systems.- Design Evolution of an...
    $293.90

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

    Agent-Oriented Software Engineering IX

    Michael Luck

    Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Trustworthy Global Computing Trustworthy Global Computing
    Add to Cart The item has been added

    Trustworthy Global Computing

    Christos Kaklamanis

    This volume contains the proceedings of the fourth edition of the International Symposium on Trustworthy Global Computing (TGC 2008) that was held in Barcelona, Spain, November 3-4, 2008. The...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Model Checking and Artificial Intelligence Model Checking and Artificial Intelligence
    Add to Cart The item has been added

    Model Checking and Artificial Intelligence

    Doron A. Peled

    Verifying Time and Communication Costs of Rule-Based Reasoners.- Solving ?-Calculus Parity Games by Symbolic Planning.- Verifying Robocup Teams.- Scaling Search with Pattern Databases.- Survey on...
    RRP: $93.49
    $91.62

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

    Declarative Agent Languages and Technologies VI

    Matteo Baldoni

    The workshopon Declarative Agent Languagesand Technologies(DALT), in its sixth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining...
    RRP: $93.49
    $91.62

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