The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Programming Languages Compilers Interpreters,Operating Systems,Computer Communication Networks,Progr » Page 1481
Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques, and Run Time Systems
pdf
Author:
Ken Kennedy Charles Koelbel (auth.) Santosh Pande Dharma P. Agrawal (eds.)
Language:
English
Year:
2001
0
0
26.01.2024
0
0
Read online
Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
pdf
Author:
Mary Lou Soffa (auth.) Evelyn Duesterwald (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text
djvu
Author:
Sigbjorn Finne Simon Peyton Jones (auth.) John Launchbury Erik Meijer Tim Sheard (eds.)
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
Rigorous Development of Complex Fault-Tolerant Systems
pdf
Author:
Jean-Raymond Abrial (auth.) Michael Butler Cliff B. Jones Alexander Romanovsky Elena Troubitsyna (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings
pdf
Author:
Robert Nieuwenhuis José Miguel Rivero (auth.) Paliath Narendran Michael Rusinowitch (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
pdf
Author:
Mutsunori Banbara Naoyuki Tamura Katsumi Inoue (auth.) Masanobu Umeda Armin Wolf Oskar Bartenstein Ulrich Geske Dietmar Seipel Osamu Takata (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
djvu
Author:
Claude Kirchner (eds.)
Language:
English
Year:
1993
0
0
26.01.2024
0
0
Read online
STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4–6, 1999 Proceedings
pdf
Author:
Noam Nisan (auth.) Christoph Meinel Sophie Tison (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers
pdf
Author:
Cinzia Bernardeschi Nicoletta De Francesco (auth.) Agostino Cortesi (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
0
0
Read online
Automata, Languages and Programming: 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings
djvu
Author:
A. Ehrenfeucht T. Harju G. Rozenberg (auth.) Zoltán Fülöp Ferenc Gécseg (eds.)
Language:
English
Year:
1995
0
0
26.01.2024
0
0
Read online
1
...
1477
1478
1479
1480
1481
1482
1483
1484
1485
...
1494
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через