Call Number (LC) Title Results
QA76.7 .M33 1983 Principles of programming languages : design, evaluation, and implementation / 2
QA76.7 .M33 1999 Principles of programming languages : design, evaluation, and implementation / 1
QA76.7 .M34 1986 Algebraic approaches to program semantics / 1
QA76.7 .M342 1992 Predicate transformer semantics / 1
QA76.7 .M342 2004 Predicate transformer semantics / 1
QA76.7 .M346 1987 The world of programming languages / 1
QA76.7 .M348 2008 LINQ in action / 1
QA76.7 .M37 2012 Wielkie umysły programowania : jak myśla̜ i pracuja̜ twórcy najważniejszych języków / 1
QA76.7 .M378 1988 Mathematical foundations of programming language semantics : 3rd workshop, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings /
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / 		2
QA76.7 .M38 Mathematical foundations of programming semantics : international conference. 1
QA76.7 .M38 1986 Mathematical foundations of programming semantics international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / 1
QA76.7 .M38 1990 Mathematical foundations of programming semantics 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings / 1
QA76.7 .M38 1992 Mathematical foundations of programming semantics 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / 1
QA76.7 .M49 2014 Praxiswissen TYPO3 CMS / 1
QA76.7 .M494 2008 Beginning scripting through game creation / 1
QA76.7 .M53 1993 Logic and specifiction : extending VDM-SL for advanced formal specification / 1
QA76.7 .M54 A theory of programming language semantics / 1
QA76.7 .M57 1996 Foundations for programming languages / 1
QA76.7 .M578 Methods of algorithmic language implementation : [selected papers translated from the proceedings of a symposium on methods for the implementation of algorithmic languages, held on September 10-13, 1975, Novosibirsk, USSR] / 1
QA76.7 .M68 1992eb Action semantics / 1