Programming and scripting languages: general Books

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

    Static Analysis

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

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

    Component Deployment

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

    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

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

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

    Compiler Construction

    The CC program committee is pleased to present this volume with the p- ceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for...
    $122.00

    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

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

    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

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

    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

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

    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

    Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), July 9-12, 2003...
    $122.00

    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

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

    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

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

    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

    This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18-21, 2002. Armando...
    $92.00

    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

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

    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

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

    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

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

    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

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

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

    Euro-Par 2021

    This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held...
    $259.00

    Add to Cart The item has been added
  • Guide to Assembly Language Guide to Assembly Language
    Add to Cart The item has been added

    Guide to Assembly Language

    This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the...
    $81.00

    Add to Cart The item has been added
  • PHP and MySQL Manual PHP and MySQL Manual
    Add to Cart The item has been added

    PHP and MySQL Manual

    PHP is rapidly becoming the language of choice for dynamic Web development, in particular for e-commerce and on-line database systems. It is open source software and easy to install, and can be used...
    $209.00

    Add to Cart The item has been added
  • Multi-Paradigm Programming using C++ Multi-Paradigm Programming using C++
    Add to Cart The item has been added

    Multi-Paradigm Programming using C++

    Aimed mainly at students, this self-contained reference book on C++ is of superb educational value. Starting from scratch, Vermeir explains the idea of address, value and type in C++ before quickly...
    $209.00

    Add to Cart The item has been added
  • Writing Testbenches Writing Testbenches
    Add to Cart The item has been added

    Writing Testbenches

    CHAPTER 6 Architecting Testbenches 221 Reusable Verification Components 221 Procedural Interface 225 Development Process 226 Verilog Implementation 227 Packaging Bus-Functional Models 228 Utility...
    $227.00

    Add to Cart The item has been added
  • Programming with Sets Programming with Sets
    Add to Cart The item has been added

    Programming with Sets

    The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem­ bers are LISP, APL, SNOBOL, and PROLOG. These...
    $184.00

    Add to Cart The item has been added
  • Building Expert Systems in Prolog Building Expert Systems in Prolog
    Add to Cart The item has been added

    Building Expert Systems in Prolog

    When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog. Of course, the set of...
    $220.00

    Add to Cart The item has been added
  • TEX in Practice TEX in Practice
    Add to Cart The item has been added

    TEX in Practice

    Although you only have one volume in front of you, writing four volumes and 1600 pages on a single subject needs some form of justification. And then on the other hand, why write even more?! Can't,...
    $184.00

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