The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computation by Abstract Devices,Logics and Meanings of Programs,Software Engineering,Computer Applic » Page 40
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
pdf
Author:
Axel Legay Marius Bozga (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
pdf
Author:
Gethin Norman William Sanders (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Advances in Autonomous Robotics Systems: 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings
pdf
Author:
Michael Mistry Aleš Leonardis Mark Witkowski Chris Melhuish (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Search-Based Software Engineering: 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings
pdf
Author:
Claire Le Goues Shin Yoo (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Developments in Language Theory: 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
pdf
Author:
Arseny M. Shur Mikhail V. Volkov (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
1
0
Read online
Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings
pdf
Author:
Helmut Jürgensen Juhani Karhumäki Alexander Okhotin (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
1
0
Read online
Learning and Intelligent Optimization: 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
pdf
Author:
Panos M. Pardalos Mauricio G.C. Resende Chrysafis Vogiatzis Jose L. Walteros (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Computers and Games: 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
pdf
Author:
H. Jaap van den Herik Hiroyuki Iida Aske Plaat (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
5
0
Read online
Intelligent Computing in Bioinformatics: 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings
pdf
Author:
De-Shuang Huang Kyungsook Han Michael Gromiha (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Intelligent Computing Theory: 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings
pdf
Author:
De-Shuang Huang Vitoantonio Bevilacqua Prashan Premaratne (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
1
...
36
37
38
39
40
41
42
43
44
...
280
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
