The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computation by Abstract Devices » Page 16
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
pdf
Author:
Ahmed Bouajjani David Monniaux (eds.)
Language:
English
Year:
2017
0
0
27.01.2024
0
0
Read online
Smart Computing and Communication: First International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings
pdf
Author:
Meikang Qiu (eds.)
Language:
English
Year:
2017
0
0
27.01.2024
0
0
Read online
Artificial Life and Computational Intelligence: Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 – February 2, 2017, Proceedings
pdf
Author:
Markus Wagner Xiaodong Li Tim Hendtlass (eds.)
Language:
English
Year:
2017
0
0
27.01.2024
0
0
Read online
Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
pdf
Author:
Adam Day Michael Fellows Noam Greenberg Bakhadyr Khoussainov Alexander Melnikov Frances Rosamond (eds.)
Language:
English
Year:
2017
0
0
27.01.2024
0
0
Read online
Web and Internet Economics: 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings
pdf
Author:
Yang Cai Adrian Vetta (eds.)
Language:
English
Year:
2016
0
0
27.01.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selec
pdf
Author:
Anna-Lena Lamprecht (eds.)
Language:
English
Year:
2016
0
0
27.01.2024
3
0
Read online
Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
pdf
Author:
Paola Festa Meinolf Sellmann Joaquin Vanschoren (eds.)
Language:
English
Year:
2016
0
0
27.01.2024
0
0
Read online
Algorithms and Architectures for Parallel Processing: 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings
pdf
Author:
Jesus Carretero Javier Garcia-Blas Ryan K.L. Ko Peter Mueller Koji Nakano (eds.)
Language:
English
Year:
2016
0
0
27.01.2024
0
0
Read online
AI*IA 2016 Advances in Artificial Intelligence: XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings
pdf
Author:
Giovanni Adorni Stefano Cagnoni Marco Gori Marco Maratea (eds.)
Language:
English
Year:
2016
0
0
27.01.2024
0
0
Read online
Swarm, Evolutionary, and Memetic Computing: 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers
pdf
Author:
Bijaya Ketan Panigrahi Ponnuthurai Nagaratnam Suganthan Swagatam Das Suresh Chandra Satapathy (eds.)
Language:
English
Year:
2016
0
0
27.01.2024
1
0
Read online
1
...
12
13
14
15
16
17
18
19
20
...
280
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
