The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computation by Abstract Devices,Logics and Meanings of Programs,Mathematical Logic and Formal Langua » Page 30
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
pdf
Author:
Mikołaj Bojańczyk Sławomir Lasota Igor Potapov (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
2
0
Read online
Algorithms, Probability, Networks, and Games: Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
pdf
Author:
Christos Zaroliagis Grammati Pantziou Spyros Kontogiannis (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
2
0
Read online
Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings
pdf
Author:
Olivier Roux Jérémie Bourdon (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
0
0
Read online
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
pdf
Author:
Sriram Sankaranarayanan Enrico Vicario (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
0
0
Read online
Information Processing in Cells and Tissues: 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings
pdf
Author:
Michael Lones Andy Tyrrell Stephen Smith Gary Fogel (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
1
0
Read online
Machines, Computations, and Universality: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
pdf
Author:
Jerome Durand-Lose Benedek Nagy (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
0
0
Read online
Towards Autonomous Robotic Systems: 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings
pdf
Author:
Clare Dixon Karl Tuyls (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
0
0
Read online
DNA Computing and Molecular Programming: 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
pdf
Author:
Andrew Phillips Peng Yin (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
2
0
Read online
Web Reasoning and Rule Systems: 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
pdf
Author:
Balder ten Cate Alessandra Mileo (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
0
0
Read online
Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
pdf
Author:
Igor Potapov (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
0
0
Read online
1
...
26
27
28
29
30
31
32
33
34
...
280
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
