Title: Axiomatic Domain Theory in Categories of Partial Maps, Author: Marcelo P. Fiore
Title: Go Fundamentals: Gopher Guides, Author: Mark Bates
Title: Effective Go Recipes: Fast Solutions to Common Tasks, Author: Miki Tebeka
Title: COBOL Programming Interview Questions CO, Author: Terry Sanchez-Clark
Title: Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, Author: Mads Dam
Title: Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings, Author: Radhia Cousot
Title: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, Author: Marko Bertogna
Title: Isomorphisms of Types: from ?-calculus to information retrieval and language design, Author: Roberto DiCosmo
Title: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Author: Marten Lohstroh
Title: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, Author: Chris Hankin
Title: Models of Sharing Graphs: A Categorical Semantics of let and letrec, Author: Masahito Hasegawa
Title: Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings, Author: Jïrg Gutknecht
Title: Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Link�ping, Sweden, April, 22 - 24, 1996. Proceedings, Author: Hanne R. Nielson
Title: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, Author: Pascal van Hentenryck
Title: Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings, Author: Josï Jïlio Alferes
Title: Languages and Compilers for Parallel Computing: 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers, Author: Mary Hall
Title: Database Programming Languages: 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001. Revised Papers, Author: Gosta Grahne
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings, Author: Jens Palsberg
Title: Zephyr RTOS Embedded C Programming: Using Embedded RTOS POSIX API, Author: Andrew Eliasz
Title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar

Pagination Links