The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 5825 : Programming and Software Engineering » Page 60
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
pdf
Author:
Dino Distefano (auth.) María Alpuente Byron Cook Christophe Joubert (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
pdf
Author:
Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
pdf
Author:
Alessandra Di Pierro Chris Hankin (auth.) Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
pdf
Author:
Janos Sztipanovits (auth.) Michael Butler Wolfram Schulte (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
pdf
Author:
Harald König Michael Löwe (auth.) Adenilso Simao Carroll Morgan (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
1
0
Read online
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
pdf
Author:
Christel Baier (auth.) Dominique Méry Stephan Merz (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
pdf
Author:
Egon Börger Antonio Cisternino Vincenzo Gervasi (auth.) John Derrick Stefania Gnesi Diego Latella Helen Treharne (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
pdf
Author:
Cesare Tinelli (auth.) Alwyn E. Goodloe Suzette Person (eds.)
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
The CERT Guide to Insider Threats: How to Prevent, Detect, and Respond to Information Technology Crimes
pdf
Author:
Dawn M. Cappelli Andrew P. Moore Randall F. Trzeciak
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
The CERT Guide to Insider Threats: How to Prevent, Detect, and Respond to Information Technology Crimes
epub
Author:
Dawn M. Cappelli Andrew P. Moore Randall F. Trzeciak
Language:
English
Year:
2012
0
0
27.01.2024
0
0
Read online
1
...
56
57
58
59
60
61
62
63
64
...
104
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
