Skip to main content

University Libraries

Browse by Call Number


Items Acquired in December 2017 for the University Libraries


Q130 .S36 2017eb

Women in STEM disciplines : the Yfactor 2016 global report on gender in science, technology, engineering and mathematics

Claudine Schmuck


An Accidental Brexit : New EU and Transatlantic Economic Perspectives

Paul J.J. Welfens

Q174 .I5625 2017eb

Discovery science : 20th International Conference, DS 2017, Kyoto, Japan, October 15-17, 2017, Proceedings

Akihiro Yamamoto, Takuya Kida, Takeaki Uno, Tetsuji Kuboyama (eds.)


Technicity vs scientificity

Giulua Anichini, Flavia Carraro, Philippe Geslin, Georges Guille-Escuret

Q175 .G584 2017

The new mechanical philosophy

Stuart Glennan

Q175 .S354 2016eb

Scientific composition and metaphysical ground

Kenneth Aizawa, Carl Gillett, editors

Q175.37 .B46 2017

Fraud and misconduct in research : detection, investigation, and organizational response

Nachman Ben-Yehuda and Amalya Oliver-Lumerman

Q175.5 .C5287 2018

Citizen inquiry : synthesising science and inquiry learning

edited by Christothea Herodotou, Mike Sharples and Eileen Scanlon


Academic & scientific poster presentation : a modern comprehensive guide

Nicholas Rowe

Q180.55.E4 W56 2018

Qualitative analysis using ATLAS.ti : the five-level QDA method

Nicholas H. Woolf and Christina Silver


Funding atlas 2015 : key indicators for publicly funded research in Germany

Deutsche Forschungsgemeinschaft

Q180.55.G77 B69 2017

The strength in numbers : the new science of team science

Barry Bozeman and Jan Youtie

Q180.55.I48 B495 2018

Interdisciplinarity and wellbeing : a critical realist general theory of interdisciplinarity

Roy Bhaskar, Berth Danermark, and Leigh Price


Reflexive governance for research and innovative knowledge

Marc Maesschalck

Q180.55.M3 R87 2017

Managing applied social research : tools, strategies, and insights

Darlene Russ-Eft, Catherine M. Sleezer, Gregory Sampson, Laura Leviton

Q180.55.M4 C675 2018

Qualitative research and intercultural understanding : conducting qualitative research in multicultural settings

Deborah Court ; with chapters by Randa Abbas [and 3 others]

Q180.55.M67 Z83 2017eb

Tales of research misconduct : a Lancanian diagnostics of integrity challenges in science novels

Hub Zwart


Smart decisions in complex systems

Pierre Massotte, Patrick Corsi


Game-theoretic learning and distributed optimization in memoryless multi-agent systems [electronic resource]

Tatiana Tatarenko


Intelligent computing, networked control, and their engineering applications : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings.

Dong Yue, Chen Peng, Dajun Du, Tengfei Zhang, Min Zheng, Qinglong Han (eds.)


Intelligence science and big data engineering : 7th International Conference, IScIDE 2017, Dalian, China, September 22-23, 2017, Proceedings

Yi Sun, Huchuan Lu, Lihe Zhang, Jian Yang, Hua Huang (eds.)


BNAIC 2016 : artificial intelligence : 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised selected papers

Tibor Bosse, Bert Bredeweg (eds.)


KI 2017 : advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings

Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm (eds.)


Predictive computing and information security [electronic resource]

P.K. Gupta, Vipin Tyagi, S.K. Singh

Q335 .H795 2017

The sentient machine : the coming age of artificial intelligence

Amir Husain


Collective intelligence and digital archives : towards knowledge ecosystem [electronic resource]

edited by Samuel Szoniecky, Nasreddine Bouhaï

Q337.3 .M84 2018

Big mind : how collective intelligence can change our world

Geoff Mulgan


Pattern recognition : 39th German Conference, GCPR 2017, Basel, Switzerland, September 12-15, 2017, Proceedings

Volker Roth, Thomas Vetter (eds.)


Advanced computational methods in energy, power, electric vehicles, and their integration : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings.

Kang Li, Yusheng Xue, Shumei Cui, Qun Niu, Zhile Yang, Patrick Luk (eds.)


ICT innovations 2017 : data-driven innovation : 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings

Dimitar Trajanov, Verica Bakeva (ed.)


Computational intelligence for network structure analytics [electronic resource]

Maoguo Gong, Qing Cai, Lijia Ma, Shanfeng Wang, Yu Lei


Computational intelligence, communications, and business analytics : first International Conference, CICBA 2017, Kolkata, India, March 24-25, 2017, Revised selected papers.

J. K. Mandal, Paramartha Dutta, Somnath Mukhopadhyay (eds.)


Scalable uncertainty management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín (eds.)


Ginzburg-Landau Vortices


Advanced topics in relation algebras : relation algebras.

Steven Givant


Introduction to Relation Algebras. Volume 1 : : Relation Algebras

by Steven Givant


The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

edited By Andreas Tolk, Tuncer Ören

QA11.2 .C47 2016eb

Mathematics for dyslexics and dyscalculics : a teaching handbook

Steve Chinn and Richard E. Ashcroft

QA11.2 .G84 2016

Transitions in Mathematics Education

Ghislaine Gueudet, Marianna Bosch, Andrea A. diSessa, Oh Nam Kwon, Lieven Verschaffel

QA13 .D525 2018

A cultural history of reforming math for all : the paradox of making inequality

Jennifer D. Diaz

QA137 .C455 2017

Children's reasoning while building fraction ideas

edited by Carolyn A. Maher (Rutgers University, USA) and Dina Yankelewitz (Pearson Education, USA)


Large deviations for random graphs : École d'Été de Probabilités de Saint-Flour XLV - 2015

Sourav Chatterjee


Groups, matrices, and vector spaces : a group theoretic approach to linear algebra

James B. Carrell


Wagner's theory of generalised heaps

Christopher D. Hollings, Mark V. Lawson


Refinement monoids, equidecomposability types, and Boolean inverse semigroups

Friedrich Wehrung


Numerical linear algebra : theory and applications

Larisa Beilina, Evgenii Karchevskii, Mikhail Karchevskii


Geometric invariant theory : over the real and complex numbers

Nolan R. Wallach


Exploring the Riemann Zeta function : 190 years from Riemann's birth [electronic resource]

Hugh Montgomery, Ashkan Nikeghbali, Michael Th. Rassias, editors

QA255 .S75 2017

A most elegant equation : Euler's formula and the beauty of mathematics

David Stipp


Transactions on petri nets and other models of concurrency XII

Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.)


Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings

edited by Ángela I. Barbero, Vitaly Skachek, Øyvind Ytrehus


Algorithmic game theory : 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Vittorio Bilò, Michele Flammini (eds.)


Game theory for networks : 7th International EAI Conference, GameNets 2017 Knoxville, TN, USA, May 9, 2017, Proceedings

Lingjie Duan, Anibal Sanjab, Husheng Li, Xu Chen, Donatello Materassi, Rachid Elazouzi (eds.)


Probability for statisticians

Galen R. Shorack

QA273 .D53 2018

Ten great ideas about chance

Persi Diaconis, Brian Skyrms

QA273 .S75325 2017eb

Probability and conditional expectation : fundamentals for the empirical sciences

Rolf Steyer, Werner Nagel

QA273.2 .B38 2016

Research on teaching and learning probability

Carmen Batanero, Egan J. Chernoff, Joachim Engel, Hollylynne S. Lee, Ernesto Sánchez


Theory of probability : a critical introductory treatment

Bruno De Finetti ; translated by Antonio Machi, Adrian Smith


Equations involving malliavin calculus operators : applications and numerical approximation

Tijana Levajković, Hermann Mena


Stochastic differential equations : an introduction with applications in population dynamics modeling

Michael J. Panik


Numerical methods for stochastic partial differential equations with white noise

Zhongqiang Zhang, George Em Karniadakis


Nonlinearly perturbed semi-Markov processes [electronic resource]

Dmitrii Silvestrov, Sergei Silvestrov


Semi-Markov migration models for credit risk

Guglielmo D'Amico, Giuseppe Di Biase, Jacques Janssen, Raimondo Manca

QA274.7 .G34 2017

Markov chains : from theory to implementation and experimentation

Paul A. Gagniuc


Information technologies and mathematical modelling : queueing theory and applications : 16th International Conference, ITMM 2017, named after A.F. Terpugov, Kazan, Russia, September 29-October 3, 2017, Proceedings

Alexander Dudin, Anatoly Nazarov, Alexander Kirpichnikov (eds.)

QA275 .T685 2016eb

Total survey error in practice

edited by Paul P. Biemer, Edith de Leeuw, Stephanie Eckman, Brad Edwards, Frauke Kreuter, Lars E. Lyberg, N. Clyde Tucker, Brady T. West


Introductory statistics and random phenomena : uncertainty, complexity and chaotic behavior in engineering and science

Manfred Denker, Wojbor Woyczynski

QA276 .H22 2017eb

Statistical intervals : a guide for practitioners and researchers

QA276 .S635 2017

A Panorama of Statistics : Perspectives, Puzzles and Paradoxes in Statistics


Teaching statistics : a bag of tricks

Andrew Gelman and Deborah Nolan


Information geometry

Nihat Ay, Jürgen Jost, Hông Vân Lê, Lorenz Schwachhöfer

QA276.8 .C465 2017

Non-standard parametric statistical inference

Russell Cheng


Chi-squared goodness-of-fit tests for censored data

Mikhail S. Nikulin, Ekaterina V. Chimitova


First hitting time regression models : lifetime data analysis based on underlying stochastic processes

Chrysseis Caroni

QA279 .H57 2017

Advanced analysis of variance

Chihiro Hirotsu


Bayesian data analysis for animal scientists : the basics

by Agustín Blasco

QA279.5 .S435 2017eb

Introduction to Bayesian estimation and copula models of dependence

Arkady Shemyakin, Alexander Kniazev


Time series analysis : nonstationary and noninvertible distribution theory

Katsuto Tanaka, professor of statistics and econometrics, Gakushuin University, Tokyo


Interpolation and extrapolation optimal designs. 2, Finite dimensional general models

Giorgio Celant, Michel Broniatowski

QA29.H36 G74 2016eb

Grete Hermann - between physics and philosophy

Elise Crull, Guido Bacciagaluppi, editors

QA292 .A27 2017

An introductory course in summability theory

Ants Aasma, Hemen Dutta, P.N. Natarajan


Ramanujan summation of divergent series

Bernard Candelpergher

QA297 .H67 2017

Computational methods for numerical analysis with R

James P. Howard, II


Advances in complex analysis and operator theory : festschrift in honor of Daniel Alpay's 60th birthday

Fabrizio Colombo, Irene Sabadini, Daniele C. Struppa, Mihaela B. Vajiac, editors

QA300.5 .A53 2017

Analysis meets geometry : the Mikael Passare memorial volume

Mats Andersson [and 4 others], editors

QA304 .H46 2017

Algorithmic Differentiation in Finance Explained

Marc Henrard

QA320 .P435 2017

Geometry of the generalized geodesic flow and inverse spectral problems

Vesselin M. Petkov, Luchezar N. Stoyanov


Banach, Fréchet, Hilbert and Neumann spaces

Jacques Simon


Hyponormal quantization of planar domains : exponential transform in dimension two [electronic resource]

Björn Gustafsson, Mihai Putinar

QA329.9 .S64 2018

Variational-hemivariational inequalities with applications

Mircea Sofonea, Stanisław Migórski


Stein manifolds and holomorphic mappings : the homotopy principle in complex analysis [electronic resource]

Franc Forstnerič


Nonlinear reaction-diffusion systems : conditional symmetry, exact solutions and their applications in biology

Roman Cherniha, Vasyl' Davydovych


Spline collocation methods for partial differential equations : with applications in R

William E. Schiesser


Lie groups, differential equations, and Geometry : advances and surveys [electronic resource]

Giovanni Falcone, editor


Recent progress and modern challenges in applied mathematics, modeling and computational science [electronic resource]

Roderick Melnik, Roman Makarov, Jacques Belair, editors


Math tools : 500+ applications in science and arts

Georg Glaeser


Model reduction of parametrized systems

Peter Benner [and four others], editors


Optimal control : novel directions and applications

Daniela Tonon, Maria Soledad Aronna, Dante Kalise, editors


Mobile point sensors and actuators in the controllability theory of partial differential equations [electronic resource]

Alexander Y. Khapalov


Optimization and approximation

Pablo Pedregal


Ergodic optimization in the expanding case : concepts, tools and applications [electronic resource]

Eduardo Garibaldi


Evolutionary algorithms

Alain Pétrowski, Sana Ben-Hamida

QA402.5 .S4335 2018

Optimization and differentiation

Simon Serovajsky


Harmonic and complex analysis in several variables [electronic resource]

Steven G. Krantz


Lecture notes on wavelet transforms

Lokenath Debnath, Firdous A. Shah


Fourier analysis

Roger Ceschi, Jean-Luc Gautier


Putnam and beyond

Răzvan Gelca, Titu Andreescu


Integral methods in science and engineering. Volume 2, Practical applications

Christian Constanda, Matteo Dalla Riva, Pier Domenico Lamberti, Paolo Musolino, editors

QA431 .I4954 2016eb

Integral methods in science and engineering. Volume 1, Theoretical techniques

Christian Constanda, Matteo Dalla Riva, Pier Domenico Lamberti, Paolo Musolino, editors

QA431 .I4954 2016eb

Movement equations. 2, Mathematical and methodological supplements

Michel Borel, Georges Vénizélos

QA443 .G74 2017

Selected works of Philip A. Griffiths with commentary

Robert L. Bryant, Mark L. Green, editors


Mathematical Models : From the Collections of Universities and Museums -- Photograph Volume and Commentary [electronic resource]


Analytic and algebraic geometry

Anilatmaja Aryasomayajula, Indranil Biswas, Archana S. Morye, A. J. Parameswaran, editors


Algebraic theory of locally nilpotent derivations


Euclidean distance geometry : an introduction

Leo Liberti, Carlile Lavor


Shadowing and hyperbolicity

by Sergei Yu Pilyugin, Kazuhiro Sakai

QA643 .T63 2018

Willmore energy and Willmore conjecture

edited by Magdalena D. Toda


Hermitian-Grassmannian submanifolds : Daegu, Korea, July 2016 [electronic resource]

Young Jin Suh...[et al.], editors


Nearly pseudo-Kähler manifolds and related special holonomies

Lars Schäfer


Advances in computing : 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 proceedings [electronic resource]

Andrés Solano, Hugo Ordoñez (eds.)


Advanced parallel processing technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Yong Dou, Haixiang Lin, Guangyu Sun, Junjie Wu, Dora Heras, Luc Bougé (eds.)


Service-oriented and cloud computing : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings

Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen (eds.)


CCSP® (ISC)2® certified cloud security professional : official study guide

Brian T. O'Hara, Ben Malisow


Evolutionary computation with biogeography-based optimization

Haiping Ma, Dan Simon


Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [electronic resource]

edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch


Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

edited by Marco Bozzano, Yiannis Papadopoulos

QA76.642 .P767 2017

Programming multicore and many-core computing systems

edited by Sabri Pllana, Fatos Xhafa

QA76.7 .S478 2017eb

Programming language concepts

Peter Sestoft ; with a chapter by Niels Hallenberg


Practical C++ design : from programming to architecture

QA76.73.C153 R68 2017

Clean C++ : sustainable software development patterns and best practices with C++ 17

Stephan Roth


Reactive with ClojureScript recipes : functional programming for the web

Nicolas Modrzyk


Practical concurrent Haskell : with big data applications

Stefania Loredana Nita, Marius Mihailescu


JavaFX 9 by example [electronic resource]

Carl Dea... [et al.]

QA76.73.J39 H37 2017eb

Enhancing Adobe Acrobat DC Forms with Javascript [electronic resource]

Jennifer Harder


Pro functional PHP programming : application development strategies for performance optimization, concurrency, testability, and code brevity

Rob Aley


Expanding your Raspberry Pi : storage, printing, peripherals, and network connections for your Raspberry Pi [electronic resource]

Mark Edward Soper


Snake charming -- the musical Python

Iain Gray

QA76.73.P98 G34 2018

Starting out with Python

Tony Gaddis, Haywood Community College


Software engineering : specification, implementation, verification

Suad Alagić


Information and software technologies : 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, proceedings

Robertas Damaševičius, Vilma Mikašytė (eds.)


Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün (eds.)


Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

edited by Tim Menzies, Justyna Petke


Applied Computer Sciences in Engineering : 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings [electronic resource]

edited by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Luis Villa-Ramírez, Roberto Ferro-Escobar


The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterprise

Sanjeev Sharma

QA76.758 .S65 2017eb

Software process improvement and capability determination : 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

edited by Antonia Mas, Antoni Mesquida, Rory V. O'Connor, Terry Rout, Alec Dorling


Oracle ADF survival guide : mastering the application development framework [electronic resource]

Sten Vesterli


Mastering Zoho creator : build cloud-based business applications from the ground up [electronic resource]

Ali Shabdar


Machine Learning and Knowledge Extraction : First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 - September 1, 2017, Proceedings

edited by Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl


Learn iOS application distribution : successfully distribute apps [electronic resource]

Hagop Panosian


Beginning Spring Boot 2 : applications and microservices with the Spring Framework

K. Siva Prasad Reddy


Scaling a software business : the digitalization journey

Brian Fitzgerald, Klaas-Jan Stol, Sten Minör, Henrik Cosmo


Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers

Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray (eds.)


Computational collective intelligence : 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings.

Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr J̨edrzejowicz, Bogdan Trawiński, Gottfried Vossen (eds.)


Computational collective intelligence : 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings.

Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr J̨edrzejowicz, Bogdan Trawiński, Gottfried Vossen (eds.)


Programming in HTML and PHP : coding for scientists and engineers

David R. Brooks


Cooperative control of multi-agent systems : theory and applications

edited by Yue Wang, Eloy Garcia, David Casbeer, Fumin Zhang


Designing interactive hypermedia systems

edited by Everardo Reyes-Garcia, Nasreddine Bouhaï

QA76.76.S65 S56 2017eb

Functional software size measurement methodology with effort estimation and performance indication

Jasveer Singh


Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Matthew Hague, Igor Potapov (eds.)


Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Shuvendu Lahiri, Giles Reger (eds.)

QA76.887 .I58 2017

DNA Computing and Molecular Programming : 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

edited by Robert Brijder, Lulu Qian


Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.)


Cryptographic hardware and embedded systems -- CHES 2017 : 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings

Wieland Fischer, Naofumi Homma (eds.)


Security and trust management : 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings

edited by Giovanni Livraga, Chris Mitchell


Data privacy management, cryptocurrencies and blockchain technology : ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings

Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Hannes Hartenstein, Jordi Herrera-Joancomartí (eds.)


Advances in Digital Forensics XIII : 13th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 30 - February 1, 2017, Revised Selected Papers

edited by Gilbert Peterson, Sujeet Shenoi


Computer Security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I

edited by Simon N. Foley, Dieter Gollmann, Einar Snekkenes


Guide to Digital Forensics : A Concise and Practical Introduction

by Joakim Kävrestad


Data Privacy : foundations, new developments and the big data challenge

Vicenc̦ Torra


Advanced penetration testing : hacking the world's most secure networks

Wil Allsopp


Wireshark for security professionals : using Wireshark and the Metasploit Framework

Jessey Bullock, Jeff T. Parker


DNS security management

Michael Dooley, Timothy Rooney


Algorithms and models for the web graph : 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15?16, 2017, Revised selected papers

Anthony Bonato, Fan Chung Graham, Paweł Prałat (eds.)


Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

edited by Alessandro Abate, Gilles Geeraerts


Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov

QA76.9.A43 G655 2018

Introduction to property testing

Oded Goldreich, Weizmann Institute of Science, Israel


Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Mauricio Ayala-Rincón, César A. Muñoz (eds.)


Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

edited by Renate A. Schmidt, Cláudia Nalon (eds.)

QA76.9.B45 B548 2018

Big data analytics : tools and technology for effective planning

edited by Arun K. Somani, Ganesh Chandra Deka


VLSI-SoC : System-on-Chip in the Nanoscale Era - Design, Verification and Reliability : 24th IFIP WG 10.5IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers

edited by Thomas Hollstein, Jaan Raik, Sergei Kostin, Anton Tšertov, Ian O'Connor, Ricardo Reis

QA76.9.C643 P38 2017

Computer organization and design : the hardware software interface

David A. Patterson, John L. Hennessy


Data management and analytics for medicine and healthcare : third International Workshop, DMAH 2017, held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings

Edmon Begoli, Fusheng Wang, Gang Luo (eds.)


Expert SQL Server in-memory OLTP [electronic resource]

Dmitri Korotkevitch


Model and data engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche (eds.)


Docker management design patterns : swarm mode on Amazon Web Services [electronic resource]

Deepak Vohra

QA76.9.D3 F76 2018

Frontiers in data science

edited by Matthias Dehmer, Frank Emmert-Streib


Learn FileMaker Pro 16 : the comprehensive guide to building custom databases

Mark Conway Munro


New trends in databases and information systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos, Johann Gamper, Robert Wrembel, Jérôme Darmont, Stefano Rizzi (eds.)


Advances in databases and information systems : 21st European Conference, ADBIS 2017, Nicosia, Cyprus, September 24-27, 2017, Proceedings

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos (eds.)


The data science handbook

Field Cady

QA76.9.D32 A98 2017eb

Databases theory and applications : 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017, Proceedings

Zi Huang, Xiaokui Xiao, Xin Cao (eds.)


Data science : third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings.

Beiji Zou, Qilong Han, Guanglu Sun, Weipeng Jing, Xiaoning Peng, Zeguang Lu (eds.)


Data science : third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings.

Beiji Zou, Min Li, Hongzhi Wang, Xianhua Song, Wei Xie, Zeguang Lu (eds.)


An Introduction to Machine Learning

by Miroslav Kubat


Transparent Data Mining for Big and Small Data

edited by Tania Cerquitelli, Daniele Quercia, Frank Pasquale


Text mining in practice with R

Ted Kwartler


Troubleshooting Java performance : detecting anti-patterns with open source tools [electronic resource]

Erik Ostermueller


Distributed computer and communication networks : 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

Vladimir M. Vishnevskiy, Konstantin E. Samouylov, Dmitry V. Kozyrev (eds.)


Entertainment computing -- ICEC 2017 : 16th IFIP TC 14 International Conference, Tsukuba City, Japan, September 18-21, 2017, Proceedings

Nagisa Munekata, Itsuki Kunita, Junichi Hoshino (eds.)


Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

edited by Nathalie Bertrand, Luca Bortolussi


Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

edited by Philipp Reinecke, Antinisca Di Marco


Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

José Proença, Markus Lumpe (eds.)

QA76.9.F67 I58 2017eb

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.)

QA76.9.F67 I58 2017eb

Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Nadia Polikarpova, Steve Schneider (eds.)


Human-computer interaction -- INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings.

Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler (eds.)


Human-computer interaction -- INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings.

Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler (eds.)


Human-computer interaction -- INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings.

edited by Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler


Human-computer interaction -- INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings.

Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler (eds.)


Collaboration in a Data-Rich World : 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017, Proceedings

edited by Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Rosanna Fornasiero


Speech and computer : 19th International Conference, SPECOM 2017, Hatfield, UK, September 12-16, 2017, Proceedings

Alexey Karpov, Rodmonga Potapova, Iosif Mporas (eds.)


Experimental IR Meets Multilinguality, Multimodality, and Interaction : 8th International Conference of the CLEF Association, CLEF 2017, Dublin, Ireland, September 11-14, 2017, Proceedings

edited by Gareth J.F. Jones, Séamus Lawless, Julio Gonzalo, Liadh Kelly, Lorraine Goeuriot, Thomas Mandl, Linda Cappellato, Nicola Ferro


Handbook of hardware/software codesign

Soonhoi Ha, Jürgen Teich, editors

QA76.9.S88 S35 2013

SDL 2017 : model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

Tibor Csöndes, Gábor Kovács, György Réthy (eds.)


String processing and information retrieval : 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, Proceedings

Gabriele Fici, Marinella Sciortino, Rossano Venturini (eds.)


A course on basic model theory

Haimanti Sarbadhikari, Shashi Mohan Srivastava


Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Clare Dixon, Marcelo Finger (eds.)


CFD modeling and simulation in materials processing 2016 : proceedings of a symposium sponsored by the Process Technology and Modeling Committee of the Extraction and Processing Division and the Solidification Committee of the Materials Processing and Manufacturing Division of The Minerals, Metals & Materials Society (TMS) held during TMS 2016, 145th annual meeting & exhibition, Februrary 14-18, Downton Nashville, Tennessee Music City Center

edited by Laurentiu Nastac, Lifeng Zhang, Brian G. Thomas, Miaoyong Zhu, Andreas Ludwig, Adrian S. Sabau, Koulis Pericleous, Hervé Combeau


Lewis Swift : celebrated comet hunter and the people's Astronomer

Gary W. Kronk


Optical 3D-spectroscopy for astronomy

Roland Bacon and Guy Monnet


Tim Peake and Britain's road to space

Erik Seedhouse


Investigating the origin of the asteroids and early findings on Vesta : historical studies in asteroid research

Clifford J. Cunningham


Amplitude modulation of pulsation modes in Delta Scuti stars [electronic resource]

Dominic M. Bowman


Not-so-simple stellar populations in star clusters

Chengyuan Li


Meghnad Saha : his life in science and politics [electronic resource]

Pramod V. Naik


Physics of atomic nuclei

Vladimir Zelevinsky, Alexander Volya


Electromagnetic time reversal : application to electromagnetic compatibility and power systems

edited by Farhad Rachidi, Marcos Rubinstein, Mario Paolone


The development of elementary quantum theory

Herbert Capellmann


Molecular symmetry, super-rotation, and semiclassical motion : new ideas for solving old problems

Hanno Schmiedt


Hadamard states from light-like hypersurfaces [electronic resource]

Claudio Dappiaggi, Valter Moretti, Nicola Pinamonti

QC176.8.L3 D85 2017eb

Dynamics of lattice materials

[edited by] A. Srikantha Phani, Mahmoud I. Hussein


Design of nanostructures : self-assembly of nanomaterials

Himadri B. Bohidar and Kamla Rawat


The problem of time : quantum mechanics versus general relativity [electronic resource]

Edward Anderson


Computational physics : simulation of classical and quantum systems

Philipp O.J. Scherer


Practical finite element modeling in earth science using Matlab

Guy Simpson, Department of Earth Science, University of Geneva, Switzerland

QC477 .S87 2017eb

Surface plasmon enhanced, coupled, and controlled fluorescence

edited by Chris D Geddes

QC585.7.D5 P48 2017eb

Dielectrophoresis : theory, methodology, and biological applications

Ronald Pethig



Ashim Kumar Bain, Pren Chand

QC611.8.A5 M 2017eb

Amorphous semiconductors : structural, optical and electronic properties

Kazuo Morigaki, Sandor Kugler and Koichi Shimakawa


Electromagnetic bandgap (EBG) structures : common mode filters for high speed digital systems

Antonio Orlandi, Bruce Archambeault, Francesco De Paulis, Samuel Connor

QC665.S3 .O85 2017eb

Modern electromagnetic scattering theory with applications

Andrey V. Osipov, Sergei A. Tretyakov


Numerical methods for time-resolved quantum nanoelectronics [electronic resource]

Joseph Weston


Plasma physics : an introduction to laboratory, space, and fusion plasmas

Alexander Piel


Advanced multipoles for accelerator magnets : theoretical analysis and their measurement [electronic resource]

Pierre Schnizer


Space charge physics for particle accelerators

Ingo Hofmann

QC787.S9 N48 2017

Neutrons and synchrotron radiation in engineering materials science : from fundamentals to applications

edited by Peter Staron, Andreas Schreyer, Helmut Clemens, and Svea Mayer


The H Boson [electronic resource]

Costas Bachas, Bertrand Duplantier, Vincent Rivasseau, editors


First measurement of neutrino and antineutrino oscillation at T2K [electronic resource]

Kristy Elizabeth Duffy

QC793.5.N42 B69 2017

The telescope in the ice : inventing a new astronomy at the South Pole

Mark Bowen


The evolution of meteorology : a look into the past, present, and future of weather forecasting

written by Kevin Anthony Teague & Nicole Gallicchio

QC884.5.E87 S83 2017eb

Submerged landscapes of the European continental shelf : Quaternary paleoenvironments

edited by Nicholas C. Flemming [and four others]


Post-2020 climate action : global and Asian perspectives

Shinichiro Fujimori, Mikiko Kainuma, Toshihiko Masui, editors

QC941 .C64 2017

Coastal storms : processes and impacts

edited by Paolo Ciavola, Giovanni Coco


Hurricane Monitoring With Spaceborne Synthetic Aperture Radar

edited by Xiaofeng Li


Climate extremes : patterns and mechanisms

S.-Y. Simon Wang, Jin-Ho Yoon, Christopher C. Funk, Robert R. Gillies, editor


Meteorology of Tropical West Africa : the forecasters' handbook

edited by Douglas J. Parker, Mariane Diop-Kane


Electrochemical impedance spectroscopy

Mark E. Orazem, University of Florida, Bernard Tribollet, Université Pierre et Marie Curie


Polymer brush films with varied grafting and cross-linking density via SI-ATRP : analysis of the mechanical properties by AFM [electronic resource]

Inga Lilge

QD181.C1 G737 2017

Graphene : fabrication, characterizations, properties and applications

edited by Hongwei Zhu, Zhiping Xu, Dan Xie, Ying Fang


Crystal structure, electronic and optical properties of epitaxial alkaline Earth niobate thin films

Dongyang Wan


Asymmetric synthesis of three-membered rings

Hélène Pellissier, Alessandra Lattanzi and Renato Dalpozzo


Chiral Lewis acids in organic synthesis

edited by Jacek Mlynarski

QD272.C4 P75 2017eb

Preparative chromatography for separation of proteins

edited by Arne Staby, Anurag S. Rathore, Satinder Ahuja


Cyclodextrins : properties and applications

Wanda Sliwa and Tomasz Girek

QD341.H9 M51278 2017

Metallabenzenes : an expert view

edited by L. James Wright, University of Auckland, New Zealand


Polymers for biomedicine : synthesis, characterization, and applications

edited by Carmen Scholz


Responsive polymer surfaces : dynamics in surface topography

edited by Danqing Liu and Dirk J. Broer


Synthetic methods for conjugated polymer and carbon materials

edited by Mario Leclerc and Jean-Francois Morin

QD382.C67 H37 2017eb

Main group metal coordination polymers : structures and nanostructures

Lida Hashemi and Ali Morsali


Tutorials in chemoinformatics

edited by Alexandre Varnek


Reviews in computational chemistry. Volume 30

edited by Abby L. Parrill, Kenny B. Lipkowitz


The organometallic chemistry of N-heterocyclic carbenes

Han Vinh Huynh, Department of Chemistry, National University of Singapore

QD411 .L848 2017eb

Oxidation of C-H bonds

Wenjun Lu, Lihong Zhou

QD42 .E83 1998

Preparing for your ACS examination in general chemistry : the official guide

Lucy T. Eubanks, I. Dwaine Eubanks


Applications of quantum dynamics in chemistry [electronic resource]

Fabien Gatti, Benjamin Lasorne, Hans-Dieter Meyer, Andr? Nauts


Theory and applications of the empirical valence bond approach : from physical chemistry to chemical biology

editors, Fernanda Duarte, Shina Caroline Lynn Kamerlin ; with a foreword by Arieh Warshel


Solid state properties of pharmaceutical materials

Stephen R. Byrn, George Zografi, Xiaoming (Sean) Chen

QD502 .A53 2017

Chemical reaction kinetics : concepts, methods, and case studies

Prof. Jorge Ancheyta


Nanotechnology in catalysis : applications in the chemical industry, energy development, and environment protection

editors: Marcel Van de Voorde, Bert Sels

QD505 .Z43 2017eb

The development of catalysis : a history of key processes and personas in catalytic science and technology

Adriano Zecchina, Salvatore Califano

QD551 .S38 2017eb

Sustainable and green electrochemical science and technology

Keith Scott


Fundamentals of ionic liquids

Douglas R. MacFarlane, Mega Kar, and Jennifer M. Pringle

QD561 .E44 2017eb

Electrodeposition from ionic liquids

edited by Frank Endres, Andrew Abbott, and Douglas MacFarlane

QD601.3 .L68 2017eb

Modern nuclear chemistry

Walter D. Loveland, David J. Morrissey, Glenn T. Seaborg


Nanocomposites for visible light-induced photocatalysis [electronic resource]

Mohammad Mansoob Khan, Debabrata Pradhan, Youngku Sohn, editors


Limits of detection in chemical analysis

Edward Voigtman


Charged aerosol detection for liquid chromatography and related separation techniques

edited by Paul H. Gamache, Thermo Fisher Scientific, USA


Targeted biomarker quantitation by LC-MS

edited by Dr. Naidong Weng and Dr. Wenying Jian, Janssen Research & Development, LLC


The HPLC-MS handbook for practitioners

edited by Stavros Kromidas

QD79.C454 H65 2017eb

The HPLC expert II : find and optimize the benefits of your HPLCUHPLC

edited by Stavros Kromidas

QD911 .B47 2018

Geometry of crystals, polycrystals and phase transfomations

Harshad K. D. H. Bhadeshia


Electronic states in crystals of finite size : quantum confinement of Bloch waves

Shang Yuan Ren


Interpretation of MS-MS mass spectra of drugs and pesticides

Wilfried M.A. Niessen, Ricardo A. Correa C


Earth observation for land and emergency monitoring

Heiko Balzter

QE390 .P763 2018

Processes and ore deposits of ultramafic-mafic magmas through space and time

edited by Sisir K. Mondal, William L. Griffin

QE471.2 .A43 2017

Sediment routing systems : the fate of sediment from source to sink

Philip A. Allen, Imperial College, London


Earthquake occurrence : short- and long-term models and their validation

Rodolfo Console, Maura Murru, Giuseppe Falcone


Fault zone dynamic processes : evolution of fault properties during seismic rupture [electronic resource]

Marion Y. Thomas, Thomas M. Mitchell, Harsha S. Bhat, editors


Active global seismology : neotectonics and earthquake potential of the eastern Mediterranean region

Ibrahim Çemen, Yücel Yilmaz


The Cambrian fossils of Chengjiang, China : the flowering of early animal life

Hou Xian-guang [and eight others]


Graptolite paleobiology

Jörg Maletz


Fluorescence microscopy : from principles to biological applications

edited by Ulrich Kubitscheck,


Visualising the charge and Cooper-pair density waves in cuprates

Stephen Edkins


Modeling life : the mathematics of biological systems

Alan Garfinkel, Jane Shevtsov, Yina Guo

QH323.5 .C683 2016eb

Applied mathematics for the analysis of biomedical data : models, methods, and MATLAB

Peter J. Costa


Discriminative pattern discovery on biological networks

Fabio Fassetti, Simona E. Rombo, Cristina Serrao


Advanced computational methods in life system modeling and simulation : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings.

Minrui Fei, Shiwei Ma, Xin Li, Xin Sun, Li Jia, Zhou Su (eds.)


Computational methods in systems biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

Jérôme Feret, Heinz Koeppl (eds.)


Bioinformatics in aquaculture : principles and methods

edited by Zhanjiang (John) Liu


Systems biology

edited by Jens Nielsen and Stefan Hohmann

QH324.2 .M85 2017

Basic applied bioinformatics : a beginner's guide for students

by Chandra Sekhar Mukhopadhyay, Ratan Kumar Choudhary, Mir Asif Iquebal

QH324.2 .S85 2017

Algorithms for next-generation sequencing

Wing-Kin Sung

QH332 .K67 2018

A guide to bioethics

Emmanuel A. Kornyo

QH353 .E33 2018

Ecology and management of terrestrial vertebrate invasive species in the United States

edited by William C. Pitt, James C. Beasley, and Gary W. Witmer

QH365.O8 L54 2018

The theory that changed everything : On the Origin of Species" as a work in progress

Philip Lieberman


Challenging the modern synthesis : adaptation, development, and inheritance

edited by Philippe Huneman and Denis M. Walsh

QH390 .K66 2017eb

Crumbling genome : the impact of deletrious mutations on humans

Alexey S. Kondrashov

QH430 .I85 2017e

Genetic data analysis for plant and animal breeding

Fikret Isik, James Holland, Christian Maltecca


The AGT cytogenetics laboratory manual

edited by Marilyn S. Arsham, Margaret J. Barch, Helen J. Lawce


Comparative genomics : 15th International Workshop, RECOMB CG 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

Joao Meidanis, Luay Nakhleh (eds.)


Somatic genome variation in animals, plants, and microorganisms

edited by Xiu-Qing Li

QH447 .C55 2014eb

Clinical genomics : practical applications in adult patient care

editors, Michael F. Murray, Mark W. Babyatsky, Monica A. Giovanni ; associate editors, Fowzan S. Alkuraya, Douglas R. Stewart


Gene regulation, epigenetics and hormone signaling

edited by Subhrangsu S. Mandal


Animal models and human reproduction

edited by Heide Schatten, Gheorghe M. Constantinescu


Periconception in physiology and medicine

Alireza Fazeli, William V. Holt, editors


Dictionary of stem cells, regenerative medicine, and translational medicine

Frank J. Dye


Introduction to biomolecular structure and biophysics : basics of biophysics [electronic resource]

Gauri Misra, editor

QH505 .R776 2017

Compendium of biophysics

Andrey B. Rubin

QH506 .O78 2016eb

Molecular data analysis using R

Csaba Ortutay, Zsuzsanna Ortutay


Biomechanics : optimization, uncertainties and reliability

Ghias Kharmanda, Abdelkhalak El Hami


Railway ecology

Luís Borda-de-Água, Rafael Barrientos, Pedro Beja, Henrique Miguel Pereira, editors

QH541.15.H34 G85 2017

Habitat suitability and distribution models : with applications in R

Antoine Guisan, Wilfried Thuiller, Niklaus E. Zimmermann ; with contributions from Valeria di Cola, Damien Georges, Achilleas Psomas


Ecoacoustics : the ecological role of sounds

edited by Almo Farina, Urbino University, IT, Stuart H Gage, Michigan State University, East Lansing, MI, USA


Deep-sea ecosystems off Mauritania

QH541.5.F7 J33 2017

Ecology of high altitude waters

Dean Jacobsen and Olivier Dangles

QH543.5 .S87 2017

Radiation biology for medical physicists

C.S. Sureka and C. Armpilia


Technology platforms for 3D cell culture : a user's guide

edited by Stefan Przyborski


The biology and therapeutic application of mesenchymal cells

edited by Kerry Atkinson


The biophysics of cell membranes : biological consequences [electronic resource]

Richard M. Epand, Jean-Marie Ruysschaert, editors

QH603.C4 C455 2017

Cell-cell junctions : a subject collection from Cold Spring Harbor perspectives in biology

edited by Carien M. Niessen, University of Cologne, and Alpha S. Yap, the University of Queensland

QH603.M5 M65 2017

Molecular basis for mitochondrial signaling

Tatiana K. Rostovtseva, editor

QH75 .F73 2017

Genetic management of fragmented animal and plant populations

Richard Frankham, Jonathan D. Ballou & Katherine Ralls, Mark D.B. Eldridge, Michele R. Dubash, Charles B. Fenster, Robert C. Lacy, Paul Sunnucks

QH76.5.A4 S87 2017

Sustaining wildlands : integrating science and community in Prince William Sound

edited by Aaron J. Poe and Randy Gimblett

QH90.8.T68 C67 2018

The handbook of histopathological practices in aquatic environments : guide to histology for environmental toxicology

Pedro M. Costa


Vegetation ecology of Central Europe. Volume II, Ecology of Central European non-forest vegetation : : coastal to alpine, natural to man-made habitats

Christoph Leuschner, Heinz Ellenberg


Ecology of Central European forests : vegetation ecology of Central Europe.

Christoph Leuschner, Heinz Ellenberg ; revised and extended version of the 6th German edition ; translated by Laura Sutcliffe


The vegetation of the Iberian Peninsula. Volume 2

Javier Loidi, editor


The vegetation of the Iberian Peninsula. Volume 1

Javier Loidi, editor


Flowering plants : structure and industrial products

Dr. Aisha S. Khan

QK495.Z9 L36 2017

Harmal : the genus Peganum

Ephraim Shmaya Lansky, Shifra Lansky, Helena Maaria Paavilainen

QK604.2.E53 F86 2017e

Functional importance of the plant microbiome : implications for agriculture, forestry and bioenergy

Sharon Lafferty Doty, editor


Practical handbook of the biology and molecular diversity of Trichoderma species from Tropical regions

Shafiquzzaman Siddiquee

QK714.4 .M34 2017

Plant minds : a philosophical defense

by Chauncey Maher ; illustrated by Jim Sias


Plant cells and their organelles

edited by William V. Dashek, Gurbachan S. Miglani


Selenium in plants : Molecular, Physiological, Ecological and Evolutionary Aspects

edited by Elizabeth A.H. Pilon-Smits, Lenny H.E. Winkel, Zhi-Qing Lin


Mechanism of plant hormone signaling under stress

edited by Girdhar K. Pandey

QK757 .M36 2017eb

UV-B radiation : from environmental stressor to regulator of plant growth

edited by Vijay Pratap Singh, Samiksha Singh, Sheo Mohan Prasad, Parul Parihar


Recent advances in polyphenol research. Volume 5

edited by Kumi Yoshia, Véronique Cheynier, Stéphane Quideau


Obligate Pollination Mutualism

edited by Makoto Kato, Atsushi Kawakita


Medicinal and aromatic plants of the world. Volume 3 Africa.

Mohamed Neffati, Hanen Najjaa, Ákos Máthé, editors


Rotifers : aquaculture, ecology, gerontology, and ecotoxicology [electronic resource]

Atsushi Hagiwara, Tatsuki Yoshinaga, editors

QL463 .I57 2017

Insect biodiversity : science and society

edited by Dr. Robert G. Foottit, Professor Peter H. Adler


Diversity and evolution of butterfly wing patterns : an integrative approach

Toshio Sekimura, H. Frederik Nijhout, editors

QL674.4 .E47 2017

Birds : the art of ornithology

by Jonathan Elphick

QL696.S473 J68 2017

Why penguins communicate : the evolution of visual and vocal signals

Pierre Jouventin, Director of Research (retired), National Center for Scientific Research (CNRS), Montpellier, France, F. Stephen Dobson, Alumni Professor and Curator, Department of Biological Sciences and Auburn University of Natural History, Auburn University, AL, USA

QL708.5 .K48 2017

Beyond sex differences : genes, brains, and matrilineal evolution

Eric B. Keverne, University of Cambridge

QL757 .U53 2017

Understanding host-microbiome interactions -- an omics approach : omics of host-microbiome association

Ravindra Pal Singh, Ramesh Kothari, Prakash G. Koringa, Satya Prakash Singh, editors

QL807 .H57 2016eb

Junqueira's basic histology : text and atlas

Anthony L. Mescher

QM451 .W39 2017eb

Clinical neuroanatomy

Stephen G. Waxman


Compendium of histology : a theoretical and practical guide

Anders Rehfeld, Malin Nylander, Kirstine Karnov


Heart rate variability analysis with the R package RHRV

Constantino Antonio Garcia Martinez [and six others]

QP136 .F54 2017eb

Flavor, satiety and food intake

edited by Beverly Tepper, Rutgers University, NJ, US, Martin Yeomans, University of Sussex, UK


Wild plants, mushrooms and nuts : functional food properties and applications

[edited by] Isabel C.F.R. Ferreira, Patricia Morales Gómez, Lillian Barros


New polymers for encapsulation of nutraceutical compounds

edited by Jorge Carlos Ruiz Ruiz, Maira Rubi Segura Campos


Olives and olive oil as functional foods : bioactivity, chemistry and processing

edited by Paul Kiritsakis, Fereidoon Shahidi


Nutrigenomics and proteomics in health and disease : towards a systems-level understanding of gene-diet interactions

edited by Martin Kussmann, Lausanne, Switzerland, Patrick Stover, Ithaca, NY, US


Biomechanics of the human stomach [electronic resource]

Roustem N. Miftahof

QP251 .H845 2017eb

Human reproduction : updates and new horizons

edited by Heide Schatten


Endocrinology of the testis and male reproduction [electronic resource]

Manuela Simoni, Ilpo T. Huhtaniemi, editors


Protocols in semen biology (comparing assays)

N. Srivastava, Megha Pande, editors


Neurobiology of motor control : fundamental concepts and new directions

[edited by] Scott L. Hooper, Ansgar Büschges

QP34.5 .G15 2016eb

Ganong's review of medical physiology

Kim E. Barrrett, Susan M. Barman, Scott Botano, Heddwen L. Brooks

QP355.2 .W55 2017eb

The Wiley handbook of evolutionary neuroscience

edited Stephen V. Shepherd


Genome editing in neurosciences

Rudolf Jaenisch, Feng Zhang, Fred Gage, editors


Handbook of neurobehavioral genetics and phenotyping

[edited by] Valter Tucci

QP357.5 .C627 2018

Computational models of brain and behavior

edited by Dr Ahmed A. Moustafa

QP357.5 .P75 2011

Principles of computational modelling in neuroscience

David Sterratt [and others]


Evolution of the brain, cognition, and emotion in vertebrates [electronic resource]

Shigeru Watanabe, Michel A. Hofman, Toru Shimizu, editors


Brain function assessment in learning : first International Conference, BFAL 2017, Patras, Greece, September 24-25, 2017, proceedings

Claude Frasson, George Kostopoulos (eds.)


Ganong's medical physiology examination and board review

Kim E. Barrett, Susan M. Barman, Scott Boitano, Jane F. Reckelhoff

QP425 .W44 2017

Why we sleep : unlocking the power of sleep and dreams

Matthew Walker, PhD

QP435 .K442 2016eb

Time-dependent measures of perception in sensory evaluation

edited by Sarah E. Kemp, Joanne Hort, Tracey Hollowood


Primate hearing and communication

Rolf M. Quam, Marissa A. Ramsier, Richard R. Fay, Arthur N. Popper, editors


Recovering bioactive compounds from agricultural wastes

edited by Van Tang Nguyen


Chemoselective and bioorthogonal ligation reactions : concepts and applications

edited by W. Russ Algar, Philip E. Dawson and Igor L. Medintz


Protein carbonylation : principles, analysis, and biological implications

edited by Joaquim Ros

QP519.9.M3 M3158 2017eb

Mass spectrometry and stable isotopes in nutritional and pediatric research

edited by Henk Schierbeek


Photoaffinity labeling for structural probing within protein [electronic resource]

Yasumaru Hatanaka, Makoto Hashimoto, editors


Store-operated Ca²⁺ entry (SOCE) pathways : emerging signaling concepts in human (patho)physiology

Klaus Groschner, Wolfgang F. Graier, Christoph Romanin, editors


Calcium signaling : from physiology to diseases

Senthilkumar Rajagopal, Murugavel Ponnusamy


Reactive oxygen species : signaling between hierarchical levels in plants

edited by Franz-Josef Schmitt and Suleyman I. Allakhverdiev


Protein deimination in human health and disease

Anthony P. Nicholas, Sanjoy K. Bhattacharya, Paul R. Thompson, editors


Chemical ligation : tools for biomolecule synthesis and modification

edited by Luca D. D'Andrea, Alessandra Romanelli


Protein Analysis using Mass Spectrometry [electronic resource]

QP551 .P748 2017eb

Protein analysis using mass spectrometry : accelerating protein biotherapeutics from lab to patient

edited by Mike S. Lee and Qin C. Ji


Transporters as Drug Targets


Enzyme kinetics : principles and methods

Hans Bisswanger


Enzyme regulation in metabolic pathways

Lloyd Wolfinbarger


Beta-Lactams : Novel Synthetic Pathways and Applications

edited by Bimal K. Banik


Phosphodiesterases : CNS functions and diseases [electronic resource]

Han-Ting Zhang, Ying Xu, James M. O'Donnell, editors


Proteases in physiology and pathology [electronic resource]

Sajal Chakraborti, Naranjan S. Dhalla, editors


Drebrin : from structure and function to physiological and pathological roles

Tomoaki Shirao, Yuko Sekino, editors


Algorithms for next-generation sequencing data : techniques, approaches, and applications

Mourad Elloumi, editor


Selective glycosylations : synthetic methods and catalysts

edited by Clay S. Bennett

QP772.V53 V58 2018eb

Vitamin D. Volume 1, Biochemistry, physiology and diagnostics

editor-in-chief, David Feldman, senior associate editor, J. Wesley Pike, associate editors, Roger Bouillon [and 3 others]

QP772.V53 V582 2018eb

Vitamin D. Volume 2, Health, disease and therapeutics

editor-in-chief, David Feldman, senior associate editor, J. Wesley Pike, associate editors, Roger Bouillon [and 3 others]


Non-ionizing radiation protection : summary of research and policy options

edited by Andrew W. Wood, Ken Karipidis


Evolution, the logic of biology

John S. Torday, Virender K. Rehan


Biofilms in plant and soil health

edited by Dr. Iqbal Ahmad and Dr. Fohad M Husain


Rhizobium biology and biotechnology [electronic resource]

Alexander P. Hansen...[et al.], editors


Control of salmonella and other bacterial pathogens in low-moisture foods

edited by Richard Podolak, Grocery Manufacturers Association and Darryl G. Black, Grocery Manufacturers Association


Immune metabolism in health and tumor

Bin Li, Fan Pan, editors


Immunohistochemistry and immunocytochemistry : essential methods

edited by Simon Renshaw


Regulation of inflammatory signaling in health and disease

Dakang Xu, editor


Foodborne pathogens and antibiotic resistance

[edited by] Om V. Singh


Plant-microbe interactions in agro-ecological perspectives. Volume 1, Fundamental mechanisms, methods and functions

Dhananjaya Pratap Singh, Harikesh Bahadur Singh, Ratna Prabha, editors


The Brazilian microbiome : current status and perspectives [electronic resource]

Victor Pylro, Luiz Roesch, editors


Forensic microbiology

edited by David O. Carter, Jeffery K. Tomberlin, M. Eric Benbow, Jessica L. Metcalf

QR46 .J39 2016eb

Jawetz, Melnick & Adelberg's medical microbiology

Karen C. Carroll [and others]

QR46 .L64 2016eb

Review of medical microbiology and immunology

Warren Levinson

QR46 .M465 2018eb

Sherris medical microbiology

editor, Kenneth J. Ryan


Agriculturally important microbes for sustainable agriculture. Volume 2, Applications in crop production and protection

Vijay Singh Meena, Pankaj Kumar Mishra, Jaideep Kumar Bisht, Arunava Pattanayak, editors

QR51 .A447 2017e

Agriculturally important microbes for sustainable agriculture. Volume I, Plant-soil-microbe nexus

Vijay Singh Meena, Pankaj Kumar Mishra, Jaideep Kumar Bisht, Arunava Pattanayak, editors

QR51 .P76 2017e

Probiotics in agroecosystem

Vivek Kumar, Manoj Kumar, Shivesh Sharma, Ram Prasad, editors

QR66 .D37 2017

The dark art of blood cultures

edited by Wm. Michael Dunne, Jr., and Carey-Ann Burnham


MALDI-TOF and tandem MS for clinical microbiology

edited by Haroun N. Shah, Middlesex University, Middlesex, UK, Saheer E. Gharbia, Public Health England, Genomic Research Unit, London, UK

QR69.S75 M33 2017

Antisepsis, disinfection, and sterilization : types, action, and resistance

Gerald E. McDonnell


Biocommunication of Archaea [electronic resource]

Guenther Witzany, editor


Molecular tools for the detection and quantification of toxigenic cyanobacteria

edited by Rainer Kurmayer, Kaarina Sivonen, Annick Wilmotte, Nico Salmaso

QR99.63 .H3594 2016eb

Handbook of cyanobacterial monitoring and cyanotoxin analysis

editors, Jussi Meriluoto, Lisa Spoof and Geoffrey A. Codd