Тема, жанр, tags: Theory of Computation,Programming Techniques,Programming Languages Compilers Interpreters,Computer C » Page 359 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Theory of Computation,Programming Techniques,Programming Languages Compilers Interpreters,Computer C » Page 359

book Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

djvu

Author: Robin Milner (auth.) Pierpaolo Degano Roberto Gorrieri Alberto Marchetti-Spaccamela (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

pdf

Author: Martin Odersky (auth.) Gert Smolka (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

pdf

Author: Tobias Nipkow Markus Wenzel Lawrence C. Paulson (eds.)
Language: English
Year: 2002

00

26.01.2024

2

0

book Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

pdf

Author: José Luiz Fiadeiro (auth.) Zhiming Liu Keijiro Araki (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

pdf

Author: Vivek Sarkar (auth.) Oege de Moor Michael I. Schwartzbach (eds.)
Language: English
Year: 2009

00

26.01.2024

6

0

book Languages and Compilers for Parallel Computing: 9th International Workshop, LCPC'96 San Jose, California, USA, August 8–10, 1996 Proceedings

Languages and Compilers for Parallel Computing: 9th International Workshop, LCPC'96 San Jose, California, USA, August 8–10, 1996 Proceedings

djvu

Author: Keith Cooper Ken Kennedy (auth.) David Sehr Utpal Banerjee David Gelernter Alex Nicolau David Padua (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

pdf

Author: Xavier Leroy (auth.) Pierpaolo Degano (eds.)
Language: English
Year: 2003

00

26.01.2024

1

0

book Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings

pdf

Author: J. C. González-Moreno M. T. Hortalá-González (auth.) Aart Middeldorp Taisuke Sato (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

pdf

Author: Eric Hehner (auth.) Steve Dunne Bill Stoddart (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

djvu

Author: Farid Ajili (auth.) Ugo Montanari Francesca Rossi (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0