The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 8343 Programming and Software Engineering » Page 26
Energy-Efficient Data Centers: Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
pdf
Author:
Sonja Klingert Xavier Hesselbach-Serra Maria Perez Ortega Giovanni Giuliani (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Analytical and Stochastic Modeling Techniques and Applications: 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings
pdf
Author:
Bruno Sericola Miklós Telek Gábor Horváth (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
1
0
Read online
Service-Oriented Computing – ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
pdf
Author:
Alessio R. Lomuscio Surya Nepal Fabio Patrizi Boualem Benatallah Ivona Brandić (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Intelligent Tutoring Systems: 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings
pdf
Author:
Stefan Trausan-Matu Kristy Elizabeth Boyer Martha Crosby Kitty Panourgia (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
pdf
Author:
Marco Bernardo Ferruccio Damiani Reiner Hähnle Einar Broch Johnsen Ina Schaefer (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
pdf
Author:
Cliff Jones Pekka Pihlajasaari Jun Sun (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Model-driven software engineering in practice
pdf
Author:
Marco Brambilla
,
Jordi Cabot
,
Manuel Wimmer
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
pdf
Author:
Julia M. Badger Kristin Yvonne Rozier (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
pdf
Author:
Antonio Cerone Donatella Persico Sara Fernandes Alexeis Garcia-Perez Panagiotis Katsaros Siraj Ahmed Shaikh Ioannis Stamelos (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings
pdf
Author:
Camille Salinesi Inge van de Weerd (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
1
...
22
23
24
25
26
27
28
29
30
...
104
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через