CALL: BC199 .T4 K76 2008
AUTHOR: Kröger, Fred, 1945-
TITLE: Temporal logic and state systems / Fred Kröger, Stephan Merz.
IMPRINT: Berlin : Springer, c2008.
CALL: HG173 .F56 2000
TITLE: Financial toolbox : for use with MATLAB : user's guide.
IMPRINT: Natick, MA : MathWorks, Inc., c2000.
CALL: P138 .K67 2008
AUTHOR: Kornai, András, 1957-
TITLE: Mathematical linguistics / András Kornai.
IMPRINT: London : Springer, c2008.
CALL: QA1 .A3 V.49
AUTHOR: Akiyama, Shigeki.
TITLE: Probability and number theory-- Kanazawa 2005 / edited by Shigeki Akiyama ... [et al.].
