The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 4184 : Programming and Software Engineering » Page 78
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
pdf
Author:
W. M. P. van der Aalst M. Pesic (auth.) Mario Bravetti Manuel Núñez Gianluigi Zavattaro (eds.)
Language:
English
Year:
2006
0
0
27.01.2024
0
0
Read online
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
pdf
Author:
Cliff B. Jones (auth.) Helen Treharne Steve King Martin Henson Steve Schneider (eds.)
Language:
English
Year:
2005
0
0
27.01.2024
0
0
Read online
UML Modeling Languages and Applications: < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
pdf
Author:
Zbigniew Huzar Ludwik Kuzniarz Gianna Reggio Jean Louis Sourrouille (auth.) Nuno Jardim Nunes Bran Selic Alberto Rodrigues da Silva Ambrosio Toval Alvarez (eds.)
Language:
English
Year:
2005
0
0
27.01.2024
0
0
Read online
Universal Access in Human-Computer Interaction. Ambient Interaction: 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II
pdf
Author:
Ray Adams Andrina Granić (auth.) Constantine Stephanidis (eds.)
Language:
English
Year:
2007
0
0
27.01.2024
2
0
Read online
Universal Access in Human-Computer Interaction. Applications and Services: 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part
pdf
Author:
Myriam Arrue Markel Vigo Amaia Aizpurua Julio Abascal (auth.) Constantine Stephanidis (eds.)
Language:
English
Year:
2007
0
0
27.01.2024
0
0
Read online
Theory and Practice of Model Transformations: First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
pdf
Author:
Mika Siikarla Markku Laitkorpi Petri Selonen Tarja Systä (auth.) Antonio Vallecillo Jeff Gray Alfonso Pierantonio (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
pdf
Author:
Samson Abramsky (auth.) Chris Hankin Igor Siveroni (eds.)
Language:
English
Year:
2005
0
0
27.01.2024
0
0
Read online
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
pdf
Author:
Manuvir Das (auth.) Kwangkeun Yi (eds.)
Language:
English
Year:
2006
0
0
27.01.2024
0
0
Read online
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
pdf
Author:
Frank Tip (auth.) Hanne Riis Nielson Gilberto Filé (eds.)
Language:
English
Year:
2007
0
0
27.01.2024
0
0
Read online
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
pdf
Author:
Roberto Giacobazzi Isabella Mastroeni (auth.) María Alpuente Germán Vidal (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
1
...
74
75
76
77
78
79
80
81
82
...
104
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через