Call Number (LC) Title Results
QA76.9.M35 C653 2018 Connections in discrete mathematics : a celebration of the work of Ron Graham / 1
QA76.9.M35 C655 1992 Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /
Constructivity in computer science summer symposium, San Antonio, TX, June 19-22, 1991, proceedings / 		2
QA76.9.M35 C66 1984 Computer mathematics / 1
QA76.9.M35 C66 2018 Connections in discrete mathematics : a celebration of the work of Ron Graham / 1
QA76.9.M35 C67 2012 Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings / 1
QA76.9.M35 C93 2022 Computing in cause-effect structures / 1
QA76.9.M35 D38 2012 Linear algebra and probability for computer science applications / 1
QA76.9.M35 D38 2015 Linear Algebra and Probability for Computer Science Applications. 1
QA76.9.M35 D578 2007 Stochastic relations foundations for Markov transition systems / 1
QA76.9.M35 D63 2010eb  
QA76.9.M35 D66 2001 Mathematical foundations of information retrieval / 1
QA76.9.M35 E97 1997 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 /
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 / 		2
QA76.9.M35 E97 2010 Interfaces explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 student sessions : selected papers / 1
QA76.9.M35 E97 2018eb At the intersection of language, logic, and information : ESSLLI 2018 Students Session, Sofia, Bulgaria, August 6-17, 2018. Selected papers / 1
QA76.9.M35 .E976 2015eb Numerical mathematics and advanced applications ENUMATH 2013 : proceedings of ENUMATH 2013, the 10the European Conference on Numerical Mathematics and Advanced Applications, Laussanee, August 2013 / 1
QA76.9.M35 E98 2007eb Extending the horizons advances in computing, optimization and decision technologies / 1
QA76.9.M35 F47 2018 Cognitive architectures / 1
QA76.9.M35 F54 2010 Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / 1
QA76.9.M35 F59 2012eb Mathematics and physics for programmers / 1
QA76.9.M35 F75 2002 Fork algebras in algebra, logic and computer science / 1