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

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

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 Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings

Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings

djvu

Author: Wray Buntine (auth.) Rui Camacho Ross King Ashwin Srinivasan (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

pdf

Author: Donald Sannella (auth.) Annalisa Bossi (eds.)
Language: English
Year: 2000

00

26.01.2024

3

0

book Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

pdf

Author: Gopalan Nadathur (auth.) Herbert Kuchen Kazunori Ueda (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Languages and Compilers for Parallel Computing: 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings

Languages and Compilers for Parallel Computing: 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings

djvu

Author: Paul Feautrier (auth.) Keshav Pingali Utpal Banerjee David Gelernter Alex Nicolau David Padua (eds.)
Language: English
Year: 1995

00

26.01.2024

2

0

book Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

djvu

Author: Andrea Asperti Cosimo Laneve (auth.) Mariangiola Dezani-Ciancaglini Gordon Plotkin (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Languages and Compilers for Parallel Computing: 6th International Workshop Portland, Oregon, USA, August 12–14, 1993 Proceedings

Languages and Compilers for Parallel Computing: 6th International Workshop Portland, Oregon, USA, August 12–14, 1993 Proceedings

djvu

Author: Martin C. Carlisle Anne Rogers (auth.) Utpal Banerjee David Gelernter Alex Nicolau David Padua (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

pdf

Author: Ulrich Geske Hans-Joachim Goltz (auth.) Dietmar Seipel Michael Hanus Armin Wolf (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

djvu

Author: Samson Abramsky (auth.) Hélène Kirchner (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings

Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings

pdf

Author: Henry Kautz Bart Selman (auth.) Francesca Rossi (eds.)
Language: English
Year: 2003

00

26.01.2024

3

0