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

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

book International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

djvu

Author: Marco Bellia Pierpaolo Degano Giorgio Levi (auth.) Mariangiola Dezani-Ciancaglini Ugo Montanari (eds.)
Language: English
Year: 1982

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings

Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings

pdf

Author: Silvano Dal Zilio Andrew D. Gordon (auth.) Mogens Nielsen Branislav Rovan (eds.)
Language: English
Year: 2000

00

26.01.2024

3

0

book Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings

Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings

pdf

Author: Jean-Marc Andreoli (auth.) Jean-Yves Girard (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

pdf

Author: Sophia Drossopoulou Dave Clarke James Noble (auth.) Peter Sestoft (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

pdf

Author: Luca Cardelli Giorgio Ghelli (auth.) David Sands (eds.)
Language: English
Year: 2001

00

26.01.2024

2

0

book Geometric algebra: An algebraic system for computer games and animation

Geometric algebra: An algebraic system for computer games and animation

pdf

Author: Prof. John Vince MTech PhD DSc CEng FBCS (auth.)
Language: English
Year: 2009

00

26.01.2024

1

0

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 TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

djvu

Author: Luca Aceto (auth.) S. Abramsky T. S. E. Maibaum (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0