Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Computation by Abstract Devices,Programming Languages Compilers Inte » Page 1475
book CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
pdf
00
26.01.2024
0
0
Read online
book Online Algorithms: The State of the Art
Online Algorithms: The State of the Art
djvu
00
26.01.2024
0
0
Read online
book Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
pdf
00
26.01.2024
0
0
Read online
book Languages and Compilers for Parallel Computing: 8th International Workshop, LCPC '95 Columbus, Ohio, USA, August 10–12, 1995 Proceeding
Languages and Compilers for Parallel Computing: 8th International Workshop, LCPC '95 Columbus, Ohio, USA, August 10–12, 1995 Proceeding
djvu
00
26.01.2024
0
0
Read online
book Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
pdf
00
26.01.2024
0
0
Read online
book Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
djvu
00
26.01.2024
1
0
Read online
book Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
djvu
00
26.01.2024
1
0
Read online
book Implementation of Functional Languages: 11th International Workshop, IFL’99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers
Implementation of Functional Languages: 11th International Workshop, IFL’99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers
pdf
00
26.01.2024
2
0
Read online
book Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings
Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings
pdf
00
26.01.2024
1
0
Read online
book ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
djvu
00
26.01.2024
0
0
Read online