Call Number (LC) Title Results
QA76.9.M35 P73 1994 Preconditioning iterative methods / 1
QA76.9.M35 P73 2009eb Mathematical foundation of computer science / 1
QA76.9.M35 R36 2011 Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, the Netherlands, May 30 - June 3, 2011 : proceedings / 1
QA76.9.M35 R36 2012 Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / 1
QA76.9.M35 R363338 2012 Discrete mathematics / 1
QA76.9.M35 R444 1997 Relational methods in computer science
Relational methods in computer science / 		2
QA76.9.M35 R45 1987 Initial computability, algebraic specifications, and partial algebras / 1
QA76.9.M35 R48 1993 Relations and graphs : discrete mathematics for computer scientists / 1
QA76.9.M35 R66 1986 An introduction to discrete mathematics / 2
QA76.9.M35 R67 1985 Discrete mathematics / 1
QA76.9.M35 R67 1992 Discrete mathematics / 1
QA76.9.M35 R677 2002 Probability models for computer science / 1
QA76.9.M35 S26 2012 Foundations of algebraic specification and formal software development 1
QA76.9.M35 S36 2011 Relational mathematics / 1
QA76.9.M35 S36 2021 Introduction to computation : Haskell, logic and automata / 1
QA76.9.M35 S46 2009 Discrete mathematics and combinatorics / 1
QA76.9.M35 S52 SIAM journal on discrete mathematics. 1
QA76.9.M35 S53 2016eb Discrete mathematics / 1
QA76.9.M35 S56 2005eb A computational introduction to number theory and algebra / 1
QA76.9.M35 S58 1986 Discrete mathematics with computer science applications / 2