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

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

book Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

pdf

Author: Joachim van den Berg Marieke Huisman Bart Jacobs Erik Poll (auth.) Didier Bert Christine Choppy Peter D. Mosses (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

djvu

Author: David A. Basin (auth.) Laurent Fribourg Franco Turini (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

pdf

Author: Roy Crole (auth.) Roland Backhouse Roy Crole Jeremy Gibbons (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Compiler Construction: 12th International Conference, CC 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: Neil Johnson Alan Mycroft (auth.) Görel Hedin (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

pdf

Author: Robert Giegerich Peter Steffen (auth.) Eerke A. Boiten Bernhard Möller (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures

Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures

pdf

Author: Lex Augusteijn (auth.) S. Doaitse Swierstra José N. Oliveira Pedro R. Henriques (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings

Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings

djvu

Author: Peter Ørbæk (auth.) Peter A. Fritzson (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

djvu

Author: Edmund M. Clarke Jr. (auth.) Wojciech Penczek Andrzej Szałas (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

pdf

Author: Joshua D. Guttman (auth.) Bernhard Steffen Giorgio Levi (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Implementation of Functional Languages: 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers

Implementation of Functional Languages: 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers

pdf

Author: Claus Aßmann (auth.) Kevin Hammond Tony Davie Chris Clack (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0