** A course in model theory / Katrin Tent, Martin Ziegler**

Cambridge : Cambridge University Press, 2012

** Algorithmic and computational robotics : new directions : the fourth Workshop on the Algorithmic Foundations of Robotics / edited by Bruce Randall Donald, Kevin M. Lynch, Daniela Rus**

Natick, Mass. : A K Peters, ©2001

** Algorithmic foundations of robotics / WAFR 94, the Workshop on the Algorithmic Foundations of Robotics ; edited by Ken Goldberg [and others]**

Wellesley, Mass. : A.K. Peters, ©1995

** Algorithmic foundations of robotics V / J -D Boissonnat [and others] (eds )**

Berlin ; New York : Springer, ©2004

** Algorithmic puzzles / Anany Levitin Maria Levitin**

Oxford ; New York : Oxford University Press, c2011

** Algorithms for robotic motion and manipulation : 1996 Workshop on the Algorithmic Foundations of Robotics / edited by Jean-Paul Laumond, Mark Overmars**

Wellesley, Mass. : A K Peters, ©1997

** An introduction to bioinformatics algorithms / Neil C. Jones, Pavel A. Pevzner**

Cambridge, MA : MIT Press, ©2004

** An introduction to homological algebra / Charles A. Weibel**

Cambridge [England] ; New York : Cambridge University Press, 1995

** An introduction to multiagent systems / Michael Wooldridge**

Chichester U K : John Wiley & Sons, 2009

** Bifurcation without parameters / Stefan Liebscher**

Cham : Springer, ©2015

** Blocks of finite groups and their invariants / Benjamin Sambale**

** Cellular communications : a comprehensive and practical guide / Nishith D Tripathi Jeffrey H Reed**

** Classical Fourier analysis / Loukas Grafakos**

** Connected code : why children need to learn programming / Yasmin B Kafai and Quinn Burke**

** Control systems engineering / Norman S. Nise, California State Polytechnic University, Pomona**

** Differential geometry : basic notions and physical examples / Marcelo Epstein**

** Environmental forensics for persistent organic pollutants / edited by Gwen O'Sullivan and Court Sandau**

Amsterdam : Elsevier, 2014

** Formal algorithmic elimination for PDEs / Daniel Robertz**

** From Alexandria, through Baghdad : surveys and studies in the ancient Greek and medieval Islamic mathematical sciences in honor of J.L. Berggren / Nathan Sidoli, Glen Van Brummelen, editors**

Heidelberg : Springer, ©2014

** Gas treating : absorption theory and practice / Dag A Eimer**

** Harmonic and spectral analysis / László Székelyhidi University of Debrecen Hungary**

** Introduction to machine learning / Ethem Alpaydin**

** Introduction to time-delay systems : analysis and control / Emilia Fridman**

** Inverse M-matrices and ultrametric matrices / Claude Dellacherie, Servet Martinez, Jaime San Martin**

** Jane Austen game theorist / Michael Suk-Young Chwe**

** Lower previsions / Matthias C M Troffaes Gert de Cooman**

** LTE standards / Jean-Gabriel Remy, Charlotte Letamendia**

** Markov chains : analytic and Monte Carlo computations / Carl Graham**

** Mathematical models and methods for plasma physics / Rémi Sentis**

** Mathematical models of beams and cables / Angelo Luongo Daniele Zulli**

** Modern Fourier analysis / Loukas Grafakos**

** Modern survey sampling / Arijit Chaudhuri**

** Monte Carlo methods for particle transport / Alireza Haghighat**

** Optimal control / Richard Vinter**

Boston : Birkhäuser, [2010]

** Parallel kinematics : type kinematics and optimal design / by Xin-Jun Liu Jinsong Wang**

** Pattern recognition and image preprocessing / Sing-Tze Bow**

New York : Marcel Dekker, ©2002

** Plasticity : fundamentals and applications / P.M. Dixit, U.S. Dixit**

** Remote sensing imagery / edited by Florence Tupin, Jordi Inglada, Jean-Marie Nicolas**

** Robotics : the algorithmic perspective : the Third Workshop on the Algorithmic Foundations of Robotics / edited by Pankaj K. Agarwal, Lydia E. Kavraki, Matthew T. Mason**

Natick, Mass. : A K Peters, ©1998

** SAS system for forecasting time series / [John C. Brocklebank, David A. Dickey]**

Cary, NC : SAS Institute, ©1986

** Stabilization of elastic systems by collocated feedback / Kaïs Ammari, Serge Nicaise**

** Stochastic control theory : dynamic programming principle / Makikio Nisio**

** Superintelligence : paths dangers strategies / Nick Bostrom**

** Symmetric spaces and the Kashiwara-Vergne method / François Rouvière**

** The Dirac equation and its solutions / Vladislav G. Bagrov, Dmitry Gitman**

Berlin : De Gruyter, c2014

** The weighted bootstrap / Philippe Barbe and Patrice Bertail**

New York : Springer-Verlag, ©1995

** Theoretical and computational aerodynamics / Tapan K Sengupta**

** Transport and coherent structures in wall turbulence / Sedat Tardu**

** Vehicle dynamics : modeling and simulation / Dieter Schramm Manfred Hiller Roberto Bardini**

** Why is there philosophy of mathematics at all? / Ian Hacking**