The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Software Engineering,Programming Languages Compilers Interpreters,Computation by Abstract Devices,Ma » Page 37
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
pdf
Author:
Tiziana Margaria Bernhard Steffen (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
1
0
Read online
Advances in Image and Graphics Technologies: Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
pdf
Author:
Tieniu Tan Qiuqi Ruan Shengjin Wang Huimin Ma Kaiqi Huang (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Social Media Processing: Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014. Proceedings
pdf
Author:
Heyan Huang Ting Liu Hua-Ping Zhang Jie Tang (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
1
0
Read online
Machine Translation: 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings
pdf
Author:
Xiaodong Shi Yidong Chen (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
pdf
Author:
Gerson Zaverucha Vítor Santos Costa Aline Paes (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
1
0
Read online
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
pdf
Author:
Josep Diaz Ivan Lanese Davide Sangiorgi (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Genetic Programming: 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
pdf
Author:
Miguel Nicolau Krzysztof Krawiec Malcolm I. Heywood Mauro Castelli Pablo García-Sánchez Juan J. Merelo Victor M. Rivas Santos Kevin Sim (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Evolutionary Computation in Combinatorial Optimisation: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
pdf
Author:
Christian Blum Gabriela Ochoa (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
1
0
Read online
Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
pdf
Author:
Marcello M. Bonsangue (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
pdf
Author:
Javier Esparza Pierre Fraigniaud Thore Husfeldt Elias Koutsoupias (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
1
...
33
34
35
36
37
38
39
40
41
...
280
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через