Тема, жанр, tags: Programming Languages Compilers Interpreters,Logics and Meanings of Programs,Programming Techniques, » Page 759 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters,Logics and Meanings of Programs,Programming Techniques, » Page 759

book Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

pdf

Author: Richard B. Kieburtz (auth.) Walid Taha (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

pdf

Author: Greg Morrisett (auth.) Daniel Le Métayer (eds.)
Language: English
Year: 2002

00

26.01.2024

1

0

book Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

pdf

Author: Andrew C. Myers (auth.) Mooly Sagiv (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

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 Online Algorithms: The State of the Art

Online Algorithms: The State of the Art

djvu

Author: Amos Fiat Gerhard J. Woeginger (auth.) Amos Fiat Gerhard J. Woeginger (eds.)
Language: English
Year: 1998

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 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

Author: Yohji Akama (auth.) Philippe de Groote J. Roger Hindley (eds.)
Language: English
Year: 1997

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