1
Được phát hành 2010
Mục lục: ... Structures and the Semantics of Recursion -- Coalgebraic Correspondence Theory -- Lambda Calculus and Types...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
lấy văn bản
Điện tử eBook
3
Được phát hành 2015
Mục lục: ... Recursive Functions by Virus Machines -- About models derived from colonies....
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ... -- Modified Structures of Viterbi Alogrithm for Forced-State Method in Concatenated Coding System of ISDB...
lấy văn bản
Điện tử eBook
5
Được phát hành 2007
Mục lục: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
lấy văn bản
Điện tử eBook
6
Được phát hành 2010
Mục lục: ... Approach to Find Underflow Condition in Interval Trees Using Augmented Data Structure -- Natural Disaster...
lấy văn bản
Điện tử eBook
7
Được phát hành 2010
Mục lục: ... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ... Filter Structure Selection -- Intelligent System for Commercial Block Recognition Using Audio Signal Only...
lấy văn bản
Điện tử eBook
9
Được phát hành 2005
Mục lục: ... for Intrusion Detection Systems in Computer Networks -- Clustering Document Images Using Graph Summaries...
lấy văn bản
Điện tử eBook