Hakutulokset - "Programming Languages."

DLS'14 proceedings of the 10th Symposium on Dynamic Languages : October 20-24, 2014, Portland, Oregon, USA

Type theory and formal proof an introduction Tekijä Nederpelt, Rob, Geuvers, Herman

Transitions and trees an introduction to structural operational semantics Tekijä Huttel, Hans

Table of contents only

Computer talk for the liberal arts. Tekijä Bar-Lev, Zev

Business computer systems an introduction. Tekijä Kroenke, David

Algorithms a functional programming approach Tekijä Rabhi, Fethi

Logic programming languages constraints, functions, and objects

Hae kokoteksti
Hae kokoteksti

Introduction to computer fundamentals & information technology Tekijä Pepito, Copernicus P.

A programming language. Tekijä Iverson, Kenneth E.

Syntax of programming languages theory and practice Tekijä Backhouse, Roland C.