Title: Axiomatic Domain Theory in Categories of Partial Maps, Author: Marcelo P. Fiore
Title: Go Fundamentals: Gopher Guides, Author: Mark Bates
Title: Forensische Informatik, Author: Andreas Dewald
Title: Effective Go Recipes: Fast Solutions to Common Tasks, Author: Miki Tebeka
Title: COBOL Programming Interview Questions CO, Author: Terry Sanchez-Clark
Title: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, Author: Alberto Lluch Lafuente
Title: Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, Author: Kwangkeun Yi
Title: Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings, Author: Hugh Glaser
Title: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings, Author: Alan Mycroft
Title: An Introduction to Formal Language Theory, Author: Robert N. Moll
Title: Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings, Author: Jack Davidson
Title: Models of Sharing Graphs: A Categorical Semantics of let and letrec, Author: Masahito Hasegawa
Title: Zephyr RTOS Embedded C Programming: Using Embedded RTOS POSIX API, Author: Andrew Eliasz
Title: Introducing Delphi ORM: Object Relational Mapping Using TMS Aurelius, Author: John Kouraklis
Title: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, Author: Wei-Ngan Chin
Title: Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings, Author: Donald Sannella
Title: Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, Author: Agostino Cortesi
Title: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, Author: Pascal van Hentenryck
Title: Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures, Author: Jouko Väänänen
Title: Modular Programming Languages: Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings, Author: Hanspeter Mössenböck

Pagination Links