Skip to main content

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 November 2016 for the University Libraries

-Q-

Q172

Mathematical and computational approaches in advancing modern science and engineering

Jacques Bélair, Ian A. Frigaard, Herb Kunze, Roman Makarov, Roderick Melnik, Raymond J. Spiteri, editors

Q175

Hermeneutic Realism [electronic resource]

Q175 .K84 2016eb

Kuhn's Structure of Scientific Revolutions at fifty : reflections on a science classic

edited by Robert J. Richards and Lorraine Daston

Q175.5 .H473 2016

Undone science : social movements, mobilized publics, and industrial transitions

David J. Hess

Q175.52.U6 O55 2016

Innocent experiments : childhood and the culture of popular science in the United States

Rebecca Onion

Q180.55.E9 G5613 2016

Bibliometrics and research evaluation : uses and abuses

Yves Gingras

Q180.55.M4 B66 2016

The craft of research

Wayne C. Booth, Gregory G. Colomb, Joseph M. Williams, Joseph Bizup, William T. FitzGerald

Q180.55.M4 K36 2016

Failing in the field : what we can learn when field research goes wrong

Dean Karlan and Jacob Appel

Q180.55.M4 N27 2016

Cycles of invention and discovery : rethinking the endless frontier

Venkatesh Narayanamurti and Toluwalogo Odumosu

Q180.55.M4 R473 2016

Research methods for postgraduates

edited by Tony Greenfield with Sue Greener

Q180.55.S7

Excel 2016 for physical sciences statistics : a guide to solving practical problems

Thomas J. Quirk, Meghan H. Quirk, Howard F. Horton

Q180.A1

Science dynamics and research production : indicators, indexes, statistical laws and mathematical models [electronic resource]

Nikolay K. Vitanov

Q325

Self-organizing networks : first International Conference, ICSON 2015, Beijing, China, January 13-14, 2015, Revised selected papers

Songlin Sun, Jun Li (eds.)

Q325.5

Support vector machines and perceptrons : learning, optimization, classification, and application to social networks

M.N. Murty, Rashmi Raghava

Q325.5

Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings.

Bettina Berendt, Björn Bringmann, Élisa Fromont, Gemma Garriga, Pauli Miettinen, Nikolaj Tatti, Volker Tresp (eds.)

Q325.5

Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings.

Paolo Frasconi, Niels Landwehr, Giuseppe Manco, Jilles Vreeken (eds.)

Q325.5

Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings.

Paolo Frasconi, Niels Landwehr, Giuseppe Manco, Jilles Vreeken (eds.)

Q325.5

Machine learning and interpretation in neuroimaging : 4th International Workshop, MLINI 2014, held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised selected papers

Irina Rish, Georg Langs, Leila Wehbe, Guillermo Cecchi, Kai-min Kevin Chang, Brian Murphy (eds.)

Q325.5 .A47 2016

Machine learning : the new AI

Ethem Alpaydin

Q334

PRICAI 2016 : trends in artificial intelligence : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings

Richard Booth, Min-Ling Zhang (eds.)

Q334

Artificial intelligence : methodology, systems, and applications : 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings

Christo Dichev, Gennady Agre (eds.)

Q334

Artificial intelligence applications and innovations : 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016, Proceedings

Lazaros Iliadis, Ilias Maglogiannis (eds.)

Q334

Advances in artificial intelligence : 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings

Oscar Luaces, José A. Gámez, Edurne Barrenechea, Alicia Troncoso, Mikel Galar, Héctor Quintián, Emilio Corchado (eds.)

Q334

Modeling decisions for artificial intelligence : 13th International Conference, MDAI 2016, Sant Julià de Lòria, Andorra, September 19-21, 2016. Proceedings

Vicenç Torra, Yasuo Narukawa, Guillermo Navarro-Arribas, Cristina Yañez (eds.)

Q334

KI 2016 : advances in artificial intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

Gerhard Friedrich, Malte Helmert, Franz Wotawa (eds.)

Q334

Intelligent systems technologies and applications 2016

Juan Manuel Corchado Rodriguez, Sushmita Mitra, Sabu M. Thampi, El-Sayed El-Alfy, editors

Q334

Proceedings of 2016 Chinese Intelligent Systems Conference [electronic resource]

Q337.5

Advances in intelligent data analysis XV : 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings

Henrik Boström, Arno Knobbe, Carlos Soares, Panagiotis Papapetrou (eds.)

Q337.5

Neural information processing : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings.

Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu (eds.)

Q342

Computational intelligence : a methodological introduction

Rudolf Kruse, Christian Borgelt, Christian Braune, Sanaz Mostaghim, Matthias Steinbrecher ; with contributions from Frank Klawonn and Christian Moewes

QA1

Modern mathematical methods and high performance computing in science and technology : M3HPCST, Ghaziabad, India, December 2015

Vinai K. Singh, H.M. Srivastava, Ezio Venturino, Michael Resch, Vijay Gupta, editors

QA1

Advances in the mathematical sciences : research from the 2015 Association for Women in Mathematics Symposium

Gail Letzter, editor-in-chief ; Kristin Lauter, Erin Chambers, Nancy Flournoy, Julia Elisenda Grigsby, Carla Martin, Kathleen Ryan, Konstantina Trivisa, editors

QA10.3

Bent functions : fundamentals and results

Sihem Mesnager

QA11.2

Alternative theoretical frameworks for mathematics education research : theory meets data [electronic resource]

QA11.2

Mathematics at the margins

Elizabeth Warren, Jodie Miller

QA11.A1

The didactics of mathematics : approaches and issues : a homage to Michèle Artigue

Bernard R. Hodgson, Alain Kuzniak, Jean-Baptiste Lagrange, editors

QA12

Research on and activities for mathematically gifted students

Florence Mihaela Singer, Linda Jensen Sheffield, Viktor Freiman, Matthias Brandl

QA14.A788

Research in mathematics education in Australasia, 2012-2015

Katie Makar, Shelley Dole, Jana Visnovska, Merrilyn Goos, Anne Bennison, Kym Fry, editors

QA154.3 .L67 2006eb

Algebra

Falko Lorenz

QA161.P59

Introduction to the theory of standard monomials

C. S. Seshadri

QA166

Graph-theoretic concepts in computer science : 41st International Workshop, WG 2015 Garching, Germany, June 17-19, 2015, revised papers

Ernst W. Mayr (ed.)

QA166

Graph-theoretic concepts in computer science : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised selected papers

Pinar Heggernes (eds.)

QA166.245 .K63 2017

Graphs, algorithms, and optimization

William L. Kocay, Donald L. Kreher

QA174

Topology and geometric group theory : Ohio State University, Columbus, USA, 2010-2011

Michael W. Davis, James Fowler, Jean-Francois Lafont, Ian J. Leary, editors

QA184.2

Computational linear and commutative algebra

Martin Kreuzer, Lorenzo Robbiano

QA21

Cultures of mathematics and logic : selected papers from the Conference in Guangzhou, China, November 9-12, 2012

Shier Ju, Benedikt Löwe, Thomas Müller, Yun Xie, editors

QA221

Approximation by max-product type operators

Barnabás Bede, Lucian Coroianu, Sorin G. Gal

QA241

Number theory : an introduction via the density of primes

Benjamin Fine, Gerhard Rosenberger

QA243

Arthur's invariant trace formula and comparison of inner forms

Yuval Z. Flicker

QA248

Finitely supported mathematics : an introduction [electronic resource]

Andrei Alexandru, Gabriel Ciobanu

QA248

Descriptive set theoretic methods in automata theory : decidability and topological complexity

Michał Skrzypczak

QA267

Transactions on petri nets and other models of concurrency XI

Maciej Koutny, Jörg Desel, Jetty Kleijn (eds.)

QA268

Quantum Zero-Error Information Theory [electronic resource]

by Elloa⁺ѓ B. Guedes, Francisco Marcos de Assis, Rex A. C. Medeiros

QA272.4

Subgame Consistent Cooperation : a comprehensive treatise [electronic resource]

David W.K. Yeung, Leon A. Petrosyan

QA273.19.E4

Probability and statistics with reliability, queuing, and computer science applications

Kishor S.Trivedi, Duke University, Durham, North Carolina

QA273.2

Research on Teaching and Learning Probability

Carmen Batanero

QA273.6

Extreme value distributions

Mohammad Ahsanullah

QA274.2

Stochastic porous media equations

Viorel Barbu, Giuseppe Da Prato, Michael Röckner

QA274.76

Branching processes and their applications

Inés M. del Puerto, Miguel González, Cristina Gutiérrez, Rodrigo Martínez, Carmen Minuesa, Manuel Molina, Manuel Mota, Alfonso Ramos, editors

QA274.8

Information technologies and mathematical modelling : queueing theory and applications : 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

Alexander Dudin, Alexander Gortsev, Anatoly Nazarov, Rafael Yakupov (eds.)

QA274.A1 I58 2016eb

Analytical and stochastic modeling techniques and applications : 23rd International Conference, ASMTA 2016, Cardiff, Wales, August 24-26, 2016. Proceedings

Sabine Wittevrongel, Tuan Phung-Duc (eds.)

QA276

A course in mathematical statistics and large sample theory

Rabi Bhattacharya, Lizhen Lin, Victor Patrangenaru

QA276

Excel 2016 for educational and psychological statistics : a guide to solving practical problems

Thomas J. Quirk

QA276.14 .J39 2016eb

Statistics from A to Z : confusing concepts clarified

Andrew Jawlik

QA276.A2

Statistics and causality : methods for applied empirical research

edited by Wolfgang Wiedermann, Alexander von Eye

QA278.2

Robust correlation : theory and applications

Georgy L. Shevlyakov, Peter The Great Saint-Petersburg Polytechnic University, Russia, Hannu Oja, University Of Turku, Finland

QA278.2

Adaptive regression for modeling nonlinear relationships

George J. Knafl, Kai Ding

QA278.8

Nonparametric statistics : 2nd ISNPS, Cádiz, June 2014 [electronic resource]

Ricardo Cao, Wenceslao González Manteiga, Juan Romo, editors

QA278.8

Robust rank-based and nonparametric methods : Michigan, USA, April 2015 : selected, revised, and extended contributions

Regina Y. Liu, Joseph W. McKean, editors

QA279

Optimal design through the sub-relaxation method : understanding the basic principles

Pablo Pedregal

QA279.5

Benefits of Bayesian network models [electronic resource]

QA279.5 .B65 2017eb

Introduction to Bayesian statistics

William M. Bolstad

QA280

Introduction to time series and forecasting

Peter J. Brockwell, Richard A. Davis

QA297.8

Advances in iterative methods for nonlinear equations

Sergio Amat, Sonia Busquier, editors

QA300

Analysis II

Terence Tao

QA300

Real analysis

Emmanuele DiBenedetto

QA303.3

Teaching and Learning of Calculus

David Bressoud ... [et. al.]

QA314

Fuzzy arbitrary order system : fuzzy fractional differential equations and applications

by Snehashish Chakraverty, Smita Tapaswini, D. Behera

QA315

Analytic function theory of several variables : elements of Oka's coherence

Junjiro Noguchi

QA322.2

Open problems in the geometry and analysis of banach spaces

Antonio J. Guirao, Vicente Montesinos, Václav Zizler

QA326

Operator algebras and applications : The Abel Symposium 2015 [electronic resource]

Toke M. Carlsen, Nadia S. Larsen, Sergey Neshveyev, Christian Skau, editors

QA329

Operators on Hilbert space

V. S. Sunder

QA329

Operator theory, function spaces, and applications : International Workshop on Operator Theory and Applications, Amsterdam, July 2014

Tanja Eisner, Birgit Jacob, Andre Ran, Hans Zwart, editors

QA370

Differential and difference equations with applications : ICDDEA, Amadora, Portugal, May 2015, selected contributions

Sandra Pinelas, Zuzana Došlá, Ondřej Došlý, Peter E. Kloeden, editors

QA371

Uncertain differential equations [electronic resource]

Kai Yao

QA372

Differential equations and numerical analysis : Tiruchirappalli, India, January 2015

Valarmathi Sigamani, John J. H. Miller, Ramanujam Narasimhan, Paramasivam Mathiazhagan, Franklin Victor, editors

QA374

Navier-Stokes equations on R³ x [0, T]

Frank Stenger, Don Tucker, Gerd Baumann

QA377

Stability and boundary stabilization of 1-D hyperbolic systems

Georges Bastin, Jean-Michel Coron

QA377

Notes on the infinity-Laplace equation

Peter Lindqvist

QA377

Geometric properties for parabolic and elliptic PDE's : GPPEPDEs, Palinuro, Italy, May 2015

Filippo Gazzola, Kazuhiro Ishige, Carlo Nitsch, Paolo Salani, editors

QA377

Mathematical analysis, probability and applications -- plenary lectures : ISAAC 2015, Macau, China

edited by Tao Qian, Luigi G. Rodino

QA377

Topics in numerical partial differential equations and scientific computing

Susanne C. Brenner, editor

QA379 .S234 2016

Stochastic methods for boundary value problems : numerics for high-dimensional PDEs and applications

Karl K. Sabelfeld and Nikolai A. Simonov

QA39.3

Mathematical sciences with multidisciplinary applications : in honor of Professor Christiane Rousseau. And in recognition of the mathematics for planet Earth initiative

Bourama Toni, editor

QA402

System analysis and modeling : technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings

Jens Grabowski, Steffen Herbold (eds.)

QA402.3

Control Modes on Mobile Software Platforms : Empirical Studies on the Importance of Informal Control [electronic resource]

QA402.3

Optimization and applications in control and data sciences : in honor of Boris T. Polyak's 80th birthday

Boris Goldengorin, editor

QA402.5

Discrete optimization and operations research : 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings

Yury Kochetov, Michael Khachay, Vladimir Beresnev, Evgeni Nurminski, Panos Pardalos (eds.)

QA402.5

Combinatorial optimization : 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised selected papers

Raffaele Cerulli, Satoru Fujishige, A. Ridha Mahjoub (eds.)

QA402.5 .C53 2016

Metaheuristics for big data [electronic resource]

Clarisse Dhaenens, Laetitia Jourdan

QA403

Harmonic analysis, partial differential equations, complex analysis, Banach spaces, and operator theory. (Volume 1) : celebrating Cora Sadosky's life [electronic resource]

María Cristina Pereyra, Stefania Marcantognini, Alexander M. Stokolos, Wilfredo Urbina, editors

QA431 .E93 2016

Exact finite-difference schemes

edited by Sergey Lemeshevsky, Piotr Matus, Dmitriy Poliakov

QA440

Nonarchimedean and tropical geometry

Matthew Baker, Sam Payne, editors

QA611.28 .D49 2016

Encyclopedia of distances

Michel Marie Deza, Elena Deza

QA612

Basic algebraic topology and its applications

Mahima Ranjan Adhikari

QA612.7

Statistical shape analysis with applications in R

Ian L. Dryden and Kanti V. Mardia

QA613

Manifolds, sheaves, and cohomology

Torsten Wedhorn

QA614.58

Local features in natural images via singularity theory

James Damon, Peter Giblin, Gareth Haslinger

QA641

Advances in discrete differential geometry

Alexander I. Bobenko, editor

QA641

Differential geometry of curves and surfaces [electronic resource]

Kristopher Tapp

QA670

Ricci flow and geometric applications : Cetraro, Italy 2010

Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian ; Riccardo Benedetti, Carlo Mantegazza, editors

QA76

Self-aware computing systems : an engineering approach

Peter R. Lewis, Marco Platzner, Bernhard Rinner, Jim Tørresen, Xin Yao, editors

QA76.575

Cross-cultural multimedia computing : semantic and aesthetic modeling

Shlomo Dubnov, Kevin Burns, Yasushi Kiyoki

QA76.58 .I58 2016eb

Euro-Par 2016 : parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Pierre-François Dutot, Denis Trystram (eds.)

QA76.585

Theory, methodology, tools and applications for modeling and simulation of complex systems : 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSimSCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings.

Lin Zhang, Xiao Song, Yunjie Wu (eds.)

QA76.585 .R87 2015

Cloud computing

Nayan B. Ruparelia

QA76.59

Mobile web and intelligent information systems : 13th International Conference, MobiWis 2016, Vienna, Austria, August 22-24, 2016, Proceedings

Muhammad Younas, Irfan Awan, Natalia Kryvinska, Christine Strauss, Do van Thanh (eds.)

QA76.59

Designing platform independent mobile apps and services

Rocky Heckman

QA76.5915

Raspberry Pi IoT projects : prototyping experiments for makers

John C. Shovic

QA76.5915

Industrial IoT technologies and applications : International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016, Revised selected papers

Jiafu Wan, Iztok Humar, Daqiang Zhang (eds.)

QA76.5915 .B73 2015eb

The stack : on software and sovereignty

Benjamin H. Bratton

QA76.6

Expert scripting and automation for SQL Server DBAs

Peter A. Carter

QA76.6

Scratch by example : programming for all ages [electronic resource]

Eduardo A. Vlieg

QA76.7

Programming languages : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings

edited by Fernando Castor, Yu David Liu

QA76.73.G23

Learning Groovy

Adam L. Davis

QA76.73.P224

Typed PHP : stronger types for cleaner code

Christopher Pitt

QA76.73.P224

PHP CLI : create command line interface scripts with PHP

Rob Aley

QA76.73.P98

Learn to program with Python [electronic resource]

Irv Kalb

QA76.73.S28

Scala : from a functional programming perspective : an introduction to the programming language

Vicenç Torra

QA76.73.S67

Beginning SQL server reporting services

Kathi Kellenberger

QA76.73.S67

Formal SQL tuning for Oracle databases : practical efficiency -- efficient practice

Leonid Nossov, Hanno Ernst, Victor Chupis

QA76.751

Usability- and accessibility-focused requirements engineering : first International Workshop, UsARE 2012, held in conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and second International Workshop, UsARE 2014, held in conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised selected papers

Achim Ebert, Shah Rukh Humayoun, Norbert Seyff, Anna Perini, Simone D.J. Barbosa (eds.)

QA76.758

Crisis management for software development and knowledge transfer

Sergey V. Zykov

QA76.758

Knowledge engineering and semantic web : 7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016, proceedings

Axel-Cyrille Ngonga Ngomo, Petr Křemen (eds.)

QA76.758

Search based software engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Federica Sarro, Kalyanmoy Deb (eds.)

QA76.758

Information and software technologies : 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings

Giedre Dregvaite, Robertas Damasevicius (eds.)

QA76.76.A54

Material design implementation with AngularJS : UI component framework

V. Keerti Kotaru

QA76.76.A65

Securing PHP apps

Ben Edmunds

QA76.76.A65

Research in attacks, intrusions, and defenses : 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings

Fabian Monrose, Marc Dacier, Gregory Blanc, Joaquin Garcia-Alfaro (eds.)

QA76.76.C672

Serious games : second Joint International Conference, JCSG 2016, Brisbane, QLD, Australia, September 26-27, 2016, Proceedings

Tim Marsh, Minhua Ma, Manuel Fradinho Oliveira, Jannicke Baalsrud Hauge, Stefan Göbel (eds.)

QA76.76.D47

Tamed agility : pragmatic contracting and collaboration in agile software projects [electronic resource]

Matthias Book, Volker Gruhn, Rüdiger Striemer

QA76.76.D47

Enterprise software sourcing performance : the impact logic of on-demand, on-premises, and in-house software on dynamic fit and process-level performance outcomes in client organizations

Marko Nöhren

QA76.76.D47

Modeling with UML : language, concepts, methods

Bernhard Rumpe

QA76.76.D47

Managing software process evolution : traditional, agile and beyond - how to handle process change [electronic resource]

Marco Kuhrmann, Jürgen Münch, Ita Richardson, Andreas Rausch, He Zhang, editors

QA76.76.D47

Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers

edited by Marko van Eekelen, Ugo Dal Lago

QA76.76.E95

Knowledge management and acquisition for intelligent systems : 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016. Proceedings

Hayato Ohwada, Kenichi Yoshida (eds.)

QA76.76.E95

Computational collective intelligence : 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings.

Ngoc Thanh Nguyen, Lazaros Iliadis, Yannis Manolopoulos, Bogdan Trawiński (eds.)

QA76.76.E95 T435 2016

Knowledge engineering : building personal learning assistants for evidence-based reasoning

Gheorghe Tecuci, George Mason University, Dorin Marcu, George Mason University, Fairfax, Virginia, Mihai Boicu, George Mason University, Fairfax, Virginia, David Schum, George Mason University

QA76.76.I58

PRIMA 2016 : princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni (eds.)

QA76.76.I58

Multiagent system technologies : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt (eds.)

QA76.76.I58

Social machines : the coming collision of artificial intelligence, social networking, and humanity

James Hendler, Alice M. Mulvehill

QA76.76.I58

Computational models of motivation for game playing agents

Kathryn E. Merrick

QA76.76.I58

Cognitive (internet of) things : collaboration to optimize action [electronic resource]

Arvind Sathi

QA76.76.I58

Autonomous agents and multiagent systems : AAMAS 2016 Workshops, Best papers, Singapore, Singapore, May 9-10, 2016, Revised selected papers

Nardine Osman, Carles Sierra (eds.)

QA76.76.I58

Autonomous agents and multiagent systems : AAMAS 2016 Workshops, Visionary papers, Singapore, Singapore, May 9-10, 2016, Revised selected papers

Nardine Osman, Carles Sierra (eds.)

QA76.76.M52

Pro ASP.NET Core MVC

Adam Freeman

QA76.76.O63

Windows 10 troubleshooting

Mike Halsey, MVP

QA76.76.T49

Harley Hahn's Emacs field guide

Harley Hahn

QA76.76.V47

Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings

Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (ed.)

QA76.87

Artificial neural networks and machine learning -- ICANN 2016 : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings.

Alessandro E.P. Villa, Paolo Masulli, Antonio Javier Pons Rivero (eds.)

QA76.87

Artificial neural networks and machine learning -- ICANN 2016 : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings.

Alessandro E.P. Villa, Paolo Masulli, Antonio Javier Pons Rivero (eds.)

QA76.87

Brain informatics and health : International Conference, BIH 2016, Omaha, NE, USA, October 13-16, 2016 Proceedings

Giorgio A. Ascoli, Michael Hawrylycz, Hesham Ali, Deepak Khazanchi, Yong Shi (eds.)

QA76.88

Tools for high performance computing 2015 : proceedings of the 9th International Workshop on Parallel Tools for High Performance Computing, September 2015, Dresden, Germany

Andreas Knüpfer, Tobias Hilbrich, Christoph Niethammer, José Gracia, Wolfgang E. Nagel, Michael M. Resch, editors

QA76.88

Software for exascale computing -- SPPEXA 2013-2015

Hans-Joachim Bungartz, Philipp Neumann, Wolfgang E. Nagel, editors

QA76.887 .I58 2016eb

DNA computing and molecular programming : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

Yannick Rondelez, Damien Woods (eds.)

QA76.9.A25

Advances in cryptology -- CRYPTO 2016 : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings.

Matthew Robshaw, Jonathan Katz (eds.)

QA76.9.A25

Advances in cryptology -- CRYPTO 2016 : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings.

Matthew Robshaw, Jonathan Katz (eds.)

QA76.9.A25

Cryptographic hardware and embedded systems -- CHES 2016 : 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings

Benedikt Gierlichs, Axel Y. Poschmann (eds.)

QA76.9.A25

Security and Cryptography for Networks : 10th International Conference, SCN 2016, Amalfi, Italy, August 31-September 2, 2016, Proceedings

Vassilis Zikas, Roberto De Prisco (eds.)

QA76.9.A25

Cyber-security of SCADA and other industrial control systems [electronic resource]

Edward J.M. Colbert, Alexander Kott, editors

QA76.9.A25

Privacy technologies and policy : 4th Annual Privacy Forum, APF 2016, FrankfurtMain, Germany, September 7-8, 2016, Proceedings

edited by Stefan Schiffner, Jetzabel Serna, Demosthenes Ikonomou, Kai Rannenberg

QA76.9.A25

Algebra for cryptologists

Alko R. Meijer

QA76.9.A25

Cybersecurity for hospitals and healthcare facilities : a guide to detection and prevention [electronic resource]

Luis Ayala

QA76.9.A25

Computer safety, reliability, and security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch (eds.)

QA76.9.A25

Advances in information and computer security : 11th International Workshop on Security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, Proceedings

Kazuto Ogawa, Katsunari Yoshioka (eds.)

QA76.9.A25

Graphical models for security : third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised selected papers

Barbara Kordy, Mathias Ekstedt, Dong Seong Kim (eds.)

QA76.9.A25

Security in computing and communications : 4th International Symposium, SSCC 2016, Jaipur, India, September 21-24, 2016, Proceedings

Peter Mueller, Sabu M. Thampi, Md Zakirul Alam Bhuiyan, Ryan Ko, Robin Doss, Jose M. Alcaraz Calero (eds.)

QA76.9.A25

Computer security -- ESORICS 2016 : 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, proceedings.

Ioannis Askoxylakis, Sotiris Ioannidis, Sokratis Katsikas, Catherine Meadows (eds.)

QA76.9.A25

Computer security -- ESORICS 2016 : 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings.

Ioannis Askoxylakis, Sotiris Ioannidis, Sokratis Katsikas, Catherine Meadows (eds.)

QA76.9.A25

Information security theory and practice : 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26?27, 2016, Proceedings

Sara Foresti, Javier Lopez (eds.)

QA76.9.A25

Security and trust management : 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Gilles Barthe, Evangelos Markatos, Pierangela Samarati (eds.)

QA76.9.A25

IT security risk control management : an audit preparation plan [electronic resource]

Raymond Pompon

QA76.9.A25

Advances in digital forensics XII : 12th IFIP WG 11.9 International Conference, New Delhi, January 4-6, 2016, Revised selected papers

Gilbert Peterson, Sujeet Shenoi (eds.)

QA76.9.A25

Applications and techniques in information security : 6th [i.e. 7th] International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings

Lynn Batten, Gang Li (eds.)

QA76.9.A25

Network and system security : 10th International Conference, NSS 2016, Taipei, Taiwan, September 28-30, 2016, Proceedings

Jiageng Chen, Vincenzo Piuri, Chunhua Su, Moti Yung (eds.)

QA76.9.A25 C67 2016eb

Constructive side-channel analysis and secure design : 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised selected papers

François-Xavier Standaert, Elisabeth Oswald (eds.)

QA76.9.A43

Algorithms in bioinformatics : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings

Martin Frith, Christian Nørgaard Storm Pedersen (eds.)

QA76.9.A43

Computer algebra in scientific computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.)

QA76.9.A73

Advanced computer architecture : 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016. Proceedings

Junjie Wu, Lian Li (eds.)

QA76.9.A96

Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings

Jasmin Christian Blanchette, Stephan Merz (eds.)

QA76.9.B45

Analysis of large and complex data

Adalbert F.X. Wilhelm, Hans A. Kestler, editors

QA76.9.B45

Big data 2.0 processing systems : a survey

Sherif Sakr

QA76.9.B45

Transactions on large-scale data- and knowledge-centered systems XXVII : special issue on big data for complex urban systems

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Amin Anjomshoaa, Patrick C. K. Hung, Dominik Kalisch, Stanislav Sobolevsky (eds.)

QA76.9.B45

Big data technologies and applications

Borko Furht, Flavio Villanustre

QA76.9.B45

Big data SMACK : a guide to Apache Spark, Mesos, Akka, Cassandra, and Kafka [electronic resource]

Raul Estrada, Isaac Ruiz

QA76.9.B45 H86 2017

The human element of big data : issues, analytics, and performance

edited by Geetam Tomar, Narendra S. Chaudhari, Robin Singh Bhadoria, and Ganesh Chandra Deka

QA76.9.C643

VLSI-SoC : design for reliability, security, and low power : 23rd IFIP WG 10.5IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised selected papers

Youngsoo Shin, Chi Ying Tsui, Jae-Joon Kim, Kiyoung Choi, Ricardo Reis (eds.)

QA76.9.C65 F67 2016eb

Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings

Martin Fränzle, Nicolas Markey (eds.)

QA76.9.D3

Big data analytics and knowledge discovery : 18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings

Sanjay Madria, Takahiro Hara (eds.)

QA76.9.D3

Pro Oracle GoldenGate for the DBA

Bobby Curtis

QA76.9.D3

Building trust in information : perspectives on the frontiers of provenance

Victoria L. Lemieux, editor

QA76.9.D3

Model and data engineering : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur (eds.)

QA76.9.D3 D38 2016eb

Database and expert systems applications : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings.

Sven Hartmann, Hui Ma (eds.)

QA76.9.D3 D38 2016eb

Database and expert systems applications : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings.

Sven Hartmann, Hui Ma (eds.)

QA76.9.D3 I58 2015eb

Information search, integration, and personalization : 10th International Workshop, ISIP 2015, Grand Forks, ND, USA, October 1-2, 2015, Revised selected papers

Emanuel Grant, Dimitris Kotzinos, Dominique Laurent, Nicolas Spyratos, Yuzuru Tanaka (eds.)

QA76.9.D32

New trends in databases and information systems : ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings

Mirjana Ivanović, Bernhard Thalheim, Barbara Catania, Klaus-Dieter Schewe, Mārīte Kirikova, Petr Šaloun, Ajantha Dahanayake, Tania Cerquitelli, Elena Baralis, Pietro Michiardi (eds.)

QA76.9.D32

Transactions on large-scale data- and knowledge-centered systems XXVIII : special issue on database- and expert-systems applications

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Qimin Chen (eds.)

QA76.9.D32

Databases theory and applications : 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, proceedings

edited by Muhammad Aamir Cheema, Wenjie Zhang, Lijun Chang

QA76.9.D32 E27 2016eb

Advances in databases and information systems : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016. Proceedings

Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun (eds.)

QA76.9.D343

Anticipating future innovation pathways through large data analysis

Tugrul U. Daim, Denise Chiavetta, Alan L. Porter, Ozcan Saritas, editors

QA76.9.D343

Multilabel classification : problem analysis, metrics and techniques

Francisco Herrera, Francisco Charte, Antonio J. Rivera, María J. del Jesus

QA76.9.D343

Engineering applications of neural networks : 17th International Conference, EANN 2016, Aberdeen, Scotland, September 2-5, 2016. Proceedings

Lazaros Iliadis, Chrisina Jayne (eds.)

QA76.9.D343

Intelligent data engineering and automated learning -- IDEAL 2016 : 17th International Conference, Yangzhou, China, October 12-14, 2016, Proceedings

Hujun Yin, Yang Gao, Bin Li, Daoqiang Zhang, Ming Yang, Yun Li, Frank Klawonn, Antonio J. Tallón-Ballesteros (eds.)

QA76.9.D35 N38 2016

Compact data structures : a practical approach

Gonzalo Navarro

QA76.9.D5

Distributed computing : 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

Cyril Gavoille, David Ilcinkas (eds.)

QA76.9.E57

Entertainment computing -- ICEC 2016 : 15th IFIP TC 14 International Conference, Vienna, Austria, September 28-30, 2016, Proceedings

Günter Wallner, Simone Kriglstein, Helmut Hlavacs, Rainer Malaka, Artur Lugmayr, Hyun-Seung Yang (eds.)

QA76.9.E94

Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Gul Agha, Benny Van Houdt (eds.)

QA76.9.E94

Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

Dieter Fiems, Marco Paolieri, Agapios N. Platis (eds.)

QA76.9.F67

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,

edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

QA76.9.H85

Perspectives on HCI research with teenagers

Linda Little, Daniel Fitton, Beth T. Bell, Nicola Toth, editors

QA76.9.H85

Exploring the use of eye gaze controlled interfaces in automotive environments

Pradipta Biswas

QA76.9.H85

HCI redux : the promise of post-cognitive interaction

Phil Turner

QA76.9.H85

Human-centered and error-resilient systems development : IFIP WG 13.213.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016,

Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis (eds.)

QA76.9.H85

Brain-computer interfaces 2, Technology and applications [electronic resource]

edited by Maureen Clerc, Laurent Bougrain, Fabien Lotte

QA76.9.H85

Collaboration technologies and social computing : 8th International Conference, CollabTech 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings

Takashi Yoshino, Gwo-Dong Chen, Gustavo Zurita, Takaya Yuizono, Tomoo Inoue, Nelson Baloian (eds.)

QA76.9.H85 S728 2016

Virtual reality and virtual environments in 10 lectures

Stanislav Stankovic

QA76.9.I52 R43 2016eb

Visualizing financial data

Julie Rodriguez, Piotr Kaczmarek

QA76.9.L63 W75 2016eb

Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers

Dorel Lucanu (ed.)

QA76.9.M35

Programming for computations -- MATLAB/Octave : a gentle introduction to numerical simulations with MATLABOctave

Svein Linge, Hans Petter Langtangen

QA76.9.M35

Combinatorial algorithms : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

Veli Mäkinen, Simon J. Puglisi, Leena Salmela (eds.)

QA76.9.M35

Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications

Gerard O'Regan

QA76.9.N37 B56 2016

Bio-inspired computation and applications in image processing

edited by Xin-She Yang (School of Science and Technology, Middlesex University, London, United Kingdom), João Paulo Papa (Department of Computing, São Paulo State University, Bauru, São Paulo, Brazil)

QA76.9.N38

Speech and computer : 18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings

Andrey Ronzhin, Rodmonga Potapova, Géza Németh (eds.)

QA76.9.N38

Experimental IR meets multilinguality, multimodality, and interaction : 7th International Conference of the CLEF Association, CLEF 2016, Évora, Portugal, September 5-8, 2016, Proceedings

Norbert Fuhr, Paulo Quaresma, Teresa Gonçalves, Birger Larsen, Krisztian Balog, Craig Macdonald, Linda Cappellato, Nicola Ferro (eds.)

QA76.9.N38

Text, speech, and dialogue : 19th International Conference, TSD 2016, Brno, Czech Republic, September 12-16, 2016, Proceedings

Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala (eds.)

QA76.9.S63

Soft computing in data science : second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016, Proceedings

Michael W. Berry, Azlinah Hj. Mohamed, Bee Wah Yap (eds.)

QA76.9.S88

COOP 2016 : proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy

Antonella de Angeli, Liam Bannon, Patrizia Marti and Silvia Bordin, editors

QA76.9.T48

String processing and information retrieval : 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings

Shunsuke Inenaga, Kunihiko Sadakane, Tetsuya Sakai (eds.)

QA805 .T44 2007eb

Mechanical systems, classical models

by Petre P. Teodorescu

QA861

Dynamics of the rigid solid with general constraints by a multibody approach

Nicolae Pandrea, Nicolae-Doru Stanescu

QA9.25

Towards paraconsistent engineering

Seiki Akama, editor

QA9.A1 W67 2016eb

Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.)

QA913

Introduction to turbulent dynamical systems in complex systems

Andrew J. Majda

QB121

Inside PixInsight

Warren A. Keller

QB275

IAG 150 Years : oroceedings of the 2013 IAG Scientific Assembly, Postdam [i.e. Potsdam],Germany, 1-6 September, 2013 [electronic resource]

edited by Chris Rizos, Pascal Willis

QB466.A25

Oscillations of disks

Shoji Kato

QB651

Early investigations of Ceres and the discovery of Pallas : historical studies in asteroid research [electronic resource]

Clifford Cunningham

QB857

A statistical and multi-wavelength study of star formation in galaxies

Corentin Schreiber

QB981

Defect evolution in cosmology and condensed matter : quantitative analysis with the velocity-dependent one-scale model

C.J.A.P. Martins

QC133

Dynamical systems : modelling: Łódź, Poland, December 7-10, 2015

Jan Awrejcewicz, editor

QC133

Dynamical systems : theoretical and experimental analysis: Łódź, Poland, December 7-10, 2015

Jan Awrejcewicz, editor

QC173.4.Q36

Mathematical Theory of Elasticity of Quasicrystals and Its Applications [electronic resource]

Tian-You Fan

QC174.12

The cellular automaton interpretation of quantum mechanics

Gerard 't Hooft

QC174.12

The principles of quantum theory, from Planck's quanta to the Higgs boson : the nature of quantum reality and the spirit of Copenhagen

Arkady Plotnitsky

QC174.12 .K66 2012eb

Quantum mechanics : genesis and achievements

Alexander Komech

QC174.125

Lectures on quantum mechanics

Jean-Louis Basdevant

QC174.14

Multi-species systems in optical lattices : from orbital physics in excited bands to effects of disorder

Fernanda Pinheiro

QC174.17.S9

Superconformal index on RP2 × S1 and 3D mirror symmetry

Akinori Tanaka

QC174.4

A primer on quantum fluids

Carlo F. Barenghi. Nick G. Parker

QC174.45

Quantum field theory II : introductions to quantum gravity, supersymmetry and string theory

Edouard B. Manoukian

QC174.8

Kinetic theory of nonequilibrium ensembles, irreversible thermodynamics, and generalized hydrodynamics. Volume 1, Nonrelativistic theories [electronic resource]

Byung Chan Eu

QC174.85.M43

Regularity theory for mean field games systems [electronic resource]

Diogo A. Gomes, Edgard A. Pimentel, Vardan Voskanyan

QC175.2

Transport processes in macroscopically disordered media : from mean field theory to percolation

Andrei A. Snarskii, Igor V. Bezsudnov, Vladimir A. Sevryukov, Alexander Morozovskiy, Joseph Malinsky

QC176.8.N35

Nanocatalysis in ionic liquids

edited by Martin H. G. Prechtl

QC176.8.N35

Protein-based engineered nanostructures

Aitziber L. Cortajarena, Tijana Z. Grove, editors

QC189.5 .R524 2016

Rheology and processing of polymer nanocomposites

edited by Sabu Thomas, Rene Muller, Jiji Abraham

QC20

Mathematics for natural scientists II : advanced methods

Lev Kantorovich

QC20.7.D43 S35 2016

Quantal density functional theory

Viraht Sahni

QC242.2

Hydroacoustic ocean exploration : theories and experimental application

I. B. Abbasov

QC242.4

Transducers and arrays for underwater sound

John L. Butler, Charles H. Sherman

QC278.6

Cryostat design : case studies, principles and engineering

J.G. Weisend II, editor

QC367

Optical flow and trajectory estimation methods [electronic resource]

Joel Gibson, Oge Marques

QC387

Refractive indices of solids

Stepan S. Batsanov, Evgeny D. Ruchkin, Inga A. Poroshina

QC427.4 .L56 2016

Light scattering by ice crystals : fundamentals and applications

Kuo-Nan Liou and Ping Yang with contributions by Yoshihide Takano

QC450.3 .E53 2017eb

Encyclopedia of spectroscopy and spectrometry

editor-in-chief: John C. Lindon, George E. Tranter and David W. Koppenaal

QC454.O66

Spectroscopic analysis of optoelectronic semiconductors

Juan Jimenez, Jens W. Tomm

QC52

Basic concepts in computational physics

Benjamin A. Stickler, Ewald Schachinger

QC585.7.M3

Temperature and frequency dependence of complex permittivity in metal oxide dielectrics : theory, modelling and measurement [electronic resource]

Jonathan Breeze

QC611.92

Ab initio studies on superconductivity in alkali-doped fullerides

Yusuke Nomura

QC631

Classical electrodynamics : from image charges to the photon mass and magnetic monopoles

Francesco Lacava

QC661

The wave concept in electromagnetism and circuits : theory and applications

edited by Henri Baudrand, Mohammed Titaouine, Nathalie Raveu

QC670

Applied frequency-domain electromagnetics

Robert Paknys

QC73.8.E53

Understanding and modeling Förster-type resonance energy transfer (FRET) : introduction to FRET.

Alexander Govorov, Pedro Ludwig Hernández Martínez, Hilmi Volkan Demir

QC793.2

High-energy atomic physics

Evgeny G. Drukarev, Aleksandr I. Mikhailov

QC793.2

Beyond Standard Model Collider Phenomenology of Higgs Physics and Supersymmetry [electronic resource]

Marc Christopher Thomas

QC793.2

High Jet multiplicity physics at the LHC

Mireia Crispín Ortuzar

QC793.5.F42

The continuum limit of causal fermion systems : from Planck scale structures to macroscopic physics

Felix Finster

QC793.5.M42

Measurement of the D⁰ meson production in Pb--Pb and p--Pb collisions : a study performed with the ALICE Experiment at the LHC ; Doctoral thesis accepted by the University of Padua, Italy

Andrea Festanti

QC793.5.Q252

Modification of K0s and lambda(anti-lambda) transverse momentum spectra in Pb-Pb collisions at √sNN = 2.76 TeV with ALICE

Simone Schuchmann

QC794.8.E4

Neoclassical theory of electromagnetic interactions : a single theory for macroscopic and microscopic scales

Anatoli Babin, Alexander Figotin

QC809.M35

Magnetosphere-ionosphere coupling in the solar system

Charles R. Chappell [and four others], editors

QC903

Rethinking climate and energy policies : new perspectives on the rebound phenomenon

Tilman Santarius, Hans Jakob Walnum, Carlo Aall, editors

QC903

Increasing resilience to climate variability and change : the roles of infrastructure and governance in the context of adaptation

Cecilia Tortajada, editor

QC903.2.A68

Asia and the Arctic : narratives, perspectives and policies

Vijay Sakhuja, Kapil Narula, editors

QC903.2.U6

The US national climate assessment : innovations in science and engagement

Katharine Jacobs, Susanne Moser, James Buizer, editors

QC981.8.A5

The climatology of air-mass and frontal extreme precipitation : study of meteorological data in Europe

Ewa Łupikasza

QC981.8.C5

Pragmatist orientation for the social sciences in climate policy : how to make integrated economic assessments serve society [electronic resource]

Martin Kowarsch

QD115

Biomedical and pharmaceutical applications of electrochemistry

Stojan Djokić, editor

QD171

Metal sustainability : global challenges, consequences, and prospects

edited by Reed M. Izatt, IBC Advanced Technologies, Inc., American Fork, Utah, and Department of Chemistry and Biochemistry, Brigham Young University, Provo, Utah

QD281.A6

Copper-catalyzed electrophilic amination of sp2 and sp3 C-H bonds

Stacey L. McDonald

QD281.O9

Liquid Phase Aerobic Oxidation Catalysis : Industrial Applications and Academic Perspectives [electronic resource]

edited by Shannon S. Stahl and Paul L. Alsters

QD281.P6

Microwave-assisted polymer synthesis

Richard Hoogenboom, Ulrich S. Schubert, Frank Wiesbrock, editors ; with contributions by D.S. Achilias [and 20 others]

QD305.P46

Asymmetric synthesis in organophosphorus chemistry : synthetic methods, catalysis, and applications

Oleg I. Kolodiazhnyi

QD341.P5

Calixarenes and beyond

Placido Neri, Jonathan L. Sessler, Mei-Xiang Wang, editors

QD381.9.S97 A38 2016eb

Advanced materials interfaces

edited by Ashutosh Tiwari, Hirak K. Patra and Xuemei Wang

QD39.3.M3

Computational chemistry : introduction to the theory and applications of molecular and quantum mechanics

Errol G. Lewars

QD415 .B24 2015eb

Artificial chemistries

Wolfgang Banzhaf and Lidia Yamamoto

QD431

D-amino acids : physiology, metabolism, and application

Tohru Yoshimura, Toru Nishikawa, Hiroshi Homma, editors

QD431

Study of the peptide-peptide and peptide-protein interactions and their applications in cell imaging and nanoparticle surface modification

Jianpeng Wang

QD461

The chemical bond I : 100 years old and getting stronger

D. Michael P. Mingos, editor ; with contributions by V. Arcisauskaite [and more]

QD462

The quantum gamble

Jan C.A. Boeyens

QD474 .L54 2016eb

Ligand design in metal chemistry : reactivity and catalysis [electronic resource]

edited by Mark Stradiotto, Rylan J. Lundgren

QD481 .A53 2016eb

Stereoelectronic effects : a bridge between structure and reactivity

Igor V. Alabugin

QD501

Oxidative cross-coupling reactions

Aiwen Lei [and 5 others]

QD502.5

Organic reaction mechanisms 2013 : an annual survey covering the literature dated January to December 2013 [electronic resource]

edited by A.C. Knipe

QD505

Heterogeneous catalysis and its industrial applications

Martin Schmal

QD549 .E53 2016eb

Encyclopedia of biocolloid and biointerface science

edited by Hiroyuki Ohshima

QD553

Electrochemistry and corrosion science

Nestor Perez

QD601

Applied photochemistry : when light meets molecules

Giacomo Bergamini, Serena Silvi, editors

QD75.4.C45

Chemometrics : statistics and computer application in analytical chemistry [electronic resource]

Matthias Otto

QD75.4.S25

Analysis of samples of clinical and alimentary interest with paper-based devices

Emilia Witkowska Nery

QD921

Crystallography and surface structure : an introduction for surface scientists and nanoscientists

Klaus Hermann

QD921 .H432 2016

Nucleation and growth of metals : from thin films to nanoparticles

Paul-Henri Haumesser

QD96.F56

Perspectives on fluorescence : a tribute to Gregorio Weber

volume editor: David M. Jameson ; with contributions by L.A. Bagatolli [and more]

QE276

Azokh Cave and the Transcaucasian corridor

edited by Yolanda Fernández-Jalvo, Tania King, Levon Yepiskoposyan, Peter Andrews

QE325

Regional Geology Reviews : Origin and Evolution of the Cape Mountains and Karoo Basin [electronic resource]

QE33.2.M3

Models and modeling : an introduction for earth and environmental scientists

Jerry Fairley

QE501.3 .I86 2016

Data-driven numerical modelling in geodynamics : methods and applications [electronic resource]

Alik Ismail-Zadeh, Alexander Korotkii, Igor Tsepelev

QE511.44

Speleological and speleogenetic aspects of the Monti di Capo San Vito (Sicily) : influence of morphotectonic evolution

Rosario Ruggieri

QE516.R6

Radon : a tracer for geological, geophysical and geochemical studies

Mark Baskaran

QE705.A1 D39 2016eb

Show me the bone : reconstructing prehistoric monsters in nineteenth-century Britain and America

Gowan Dawson

QE719.8

Testing modern biostratigraphical methods : application to the ammonoid zonation across the Devonian-Carboniferous boundary

Carina Klein

QE861.5 .N33 2016

Dinosaurs : how they lived and evolved

Darren Naish & Paul Barrett

QE871

Avian evolution : the fossil record of birds and its paleobiological significance

Gerald Mayr, Senckenberg Research Institute Frankfurt, Ornithological Section, Frankfurt am Main, Germany

QH108.C6

Costa Rican ecosystems

edited by Maarten Kappelle

QH212.T7

Transmission electron microscopy : diffraction, imaging, and spectrometry

C. Barry Carter, David B. Williams (eds.)

QH305.2.B6 D8213 2016

Activist biology : the National Museum, politics, and nation building in Brazil

Regina Horta Duarte ; translated by Diane Grosklaus Whitty

QH323.5

Excel 2016 for biological and life sciences statistics : a guide to solving practical problems

Thomas J. Quirk, Meghan H. Quirk, Howard F. Horton

QH323.5

Intellectual Pursuits of Nicolas Rashevsky : The Queer Duck of Biology [electronic resource]

QH324.2

Computational intelligence methods for bioinformatics and biostatistics : 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, revised selected papers

Claudia Angelini, Paola MV Rancoita, Stefano Rovetta (eds.)

QH324.2

Information technology in bio- and medical informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings

M. Elena Renda, Miroslav Bursa, Andreas Holzinger, Sami Khuri (eds.)

QH324.2

Computational methods in systems biology : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

edited by Ezio Bartocci, Pietro Lio, Nicola Paoletti

QH324.2

Systems biology application in synthetic biology

Shailza Singh, editor

QH324.2 .B58 2016

Metaheuristics for string problems in bio-informatics

Christian Blum, Paola Festa

QH331

Cultural implications of biosemiotics

Paul Cobley

QH331

A critical overview of biological functions

Justin Garson

QH331 .I586 2007eb

Introduction to biosemiotics : the new biological synthesis

edited by Marcello Barbieri

QH352 .B56 2016

Biological distance analysis : forensic and bioarchaeological perspectives

edited by Marin A. Pilloud, Joseph T. Hefner

QH360.5

Human nature and the limits of Darwinism

Whitley R.P. Kaufman

QH360.5 .C474 2016

Chance in evolution

edited by Grant Ramsey and Charles H. Pence

QH366.2

Evolutionary biology : convergent evolution, evolution of complex traits, concepts and methods [electronic resource]

Pierre Pontarotti, editor

QH430

Organogenetic gene networks : genetic control of organ formation [electronic resource]

James Castelli-Gair Hombría, Paola Bovolenta, editors

QH437 .D67 2017

Genetic association studies : background, conduct, analysis, interpretation

Mehmet Tevfik Dorak

QH442

Genome editing

Kursad Turksen, editor

QH457

Animal models of behavior genetics

Jonathan C. Gewirtz, Yong-Kyu Kim, editors

QH506

Atomic evidence : seeing the molecular basis of life

David S. Goodsell

QH506

Cytogenetic laboratory management : chromosomal, FISH, and microarray-based best practices and procedures [electronic resource]

Susan Mahler Zneimer

QH513

Molecular and cellular mechanobiology

Shu Chien, Adam J. Engler, Peter Yingxiao Wang, editors

QH540.5

Biopoetics : towards an existential ecology

Andreas Weber

QH541.13 .S356 2017

The new ecology : rethinking a science for the Anthropocene

Oswald J. Schmitz

QH541.15.C44 C446 2016

Chemical ecology

edited by Anne-Geneviève Bagnères, Martine Hossaert-Mckey

QH541.5.L3

Lake ecology in Kashmir, India : impact of environmental features on the biodiversity of urban lakes

Mubashir Jeelani

QH545.W3

Marine organic micropollutants : a case study of the sundarban mangrove wetland [electronic resource]

Santosh Kumar Sarkar

QH588.S83

Working with stem cells

Henning Ulrich, Priscilla Davidson Negraes

QH588.S83

Recent advances in stem cells : from basic research to clinical applications

Essam M. Abdelalim, editor

QH603.C43

Discoidin domain receptors in health and disease

Rafael Fridman, Paul H. Huang, editors

QH603.E93

Extracellular composite matrices in arthropods

Ephraim Cohen, Bernard Moussian, editors

QH603.L9

Lysosomes : biology, diseases, and therapeutics

edited by Frederick R. Maxfield, James M. Willard, Shuyan Lu

QH603.L9

Autophagy networks in inflammation

Maria Chiara Maiuri, Daniela De Stefano, editors

QH671

Apoptosis in cancer pathogenesis and anti-cancer therapy : new perspectives and opportunities

Christopher D. Gregory, editor

QH75 .T375 2016

Terrestrial water cycle and climate change : Natural and human-induced impacts

Qiuhong Tang and Taikan Oki, editors

QH83 .R483 2016

Biological classification : a philosophical introduction

Richard A. Richards

QH87.3

Natural and constructed wetlands : nutrients, heavy metals and energy cycling, and flow

Jan Vymazal, editor

QH95.9

Soda lakes of East Africa [electronic resource]

Michael Schagerl, editor

QK475 .E552 2016

Trees : a complete guide to their biology and structure

Roland Ennos

QK495.G74

Broadening the genetic base of grain cereals

Mohar Singh, Sandeep Kumar, editors

QK495.O64

Medicinal orchids of Asia [electronic resource]

Eng Soon Teoh

QK646 .S44 2006eb

Atlas of woody plant stems : evolution, structure, and environmental modifications

F.H. Schweingruber, A. Börner, E.-D. Schulze

QK725

Gasotransmitters in plants : the rise of a new paradigm in cell signaling [electronic resource]

Lorenzo Lamattina, Carlos García-Mata, editors

QK751

Plant responses to air pollution [electronic resource]

Umesh Kulshrestha, Pallavi Saxena, editors

QK753.H4

Approaches to heavy metal tolerance in plants

Sumira Jan, Javid Ahmad Parray

QK754

Redox state as a central regulator of plant-cell stress responses

Dharmendra K. Gupta, José M. Palma, Francisco J. Corpas, editors

QK911

Standardized hierarchical vegetation classification : Mexican and global patterns [electronic resource]

Alejando Velázquez... [et al.]

QK922

Plants on plants-- : the biology of vascular epiphytes

Gerhard Zotz

QK98 .L38 2016

Botanical art from the golden age of scientific discovery

Anna Laurent

QL212 .B76 2016

The city is more than human : an animal history of Seattle

Frederick L. Brown

QL362

Invertebrate bacteriology : function, evolution and biological ties

Aurelio Ciancio

QL375

The cnidaria, past, present and future : the world of Medusa and her sisters [electronic resource]

Stefano Goffredo, Zvy Dubinsky, editors

QL441.95

Biology and ecology of Antarctic krill

Volker Siegel, editor

QL542 .M367 2016

Rainbow dust : three centuries of butterfly delight : with a new preface

Peter Marren

QL696.P2438 S66 2016eb

Snowbird : integrative biology and evolutionary diversity in the junco

edited by Ellen D. Ketterson and Jonathan W. Atwell

QL737.C432 C69 2016

Anatomy of dolphins : insights into body structure and function

Bruno Cozzi (Department of Comparative Biomedicine and Food Science, University of Padova, Padova, Italy), Stefan Huggenberger (Department II of Anatomy, University of Cologne, Cologne, Germany), Helmut Oelschläger (Institute of Anatomy III (Dr. Senckenbergische Anatomie), University of Frankfurt, Frankfurt, Germany) ; illustrations by Massimo Demma, Uko Gorter, and Jutta Oelschläger

QL737.P9

The evolution of the primate hand : anatomical, developmental, functional, and paleontological evidence

Tracy L. Kivell, Pierre Lemelin, Brian G. Richmond, Daniel Schmitt, editors

QL737.P9 S764 2017

Primate behavioral ecology

Karen B. Strier

QL737.P943

Evolution of gibbons and siamang : phylogeny, morphology, and cognition

Ulrich H. Reichard, Hirohisa Hirai, Claudia Barelli, editors

QL737.U56 S56 2016

The giraffe : biology, ecology, evolution and behaviour

Bryan Shorrocks

QL785 .C443 2016

How animals think and feel : an introduction to non-human psychology

Ken Cheng

QL83.4 .R44 2016

Reintroduction of fish and wildlife populations

edited by David S. Jachowski, Joshua J. Millspaugh, Paul L. Angermeier, and Rob Slotow

QM511

Atlas of ocular anatomy [electronic resource]

Mohammad Wakeel Ansari, Ahmed Nadeem

QP251

Role of folliculo-luteal function in human reproduction [electronic resource]

György Siklósi

QP281

Early nutrition and lifestyle factors : effects on first trimester placenta

Asim K. Duttaroy, Sanjay Basak

QP341

Extracellular potentials in the hippocampus : sources and biophysical mechanisms

Antonio Fernández Ruiz

QP356.4

Stem cells in neuroendocrinology

Donald Pfaff, Yves Christen, editors

QP356.47 .K76 2016

The psychic immune system : a hidden epiphenomenon of the body's own defenses

Jerry Kroth

QP363

Dendrites : development and disease

Kazuo Emoto, Rachel Wong, Eric Huang, Casper Hoogenraad, editors

QP376

The fractal geometry of the brain

Antonio Di Ieva, editor

QP376 .S765 2015e

Principles of neural design

Peter Sterling and Simon Laughlin

QP385.5 .L38 2016

Laterality in sports : theories and applications

edited by Florian Loffing, Norbert Hagemann, Bernd Strauss, Clare MacMahon

QP398 .H524 2016

The human advantage : a new understanding of how our brain became remarkable

Suzana Herculano-Houzel

QP411

The single-neuron theory : closing in on the neural correlate of consciousness [electronic resource]

Steven Sevush

QP411

From chemistry to consciousness : the legacy of Hans Primas [electronic resource]

Harald Atmanspacher, Ulrich Müller-Herold, editors

QP475.5 .D69 2016

Vision : how it works and what can go wrong

John E. Dowling and Joseph L. Dowling, Jr

QP487

Studies on Binocular Vision : Optics, Vision and Perspective from the Thirteenth to the Seventeenth Centuries

QP535.S5

Selenium : its molecular biology and role in human health [electronic resource]

Dolph L. Hatfield...[et al.], editors

QP551

Evolution of the protein synthesis machinery and its regulation

Greco Hernández, Rosemary Jagus, editors

QP552.M44

The next generation in membrane protein structure determination

Isabel Moraes, editor

QP552.M46

Metallomics : analytical techniques and speciation methods

edited by Bernhard Michalke

QP572.M44

Ma vie en noir : fifty years with melatonin and the stone of madness

Daniel Pedro Cardinali

QP601

Enzyme immobilization : advances in industry, agriculture, medicine, and the environment [electronic resource]

Alka Dwevedi

QP620

Computational methods for next generation sequencing data analysis

edited by Ion Măndoiu, Alexander Zelikovsky

QP620 .C648 2016

Computational methods for next generation sequencing data analysis

edited by Ion Măndoiu, Alexander Zelikovsky

QP624.5.D72

DNA Barcoding in Marine Perspectives : Assessment and Conservation of Biodiversity [electronic resource]

QP671.C35

Carotenoids in Nature : Biosynthesis, Regulation and Function [electronic resource]

Claudia Stange

QP702.G577

Glycochemical synthesis : strategies and applications

edited by Shang-Cheng Hung, Medel Manuel L. Zulueta

QP702.O44

Research progress in oligosaccharins

Heng Yin, Yuguang Du, editors

QP752.O44

Omega-3 fatty acids : keys to nutritional health [electronic resource]

Mahabaleshwar V. Hegde, Anand Arvind Zanwar, Sharad P. Adekar, editors

QP772.V53

Vitamin D in chronic kidney disease

Pablo A. Urena Torres, Mario Cozzolino, Marc G. Vervloet, editors

QP84.4

Puberty : physiology and abnormalities [electronic resource]

QP99.3.O9 I5 2015eb

Oxygen transport to tissue XXXVIII

Qingming Luo, Lin Z. Li, David K. Harrison, Hua Shi, Duane F. Bruley, editors

QR100

Aquatic microbial ecology and biogeochemistry : a dual perspective

Patricia M. Glibert, Todd M. Kana, editors

QR100.8.B55

Fungal biofilms and related infections : advances in microbiology, infectious diseases and public health.

Christine Imbert, editor

QR171.A1 Y66 2016

I contain multitudes : the microbes within us and a grander view of life

Ed Yong

QR171.R85

Rumenology

Danilo Domingues Millen, Mario De Beni Arrigoni, Rodrigo Dias Lauritano Pacheco

QR185.8.I56

Interleukin 12 : antitumor activity and immunotherapeutic potential in oncology [electronic resource]

Witold Lasek, Radoslaw Zagozdzon ; with a contribution by Marek Jakóbisiak

QR351

Plant viruses : evolution and management [electronic resource]

Rajarshi Kumar Gaur, Nikolay Manchev Petrov, Basavaprabhu L. Patil, Mariya Ivanova Stoyanova, editors

QR351 .P53 2016

Plant viruses : evolution and management

Rajarshi Kumar Gaur, Nikolay Manchev Petrov, Basavaprabhu L. Patil, Mariya Ivanova Stoyanova, editors

QR82.N4

Advances in understanding Kingella kingae

Joseph W. St. Geme, III, editor

QR89

Organohalide-respiring bacteria

Lorenz Adrian, Frank E. Löffler, editors

QR92.M46

In silico modeling and experimental validation for improving methanogenesis from CO2 via M. maripaludis

Nishu Goyal