The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Software Engineering,Programming Languages Compilers Interpreters,Logics and Meanings of Programs » Page 1119
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
pdf
Author:
Patrice Godefroid (auth.) Corina S. Păsăreanu (eds.)
Language:
English
Year:
2009
0
0
26.01.2024
1
0
Read online
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
pdf
Author:
Bernd Krieg-Brückner Peter D. Mosses (auth.) Peter D. Mosses (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
1
0
Read online
Automated Deduction in Equational Logic and Cubic Curves
pdf
Author:
W. McCune R. Padmanabhan (auth.)
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre
pdf
Author:
Paul Feautrier (auth.) Yassine Lakhnech Sergio Yovine (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
pdf
Author:
Paolo Baldan Andrea Corradini (auth.) Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer (eds.)
Language:
English
Year:
2005
0
0
26.01.2024
0
0
Read online
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
pdf
Author:
Krzysztof R. Apt Frank S. de Boer Ernst-Rüdiger Olderog (auth.) Orna Grumberg Michael Kaminski Shmuel Katz Shuly Wintner (eds.)
Language:
English
Year:
2009
0
0
26.01.2024
3
0
Read online
Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation
pdf
Author:
Yingxu Wang (auth.) Marina L. Gavrilova C. J. Kenneth Tan Yingxu Wang Keith C. C. Chan (eds.)
Language:
English
Year:
2009
0
0
26.01.2024
1
0
Read online
Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings
pdf
Author:
Kenneth Church (auth.) Alexander Gelbukh (eds.)
Language:
English
Year:
2009
0
0
26.01.2024
0
0
Read online
Computational Linguistics and Intelligent Text Processing: 4th International Conference, CICLing 2003 Mexico City, Mexico, February 16–22, 2003 Proceedings
pdf
Author:
Aravind K. Joshi (auth.) Alexander Gelbukh (eds.)
Language:
English
Year:
2003
0
0
26.01.2024
0
0
Read online
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
pdf
Author:
Thomas Fahringer Bernhard Scholz (eds.)
Language:
English
Year:
2003
0
0
26.01.2024
0
0
Read online
1
...
1115
1116
1117
1118
1119
1120
1121
1122
1123
...
1125
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
