logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Partial Evaluation. Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) - John Hatcliff, Torben Mogensen, Peter Thiemann
Partial Evaluation. Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)
by: (author) (author) (author)
Format: kindle
ASIN: B0019334Y6
Publisher: Springer
Pages no: 442
Edition language: English
Bookstores:
Books by Torben Mogensen
Partial Evaluation. Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) - John Hatcliff, Torben Mogensen, Peter Thiemann
The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones - K. -O J. Haustein, Torben Mogensen, D. Schmidt, T. Morgensen, K. -O J. Haustein
The Essence of Computation: Complexity, ... The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones (Lecture Notes in Computer Science) - Torben Mogensen, David Schmidt, I. Hal Sudborough
Books by Peter Thiemann
Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings - Tom Schrijvers, Peter Thiemann
Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers - Olivier Danvy, Robert Glück, Peter Thiemann
Partial Evaluation. Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) - John Hatcliff, Torben Mogensen, Peter Thiemann
Books by John Hatcliff
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010 AmsterdaMm, The Netherlands, June 7-9, 2010 Proceedings - John Hatcliff, Elena Zucca
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, Tacas 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Hubert Garavel, John Hatcliff
Partial Evaluation. Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) - John Hatcliff, Torben Mogensen, Peter Thiemann
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science) - Hubert Garavel, John Hatcliff
Share this Book
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.