Programming and scripting languages: general Books

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

    Fundamentals of Algebraic Specification 1

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

    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

    " .. .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...
    $116.00

    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

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

    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

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

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

    Parsing Schemata

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

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

    Middleware 2008

    This volume contains the proceedings of the International Middleware Con- rence, held in Leuven, Belgium during December 1-4, 2008. This year marked the ninth rendition of this annual conference in...
    $116.00

    Add to Cart The item has been added
  • Advances in Software Engineering Advances in Software Engineering
    Add to Cart The item has been added

    Advances in Software Engineering

    WorkonthisvolumestartedwiththeLipariSummerSchoolonAdvancesinSo- ware Engineering, which the ?rst editor organizedtogether with Alfredo Ferro fromtheUniversityofCataniainJuly2007...
    $92.00

    Add to Cart The item has been added
  • Advances in Smalltalk Advances in Smalltalk
    Add to Cart The item has been added

    Advances in Smalltalk

    This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference, ISC 2006, held in Prague, Czech Republic in September 2006. Being a live forum on...
    $122.00

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

    Agent-Oriented Software Engineering VII

    This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Agent-Oriented Software Engineering, AOSE 2006, held in Hakodate, Japan, in May 2006 as part of...
    $122.00

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

    ECOOP 2008 - Object-Oriented Programming

    It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus. The conference continues to serve a broad...
    $227.00

    Add to Cart The item has been added
  • Models in Software Engineering Models in Software Engineering
    Add to Cart The item has been added

    Models in Software Engineering

    This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of the 9th International Conference on Model Driven Engineering Languages and...
    $122.00

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