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

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

book Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

pdf

Author: Baoqiu Cui Yifei Dong Xiaoqun Du (auth.) Catuscia Palamidessi Hugh Glaser Karl Meinke (eds.)
Language: English
Year: 1998

00

26.01.2024

2

0

book Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

djvu

Author: David Pitt (auth.) David Pitt Samson Abramsky Axel Poigné David Rydeheard (eds.)
Language: English
Year: 1986

00

26.01.2024

0

0

book Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20–25, 2001 Revised Papers

Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20–25, 2001 Revised Papers

pdf

Author: Andreas Kerren John T. Stasko (auth.) Stephan Diehl (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

pdf

Author: Guy L. Steele (auth.) Masami Hagiya Philip Wadler (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

pdf

Author: Tony Andrews Shaz Qadeer Sriram K. Rajamani Jakob Rehof Yichen Xie (auth.) Philippa Gardner Nobuko Yoshida (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Duality in vector optimization

Duality in vector optimization

pdf

Author: Radu Ioan Bot Sorin-Mihai Grad Gert Wanka (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book A Study in String Processing Languages

A Study in String Processing Languages

djvu

Author: Paul Klint (auth.)
Language: English
Year: 1985

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

pdf

Author: Héctor Geffner (auth.) Peter van Beek (eds.)
Language: English
Year: 2005

00

26.01.2024

5

0

book SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

pdf

Author: Dines Bjørner (auth.) Václav Hlaváč Keith G. Jeffery Jiří Wiedermann (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

pdf

Author: Paul Hudak (auth.) S. Doaitse Swierstra (eds.)
Language: English
Year: 1999

00

26.01.2024

1

0