Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 587 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 587

book Mathematical Foundations of Computer Science 1992: 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings

Mathematical Foundations of Computer Science 1992: 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings

djvu

Author: Pankaj K. Agarwal Jiří Matoušek (auth.) Ivan M. Havel Václav Koubek (eds.)
Language: English
Year: 1992

00

26.01.2024

1

0

book Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi

Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi

pdf

Author: Igor Walukiewicz (auth.) Roberto Amadio (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

pdf

Author: Krzysztof R. Apt (auth.) Joxan Jaffar (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

pdf

Author: Scott Owens (auth.) Sophia Drossopoulou (eds.)
Language: English
Year: 2008

00

26.01.2024

2

0

book Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

pdf

Author: Peter Schachte Harald Søndergaard (auth.) E. Allen Emerson Kedar S. Namjoshi (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Models of computation: An introduction to computability theory

Models of computation: An introduction to computability theory

pdf

Author: Dr Maribel Fernández (auth.)
Language: English
Year: 2009

00

26.01.2024

1

0

book Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

djvu

Author: Yuri Matiyasevich (auth.) Jieh Hsiang (eds.)
Language: English
Year: 1995

00

26.01.2024

2

0

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