Compilers & Interpreters eTextbooks

Introduction to Software Design with Java

Guide to ILDJIT

Guide to Ildjit

A Tiny Handbook of R

SpringerBriefs in Statistics

The China Information Technology Handbook

Handbook of Floating-Point Arithmetic

C Compilers for ASIPs

Automatic Compiler Generation with LISA

Open Source Software for Digital Forensics

Springer Nature Proceedings Computer Science

Handbook of Open Source Tools

Virtual Machines

Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Formal Methods

State of the Art and New Directions

Autonomics Development

A Domain-Specific Aspect Language Approach

Business Process Technology

A Unified View on Business Processes, Workflows and Enterprise Applications

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's

Selected Contributions on Specification, Design, and Verification from FDL 2009

Trustworthy Compilers

Fast Track to MDX

Network Performance Analysis

Using the J Programming Language

A Concise Introduction to Software Engineering

Formal Languages and Compilation

Fundamentals of Algebraic Graph Transformation

Software and Data Technologies

First International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers

Software and Data Technologies

Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers

Pattern Calculus

Computing with Functions and Structures

Conceptual Modeling: Foundations and Applications

Essays in Honor of John Mylopoulos

Formal Methods for Industrial Critical Systems

13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

More Math Into LaTeX

Parsing Techniques

A Practical Guide

Solvent Systems and Their Selection in Pharmaceutics and Biopharmaceutics

Compiling Esterel

Hardware Verification with System Verilog

An Object-Oriented Framework

A Modular Calculus for the Average Cost of Data Structuring

Efficiency-Oriented Programming in MOQA

Open Source Systems Security Certification

Programming Languages

An Active Learning Approach

Multi-Agent Programming:

Languages, Tools and Applications

Ant: The Definitive Guide

Complete Build Management for Java

NUnit Pocket Reference

Up and Running with NUnit

Engineering Theories of Software Intensive Systems

Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

Optimized ASIP Synthesis from Architecture Description Language Models

Real-Time Object Uniform Design Methodology with UML

Exploring C for Microcontrollers

A Hands on Approach

Advances in Design and Specification Languages for Embedded Systems

Selected Contributions from FDL'06

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

Automatic Program Development

A Tribute to Robert Paige

Digital VLSI Design with Verilog

A Textbook from Silicon Valley Technical Institute

Generating Hardware Assertion Checkers

For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

Fundamental Problems in Computing

Essays in Honor of Professor Daniel J. Rosenkrantz

Languages for Embedded Systems and their Applications

Selected Contributions on Specification, Design, and Verification from FDL'08

Practical Common Lisp

Cryptography in C and C++

The Best Software Writing I

Selected and Introduced by Joel Spolsky

The Career Programmer

Guerilla Tactics for an Imperfect World

Exploring C++

The Programmer's Introduction to C++

Use Case Driven Object Modeling with UMLTheory and Practice

Theory and Practice

More Joel on Software

Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or Ill Luck, Work with Them in Some Capacity

Foundations of C++/CLI

The Visual C++ Language for .NET 3.5

Beginning F#

Design Driven Testing

Test Smarter, Not Harder

Embedded Software Development with C

flex & bison

Text Processing Tools

Engineering a Compiler

Quantifiers in Action

Generalized Quantification in Query, Logical and Natural Languages

Compilation Techniques for Reconfigurable Architectures

Vorgelegt in d. Sitzung vom 3. Februar 1979

The Austin Protocol Compiler

Reverse Engineering of Object Oriented Code

Software Process Modeling

A Software Process Model Handbook for Incorporating People's Capabilities

Verification Methodology Manual for SystemVerilog

System Level Design of Reconfigurable Systems-on-Chip

Guide to Assembly Language Programming in Linux

Multi-Agent Programming

Languages, Platforms and Applications

XML for Bioinformatics

Developing Statistical Software in Fortran 95

M-Solid Varieties of Algebras

Compiler Design

Analysis and Transformation

Programming Language Concepts

Undergraduate Topics in Computer Science : Book 50

From Linear Operators to Computational Biology

Essays in Memory of Jacob T. Schwartz

Modern Compiler Design

Visual Languages and Applications

An Introduction to HTML and JavaScript

for Scientists and Engineers

Guide to Assembly Language

A Concise Introduction

Specification of Software Systems

Texts in Computer Science

Guide to HTML, JavaScript and PHP

For Scientists and Engineers

Introduction to Compiler Design

Introduction to Compiler Design

Semantics with Applications

An Appetizer

Principles of the Spin Model Checker

An Introduction to PHP for Scientists and Engineers

Beyond JavaScript

Principles of Programming Languages

Drawing Programs

The Theory and Practice of Schematic Functional Programming

Programming Languages

Principles and Paradigms

Scientific Data Analysis using Jython Scripting and Java

Advanced Information and Knowledge Processing

Python Programming Fundamentals

Programming Fundamentals

Compiler Design

Virtual Machines

Hardware Verification with C++

A Practitioner's Handbook

Essential RenderMan®

Object-Oriented Programming and Java

Object-Oriented Programming Languages

Interpretation

Constraints Meet Concurrency

Mathematics and Statistics (R0)

Workload Characterization for Computer System Design

The Springer International Series in Engineering and Computer Science : Book 542

An Introduction to Python and Computer Programming

Engineering (R0)

Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II