Результаты поиска - solution functions programming recursion

Альтернативы поиска:
programming recursion » programming decision , programming session , programming decisions
functions programming » functional programming , foundations programming , functions programmed
solution functions » resolution functions , solutions function , solutions functional

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”
Полный текст

Электронный ресурс eКнига

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Опубликовано 2010

Оглавление: “... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”
Полный текст

Электронный ресурс eКнига

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Опубликовано 2015

Оглавление: “... Recursive Functions by Virus Machines -- About models derived from colonies....”
Полный текст

Электронный ресурс eКнига

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... -- Constructive Dimension and Weak Truth-Table Degrees -- A Classification of Viruses Through Recursion Theorems...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска