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

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

book Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures

Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures

pdf

Author: Atze Dijkstra S. Doaitse Swierstra (auth.) Varmo Vene Tarmo Uustalu (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

pdf

Author: Joshua B. Tenenbaum (auth.) Filip Železný Nada Lavrač (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

pdf

Author: Natarajan Shankar (auth.) Alberto Pettorossi (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

pdf

Author: François Fages (auth.) Patricia M. Hill (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

djvu

Author: Colin Stirling (auth.) Insup Lee Scott A. Smolka (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

pdf

Author: Dawson Engler (auth.) Martín Abadi Luca de Alfaro (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

book Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings

Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings

djvu

Author: J. A. Bergstra (auth.) J. Grabowski P. Lescanne W. Wechler (eds.)
Language: English
Year: 1988

00

26.01.2024

1

0

book Distributed Algorithms: 8th International Workshop, WDAG '1994 Terschelling, The Netherlands, September 29 – October 1, 1994 Proceedings

Distributed Algorithms: 8th International Workshop, WDAG '1994 Terschelling, The Netherlands, September 29 – October 1, 1994 Proceedings

djvu

Author: Özalp Babaoğlu Alberto Bartoli Gianluca Dini (auth.) Gerard Tel Paul Vitányi (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 1997: 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings

djvu

Author: Samson Abramsky (auth.) Igor Prívara Peter Ružička (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text

Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text

djvu

Author: Jeroen Fokker (auth.) Johan Jeuring Erik Meijer (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0