Terms search
1
Detailed inventory of the Barbeau Northwest Coast Files
John J. Cove
2
Types in Logic Programming
Frank Pfenning (ed.)
3
Types in Logic Programming
Frank Pfenning (ed.)
4
Swift by Tutorials: A Hands-On Approach (Code Only)
Eberhardt С.; Galloway M.
5
Programming Languages: Build, Prove, and Compare
Norman Ramsey
6
Programming Languages: Build, Prove, and Compare
Norman Ramsey
7
Computer-Assisted Instruction At Stanford, 1966-68. Data, Models, and Evaluation of the Arithmetic Programs
Patrick Suppes and Mona Morningstar (Auth.)
8
Foundations for programming languages
John C. Mitchell
9
Gender and Sexuality Development: Contemporary Theory and Research
Doug P. VanderLaan; Wang Ivy Wong; (eds)
10
Design concepts in programming languages
Franklyn A. Turbak; David K. Gifford
11
Design Concepts in Programming Languages
Franklyn A. Turbak; David K. Gifford
12
Design concepts in programming languages
Franklyn A. Turbak; David K. Gifford
13
Design Concepts in Programming Languages
Franklyn A. Turbak; David K. Gifford
14
Design Concepts in Programming Languages
Franklyn A. Turbak; David K. Gifford
15
Foundations for Programming Languages (Foundations of Computing)
John C. Mitchell
16
Visual Basic 2010 на примерах
Виктор Зиборов
17
Visual Basic 2010 на примерах
Зибиров В.В.
18
Visual Basic 2010 на примерах
В.В. Зиборов
19
Gender Typing of Children's Toys
Weisgram; Erica S.; Dinella; Lisa M.;
20
Gender Typing of Children's Toys
Weisgram; Erica S.; Dinella; Lisa M.; & Lisa M. Dinella
21
Gender Typing of Children's Toys: How Early Play Experiences Impact Development
Erica Weisgram
22
The Growth of A la recherche du temps perdu: A Chronological Examination of Proust's Manuscripts from 1909 to 1914
Anthony R. Pugh
23
The [pi]-calculus : a theory of mobile processes
Davide Sangiorgi; David Walker
24
Latin manuscript books before 1600
Paul Oskar Kristeller
25
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
Andrea Asperti; Cosimo Laneve (auth.); Mariangiola Dezani-Ciancaglini; Gordon Plotkin (eds.)
26
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce; University Of Pennsylvania)
27
Programming Microsoft ADO.NET 2.0 Core Reference
David Sceppa
28
Typing for Colleges: Book 2 Typewriting and Communication
Paul Bailey BA; FFTCom; FRSA; FSCT (auth.)
29
VBScript SuperBible - Table of Contents
Unknown
30
Advanced Topics In Types And Programming Languages
B.Pierce
31
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce
32
Advanced topics in types and programming languages
Benjamin C. Pierce
33
ICFP’10 Proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming
Stephanie Weirich ICFP’10 Program Chair
34
Lambda Calculus with Types
Henk Barendregt; Wil Dekkers; Richard Statman
