-
1Published in Springer eBooks (2015)Subjects: “...Programming languages (Electronic computers). 459680...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
2Published in Springer eBooks (2013)Table of Contents: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
3Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
4Published in Springer eBooks (2014)Table of Contents: “... and theoretical foundations -- Program analysis and verification -- Programming language design and implementation....”
Get full text
Перейти в каталог НБ ТГУ
eBook -
5Published in Springer eBooks (2015)Table of Contents: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
6Published in Springer eBooks (2015)Table of Contents: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
7Published in Springer eBooks (2013)Table of Contents: “...Algorithms, complexity and games -- Logic, semantics, automata and theory of programming...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
8Published in Springer eBooks (2013)Table of Contents: “...Algorithms, complexity and games -- Logic, semantics, automata and theory of programming...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
9Published in Springer eBooks (2014)Table of Contents: “... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
10Published in Springer eBooks (2014)Table of Contents: “... of Regular Infinitary Trace Languages -- Unary Pushdown Automata and Straight-Line Programs -- Robustness...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
11
-
12Published in Springer eBooks (2008)Subjects: “...Computational complexity 304814...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
13Published in Springer eBooks (2008)Subjects: “...Computational complexity 304814...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
14Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
15Published in Springer eBooks (2015)Subjects: “...Programming languages (Electronic computers). 459680...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
16Table of Contents: “...Introduction -- Syntax -- Assembly Language -- C++ -- Standard ML -- Compiling Standard ML...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
17Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...Published in Springer eBooks (2014)Table of Contents: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
18Published in Springer eBooks (2013)Table of Contents: “... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
19Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
20Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook
