C Programs To Become Expert In Programming

Showstopper!

The breakneck race to create Windows NT and the next generation at Microsoft

Make Your Own Compiler This Way

Targeting for PIC16 and STM8 MCUs

opCode

virtual machine examples

Trustworthy Compilers

Embedded Software Development with C

flex & bison

Text Processing Tools

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

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