The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Models and Principles » Page 48
Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
pdf
Author:
Joost-Pieter Katoen (auth.) Farhad Arbab Marjan Sirjani (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
1
0
Read online
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
pdf
Author:
J. C. M. Baeten P. J. L. Cuijpers B. Luttik P. J. A. van Tilburg (auth.) Farhad Arbab Marjan Sirjani (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
1
0
Read online
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
pdf
Author:
Peter Henderson Matthew J. Henderson (auth.) Stephen H. Edwards Gregory Kulczycki (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
1
0
Read online
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
pdf
Author:
Nikolaj Bjørner Leonardo de Moura (auth.) Joël Ouaknine Frits W. Vaandrager (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
pdf
Author:
Guillaume Barbu Philippe Hoogvorst (auth.) Gilles Barthe Benjamin Livshits Riccardo Scandariato (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
1
0
Read online
Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
pdf
Author:
Benjamin Aziz Alvaro E. Arenas Michael Wilson (auth.) Úlfar Erlingsson Roel Wieringa Nicola Zannone (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II
pdf
Author:
Sigeru Omatu (auth.) Sigeru Omatu Miguel P. Rocha José Bravo Florentino Fernández Emilio Corchado Andrés Bustillo Juan M. Corchado (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
pdf
Author:
Wiebe van der Hoek (auth.) Chiaki Sakama Sebastian Sardina Wamberto Vasconcelos Michael Winikoff (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
pdf
Author:
João Leite (auth.) Matteo Baldoni Jamal Bentahar M. Birna van Riemsdijk John Lloyd (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
pdf
Author:
John Thangarajah James Harland David Morley Neil Yorke-Smith (auth.) Andrea Omicini Sebastian Sardina Wamberto Vasconcelos (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
1
...
44
45
46
47
48
49
50
51
52
...
75
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через