The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Logics and Meanings of Programs » Page 10
SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
pdf
Author:
Dorina C. Petriu (auth.) Iulian Ober Ileana Ober (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Computer Performance Engineering: 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
pdf
Author:
John Murphy (auth.) Nigel Thomas (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
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation: 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
pdf
Author:
Mustafa Aktan Dursun Baran (auth.) José L. Ayala Braulio García-Cámara Manuel Prieto Martino Ruggiero Gilles Sicard (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
pdf
Author:
Alexandr Andoni (auth.) Filip Murlak Piotr Sankowski (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Languages, Methodologies, and Development Tools for Multi-Agent Systems: Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
pdf
Author:
Huib Aldewereld Virginia Dignum (auth.) Mehdi Dastani Amal El Fallah Seghrouchni Jomi Hübner João Leite (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
0
0
Read online
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
pdf
Author:
Didier Dubois (auth.) Weiru Liu (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
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
0
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
1
...
6
7
8
9
10
11
12
13
14
...
338
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
