Тема, жанр, tags: Programming Techniques,Software Engineering,Programming Languages Compilers Interpreters,Logics and » Page 344 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Techniques,Software Engineering,Programming Languages Compilers Interpreters,Logics and » Page 344

book Object-Oriented Technology. ECOOP 2006 Workshop Reader: ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

Object-Oriented Technology. ECOOP 2006 Workshop Reader: ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

pdf

Author: Roland Ducournau Etienne Gagnon Chandra Krintz Philippe Mulet Jan Vitek (auth.) Mario Südholt Charles Consel (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

pdf

Author: Greg Nelson (auth.) Dexter Kozen (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Memory Management: International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 Proceedings

Memory Management: International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 Proceedings

djvu

Author: Paul R. Wilson (auth.) Yves Bekkers Jacques Cohen (eds.)
Language: English
Year: 1992

00

26.01.2024

3

0

book Metaclasses and Their Application: Data Model Tailoring and Database Integration

Metaclasses and Their Application: Data Model Tailoring and Database Integration

djvu

Author: Wolfgang Klas Michael Schrefl (auth.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers

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

00

26.01.2024

0

0

book Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation

djvu

Author: Anne Mulkers (auth.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

pdf

Author: Wolfgang Grieskamp (auth.) Klaus Havelund Manuel Núñez Grigore Roşu Burkhart Wolff (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Input/Output Intensive Massively Parallel Computing: Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems

Input/Output Intensive Massively Parallel Computing: Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems

djvu

Author: Peter Brezany (auth.)
Language: English
Year: 1997

00

26.01.2024

1

0

book Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

pdf

Author: Thomas Ball Byron Cook Vladimir Levin Sriram K. Rajamani (auth.) Eerke A. Boiten John Derrick Graeme Smith (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

pdf

Author: Nazareno Aguirre Germán Regis Tom Maibaum (auth.) Jim Davies Jeremy Gibbons (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0