Тема, жанр, tags: Programming Languages Compilers Interpreters,Programming Techniques,Software Engineering,Logics and » Page 365 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters,Programming Techniques,Software Engineering,Logics and » Page 365

book Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

pdf

Author: Andrew Pitts (auth.) Rocco De Nicola (eds.)
Language: English
Year: 2007

00

26.01.2024

2

0

book Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

pdf

Author: Olivier Danvy (auth.) Samson Abramsky (eds.)
Language: English
Year: 2001

00

26.01.2024

1

0

book Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

pdf

Author: Thierry Coquand (auth.) Paweł Urzyczyn (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

book Languages and Compilers for Parallel Computing: Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 Proceedings

Languages and Compilers for Parallel Computing: Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 Proceedings

djvu

Author: G. Agha C. Houck R. Panwar (auth.) Utpal Banerjee David Gelernter Alex Nicolau David Padua (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0

book Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

pdf

Author: Tony Hoare Jay Misra (auth.) Bertrand Meyer Jim Woodcock (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

pdf

Author: Ulrich Herzog (auth.) Ed Brinksma Holger Hermanns Joost-Pieter Katoen (eds.)
Language: English
Year: 2001

00

26.01.2024

3

0

book Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

pdf

Author: Vijay Saraswat (auth.) Zhong Shao (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Automata, Languages and Programming: 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings

Automata, Languages and Programming: 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings

djvu

Author: Alok Aggarwal Ashok K. Chandra (auth.) Timo Lepistö Arto Salomaa (eds.)
Language: English
Year: 1988

00

26.01.2024

0

0

book Implementation of Functional Languages: 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers

Implementation of Functional Languages: 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers

pdf

Author: Simon Peyton Jones Thomas Nordin Dino Oliva (auth.) Chris Clack Kevin Hammond Tony Davie (eds.)
Language: English
Year: 1998

00

26.01.2024

1

0

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