The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Software Engineering,Programming Techniques,Programming Languages Compilers Interpreters,Algorithm A » Page 14
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
pdf
Author:
Yongxin Zhao He Jifeng (auth.) Shengchao Qin Zongyan Qiu (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
pdf
Author:
Hermann Kopetz (auth.) Cliff B. Jones John L. Lloyd (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
pdf
Author:
Joost-Pieter Katoen (auth.) Gwen Salaün Bernhard Schätz (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
pdf
Author:
Jasmin Fisher (auth.) Alex Groce Madanlal Musuvathi (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
2
0
Read online
Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
pdf
Author:
Perla Velasco Elizondo Mbe Koua Christophe Ndjatchi (auth.) Sven Apel Ethan Jackson (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
1
0
Read online
Transactions on Aspect-Oriented Software Development VIII
pdf
Author:
Suman Roychoudhury Jeff Gray Frédéric Jouault (auth.) Shmuel Katz Mira Mezini Christine Schwanninger Wouter Joosen (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
pdf
Author:
Gordon S. Blair Massimo Paolucci Paul Grace Nikolaos Georgantas (auth.) Marco Bernardo Valérie Issarny (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
pdf
Author:
Jeffrey O’Leary (auth.) Alexander Romanovsky Tullio Vardanega (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
2
0
Read online
Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
pdf
Author:
Mariangiola Dezani-Ciancaglini Silvia Ghilezan Svetlana Jakšić Jovanka Pantović (auth.) Julio Mariño (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
pdf
Author:
Martin Wirsing Matthias Hölzl Nora Koch Philip Mayer (auth.) Martin Wirsing Matthias Hölzl (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
1
...
10
11
12
13
14
15
16
17
18
...
377
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
