Skip to main content

University Libraries

Browse by Call Number

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Items Acquired in December 2017 for the University Libraries

-Q-

Q130 .S36 2017eb

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

Claudine Schmuck

Q162

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.)

Q175

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

Q179.94

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

Q180.55.G7

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

Q180.55.M3

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

Q295

Smart decisions in complex systems

Pierre Massotte, Patrick Corsi

Q325.5

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

Tatiana Tatarenko

Q334

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.)

Q334

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.)

Q334

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.)

Q334

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.)

Q335

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

Q337.3

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

Q337.5

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

Volker Roth, Thomas Vetter (eds.)

Q342

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.)

Q342

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

Dimitar Trajanov, Verica Bakeva (ed.)

Q342

Computational intelligence for network structure analytics [electronic resource]

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

Q342

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.)

Q375

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.)

QA1-939

Ginzburg-Landau Vortices

QA10

Advanced topics in relation algebras : relation algebras.

Steven Givant

QA10

Introduction to Relation Algebras. Volume 1 : : Relation Algebras

by Steven Givant

QA10.5

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)

QA166.17

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

Sourav Chatterjee

QA174.2

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

James B. Carrell

QA182

Wagner's theory of generalised heaps

Christopher D. Hollings, Mark V. Lawson

QA182

Refinement monoids, equidecomposability types, and Boolean inverse semigroups

Friedrich Wehrung

QA184.2

Numerical linear algebra : theory and applications

Larisa Beilina, Evgenii Karchevskii, Mikhail Karchevskii

QA201

Geometric invariant theory : over the real and complex numbers

Nolan R. Wallach

QA246

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

QA267

Transactions on petri nets and other models of concurrency XII

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

QA268

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

QA269

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

Vittorio Bilò, Michele Flammini (eds.)

QA269

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.)

QA273

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

QA273.A5

Theory of probability : a critical introductory treatment

Bruno De Finetti ; translated by Antonio Machi, Adrian Smith

QA274.2

Equations involving malliavin calculus operators : applications and numerical approximation

Tijana Levajković, Hermann Mena

QA274.23

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

Michael J. Panik

QA274.25

Numerical methods for stochastic partial differential equations with white noise

Zhongqiang Zhang, George Em Karniadakis

QA274.7

Nonlinearly perturbed semi-Markov processes [electronic resource]

Dmitrii Silvestrov, Sergei Silvestrov

QA274.7

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

QA274.8

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

QA276

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

QA276.18

Teaching statistics : a bag of tricks

Andrew Gelman and Deborah Nolan

QA276.23

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

QA277.3

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

Mikhail S. Nikulin, Ekaterina V. Chimitova

QA278.2

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

Chrysseis Caroni

QA279 .H57 2017

Advanced analysis of variance

Chihiro Hirotsu

QA279.5

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

QA280

Time series analysis : nonstationary and noninvertible distribution theory

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

QA281

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

QA295

Ramanujan summation of divergent series

Bernard Candelpergher

QA297 .H67 2017

Computational methods for numerical analysis with R

James P. Howard, II

QA300

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

QA322.2

Banach, Fréchet, Hilbert and Neumann spaces

Jacques Simon

QA329.2

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

QA331.7

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

Franc Forstnerič

QA377

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

Roman Cherniha, Vasyl' Davydovych

QA377

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

William E. Schiesser

QA387

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

Giovanni Falcone, editor

QA39.3

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

Roderick Melnik, Roman Makarov, Jacques Belair, editors

QA39.3

Math tools : 500+ applications in science and arts

Georg Glaeser

QA401

Model reduction of parametrized systems

Peter Benner [and four others], editors

QA402.3

Optimal control : novel directions and applications

Daniela Tonon, Maria Soledad Aronna, Dante Kalise, editors

QA402.3

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

Alexander Y. Khapalov

QA402.5

Optimization and approximation

Pablo Pedregal

QA402.5

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

Eduardo Garibaldi

QA402.5

Evolutionary algorithms

Alain Pétrowski, Sana Ben-Hamida

QA402.5 .S4335 2018

Optimization and differentiation

Simon Serovajsky

QA403

Harmonic and complex analysis in several variables [electronic resource]

Steven G. Krantz

QA403.3

Lecture notes on wavelet transforms

Lokenath Debnath, Firdous A. Shah

QA403.5

Fourier analysis

Roger Ceschi, Jean-Luc Gautier

QA43

Putnam and beyond

Răzvan Gelca, Titu Andreescu

QA431

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

QA447

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

QA551

Analytic and algebraic geometry

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

QA564

Algebraic theory of locally nilpotent derivations

QA613

Euclidean distance geometry : an introduction

Leo Liberti, Carlile Lavor

QA614.84

Shadowing and hyperbolicity

by Sergei Yu Pilyugin, Kazuhiro Sakai

QA643 .T63 2018

Willmore energy and Willmore conjecture

edited by Magdalena D. Toda

QA649

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

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

QA649

Nearly pseudo-Kähler manifolds and related special holonomies

Lars Schäfer

QA75.5

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

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

QA76.58

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.)

QA76.585

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.)

QA76.585

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

Brian T. O'Hara, Ben Malisow

QA76.618

Evolutionary computation with biogeography-based optimization

Haiping Ma, Dan Simon

QA76.63

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

QA76.63

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

QA76.73.C153

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

QA76.73.C565

Reactive with ClojureScript recipes : functional programming for the web

Nicolas Modrzyk

QA76.73.H37

Practical concurrent Haskell : with big data applications

Stefania Loredana Nita, Marius Mihailescu

QA76.73.J38

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

QA76.73.P224

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

Rob Aley

QA76.73.P98

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

Mark Edward Soper

QA76.73.P98

Snake charming -- the musical Python

Iain Gray

QA76.73.P98 G34 2018

Starting out with Python

Tony Gaddis, Haywood Community College

QA76.758

Software engineering : specification, implementation, verification

Suad Alagić

QA76.758

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

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

QA76.758

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.)

QA76.758

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

edited by Tim Menzies, Justyna Petke

QA76.758

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

QA76.758

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

QA76.76.A65

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

Sten Vesterli

QA76.76.A65

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

Ali Shabdar

QA76.76.A65

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

QA76.76.A65

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

Hagop Panosian

QA76.76.A65

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

K. Siva Prasad Reddy

QA76.76.D47

Scaling a software business : the digitalization journey

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

QA76.76.D47

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.)

QA76.76.E95

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.)

QA76.76.E95

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.)

QA76.76.H94

Programming in HTML and PHP : coding for scientists and engineers

David R. Brooks

QA76.76.I58

Cooperative control of multi-agent systems : theory and applications

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

QA76.76.I59

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

QA76.76.V47

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

Matthew Hague, Igor Potapov (eds.)

QA76.76.V47

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

QA76.9.A25

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.)

QA76.9.A25

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

Wieland Fischer, Naofumi Homma (eds.)

QA76.9.A25

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

edited by Giovanni Livraga, Chris Mitchell

QA76.9.A25

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.)

QA76.9.A25

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

QA76.9.A25

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

QA76.9.A25

Guide to Digital Forensics : A Concise and Practical Introduction

by Joakim Kävrestad

QA76.9.A25

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

Vicenc̦ Torra

QA76.9.A25

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

Wil Allsopp

QA76.9.A25

Wireshark for security professionals : using Wireshark and the Metasploit Framework

Jessey Bullock, Jeff T. Parker

QA76.9.A25

DNS security management

Michael Dooley, Timothy Rooney

QA76.9.A43

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.)

QA76.9.A43

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

QA76.9.A43

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

QA76.9.A96

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.)

QA76.9.A96

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

QA76.9.C643

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

QA76.9.D3

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.)

QA76.9.D3

Expert SQL Server in-memory OLTP [electronic resource]

Dmitri Korotkevitch

QA76.9.D3

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.)

QA76.9.D3

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

QA76.9.D32

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

Mark Conway Munro

QA76.9.D32

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.)

QA76.9.D32

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.)

QA76.9.D32

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.)

QA76.9.D343

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.)

QA76.9.D343

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.)

QA76.9.D343

An Introduction to Machine Learning

by Miroslav Kubat

QA76.9.D343

Transparent Data Mining for Big and Small Data

edited by Tania Cerquitelli, Daniele Quercia, Frank Pasquale

QA76.9.D343

Text mining in practice with R

Ted Kwartler

QA76.9.D43

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

Erik Ostermueller

QA76.9.D5

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.)

QA76.9.E57

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.)

QA76.9.E94

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

edited by Nathalie Bertrand, Luca Bortolussi

QA76.9.E94

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

edited by Philipp Reinecke, Antinisca Di Marco

QA76.9.F67

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.)

QA76.9.H85

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.)

QA76.9.H85

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.)

QA76.9.H85

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

QA76.9.H85

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.)

QA76.9.M3

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

QA76.9.N38

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

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

QA76.9.N38

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

QA76.9.S88

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.)

QA76.9.T48

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

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

QA9.7

A course on basic model theory

Haimanti Sarbadhikari, Shashi Mohan Srivastava

QA9.A1

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

Clare Dixon, Marcelo Finger (eds.)

QA911

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

QB36.S95

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

Gary W. Kronk

QB465

Optical 3D-spectroscopy for astronomy

Roland Bacon and Guy Monnet

QB498.2.G7

Tim Peake and Britain's road to space

Erik Seedhouse

QB651

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

Clifford J. Cunningham

QB812

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

Dominic M. Bowman

QB853

Not-so-simple stellar populations in star clusters

Chengyuan Li

QC16.S24

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

Pramod V. Naik

QC173

Physics of atomic nuclei

Vladimir Zelevinsky, Alexander Volya

QC173.59.T53

Electromagnetic time reversal : application to electromagnetic compatibility and power systems

edited by Farhad Rachidi, Marcos Rubinstein, Mario Paolone

QC174.12

The development of elementary quantum theory

Herbert Capellmann

QC174.17.S9

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

Hanno Schmiedt

QC174.45

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

QC176.8.N35

Design of nanostructures : self-assembly of nanomaterials

Himadri B. Bohidar and Kamla Rawat

QC178

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

Edward Anderson

QC20

Computational physics : simulation of classical and quantum systems

Philipp O.J. Scherer

QC20.7.F56

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

QC596.5

Ferroelectrics

Ashim Kumar Bain, Pren Chand

QC611.8.A5 M 2017eb

Amorphous semiconductors : structural, optical and electronic properties

Kazuo Morigaki, Sandor Kugler and Koichi Shimakawa

QC611.8.W53

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

QC688

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

Joseph Weston

QC718

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

Alexander Piel

QC760

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

Pierre Schnizer

QC787.P3

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

QC793.5.B62

The H Boson [electronic resource]

Costas Bachas, Bertrand Duplantier, Vincent Rivasseau, editors

QC793.5.N42

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

QC855

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]

QC903

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

QC944

Hurricane Monitoring With Spaceborne Synthetic Aperture Radar

edited by Xiaofeng Li

QC981.8.C53

Climate extremes : patterns and mechanisms

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

QC991.A358

Meteorology of Tropical West Africa : the forecasters' handbook

edited by Douglas J. Parker, Mariane Diop-Kane

QD116.I57

Electrochemical impedance spectroscopy

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

QD139.P6

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

QD181.N3

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

Dongyang Wan

QD262

Asymmetric synthesis of three-membered rings

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

QD262

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

QD321

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

QD381

Polymers for biomedicine : synthesis, characterization, and applications

edited by Carmen Scholz

QD381.9.S97

Responsive polymer surfaces : dynamics in surface topography

edited by Danqing Liu and Dirk J. Broer

QD382.C66

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

QD39.3.E46

Tutorials in chemoinformatics

edited by Alexandre Varnek

QD39.3.E46

Reviews in computational chemistry. Volume 30

edited by Abby L. Parrill, Kenny B. Lipkowitz

QD411

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

QD462

Applications of quantum dynamics in chemistry [electronic resource]

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

QD469

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

QD478

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

QD505

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

QD561

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

QD716.P45

Nanocomposites for visible light-induced photocatalysis [electronic resource]

Mohammad Mansoob Khan, Debabrata Pradhan, Youngku Sohn, editors

QD75.22

Limits of detection in chemical analysis

Edward Voigtman

QD79.C454

Charged aerosol detection for liquid chromatography and related separation techniques

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

QD79.C454

Targeted biomarker quantitation by LC-MS

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

QD79.C454

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

QD939

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

Shang Yuan Ren

QD96.M3

Interpretation of MS-MS mass spectra of drugs and pesticides

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

QE33.2.R4

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

QE534.3

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

Rodolfo Console, Maura Murru, Giuseppe Falcone

QE606

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

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

QE633.M43

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

Ibrahim Çemen, Yücel Yilmaz

QE756.C6

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

Hou Xian-guang [and eight others]

QE840.5

Graptolite paleobiology

Jörg Maletz

QH212.A25

Fluorescence microscopy : from principles to biological applications

edited by Ulrich Kubitscheck,

QH212.S35

Visualising the charge and Cooper-pair density waves in cuprates

Stephen Edkins

QH323.5

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

QH324.2

Discriminative pattern discovery on biological networks

Fabio Fassetti, Simona E. Rombo, Cristina Serrao

QH324.2

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.)

QH324.2

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

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

QH324.2

Bioinformatics in aquaculture : principles and methods

edited by Zhanjiang (John) Liu

QH324.2

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

QH366.2

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

QH441

The AGT cytogenetics laboratory manual

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

QH447

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

Joao Meidanis, Luay Nakhleh (eds.)

QH447

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

QH450

Gene regulation, epigenetics and hormone signaling

edited by Subhrangsu S. Mandal

QH481

Animal models and human reproduction

edited by Heide Schatten, Gheorghe M. Constantinescu

QH485

Periconception in physiology and medicine

Alireza Fazeli, William V. Holt, editors

QH491

Dictionary of stem cells, regenerative medicine, and translational medicine

Frank J. Dye

QH505

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

QH513

Biomechanics : optimization, uncertainties and reliability

Ghias Kharmanda, Abdelkhalak El Hami

QH541

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

QH541.15.L35

Ecoacoustics : the ecological role of sounds

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

QH541.5.D35

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

QH585.2

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

edited by Stefan Przyborski

QH588.S83

The biology and therapeutic application of mesenchymal cells

edited by Kerry Atkinson

QH601

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

QK281

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

QK281

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

QK328

The vegetation of the Iberian Peninsula. Volume 2

Javier Loidi, editor

QK328

The vegetation of the Iberian Peninsula. Volume 1

Javier Loidi, editor

QK495.A1

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

QK625.M7

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

QK725

Plant cells and their organelles

edited by William V. Dashek, Gurbachan S. Miglani

QK753.M56

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

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

QK754

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

QK898.P764

Recent advances in polyphenol research. Volume 5

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

QK926

Obligate Pollination Mutualism

edited by Makoto Kato, Atsushi Kawakita

QK99.A35

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

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

QL391.R8

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

QL541

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

QM551

Compendium of histology : a theoretical and practical guide

Anders Rehfeld, Malin Nylander, Kirstine Karnov

QP113

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

QP144.F85

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

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

QP144.F85

New polymers for encapsulation of nutraceutical compounds

edited by Jorge Carlos Ruiz Ruiz, Maira Rubi Segura Campos

QP144.F85

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

edited by Paul Kiritsakis, Fereidoon Shahidi

QP144.G45

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

QP151

Biomechanics of the human stomach [electronic resource]

Roustem N. Miftahof

QP251 .H845 2017eb

Human reproduction : updates and new horizons

edited by Heide Schatten

QP252

Endocrinology of the testis and male reproduction [electronic resource]

Manuela Simoni, Ilpo T. Huhtaniemi, editors

QP255

Protocols in semen biology (comparing assays)

N. Srivastava, Megha Pande, editors

QP301

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

QP356.22

Genome editing in neurosciences

Rudolf Jaenisch, Feng Zhang, Fred Gage, editors

QP356.22

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]

QP376

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

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

QP385

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

Claude Frasson, George Kostopoulos (eds.)

QP40

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

QP461

Primate hearing and communication

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

QP517.B44

Recovering bioactive compounds from agricultural wastes

edited by Van Tang Nguyen

QP517.B49

Chemoselective and bioorthogonal ligation reactions : concepts and applications

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

QP517.P76

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

QP519.9.P48

Photoaffinity labeling for structural probing within protein [electronic resource]

Yasumaru Hatanaka, Makoto Hashimoto, editors

QP535.C2

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

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

QP535.C2

Calcium signaling : from physiology to diseases

Senthilkumar Rajagopal, Murugavel Ponnusamy

QP535.O1

Reactive oxygen species : signaling between hierarchical levels in plants

edited by Franz-Josef Schmitt and Suleyman I. Allakhverdiev

QP551

Protein deimination in human health and disease

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

QP551

Chemical ligation : tools for biomolecule synthesis and modification

edited by Luca D. D'Andrea, Alessandra Romanelli

QP551

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

QP552.C34

Transporters as Drug Targets

QP601.3

Enzyme kinetics : principles and methods

Hans Bisswanger

QP601.4

Enzyme regulation in metabolic pathways

Lloyd Wolfinbarger

QP609.B46

Beta-Lactams : Novel Synthetic Pathways and Applications

edited by Bimal K. Banik

QP609.P53

Phosphodiesterases : CNS functions and diseases [electronic resource]

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

QP609.P78

Proteases in physiology and pathology [electronic resource]

Sajal Chakraborti, Naranjan S. Dhalla, editors

QP624.75.P74

Drebrin : from structure and function to physiological and pathological roles

Tomoaki Shirao, Yuko Sekino, editors

QP625.N89

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

Mourad Elloumi, editor

QP702.G577

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]

QP82.2.N64

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

edited by Andrew W. Wood, Ken Karipidis

QP90.4

Evolution, the logic of biology

John S. Torday, Virender K. Rehan

QR111

Biofilms in plant and soil health

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

QR113

Rhizobium biology and biotechnology [electronic resource]

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

QR115

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

QR182

Immune metabolism in health and tumor

Bin Li, Fan Pan, editors

QR183.6

Immunohistochemistry and immunocytochemistry : essential methods

edited by Simon Renshaw

QR185.2

Regulation of inflammatory signaling in health and disease

Dakang Xu, editor

QR201.F62

Foodborne pathogens and antibiotic resistance

[edited by] Om V. Singh

QR351

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

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

QR41.2

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

Victor Pylro, Luiz Roesch, editors

QR41.2

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

QR51

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

QR67

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

QR82.A69

Biocommunication of Archaea [electronic resource]

Guenther Witzany, editor

QR99.63

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