The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 10
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
pdf
Author:
Gabriele Puppis (auth.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
High Performance Embedded Architectures and Compilers: 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings
pdf
Author:
Bob Iannucci (auth.) Yale N. Patt Pierfrancesco Foglia Evelyn Duesterwald Paolo Faraboschi Xavier Martorell (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
0
0
Read online
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
pdf
Author:
Samson Abramsky (auth.) Amir Pnueli Irina Virbitskaite Andrei Voronkov (eds.)
Language:
English
Year:
2010
0
0
06.02.2024
2
0
Read online
Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
pdf
Author:
Noureddine Adjir Pierre De Saqui-Sannes Kamel Mustapha Rahmouni (auth.) Manuel Núñez Paul Baker Mercedes G. Merayo (eds.)
Language:
English
Year:
2009
0
0
06.02.2024
0
0
Read online
Conceptual Modeling - ER 2009: 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings
pdf
Author:
Peter P. Chen (auth.) Alberto H. F. Laender Silvana Castano Umeshwar Dayal Fabio Casati José Palazzo M. de Oliveira (eds.)
Language:
English
Year:
2009
0
0
06.02.2024
0
0
Read online
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
06.02.2024
0
0
Read online
Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering
pdf
Author:
Lidia Fuentes Pablo Sánchez (auth.) Shmuel Katz Harold Ossher Robert France Jean-Marc Jézéquel (eds.)
Language:
English
Year:
2009
0
0
06.02.2024
0
0
Read online
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
pdf
Author:
Rastislav Bodik (auth.) Jens Palsberg Zhendong Su (eds.)
Language:
English
Year:
2009
0
0
06.02.2024
1
0
Read online
Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
pdf
Author:
Greg Bronevetsky Daniel Marques Keshav Pingali Radu Rugina (auth.) Vikram Adve María Jesús Garzarán Paul Petersen (eds.)
Language:
English
Year:
2008
0
0
06.02.2024
0
0
Read online
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
pdf
Author:
Alan J. Hu (auth.) Karen Yorav (eds.)
Language:
English
Year:
2008
0
0
06.02.2024
0
0
Read online
1
...
6
7
8
9
10
11
12
13
14
...
379
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
