検索結果 - "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 著者: Nederpelt, Rob, Geuvers, Herman

Transitions and trees an introduction to structural operational semantics 著者: Huttel, Hans

Table of contents only

Computer talk for the liberal arts. 著者: Bar-Lev, Zev

Business computer systems an introduction. 著者: Kroenke, David

Algorithms a functional programming approach 著者: Rabhi, Fethi

Logic programming languages constraints, functions, and objects

全文の入手
全文の入手

Introduction to computer fundamentals & information technology 著者: Pepito, Copernicus P.

A programming language. 著者: Iverson, Kenneth E.

Syntax of programming languages theory and practice 著者: Backhouse, Roland C.