2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Complementary Definitions of Programming Language Semantics
Категория:
Cs_Computer science
,
CsLn_Lecture notes
,
0-999
1.06 Mb
#2
Mathematical Foundations of Programming Language Semantics, 3 conf.
Категория:
Cs_Computer science
,
CsLn_Lecture notes
,
0-999
5.44 Mb
#3
The formal semantics of programming languages: an introduction
Winskel G.
Категория:
Cs_Computer science
,
CsPl_Programming languages
2.52 Mb
#4
The formal semantics of programming languages: an introduction
Winskel G.
Категория:
Cs_Computer science
,
CsPl_Programming languages
2.53 Mb
#5
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Kenneth Slonneger
,
Barry L. Kurtz
1.36 Mb
#6
The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics
Matthew Hennessy
4.41 Mb
#7
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
Glynn Winskel
6.24 Mb
#8
A Lambda-Calculus Model of Programming Languages, II: Jumps and Procedures, J. Computer Languages, Vol. 1 (1976)
Kamal Abdali
Категория:
paper
,
programming language semantics
,
lambda calculus
,
combinator calculus
4.61 Mb
#9
A Simple Lambda-Calculus Model of Programming Languages, NYU Courant Institute, 1973
Kamal Abdali
Категория:
paper
,
programming language semantics
,
lambda calculus
,
combinator calculus
2.04 Mb
#10
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Kenneth Slonneger
,
Barry L. Kurtz
1.70 Mb
#11
Semantics of programming languages
R. D. Tennent
3.57 Mb
#12
Syntax and semantics of programming languages
Slonneger K.
1.73 Mb
#13
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Kenneth Slonneger
,
Barry L. Kurtz
1.62 Mb
#14
Kamal Abdali
A Lambda-Calculus Model of Programming Languages
,
I: Simple Constructs
,
J. Computer Languages
,
Vol. 1 (1976)
Категория:
paper
,
programming language semantics
,
lambda calculus
,
combinator calculus
4.33 Mb
#15
The Semantic Web
Michael C. Daconta
,
Leo J. Obrst
,
Kevin T. Smith
Категория:
Computer Science
,
Programming Languages
,
Html
,
Css
,
Javascript
,
Ajax
8.31 Mb
