Тема, жанр, tags: Logics and Meanings of Programs,Computation by Abstract Devices,Programming Languages Compilers Inte » Page 589 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Computation by Abstract Devices,Programming Languages Compilers Inte » Page 589

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

Author: Parosh Aziz Abdulla Bengt Jonsson (auth.) Kim G. Larsen Mogens Nielsen (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

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

Author: Kung-Kiu Lau Mario Ornaghi Zheng Wang (auth.) Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem-Paul de Roever (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

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

Author: Rastislav Bodík Rajiv Gupta (auth.) Chua-Huang Huang Ponnuswamy Sadayappan Utpal Banerjee David Gelernter Alex Nicolau David Padua (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

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

Author: Andrew Eremin Mark Wallace (auth.) Toby Walsh (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

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

Author: Garrett Birkhoff (auth.) Nachum Dershowitz (eds.)
Language: English
Year: 1989

00

26.01.2024

1

0

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

Author: Mike Wiering Peter Achten Rinus Plasmeijer (auth.) Pieter Koopman Chris Clack (eds.)
Language: English
Year: 2000

00

26.01.2024

2

0

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

Author: Krzysztof Czarnecki (auth.) Walid Taha (eds.)
Language: English
Year: 2001

00

26.01.2024

1

0

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

Author: Henk Barendregt Kees Hemerik (auth.) Neil Jones (eds.)
Language: English
Year: 1990

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

pdf

Author: Henk Barendregt (auth.) Aart Middeldorp (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

pdf

Author: Yoshihito Toyama (auth.) Jürgen Giesl (eds.)
Language: English
Year: 2005

00

26.01.2024

1

0