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

-Q-

Q1-390

Global Banking Crises and Emerging Markets [electronic resource]

edited by Josef C. Brada, Paul Wachtel

Q158.5

Science and the economic crisis : impact on science, lessons from science

Francesco Sylos Labini

Q162

Science and society : understanding scientific methodology, energy, climate, and sustainability

Eric S. Swanson

Q162 .P55 2016eb

No wonder you wonder! : great inventions and scientific mysteries

Claude Phipps ; illustrations by Friedelwolf Wicke

Q172.5.C45

Advances and applications in chaotic systems

Sundarapandian Vaidyanathan, Christos Volos, editors

Q172.5.C74 S595 2016

The joy of science : seven principles for scientists seeking happiness, harmony, and success

Roel Snieder, Center for Wave Phenomena, Colorado School of Mines, Jen Schneider, Department of Public Policy and Administration, Boise State University

Q172.5.S96

Controlling synchronization patterns in complex networks

Judith Lehnert

Q174.8 .J54 2016eb

The great knowledge transcendence : the rise of western science and technology reframed

Dengjian Jin

Q175

Getting it right in science and medicine : can science progress through errors? fallacies and facts

Hans R. Kricheldorf

Q175.5 .D66 2016eb

Domesticity in the making of modern science

edited by Donald L. Opitz, Staffan Bergwik and Brigitte Van Tiggelen

Q180.55.M4

Research methodology : the aims, practices and ethics of science

Peter Pruzan

Q180.55.M67

From ethical review to responsible research and innovation

Sophie Pellé, Bernard Reber

Q180.A1

IBM ProtecTIER implementation and best practices guide

Karen Orlando [and three others]

Q180.A1 L63 2016eb

The local configuration of new research fields : on regional and national diversity

Martina Merz, Philippe Sormani, editors

Q181

STEM learning : IT integration and collaborative strategies

Mesut Duran, Margret Höft, Brahim Medjahed, Daniel B. Lawson, Elsayed A. Orady, editors

Q181

Simulations as scaffolds in science education

Maggie Renken, Melanie Peffer, Kathrin Otrel-Cass, Isabelle Girault, Augusto Chiocarriello

Q181 .Q35 2017

Qualitative research in STEM : studies of equity, Access, and innovation

edited by Sherry Marx

Q181.A1

Insights from research in science teaching and learning : selected papers from the ESERA 2013 Conference

Nicos Papadouris, Angela Hadjigeorgiou, Constantinos P. Constantinou, editors

Q181.A1

New developments in science and technology education

Martin Riopel, Zacharoula Smyrnaiou, editors

Q181.S35

STEM and ICT education in intelligent environments

Hideyuki Kanematsu, Dana M. Barry

Q183.4.T28

Science education research and practices in Taiwan : challenges and opportunities

Mei-Hung Chiu, editor

Q183.9

Introduction to scientific computing and data analysis

Mark H. Holmes

Q223

Scientific communication across the Iron Curtain

Christopher D. Hollings

Q295

Stochastics of environmental and financial economics : Centre of Advanced Study, Oslo, Norway, 2014-2015 [electronic resource]

edited by Fred Espen Benth, Giulia Di Nunno

Q295

Emergent nested systems : a theory of understanding and influencing complex systems as well as case studies in urban systems

Christian Walloth

Q310

Cybernetics : from past to future

D.A. Novikov

Q320

Advances in physarum machines : sensing and computing with slime mould

Andrew Adamatzky, editor

Q325

Selforganization in complex systems : the past, present, and future of synergetics : Proceedings of the International Symposium, Hanse Institute of Advanced Studies, Delmenhorst, Germany, November 13-16, 2012

Axel Pelster, Günter Wunner, editors

Q325

Control of self-organizing nonlinear systems

Eckehard Schöll, Sabine H. L. Klapp, Philipp Hövel, editors

Q325.5

Machine intelligence and signal processing

Richa Singh, Mayank Vatsa, Angshul Majumdar, Ajay Kumar, editors

Q325.5

Learning from data streams in dynamic environments [electronic resource]

Moamar Sayed-Mouchaweh

Q325.5

Human activity recognition and prediction [electronic resource]

Yun Fu, editor

Q325.5

Machine learning in complex networks

Thiago Christiano Silva, Liang Zhao

Q325.5

Machine learning techniques for gait biometric recognition : using the ground reaction force

James Eric Mason, Issa Traoré, Isaac Woungang

Q325.5

Machine learning for cyber physical systems : selected papers from the International Conference ML4CPS 2015

Oliver Niggemann, Jürgen Beyerer (eds.)

Q325.5

Machine intelligence and big data in industry

Dominik Ryżko, Piotr Gawrysiak, Marzena Kryskiewicz, Henryk Rybiński, editors

Q325.5

Apache Spark machine learning blueprints : develop a range of cutting-edge machine learning projects with Apache Spark using this actionable guide

Alex Liu

Q325.5

Advances in machine learning and signal processing : proceedings of MALSIP 2015

Ping Jack Soh, Wai Lok Woo, Hamzah Asyrani Sulaiman, Mohd Azlishah Othman, Mohd Shakir Saat, editors

Q325.78

New backpropagation algorithm with type-2 fuzzy weights for neural networks

Fernando Gaxiola, Patricia Melin, Fevrier Valdez

Q327 .I67 2016eb

Machine learning and data mining in pattern recognition : 12th international conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, proceedings

Petra Perner (eds.)

Q334

Advanced and intelligent computations in diagnosis and control

Zdzisław Kowalczuk, editor

Q334

Proceedings of the 4th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA) 2015

Swagatam Das, Tandra Pal, Samarjit Kar, Suresh Chandra Satapathy, Jyotsna Kumar Mandal, editors

Q334

Hybrid intelligent systems : 15th International Conference HIS 2015 on Hybrid Intelligent Systems, Seoul, South Korea, November 16-18, 2015

Ajith Abraham, Sang Yong Han, Salah A. Al-Sharhan, Hongbo Liu, editors

Q334

Proceedings of the 2015 Chinese Intelligent Systems Conference. Volume 2

Yingmin Jia, Junping Du, Hongbo Li, Weicun Zhang, editors

Q334

Proceedings of ELM-2015. Volume 2, Theory, algorithms and applications (II)

Jiuwen Cao, Kezhi Mao, Jonathan Wu, Amaury Lendasse, editors

Q334

Proceedings of ELM-2015. Volume 1, Theory, algorithms and applications (I)

Jiuwen Cao, Kezhi Mao, Jonathan Wu, Amaury Lendasse, editors

Q334

Quantum interaction : 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015. Revised selected papers

Harald Atmanspacher, Thomas Filk, Emmanuel Pothos (eds.)

Q334

Combinations of intelligent methods and applications : proceedings [electronic resource]

Q334

Artificial intelligence and evolutionary computations in engineering systems : proceedings of ICAIECES 2015

Subhransu Sekhar Dash, M. Arun Bhaskar, Bijaya Ketan Panigrahi, Swagatam Das, editors

Q334

Intelligent computing systems : first International Symposium, ISICS 2016, Mérida, México, March 16-18, 2016, Proceedings

edited by Anabel Martin-Gonzalez, Victor Uc-Cetina

Q334 .A35 2016eb

Artificial general intelligence : 9th International Conference, AGI 2016, New York, NY, July 16-19, 2016, proceedings

Bas Steunebrink, Pei Wang, Ben Goertzel (eds.)

Q334 .S25 2016eb

Emerging trends and advanced technologies for computational intelligence : extended and selected results from the Science and Information Conference 2015

Liming Chen, Supriya Kapoor, Rahul Bhatia, editors

Q334-342

Advances in Nature and Biologically Inspired Computing : Proceedings of the 7th World Congress on Nature and Biologically Inspired Computing (NaBIC2015) in Pietermaritzburg, South Africa, held December 01-03, 2015 [electronic resource]

edited by Nelishia Pillay, Andries P. Engelbrecht, Ajith Abraham, Mathys C. du Plessis, Václav Snášel, Azah Kamilah Muda

Q335

Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014)

Jengnan Juang, editor

Q335

Scholarpedia of touch

Tony Prescott, Ehud Ahissar, Eugene Izhikevich, editors

Q335

Nature-inspired computing for control systems

Hiram Eredín Ponce Espinosa, editor

Q335

Novel applications of intelligent systems

Mincho Hadjiski, Nikola Kasabov, Dimitar Filev, Vladimir Jotsov, editors

Q335

Innovative issues in intelligent systems

Vassil Sgurev, Ronald R. Yager, Janusz Kacprzyk, Vladimir Jotsov, editors

Q335

Intelligent computing systems : emerging application areas

George A. Tsihrintzis, Maria Virvou, Lakhmi C. Jain, editors

Q335

Challenging problems and solutions in intelligent systems

Guy de Tré, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny, editors

Q337.3

Fractional order Darwinian particle swarm optimization : applications and evaluation of an evolutionary algorithm

Micael Couceiro, Pedram Ghamisi

Q337.3

Design and control of swarm dynamics

Roland Bouffanais

Q337.3

Tracking and mapping of spatiotemporal quantities using unicellular swarm intelligence : visualisation of invisible hazardous substances using unicellular swarm intelligence

John Oluwagbemiga Oyekan

Q337.3

Nature-inspired computation in engineering

Xin-She Yang, editor

Q337.3

Advances in swarm intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings.

Ying Tan, Yuhui Shi, Li Li, editors

Q337.3

Advances in swarm intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings.

Ying Tan, Yuhui Shi, Li Li, editors

Q342

Tecnomatix plant simulation : modeling and programming by means of examples

Steffen Bangsow

Q342

Applications of computational intelligence in biomedical technology

Radim Bris, Jaroslav Majernik, Krzysztof Pancerz, Elena Zaitseva, editors

Q342

ICT innovations 2015 : emerging technologies for better living

Suzana Loshkovska, Saso Koceski, editors

Q342

Computational intelligence paradigms in economic and financial decision making

Marina Resta

Q342

Intelligent distributed computing. IX, Proceedings of the 9th international symposium on intelligent distributed computing - IDC'2015, Guimarães, Portugal, October 2015 [electronic resource]

Paulo Novais [and 4 others], editors

Q342

Computational intelligence in data mining. Volume 1 : : Proceedings of the International Conference on CIDM, 5-6 December 2015

Himansu Sekhar Behera, Durga Prasad Mohapatra, editors

Q342

Computational intelligence in data mining. Volume 2 : : Proceedings of the International Conference on CIDM, 5-6 December 2015

Himansu Sekhar Behera, Durga Prasad Mohapatra, editors

Q342

Computational intelligence : revised and selected papers of the International Joint Conference, IJCCI 2013, Vilamoura, Portugal, September 20-22, 2013 [electronic resource]

edited by Kurosh Madani, António Dourado, Agostinho Rosa, Joaquim Filipe, Janusz Kacprzyk

Q342

Software engineering, artificial intelligence, networking and parallel/distributed computing 2015 [electronic resource]

edited by Roger Lee

Q342

A practical guide to averaging functions [electronic resource]

by Gleb Beliakov, Humberto Bustince Sola, Tomasa Calvo Sánchez

Q342

Computational intelligence : International Joint Conference, IJCCI 2014 Rome, Italy, October 22-24, 2014 Revised Selected Papers [electronic resource]

edited by Juan Julian Merelo, Agostinho Rosa, José M. Cadenas, António Dourado, Kurosh Madani, Joaquim Filipe

Q342

Applications of soft computing in time series forecasting : simulation and modeling techniques [electronic resource]

Pritpal Singh

Q342

Fuzzy technology : present applications and future challenges [electronic resource]

edited by Mikael Collan, Mario Fedrizzi, Janusz Kacprzyk

Q342

Proceedings of the 2015 Chinese Intelligent Systems Conference. Volume 1 [electronic resource]

edited by Yingmin Jia, Junping Du, Hongbo Li, Weicun Zhang

Q342

Computational intelligence, cyber security and computational models : proceedings of ICC3 2015

Muthukrishnan Senthilkumar, Vijayalakshmi Ramasamy, Shina Sheen, C. Veeramani, Anthony Bonato, Lynn Batten, editors

Q342

Recent advances in computational intelligence in defense and security

Rami Abielmona, Rafael Falcon, Nur Zincir-Heywood, Hussein A. Abbass, editors

Q342

Computational intelligence and quantitative software engineering

Witold Pedrycz, Giancarlo Succi, Alberto Sillitti, editors

Q342

Computational intelligence and intelligent systems : 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised selected papers

Kangshun Li, Jin Li, Yong Liu, Aniello Castiglione (eds.)

Q342

Sentiment analysis and ontology engineering : an environment of computational intelligence

Witold Pedrycz, Shyi-Ming Chen, editors

Q342

Recent developments in intelligent information and database systems

Dariusz Król, Lech Madeyski, Ngoc Thanh Nguyen, editors

Q342 .A22 2015eb

Artificial life and computational intelligence : second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings

Tapabrata Ray, Ruhul Sarker, Xiaodong Li (eds.)

Q387.2 .I58 2016eb

Graph-based representation and reasoning : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings

Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker (eds.)

QA1

Forging connections between computational mathematics and computational geometry : papers from the 3rd International Conference on Computational Mathematics and Computational Geometry

Ke Chen, editor ; Anton Ravindran, managing editor

QA10.3

Boolean functions and their applications in cryptography

Chuan-Kun Wu, Dengguo Feng

QA10.4

Information geometry and its applications

Shun-ichi Amari

QA11.2

Mathematics, affect and learning : middle school students' beliefs and attitudes about mathematics education

Peter Grootenboer, Margaret Marshman

QA11.2

Multimathemacy : anthropology and mathematics education

Rik Pinxten

QA11.2

Youngsters solving mathematical problems with technology : the results and implications of the Problem Web project

Susana Carreira, Keith Jones, Nélia Amado, Hélia Jacinto, San Nobre

QA11.2

Mathematics education in East Africa : towards harmonization and enhancement of education quality

Anjum Halai and Geoff Tennant, editors

QA11.2 .G67 2016

Enabling students in mathematics : a three-dimensional perspective for teaching mathematics in grades 6-12

Marshall Gordon

QA11.2 .R447 2017

Research for educational change : transforming researchers' insights into improvement in mathematics teaching and learning

edited by Jill Adler and Anna Sfard

QA11.2 .S46 2016

Semiotics as a tool for learning mathematics : how to describe the construction, visualization, and communication of mathematical concepts [electronic resource]

edited by Adalira Sáenz-Ludlow and Gert Kadunz

QA11.A1

Recent advances in mathematical sciences : selected papers from ICREM7 2015

Adem Kılıçman, Hari M. Srivastava, M. Mursaleen, Zanariah Abdul Majid, editors

QA135.6

Curricular resources and classroom use : the case of mathematics

Gabriel J. Stylianides

QA135.6 .M5813 2016

Mathematics education in the early years : results from the POEM2 Conference, 2014

edited by Tamsin Meaney, Ola Helenius, Maria L. Johansson, Troels Lange and Anna Wernberg

QA152.3 .A27 2017

The learning and teaching of algebra : ideas, insights. and activities

Abraham Arcavi, Paul Drijvers, and Kaye Stacey

QA164

Foundations and methods in combinatorial and statistical data analysis and clustering

Israël César Lerman

QA166

Topics in graph automorphisms and reconstruction

Josef Lauri, Raffaele Scapellato

QA166 .I24 2016eb

Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016

Rachid Echahed, Mark Minas (eds.)

QA166.243

Genetic theory for cubic graphs

Pouya Baniasadi, Vladimir Ejov, Jerzy A. Filar, Michael Haythorpe

QA166.247

A Kaleidoscopic view of graph colorings

Ping Zhang

QA166.6

Submodularity in dynamics and control of networked systems [electronic resource]

Andrew Clark [and others] ; with a foreword by John Baillieul

QA174.7.S96

Symmetries in graphs, maps, and polytopes : 5th SIGMAP Workshop, West Malvern, UK, July 2014

Jozef Širáň, Robert Jajcay, editors

QA188

Non-negative matrix factorization techniques : advances in theory and applications

Ganesh R. Naik, editor

QA188

Sparse grids and applications : Stuttgart 2014

Jochen Garcke, Kirk Pflüger, editor

QA20.G47

The mathematics in our hands : how gestures contribute to constructing mathematical knowledge

Christina M. Krause; with a foreword by Angelika Bikner-Ahsbahs and Ferdinando Arzarello

QA221

Intelligent mathematics. II, Applied mathematics and approximation theory

George A. Anastassiou, Oktay Duman, editors

QA221

Approximation methods in probability theory

Vydas Čekanavičius

QA224

Spline and spline wavelet methods with applications to signal and image processing. Volume II, Non-periodic splines

Amir Z. Averbuch, Pekka Neittaanmäki, Valery A. Zheludev

QA246

Primes of the form x² + ny² : Fermat, class field theory, and complex multiplication

David A. Cox

QA247

Minimal free resolutions over complete intersections

David Eisenbud, Irena Peeva

QA248

Imprecision and uncertainty in information representation and processing : new tools based on intuitionistic fuzzy sets and generalized nets

Plamen Angelov, Sotir Sotirov, editors

QA248 .C86 2016

Set theory : a first course

Daniel W. Cunningham, Buffalo State, NY, USA

QA248.5

Novel developments in uncertainty representation and processing : advances in intuitionistic fuzzy sets and generalized nets : proceedings of 14th International Conference on Intuitionistic Fuzzy Sets and Generalized Nets

Krassimir T. Atanassov, Oscar Castillo, Janusz Kacprzyk, Maciej Krawczak, Patricia Melin, Sotir Sotirov, Evdokia Sotirova, Eulalia Szmidt, Guy De Tré, Sławomir Zadrożny, editors

QA248.5

On logical, algebraic, and probabilistic aspects of fuzzy set theory

Susanne Saminger-Platz, Radko Mesiar, editors

QA255

An imaginary tale : the story of [the square root of minus one]

with a new preface by the author, Paul J. Nahin

QA267

Turing machine universality of the game of life

Paul Rendell

QA267

A polynomial translation of mobile ambients into safe petri nets : understanding a calculus of hierarchical protection domains

Susanne Göbel

QA267

Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe (eds.)

QA267 .I58 2016eb

Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Fabrice Kordon, Daniel Moldt (eds)

QA267.5.C45

Designing beauty : the art of cellular automata

Andrew Adamatzky, Genaro J. Martínez, editors

QA273

Elements of probability and statistics : an introduction to probability with de Finetti's approach and to Bayesian statistics

Francesca Biagini, Massimo Campanino

QA273

Introduction to probability with statistical applications

Geza Schay

QA273.6

Tempered stable distributions : stochastic models for multiscale processes

Michael Grabchak

QA274

Stochastic integration by parts and functional Itô calculus

Vlad Bally, Lucia Caramellino, Rama Cont ; editors for this volume: Frederic Utzet, Josep Vives

QA274.4

Modelling and control of dynamic systems using Gaussian process models

Juš Kocijan

QA274.7

Markov chain aggregation for agent-based models

Sven Banisch

QA274.755

Analysis and design of Markov jump systems with complex transition probabilities

Lixian Zhang, Ting Yang, Peng Shi, Yanzheng Zhu

QA274.76

Probabilistic models of population evolution : scaling limits, genealogies and interactions

Étienne Pardoux

QA276

Challenges in computational statistics and data mining

Stan Matwin, Jan Mielniczuk, editors

QA276

Bayesians versus frequentists : a philosophical debate on statistical reasoning

Jordi Vallverdú

QA276

The fascination of probability, statistics and their applications : in honour of Ole E. Barndorff-Nielsen

Mark Podolskij, Robert Stelzer, Steen Thorbjørnsen, Almut E. D. Veraart, editors

QA276

Clinical data analysis on a pocket calculator : understanding the scientific methods of statistical reasoning and hypothesis testing

Ton J. Cleophas, Aeilko H. Zwinderman

QA276

Applied matrix and tensor variate data analysis

Toshio Sakata, editor

QA276

Parametric and nonparametric inference for statistical dynamic shape analysis with applications

Chiara Brombin, Luigi Salmaso, Lara Fontanella, Luigi Ippoliti, Caterina Fusilli

QA276

Applied statistics for social and management sciences

Abdul Quader Miah

QA276

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

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

QA276

Excel 2013 for human resource management statistics : a guide to solving practical problems

Thomas J. Quirk, Julie Palmer-Schuyler

QA276

Statistics for mathematicians : a rigorous first course

Victor M. Panaretos

QA276.8

Dynamic systems models : new methods of parameter and state estimation

Josif A. Boguslavskiy ; Mark Borodovsky, editor

QA276.A1

Statistical analysis for high-dimensional data : The Abel Symposium 2014

Arnoldo Frigessi, Peter Bühlmann, Ingrid K. Glad, Mette Langaas, Sylvia Richardson, Marina Vannucci, editors

QA276.A1

Advances and challenges in parametric and semi-parametric analysis for correlated data : Proceedings of the 2015 International Symposium in Statistics

Brajendra C. Sutradhar, editor

QA279 .I58 2016eb

mODa 11 -- advances in model-oriented design and analysis : proceedings of the 11th International Workshop in Model-Oriented Design and Analysis held in Hamminkeln, Germany, June 12-17, 2016

Joachim Kunert, Christine H. Müller, Anthony C. Atkinson, editors

QA279.6 .L5 2016ab

Linear programming models and methods of matrix games with payoffs of triangular fuzzy numbers

Deng-Feng Li

QA280

Phenomenological structure for the large deviation principle in time-series statistics : a method to control the rare events in non-equilibrium systems

Takahiro Nemoto

QA280

Studies on time series applications in environmental sciences

Alina Bărbulescu

QA29.S74

Mathematician for all seasons : recollections and notes.

Hugo Steinhaus ; translated by Abe Shenitzer ; edited by Robert G. Burns, Irena Szymaniec, and Aleksander Weron

QA295

Applications of elliptic Carleman inequalities to Cauchy and inverse problems

Mourad Choulli

QA297

Intelligent comparisons : analytic inequalities

George A. Anastassiou

QA297.55

Relaxed abduction : robust information interpretation for industrial applications

Thomas Hubauer

QA297.8

Iterative solution of large sparse systems of equations

Wolfgang Hackbusch

QA298

Monte Carlo and quasi-Monte Carlo methods : MCQMC, Leuven, Belgium, April 2014

Ronald Cools, Dirk Nuyens, editors

QA300

Mathematical analysis, approximation theory and their applications

Themistocles M. Rassias, Vijay Gupta, editors

QA300 .Z6713 2016eb

Mathematical analysis II

Vladimir A. Zorich

QA303.2

Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays

Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.)

QA303.2

Calculus for cognitive scientists : derivatives, integrals and models

James K. Peterson

QA303.2

Calculus for cognitive scientists : higher order models and their analysis

James K. Peterson

QA303.2

Calculus for cognitive scientists : partial differential equation models

James K. Peterson

QA303.2

Introduction to calculus and classical analysis

Omar Hijab

QA312

Measure and integration

Hari Bercovici, Arlen Brown, Carl Pearcy

QA314

Intelligent numerical methods : applications to fractional calculus

George A. Anastassiou, Ioannis K. Argyros

QA315

Non-commuting variations in mathematics and physics : a survey

Serge Preston

QA320

Lectures on functional analysis and the Lebesgue integral

Vilmos Komornik

QA320

Linear functional analysis for scientists and engineers

Balmohan V. Limaye

QA322.2

Separably injective Banach spaces

Antonio Avilés, Félix Cabello Sánchez, Jesús M.F. Castillo, Manuel González, Yolanda Moreno

QA331

Spaces of continuous functions

G.L.M. Groenewegen, A.C.M. van Rooij

QA331.5

Several real variables

Shmuel Kantorovitz

QA370

Trends in differential equations and applications

Francisco Ortegón Gallego, María Victoria Redondo Neble, José Rafael Rodríguez Galván, editors

QA371

Scaling of differential equations

Hans Petter Langtangen, Geir K. Pedersen

QA372

Chaos detection and predictability

Charalampos (Haris) Skokos, Georg A. Gottwald, Jacques Laskar, editors

QA372

Lyapunov exponents of linear cocycles : continuity via large deviations

Pedro Duarte, Silvius Klein

QA372.5

Index-aware model order reduction methods : applications to differential-algebraic equations

N. Banagaaya, G. Ali, W.H.A. Schilders

QA374

Certified reduced basis methods for parametrized partial differential equations

Jan S. Hesthaven, Gianluigi Rozza, Benjamin Stamm

QA377

Reduced basis methods for partial differential equations : an introduction

Alfio Quarteroni, Andrea Manzoni, Federico Negri

QA377

Maximum principles and geometric applications

Luis J. Alías, Paolo Mastrolia, Marco Rigoli

QA377

Partial differential equations : modeling, analysis and numerical approximation

Hervé Le Dret, Brigitte Lucquin

QA377

Numerical approximation of partial differential equations

Sören Bartels

QA377

Continuity theory

by Louis Nel

QA377

Entropy methods for diffusive partial differential equations

Ansgar Jüngel

QA378

Numerical analysis using R : solutions to ODEs and PDEs

Graham W. Griffiths

QA378.5

Inverse problems in ordinary differential equations and applications

Jaume Llibre, Rafael Ramírez

QA379

Boundaries of a complex world

Andrei Ludu

QA387

Quantization on Nilpotent lie groups

Veronique Fischer, Michael Ruzhansky

QA39.3

Essays in mathematics and its applications : in honor of Vladimir Arnold

Themistocles M. Rassias, Panis M. Pardalos, editors

QA401

UK success stories in industrial mathematics

Philip J. Aston, Anthony J. Mulholland, Katherine M.M. Tant, editors

QA402

Fuzzy systems & operations research and management

Bing-Yuan Cao, Zeng-Liang Liu, Yu-Bin Zhong, Hong-Hai Mi, editors

QA402

Complex systems and networks : dynamics, controls and applications

Jinhu Lü, Xinghuo Yu, Guanrong Chen, Wenwu Yu, editors

QA402

Two-dimensional systems : from introduction to state of the art

Ebdellah Benzaouia, Abdelaziz Hmamed, Fernando Tadeo

QA402

Interconnected networks

Antonios Garas, editor

QA402

Analysis and synthesis for interval type-2 fuzzy-model-based systems

Hongyi Li, Ligang Wu, Hak-Keung Lam, Yabin Gao

QA402

Modeling discrete time-to-event data

Gerhard Tutz, Matthias Schmid

QA402

System dynamics modeling with R

Jim Duggan

QA402.2

Proper generalized decompositions : an introduction to computer implementation with Matlab

Elías Cueto, David González, Icíar Alfaro

QA402.2

Domain decomposition methods in science and engineering XXII

Thomas Dickopf, Martin J. Gander, Laurence Halpern, Rolf Krause, Luca F. Pavarino, editors

QA402.3

Informatics in Control, Automation and Robotics : 11th International Conference, ICINCO 2014 Vienna, Austria, September 2-4, 2015, 2015, Revised Selected Papers [electronic resource]

QA402.3

Time-dependent switched discrete-time linear systems : control and filtering

Lixian Zhang, Yanzheng Zhu, Peng Shi, Qiugang Lu

QA402.3

Theory of control systems described by differential inclusions

Zhengzhi Han, Xiushan Cai, Jun Huang

QA402.35

Fault detection and fault-tolerant control for nonlinear systems

Linlin Li

QA402.35

Advances and applications in nonlinear control systems

Sundarapandian Vaidyanathan, Christos Volos, editors

QA402.5

Recent advances in computational optimization : results of the Workshop on Computational Optimization WCO 2014

Stefka Fidanova, editor

QA402.5

Optimization in the real world : toward solving real-world optimization problems

Katsuki Fujisawa, Yuji Shinano, Hayato Waki, editors

QA402.5

Plasma-based radar cross section reduction

Hema Singh, Simy Antony, Rakesh Mohan Jha

QA402.5

Simulation-driven modeling and optimization : ASDOM, Reykjavik, August 2014

Slawomir Koziel, Leifer Leifsson, Xin-She Yang, editors

QA402.5

Solving network design problems via decomposition, aggregation and approximation : with an application to the optimial expansion of railway infrastructure

Andreas Bärmann

QA402.5

Optimization of polynomials in non-commuting variables

Sabine Burgdorf, Igor Klep, Janez Povh

QA403.5

Methods of Fourier analysis and approximation theory

Michael Ruzhansky, Sergey Tikhonov, editors

QA404.5

Analysis and identification of time-invariant systems, time-varying systems, and multi-delay systems using orthogonal hybrid functions : theory and algorithms with MATLAB®

Anish Deb, Srimanti Roychoudhury, Gautam Sarkar

QA427

Recent results on nonlinear delay control systems : in honor of Miroslav Krstic

Michael Malisoff, Pierdomenico Pepe, Frederic Mazenc, Iasson Karafyllis, editors

QA427

Mathematical modeling and applications in nonlinear dynamics

Albert C.J. Luo, Hüseyin Merdan, editors

QA431

Finite difference computing with exponential decay models

Hans Petter Langtangen

QA432

Linear canonical transforms : theory and applications [electronic resource]

John J. Healy, M. Alper Kutay, Haldun M. Ozaktas, John T. Sheridan, editors

QA433

Permittivity and permeability tensors for cloaking applications

Balamati Choudhury, Pavani Vijay Reddy, Rakesh Mohan Jha

QA433

Algebraic and computational aspects of real tensor ranks

Toshio Sakata, Toshio Sumi, Mitsuhiro Miyazaki

QA440

Geometry and topology of manifolds : 10th China-Japan Conference held in Shanghai, China, September 2014

Akito Futaki, Reiko Miyaoka, Zizhou Tang, Weiping Zhang, editors

QA471

General Galois geometries

J.W.P. Hirschfeld, J.A. Thas

QA485

The universe of conics : from the ancient Greeks to 21st century developments

Georg Glaeser, Hellmuth Stachel, Boris Odehnal

QA501

Distinguished figures in descriptive geometry and Its applications for mechanism science : from the middle ages to the 17th century

Michela Cigola, editor

QA564

On the geometry of some special projective varieties

Francesco Russo

QA564

Compactifying Moduli spaces

Paul Hacking, Radu Laza, Dragos Oprea ; [edited by] Gilberto Bini ... and others

QA564

Néron models and base change

Lars Halvard Halle, Johannes Nicaise

QA567

Rigid geometry of curves and their Jacobians

Werner Lütkebohmert

QA571 .I37 2016

Fourier restriction for hypersurfaces in three dimensions and Newton polyhedra

Isroil A. Ikromov, Detlef Müller

QA607

Ensembles on configuration space : classical, quantum, and beyond

Michael J. W. Hall, Marcel Reginatto

QA609

The mechanics of ribbons and Möbius bands

Roger Fosdick, Eliot Fried, editors

QA611.5

A short course on topological insulators : band structure and edge states in one and two dimensions

János K. Asbóth, László Oroszlány, András Pályi

QA612

Counting surfaces : CRM Aisenstadt chair lectures

Bertrand Eynard

QA612.33

Bulk and boundary invariants for complex topological insulators : from K-Theory to physics

Emil Prodan, Hermann Schulz-Baldes

QA613

Observables and symmetries of n-plectic manifolds

Leonid Ryvkin

QA613.2

Dessins d'enfants on Riemann surfaces

Gareth A. Jones, Jürgen Wolfart

QA614.8

Noether's theorems : applications in mechanics and field theory

Gennadi Sardanashvily

QA614.83

Nonautonomous linear Hamiltonian systems : oscillation, spectral theory and control

Russell Johnson, Rafael Obaya, Sylvia Novo, Carmen Núñez, Roberta Fabbri

QA649

Riemannian geometry

Peter Petersen

QA681

Leibniz on the parallel postulate and the foundations of geometry : the unpublished manuscripts

Vincenzo De Risi

QA685

The spectrum of hyperbolic surfaces

Nicolas Bergeron

QA75.5

Emerging research in computing, information, communication and applications : ERCICA 2015.

N. R. Shetty, N.H. Prasad, N. Nalini, editors

QA75.5

Advanced computing, networking and informatics. Volume 2 : : proceedings of the 3rd International Conference on Advanced Computing, Networking, and Informatics (ICACNI 2015)

Atulya Nagar, Durga Prasad Mohopatra, Nabendu Chaki, editors

QA75.5

Proceedings of the 10th International Symposium on Computer Science in Sports (ISCSS)

Paul Chung, Andrea Soltoggio, Christian W. Dawson, Qinggang Meng and Matthew Pain, editors

QA75.5

Proceedings of the 3rd International Conference on Advanced Computing, Networking, and Informatics (ICACNI 2015). Volume 1

Atulya Nagar, Durga Prasad Mohopatra, Nabendu Chaki, editors

QA75.5

Computer and information science 2015 [electronic resource]

Roger Lee, editor

QA75.5

Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Sergei Artemov, Anil Nerode (eds.)

QA75.5

Applied computing & information technology

Roger Lee, editor

QA75.5

Topics in theoretical computer science : the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised selected papers

Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi (eds.)

QA75.5

Innovations in computer science and engineering : proceedings of the Third ICICSE, 2015

edited by H. S. Saini, Rishi Sayal, Sandeep Singh Rawat

QA75.5

Information systems architecture and technology : proceedings of 36th International Conference on Information Systems Architecture and Technology -- ISAT 2015.

Leszek Borzemski, Adam Grzech, Jerzy Śwįatek, Zofia Wilimowska, editors

QA75.5

Information systems architecture and technology : proceedings of 36th International Conference on Information Systems Architecture and Technology -- ISAT 2015.

Adam Grzech, Leszek Borzemski, Jerzy Śwįatek, Zofia Wilimowska, editors

QA75.5

Information systems architecture and technology : proceedings of 36th International Conference on Information Systems Architecture and Technology -- ISAT 2015.

Jerzy Śwįatek, Leszek Borzemski, Adam Grzech, Zofia Wilimowska, editors

QA75.5

Information systems architecture and technology : proceedings of 36th International Conference on Information Systems Architecture and Technology -- ISAT 2015.

Zofia Wilimowska, Leszek Borzemski, Adam Grzech, Jerzy Światek, editors

QA75.5

New advances in information systems and technologies. Volume 1

Álvaro Rocha, Ana Maria Correia, Hojjat Adeli, Luis Paulo Reis, Marcelo Mendonça Teixeira, editors

QA75.5

New advances in information systems and technologies. Volume 2

Álvaro Rocha, Ana Maria Correia, Hojjat Adeli, Luis Paulo Reis, Marcelo Mendonça Teixeira, editors

QA75.5

LATIN 2016 : theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez (eds.)

QA75.5

Pro CSS3 Layout Techniques

by Sam Hampton-Smith

QA75.5

Advanced computing and communication technologies : proceedings of the 9th ICACCT, 2015

Ramesh K. Choudhary, Jyotsna Kumar Mandal, Nitin Auluck, H A Nagarajaram, editors

QA75.5

Unconventional computation and natural computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

Martyn Amos, Anne Condon (eds.)

QA75.5

Computer and information science

Roger Lee, editor

QA75.5 .I58 2016eb

Computer science -- Theory and applications : 11th International Computer Science Symposium in Russia, CSR 2016, Saint Petersburg, Russia, June 9-13, 2016. Proceedings

Alexander S. Kulikov, Gerhard J. Woeginger (eds.)

QA75.5 .I58 2016eb

Recent advances in information and communication technology 2016 : Proceedings of the 12th International Conference on Computing and Information Technology (IC2IT)

Phayung Meesad, Sirapat Boonkrong, Herwig Unger, editors

QA75.5 .I5845 2015eb

Information sciences and systems 2015 : 30th International Symposium on Computer and Information Sciences (ISCIS 2015)

Omer H. Abdelrahman, Erol Gelenbe, Gokce Gorbil, Ricardo Lent

QA75.5 .S66 2016eb

SOFSEM 2016 : theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania (eds.)

QA76

Transactions on computational science XXVI : special issue on cyberworlds and cybersecurity

Marina L. Gavrilova, C.J. Kenneth Tan, Andrés Iglesias, Mikio Shinya, Akemi Galvez, Alexei Sourin (eds.)

QA76

Participation in computing : the National Science Foundation's expansionary programs

William Aspray

QA76

Applied computer science

Shane Torbert

QA76 .A3

Advances in computers

QA76.167

Computing and philosophy : selected papers from IACAP 2014

Vincent C. Müller, editor

QA76.3

31 days before your CCNA security exam : a day-by-day review guide for the IINS 210-260 certification exam

Patrick Gargano

QA76.575

MultiMedia modeling : 22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings.

Qi Tian, Nicu Sebe, Guo-Jun Qi, Benoit Huet, Richang Hong, Xueliang Liu (eds.)

QA76.575

MultiMedia modeling : 22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings.

Qi Tian, Nicu Sebe, Guo-Jun Qi, Benoit Huet, Richang Hong, Xueliang Liu (eds.)

QA76.575

Intelligent interactive multimedia systems and services 2016

Giuseppe De Pietro, Luigi Gallo, Robert J. Howlett, Lakhmi C. Jain, editors

QA76.58

Parallelism in matrix computations

Efstratios Gallopoulos, Bernard Philippe, Ahmed H. Sameh

QA76.58

Advances in parallel and distributed computing and ubiquitous services : UCAWSN & PDCAT 2015

James J. (Jong Hyuk) Park ... and others, editors

QA76.585

SAP on the cloud

Michael Missbach, Thorsten Staerk, Cameron Gardiner, Joshua McCloud, Robert Madl, Mark Tempes, George Anderson

QA76.585

Cloud computing and services sciences : Third international conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised selected papers

Markus Helfert, Victor Méndez Muñoz , Donald Ferguson (eds.)

QA76.585

Proceedings of the 3rd International Symposium on Big Data and Cloud Computing Challenges (ISBCC--16')

V. Vijayakumar, V. Neelanarayanan, editor

QA76.585

Algorithmic aspects of cloud computing : first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers

Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos (eds.)

QA76.585

Infrastructure as code : managing servers in the cloud

Kief Morris

QA76.59

Beginning hybrid mobile application development

Mahesh Panhale

QA76.59

Android TV apps development : building for media and games

Paul Trebilcox-Ruiz

QA76.59

Practical mobile forensics : a hands-on guide to mastering mobile forensics for the iOS, Android, and Windows Phone platforms

Heather Mahalik, Rohit Tamma, Satish Bommisetty

QA76.59

Mastering mobile forensics : develop the capacity to dig deeper into device data acquisition

Soufiane Tahiri

QA76.59 .A377 2016

Advances in mobile computing and communications : perspectives and emerging trends in 5G networks

edited by M. Bala Krishna, Jaime Lloret Mauri

QA76.5913

Prominent feature extraction for sentiment analysis

Basant Agarwal, Namita Mittal

QA76.5913

Semantic technology : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised selected papers

Guilin Qi, Kouji Kozaki, Jeff Z. Pan, Siwei Yu (eds.)

QA76.5915

Information science and applications (ICISA) 2016

Kuinam J. Kim, Nikolai Joukov, editors

QA76.592

Swift development for the Apple Watch

Jon Manning and Paris Buttfield-Addison

QA76.592

Sensors and wearable technologies in sport : technologies, trends and approaches for implementation

Daniel A. James, Nicola Petrone

QA76.6

Limits of computation : from a programming perspective

Bernhard Reus

QA76.6

Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings

Peter Thiemann (ed.)

QA76.6

Julia high performance : design and develop high performing programs with Julia [electronic resource]

Avik Sengupta

QA76.615 .P33 2016eb

Practical aspects of declarative languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

Marco Gavanelli, John Reppy (eds.)

QA76.618

Intelligent and evolutionary systems : the 19th Asia Pacific Symposium, IES 2015, Bangkok, Thailand, November 2015, proceedings

Kittichai Lavangnananda, Somnuk Phon-Amnuaisuk, Worrawat Engchuan and Jonathan H. Chan, editors

QA76.618

Advances of evolutionary computation : methods and operators

Erik Cuevas, Margarita Arimatea Díaz Cortés, Diego Alberto Oliva Navarro

QA76.618

Self-organizing migrating algorithm : methodology and implementation

Donald Davendra, Ivan Zelinka, editors

QA76.618

Artificial evolution : 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised selected papers

Stéphane Bonnevay, Pierrick Legrand, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer (eds.)

QA76.618 .E95 2016eb

Evolutionary and biologically inspired music, sound, art and design : 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings

Colin Johnson, Vic Ciesielski, João Correia, Penousal Machado (eds.)

QA76.623

Genetic and evolutionary computing : Proceedings of the Ninth International Conference on Genetic and Evolutionary Computing, August 26-28, 2015, Yangon, Myanmar.

Thi Thi Zin, Jerry Chun-Wei Lin, Jeng-Shyang Pan, Pyke Tin, Mitsuhiro Yokota, editors

QA76.623

Behavioral program synthesis with genetic programming

Krzysztof Krawiec

QA76.623

Genetic programming : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings

Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim (eds.)

QA76.63

Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

edited by Elvira Albert, Ivan Lanese

QA76.63 .I47 2015eb

Inductive logic programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto (eds.)

QA76.642

Languages and compilers for parallel computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015. Revised selected papers

Xipeng Shen, Frank Mueller, James Tuck (eds.)

QA76.642

Mastering parallel programming with R : master the robust features of R parallel programming to accelerate your data science computations

Simon R. Chapple, Eilidh Troup, Thorsten Forster, Terence Sloan

QA76.642

High Performance Parallelism Pearls : Multicore and Many-core Programming Approaches

James Reinders, Jim Jeffers, Intel Corporation, United States

QA76.7

Developing modular-oriented simulation models using system dynamics libraries

Christian K. Karl, William Ibbs

QA76.73.C153

C++ game development cookbook : over 90 recipes to get you creating modern, fast, and high-quality games with C++

Druhin Mukherjee

QA76.73.C153

C++ standard library quick reference

Peter Van Weert, Marc Gregoire

QA76.73.C565

Professional Clojure

Jeremy Anderson, Michael Gaare, Justin Holguin, Nick Bailey, Timothy Pratley

QA76.73.J38

Java design patterns : a tour of 23 gang of four design patterns in Java

Vaskaran Sarcar

QA76.73.J38

Oracle Certified Professional Java SE 8 programmer exam 1Z0-809 : comprehensive OCPJP 8 certification guide

S G Ganesh, Hari Kiran, Tushar Sharma

QA76.73.J38

Java deep learning essentials : dive into the future of data science and learn how to build the sophisticated algorithms that are fundamental to deep learning and AI with Java

Yusuke Sugomori

QA76.73.L23

Common LISP recipes : a problem-solution approach

Edmund Weitz

QA76.73.P

Engineering safe and secure cyber-physical systems : the specification PEARL approach

Roman Gumzej

QA76.73.P224

Learn PHP 7 : object oriented modular programming using HTML5, CSS3, Javascript, XML, JSON, and MySQL

Steve Prettyman

QA76.73.P224

PHP and MySQL recipes : a problem-solution approach

Frank M. Kromann

QA76.73.P224 L45 2016

Pro PHP and jQuery

Jason Lengstorf, Keith Wald

QA76.73.P98

Python for probability, statistics, and machine learning

José Unpingco

QA76.73.P98

Python geospatial development : develop sophisticated mapping applications from scratch using Python 3 tools for geospatial development

Erik Westra

QA76.73.P98

Internet of things with Python : interact with the world and rapidly prototype IoT applications using Python

Gastón C. Hillar

QA76.73.P98

Expert Python programming : become an ace Python programmer by learning the best coding practices and advanced-level concepts with Python 3.5

Michał Jaworski, Tarek Ziadé

QA76.73.P98

Modular programming with Python : introducing modular techniques for building sophisticated programs using Python

Erik Westra

QA76.73.P98

Mastering IPython 4.0 : get to grips with the advanced concepts of interactive computing to make the most out of IPython

Thomas Bitterman

QA76.73.S28

Professional Scala

Aliaksandr Bedrytski, Janek Bogucki, Alessandro Lacava, Matthew de Detrich, Benjamin Neil

QA76.73.S28

Scala high performance programming : leverage Scala and the functional paradigm to build performant software

Vincent Theron, Michael Diamant

QA76.73.S67

Dynamic SQL : applications, performance, and security : rapid response and flexibility in the face of changing business requirements

Ed Pollack

QA76.754

OSS reliability measurement and assessment

Shigeru Yamada, Yoshinobu Tamura

QA76.758

Trends and applications in software engineering : proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015

Jezreel Mejia, Mirma Muñoz, Álvaro Rocha, Jose Calvo-Manzano, editors

QA76.758

Proceedings of 4th International Conference in Software Engineering for Defence Applications : SEDA 2015

Paolo Ciancarini, Alberto Sillitti, Giancarlo Succi, Angelo Messina, editors

QA76.758

Knowledge, information and creativity support systems : selected papers from KICSS'2014 : 9th International Conference, held in Limassol, Cypus, on November 6-8, 2014

Susumu Kunifuji, George Angelos Papadopoulos, Andrzej M.J. Skulimowski, Janusz Kacprzyk, editors

QA76.758

Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

edited by Zhiming Liu, Zili Zhang

QA76.758

Software technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised selected papers

Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen (eds.)

QA76.758

Knowledge, information and creativity support systems : recent trends, advances and solutions : selected papers from KICSS '2013, 8th International Conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Kraków, Poland

edited by Andrzej M.J. Skulimowski, Janusz Kacprzyk

QA76.758

Re-engineering legacy software

Chris Birchall

QA76.758

Software engineering research, management and application

Roger Lee, editor

QA76.758

Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Rocco De Nicola, Eva Kühn (eds.)

QA76.76.A54

Learning Angular 2 : your quick, no-nonsense guide to building real-world apps with Angular 2

Pablo Deeleman

QA76.76.A63

RESTful web API design with Node.js : design and implement efficient RESTful solutions with this practical hands-on guide

Valentin Bojinov

QA76.76.A65

React Native for iOS development

Akshat Paul, Abhishek Nalwaya

QA76.76.A65

Gradle recipes for Android : master the new build system for Android

Ken Kousen

QA76.76.A65

Learning Node : moving to the server side

Shelley Powers

QA76.76.A65

Scalatra in action

Dave Hrycyszyn, Stefan Ollinger, Ross A. Baker

QA76.76.A65

Docker in practice

Ian Miell, Aidan Hobson Sayers

QA76.76.A65

Programming Microsoft Azure Service Fabric

Haishi Bai

QA76.76.A65

MEAN blueprints : unlock the power of the MEAN stack by creating attractive and real-world projects

Robert Onodi

QA76.76.A65

OS X app development with CloudKit and Swift

Bruce Wade

QA76.76.A65

App development recipes for iOS and watchOS : a problem-solution approach

Molly K. Maskrey

QA76.76.C65

Instruction selection : principles, methods, and applications

Gabriel Hjort Blindell

QA76.76.C672

The art of game design : a book of lenses

Jesse Schell

QA76.76.C672

Unity 5.x game development blueprints : a project-based guide to help you create amazing games with Unity 5.x

John P. Doran

QA76.76.D47

Pro Docker

Deepak Vohra

QA76.76.D47

Effective DevOps : building a culture of collaboration, affinity, and tooling at scale

Jennifer Davis & Katherine Daniels

QA76.76.D47

Learning Ratpack : simple, lean, and powerful web applications

Dan Woods

QA76.76.D47

Django project blueprints : develop stunning web application projects with the Django framework

Asad Jibran Ahmed

QA76.76.D47

Learning continuous integration with Jenkins : a beginner's guide to implementing continuous integration and continuous delivery using Jenkins

Nikhil Pathania

QA76.76.D47

Building maintainable software : ten guidelines for future-proof code

Joost Visser

QA76.76.D47

Automated software and service composition : a survey and evaluating review

Felix Mohr

QA76.76.D47 B36 2016

Program the internet of things with Swift for iOS

Ahmed Bakir, Gheorghe Chesler, Manny de la Torriente

QA76.76.D47 I58 2016eb

Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures

Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)

QA76.76.E93

Pragmatic evaluation of software architectures

Jens Knodel, Matthias Naab

QA76.76.E95

Intelligent systems technologies and applications. Volume 1

Stefano Berretti, Sabu M. Thampi, Praveen Ranjan Srivastava, editors

QA76.76.E95

The 1st International Conference on Advanced Intelligent System and Informatics (AISI2015), November 28--30, 2015, Beni Suef, Egypt

Tarek Gaber, Aboul Ella Hassanien, Nashwa El-Bendary and Nilanjan Dey, editors

QA76.76.E95

Information processing and management of uncertainty in knowledge-based systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings.

Joao Paulo Carvalho, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira, Bernadette Bouchon-Meunier, Ronald R. Yager (eds.)

QA76.76.E95

Information processing and management of uncertainty in knowledge-based systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings.

Joao Paulo Carvalho, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira, Bernadette Bouchon-Meunier, Ronald R. Yager (eds.)

QA76.76.E95 I58 2016eb

Intelligent systems technologies and applications. Volume 2

Stefano Berretti, Sabu M. Thampi, Soura Dasgupta, editors

QA76.76.E95 O38 1990

Knowledge-based systems and neural networks : techniques and applications

editors, Ramesh Sharda, John Y. Cheung, W. Joseph Cochran

QA76.76.H94

DITA -- the topic-based XML standard : a quick start

Sissi Closs

QA76.76.H94

Professional CSS3 : harness the power of CSS3 to design stunning, modern websites

Piotr Sikora

QA76.76.H94

Java XML and JSON

Jeff Friesen

QA76.76.I57

Oracle Solaris and Veritas cluster : an easy-build guide

Vijay Shankar Upreti

QA76.76.I58

Formation and containment control for high-order linear swarm systems

Xiwang Dong

QA76.76.I58

Intelligent agents in data-intensive computing

Joanna Kołodziej, Luís Correia, José Manuel Molina, editors

QA76.76.I58

Agent-based modelling of social networks in labour-education market system

Alexander Tarvid

QA76.76.I58

Exploring the strategy space of negotiating agents : a framework for bidding, learning and accepting in automated negotiation

Tim Baarslag

QA76.76.I58

Multi-agent based simulation XVI : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised selected papers

Benoit Gaudou, Jaime Simão Sichman (eds.)

QA76.76.I58

Recent advances in agent-based complex automated negotiation

Naoki Fukuta, Takayuki Ito, Minjie Zhang, Katsuhide Fujita, Valentin Robu, editors

QA76.76.I58

Trends in practical applications of scalable multi-agent systems, the PAAMS collection

Fernando de la Prieta [and 10 more], editors

QA76.76.I58 K47 2016eb

Agent and multi-agent systems : technology and applications : 10th KES International Conference, KES-AMSTA 2016 Puerto de la Cruz, Tenerife, Spain, June 2016 Proceedings

Gordan Jezic, Yun-Heh Jessica Chen-Burger, Robert J. Howlett, Lakhmi C. Jain, editors

QA76.76.Q35

Software quality : the future of systems- and software development : 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings

Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

QA76.76.S63

SAP project management pitfalls : how to avoid the most common pitfalls of an SAP solution

Jayaraman Kalaimani

QA76.76.T45

JIRA 7 administration cookbook : over 80 hands-on recipes to help you efficiently administer, customize, and extend your JIRA 7 implementation

Patrick Li

QA76.76.T48 .T37 2016eb

Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings

Bernhard K. Aichernig, Carlo A. Furia (eds.)

QA76.76.V47

Gradle effective implementations guide : a comprehensive guide to get up and running with build automation using Gradle

Hubert Klein Ikkink

QA76.76.V47 V53 2016eb

Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Barbara Jobstmann, K. Rustan M. Leino (eds.)

QA76.76.W56

Mastering the Microsoft Deployment Toolkit : take a deep dive into the world of Windows desktop deployment using the Microsoft Deployment Toolkit

Jeff Stokes, Manuel Singer

QA76.774.A53

Android concurrency

G. Blake Meike

QA76.774.I67

Managing Apple devices : deploying and maintaining iOS 9 and OS X El Capitan devices

Arek Dreyer, Adam Karneboge

QA76.774.L46

Practical Linux topics

Chris Binnie

QA76.774.L46

Linux pocket guide

Daniel J. Barrett

QA76.774.L46

Introducing Linux Distros

Jose Dieguez Castro

QA76.774.M33

Mac OS X for absolute beginners

Wallace Wang

QA76.774.M435

Windows 10 development recipes : a problem-solution approach in HTML and JavaScript

Senthil Kumar, Lohith Goudagere Nagaraj, Pathik Rawal, Pryank Rohilla

QA76.774.M435

Windows 10 IT pro essentials top 10 tools

Ed Bott

QA76.8

IBM z13 technical guide

Octavian Lascu [and eight others]

QA76.8.I

ZPDT 2016 Sysplex extensions

Frank Kyne, Bill Ogden

QA76.8.R15

Exploring Raspberry Pi : interfacing to the real world with embedded Linux

Derek Molloy

QA76.8.R15

Raspberry Pi cookbook

Simon Monk

QA76.8.R15

Learn electronics with Raspberry Pi : physical computing with circuits, sensors, outputs, and projects

Stewart Watkiss

QA76.87

Intelligent systems II : complete approximation by neural network operators

George A. Anastassiou

QA76.87

Qualitative analysis and control of complex neural networks with delays

Zhanshan Wang, Zhenwei Liu, Chengde Zheng

QA76.87

Fuzzy control in environmental engineering

Wojciech Z. Chmielowski

QA76.87

Stability and synchronization control of stochastic neural networks

Wuneng Zhou, Jun Yang, Liuwei Zhou, Dongbing Tong

QA76.87

Innovations in bio-inspired computing and applications : proceedings of the 6th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2015) held in Kochi, India during December 16-18, 2015

Václav Snášel, Ajith Abraham, Pavel Krömer, Millie Pant, Azah Kamilah Muda, editors

QA76.87

Advances in self-organizing maps and learning vector quantization : proceedings of the 11th International Workshop WSOM 2016, Houston, Texas, USA, January 6-8, 2016

Erzsébet Merényi, Michael J. Mendenhall, Patrick O'Driscoll, editors

QA76.87

Artificial neural network modelling

Subana Shanmuganathan, Sandhya Samarasinghe, editors

QA76.87

Advances in neural networks : computational intelligence for ICT

Simone Bassis, Anna Esposito, Francesco Carlo Morabito, Eros Pasero, editors

QA76.88

High performance computing in science and engineering '15 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2015

Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch, editors

QA76.88

Introduction to HPC with MPI for data science

Frank Nielsen

QA76.88

High performance computing in science and engineering : second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised selected papers

Tomáš Kozubek, Radim Blaheta, Jakub Šístek, Miroslav Rozložník, Martin Čermák (eds.)

QA76.88 .I82 2016eb

High performance computing : 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

Julian M. Kunkel, Pavan Balaji, Jack Dongarra (eds.)

QA76.887

Wireless computing in medicine : from nano to cloud with ethical and legal implications

edited by Mary Mehrnoosh Eshaghian-Wilner

QA76.889

Towards a spin-ensemble quantum memory for superconducting qubits : design and implementation of the write, read and reset steps

Cécile Grèzes

QA76.889

Reversible logic synthesis methodologies with application to quantum computing

Saleem Mohammed Ridha Taha

QA76.889

Skyrmions in Magnetic Materials [electronic resource]

by Shinichiro Seki, Masahito Mochizuki

QA76.889

A Controlled Phase Gate Between a Single Atom and an Optical Photon [electronic resource]

by Andreas Reiserer

QA76.889

Principles and methods of quantum information technologies

Yoshihisa Yamamoto, Kouichi Semba, editors

QA76.889

Reversible and quantum circuits : optimization and complexity analysis

Nabila Abdessaied, Rolf Drechsler

QA76.9.A25

Cryptography made simple

Nigel P. Smart

QA76.9.A25

Theory of cryptography : 13th Theory of Cryptography Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016. Proceedings.

Amit Sahai (ed.)

QA76.9.A25

Theory of cryptography : 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016. Proceedings.

Eyal Kushilevitz, Tal Malkin (ed.)

QA76.9.A25

Transactions on large-scale data- and knowledge-centered systems XXIII : selected papers from FDSE 2014

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang, Nam Thoai (Eds.)

QA76.9.A25

Trustworthy global computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers

Pierre Ganty, Michele Loreti (eds.)

QA76.9.A25

Cyber security : second International Symposium, CSS 2015, Coeur d'Alene, ID, USA, April 7-8, 2015, Revised selected papers

Kristin Haltinner, Dilshani Sarathchandra, Jim Alves-Foss, Kevin Chang, Daniel Conte de Leon, Jia Song (eds.)

QA76.9.A25

Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers

Sjouke Mauw, Barbara Kordy, Sushil Jajodia (eds.)

QA76.9.A25

Post-quantum cryptography : 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016. Proceedings

Tsuyoshi Takagi (eds.)

QA76.9.A25

Enterprise Mac security : El capitan

Charles Edge, Daniel O'Donnell

QA76.9.A25

Information security and cryptology -- ICISC 2015 : 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised selected papers

Soonhak Kwon, Aaram Yun (eds.)

QA76.9.A25

Privacy technologies and policy : third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised selected papers

Bettina Berendt, Thomas Engel, Demosthenes Ikonomou, Daniel Le Métayer, Stefan Schiffner (eds.)

QA76.9.A25

Critical information infrastructures security : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised selected papers

Christos G. Panayiotou, Georgios Ellinas, Elias Kyriakides, Marios M. Polycarpou (eds.)

QA76.9.A25

Information security applications : 16th International Workshop, WISA 2015, Jeju Island, Korea, August 20-22, 2015, Revised Selected Papers

edited by Ho-won Kim, Dooho Choi

QA76.9.A25

Artificial immune system applications in computer security

Ying Tan

QA76.9.A25

CEH certified ethical hacker study guide : version 9

Sean-Philip Oriyano

QA76.9.A25

Are your bits flipped? : overcoming tech misconceptions

by Joe Kissell

QA76.9.A25

CEH v9 certified ethical hacker version 9 practice tests

Raymond Blockmon

QA76.9.A25

Security without obscurity : a guide to PKI operations

Jeff Stapleton, W. Clay Epstein

QA76.9.A25

Hacking for dummies

by Kevin Beaver ; foreword by Richard Stiennon

QA76.9.A25

ISO27001/ISO27002 : a pocket guide

Alan Calder

QA76.9.A25

PCI DSS : a pocket guide

Alan Calder, Geraint Williams

QA76.9.A25

Cyber-physical attack recovery procedures : a step-by-step preparation and response guide

Luis Ayala

QA76.9.A25

Applied cryptography and network security : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider (eds.)

QA76.9.A25

Security of industrial control systems and cyber physical systems : first Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised selected papers

Adrien Bécue, Nora Cuppens-Boulahia, Frédéric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis (eds.)

QA76.9.A25 C79 2016eb

Topics in cryptology - CT-RSA 2016 : the Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings

Kazue Sako (ed.)

QA76.9.A25 D55 2016eb

Detection of intrusions and malware, and vulnerability assessment : 13th International Conference, DIMVA 2016, San Sebastián, Spain, July 7-8, 2016, Proceedings

Juan Caballero, Urko Zurutuza, Ricardo J. Rodríguez (eds.)

QA76.9.A25 I58 2016eb

Public-key cryptography -- PKC 2016 : 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings.

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang (eds.)

QA76.9.A25 I58 2016eb

Public-key cryptography -- PKC 2016 : 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings.

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang (eds.)

QA76.9.A3

Heterogeneous reconfigurable processors for real-time baseband processing : from algorithm to architecture

Chenxin Zhang, Liang Liu, Viktor Öwall

QA76.9.A3 A72 2016eb

Applied reconfigurable computing : 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings

Vanderlei Bonato, Christos Bouganis, Marek Gorgon (eds.)

QA76.9.A43

Harmony search algorithm : proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015)

edited by Joong Hoon Kim, Zong Woo Geem

QA76.9.A43

Teaching learning based optimization algorithm : and its engineering applications

R. Venkata Rao

QA76.9.A43

Heuristics, metaheuristics and approximate methods in planning and scheduling [electronic resource]

QA76.9.A43

Grokking algorithms : an illustrated guide for programmers and other curious people

Aditya Y. Bhargava

QA76.9.A43

Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Nadia Creignou, Daniel Le Berre (eds.)

QA76.9.A43

Frontiers in algorithmics : 10th International Workshop, FAW 2016, Qingdao, China, June 30-July 2, 2016, Proceedings

edited by Daming Zhu, Sergey Bereg

QA76.9.A43 E95 2016eb

Applications of evolutionary computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings,

Giovanni Squillero, Paolo Burelli et al. (eds.)

QA76.9.A48

Trends in ambient intelligent systems : the role of computational intelligence

Kiran Kumar Ravulakollu, Mohammad Ayoub Khan, Ajith Abraham, editors

QA76.9.A52

Information and communications security : 17th international conference, ICICS 2015, Beijing, China, December 9-11, 2015, revised selected papers

Sihan Qing, Eiji Okamoto, Kwangjo Kim, Dongmei Liu (eds.)

QA76.9.A93 C37 2012eb

Auditor's guide to IT auditing [electronic resource]

Richard E. Cascarino

QA76.9.A94

Augmented reality : principles and practice

Dieter Schmalstieg, Tobias Höllerer

QA76.9.A94

Augmented reality, virtual reality, and computer graphics : third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings.

Lucio Tommaso De Paolis, Antonio Mongelli (eds.)

QA76.9.A94

Augmented reality, virtual reality, and computer graphics : third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings.

Lucio Tommaso De Paolis, Antonio Mongelli (eds.)

QA76.9.A96

Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings

Nicola Olivetti, Ashish Tiwari (eds.)

QA76.9.B45

Techniques and environments for big data analysis : parallel, cloud, and grid computing

Bhabani Shankar Prasad Mishra, Satchidananda Dehuri, Euiwhan Kim, Gi-Name Wang, editors

QA76.9.B45

Big data technology and applications : first National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings

Wenguang Chen, Guisheng Yin, Gansen Zhao, Qilong Han, Weipeng Jing, Guanglu Sun, Zeguang Lu (eds.)

QA76.9.B45

Big data concepts, theories, and applications

Shui Yu, Song Guo, editors

QA76.9.C55

Implementing an optimized analytics solution on IBM Power Systems

Dino Quintero, Kanako Harada, Reinaldo Tetsuo Katahira, Antonio Moreira de Oliveira Neto, Robert Simon, Brian Yaeger

QA76.9.C65

Multicomponent and multiscale systems : theory, methods, and applications in engineering

Juergen Geiser

QA76.9.C65

Distributed simulation : a model driven engineering approach

Okan Topçu, Umut Durak, Halit Oğuztüzün, Levent Yilmaz

QA76.9.C65

Intelligent systems for computer modelling : proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015

Vítězslav Stýskala, Dmitrii Kolosov, Václav Snášel, Taalaybek Karakeyev, Ajith Abraham, editors

QA76.9.C65

Computational methods for solids and fluids : multiscale analysis, probability aspects and model reduction

Adnan Ibrahimbegovic, editor

QA76.9.C92

Critical infrastructure protection research : results of the first critical infrastructure protection research project in Hungary

László Nádai, József Padányi, editors

QA76.9.D26

Building a columnar database on RAMCloud : database design for the low-latency enabled data center

Christian Tinnefeld

QA76.9.D3

Intelligent web data management : software architectures and emerging technologies

Kun Ma, Ajith Abraham, Bo Yang, Runyuan Sun

QA76.9.D3

Data management technologies and applications : 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015 revised selected papers

Markus Helfert, Andreas Holzinger, Orlando Belo, Chiara Francalanci (eds.)

QA76.9.D3

Data and information quality : dimensions, principles and techniques

Carlo Batini, Monica Scannapieco

QA76.9.D3

Process analytics : concepts and techniques for querying and analyzing process data

Seyed-Mehdi-Reza Beheshti, Boualem Benatallah, Sherif Sakr, Daniela Grigori, Hamid Reza Motahari-Nezhad, Moshe Chai Barukh, Ahmed Gater, Saung Hwan Ryu

QA76.9.D3

Practical maintenance plans in SQL Server : automation for the DBA

Bradley Beard

QA76.9.D3

HP Vertica architecture and SQL

authors, Tom Coffing and Leslie Nolander

QA76.9.D3

SQL procedures, triggers, and functions on IBM DB2 for i

Jim Bainbridge, Hernando Bedoya, Rob Bestgen, Mike Cain, Dan Cruikshank; Jim Denton; Doug Mack; Tom Mckinley; Simona Pacchiarini

QA76.9.D3

Oracle Database 12c security cookbook : secure your Oracle Database 12c with this valuable Oracle support resource, featuring more than 100 solutions to the challenges of protecting your data

Zoran Pavlović, Maja Veselica

QA76.9.D3 I58 2016eb

Provenance and annotation of data and processes : 6th International Provenance and Annotation Workshop, IPAW 2016, McLean, VA, USA, June 7-8, 2016, proceedings

Marta Mattoso, Boris Glavic (eds.)

QA76.9.D32

Scalable big data architecture : a practitioner's guide to choosing relevant big data architecture

Bahaaldine Azarmi

QA76.9.D32

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link (eds.)

QA76.9.D32

MySQL for the internet of things

Charles Bell

QA76.9.D32

Transactions on large-scale data- and knowledge-centered systems XXV

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

QA76.9.D32

Transactions on large-scale data- and knowledge-centered systems XXVI : special issue on data warehousing and knowledge discovery

edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania (eds.)

QA76.9.D32

Database systems for advanced applications : 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings.

Shamkant B. Navathe, Weili Wu, Shashi Shekhar, Xiaoyong Du, X. Sean Wang, Hui Xiong (eds.)

QA76.9.D32

Big data over networks

edited by Shuguang Cui, Alfred O. Hero III, Zhi-Quan Luo, José M. F. Moura

QA76.9.D32

Mastering Redis : take your knowledge of Redis to the next level to build enthralling applications with ease

Jeremy Nelson

QA76.9.D338

Learning Pentaho CTools : acquire finesse with CTools features and build rich and custom analytics solutions using Pentaho

Miguel Gaspar

QA76.9.D343

Advances in knowledge discovery and management. Volume 5

Fabrice Guillet [and three others] editors

QA76.9.D343

Big data analysis : new algorithms for a new society

Nathalie Japkowicz, Jerzy Stefanowski, editors

QA76.9.D343

Pro Salesforce analytics cloud : a guide to Wave Platform, Builder, and Explorer

William Smith, Helen Sun

QA76.9.D343

Link prediction in social networks : role of power law distribution

Virinchi Srinivas, Pabitra Mitra

QA76.9.D343

Mastering the SAS DS2 procedure : advanced data wrangling techniques

Mark Jordan

QA76.9.D343

Pattern mining with evolutionary algorithms

Sebastián Ventura, José María Luna

QA76.9.D343

Data mining with SPSS modeler : theory, exercises and solutions

Tilo Wendler, Sören Gröttrup

QA76.9.D343

Data mining and big data : first International Conference, DMBD 2016, Bali, Indonesia, June 25-30, 2016. Proceedings

editors: Ying Tan, Yuhui Shi

QA76.9.D343 I53 2016eb

Advances in data mining : applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016, Proceedings

Petra Perner (ed.)

QA76.9.D348

Learning Python for forensics : learn the art of designing, developing, and deploying innovative forensic solutions through Python

Preston Miller, Chapin Bryce

QA76.9.D37

Hyper-lattice algebraic model for data warehousing

Soumya Sen, Agostino Cortesi, Nabendu Chaki

QA76.9.D5

Distributed computer and communication networks : 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, revised selected papers

Vladimir Vishnevsky, Dmitry Kozyrev (eds.)

QA76.9.D5

Data analytics with Hadoop : an introduction for data scientists

Benjamin Bengfort and Jenny Kim

QA76.9.D5 I58 2016eb

Distributed computing and internet technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings

Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida (Eds.)

QA76.9.F38

Software design for resilient computer systems

Igor Schagaev, Thomas Kaegi-Trachsel

QA76.9.F67

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2014

Frank Oppenheimer, Julio Luis Medina Pasaje, editors

QA76.9.F67

Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers

Christiano Braga, Peter Csaba Ölveczky (eds.)

QA76.9.F67

Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers

Cyrille Artho, Peter Csaba Ölveczky (eds.)

QA76.9.F67

Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs

Vladimir Herdt ; with a preface by Prof. Dr. Rolf Drechsler

QA76.9.F67 N45 2016eb

NASA formal methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

edited by Sanjai Rayadurgam, Oksana Tkachuk

QA76.9.H84

Personalized task recommendation in crowdsourcing systems

David Geiger

QA76.9.H85

Human-harmonized information technology. Volume 1, Vertical impact

Toyoaki Nishida, editor

QA76.9.H85

Human-centred web adaptation and personalization : from theory to practice

Panagiotis Germanakos, Marios Belk

QA76.9.H85

Performative experience design

Jocelyn Spence

QA76.9.H85

Cross-cultural computing : an artist's journey

Naoko Tosa

QA76.9.H85

Anthropology-based computing : putting the human in human-computer interaction

John N.A. Brown

QA76.9.H85

Modern statistical methods for HCI

Judy Robertson, Maurits Kaptein, editors

QA76.9.H85

Peripheral interaction : challenges and opportunities for HCI in the periphery of attention

Saskia Bakker, Doris Hausen, Ted Selker, editors

QA76.9.H85

Architecture and interaction : human computer interaction in space and place

Nicholas S. Dalton, Holger Schnädelbach, Mikael Wiberg, Tasos Varoudis, editors

QA76.9.H85

Robust multimodal cognitive load measurement

Fang Chen, Jianlong Zhou, Yang Wang, Kun Yu, Syed Z. Arshad, Ahmad Khawaji, Dan Conway

QA76.9.I52

Numeric computation and statistical data analysis on the Java platform

Sergei V. Chekanov

QA76.9.I52

Adaptive semantics visualization

Kawa Nazemi

QA76.9.I52 K575 2016

Data visualisation : a handbook for data driven design

Andy Kirk

QA76.9.M35

Product development projects : dynamics and emergent complexity

Christopher M. Schlick, Bruno Demissie

QA76.9.M35

Quantitative modeling of operational risk in finance and banking using possibility theory

Arindam Chaudhuri, Soumya K. Ghosh

QA76.9.M35

Directed algebraic topology and concurrency

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen

QA76.9.M35

Combinatorial algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers [electronic resource]

edited by Zsuzsanna Lipták, William F. Smyth

QA76.9.M35

Dynamics of number systems : computation with arbitrary precision

Petr Kůrka

QA76.9.N37

Recent advances in natural computing : selected results from the IWNC 8 Symposium

Yasuhiro Suzuki, Masami Hagiya, editors

QA76.9.N38

New directions in empirical translation process research : exploring the CRITT TPR-DB

Michael Carl, Srinivas Bangalore, Moritz Schaeffer, editors

QA76.9.N38

Building dialogue POMDPs from expert dialogues : an end-to-end approach

Hamidreza Chinaei, Brahim Chaib-draa

QA76.9.N38

Worldwide language service infrastructure : second international workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised selected papers

Yohei Murakami, Donghui Lin (eds.)

QA76.9.N38 I58 2016eb

Natural language processing and information systems : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings

Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera (eds.)

QA76.9.Q4 F653 2015

Flexible query answering systems : 11th International Conference, FQAS 2015, Cracow, Poland, October 26-28, 2015 : proceedings

Troels Andreasen [and others]

QA76.9.S63

Hybrid soft computing approaches : research and applications

Siddhartha Bhattacharyya, Paramartha Dutta, Susanta Chakraborty, editors

QA76.9.S63

Soft computing applications : proceedings of the 6th International Workshop Soft Computing Application (SOFA 2014).

edited by Valentina Emilia Balas, Lakhmi C. Jain, Branko Kovačević, editors

QA76.9.S63

Soft computing applications : proceedings of the 6th International Workshop Soft Computing Application (SOFA 2014).

edited by Valentina Emilia Balas [and two others]

QA76.9.S63

Proceedings of the International Conference on Soft Computing Systems : ICSCS 2015.

L. Padma Suresh, Bijaya Ketan Panigrahi, editors

QA76.9.S63

Proceedings of the International Conference on Soft Computing Systems : ICSCS 2015.

L. Padma Suresh, Bijaya Ketan Panigrahi, editors

QA76.9.S63

Hierarchical modular granular neural networks with fuzzy aggregation

Daniela Sanchez, Patricia Melin

QA76.9.S63

Proceedings of fifth International Conference on Soft Computing for Problem Solving : SocProS 2015.

Millie Pant, Kusum Deep, Jagdish Chand Bansal, Atulya Nagar, Kedar Nath Das, editors

QA76.9.S88

Rule based systems for big data : a machine learning approach

Han Liu, Alexander Gegov, Mihaela Cocea

QA76.9.S88

Complex systems design & management : proceedings of the sixth International Conference on Complex Systems Design & Management, CSD&M 2015

Gérard Auvray, Jean-Claude Bocquet, Eric Bonjour, Daniel Krob, editors

QA76.9.S88

Complex systems design & management Asia : smart nations -- sustaining and designing : proceedings of the second Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2016

Michel-Alexandre Cardin, Saik Hay Fong, Daniel Krob, Pao Chuen Lui, Yang How Tan, editors

QA76.9.S88 I58 2016eb

Information systems design and intelligent applications : proceedings of Third International Conference INDIA 2016.

Suresh Chandra Satapathy, Jyotsna Kumar Mandal, Siba K. Udgata, Vikrant Bhateja, editors

QA76.9.S88 I58 2016eb

Information systems design and intelligent applications : proceedings of Third International Conference INDIA 2016.

Suresh Chandra Satapathy, Jyotsna Kumar Mandal, Siba K. Udgata, Vikrant Bhateja, editors

QA76.9.S88 I58 2016eb

Information systems design and intelligent applications : proceedings of Third International Conference INDIA 2016.

Suresh Chandra Satapathy, Jyotsna Kumar Mandal, Siba K. Udgata, Vikrant Bhateja, editors

QA76.9.S9

Migrating large-scale services to the cloud

Eric Passmore

QA76.9.T43

The accidental SysAdmin handbook : a primer for early level IT professionals

Eric Kralicek

QA76.9.U83

Fundamentals of NeuroIS : Information Systems and the Brain

by René Riedl, Pierre-Majorique Léger

QA76.9.U83

Android UI design : plan, design, and build engaging user interfaces for your Android applications

Jessica Thornsby

QA76.9.V5

Essential virtual SAN (VSAN) : administrator's guide to VMware virtual SAN

Cormac Hogan, Duncan Epping

QA76.9.V5

IBM TS7700 release 3.3

Larry Coyne, Robert Beiderbeck, Katja Denefleh, Joe Hew, Sosuke Matsui, Aderson Pacini, Markus Schäfer, Michael Scott, Chen Zhu

QA76.9.V5

Mesos in action

Roger Ignazio

QA76.9.V5

Mastering Proxmox : master the skills you need to build a rock-solid virtualization environment with the all new Proxmox 4

Wasim Ahmed

QA76.9.V5

Bridging the gap between rendering and simulation frameworks : concepts, approaches and applications for modern multi-domain VR simulation systems

Nico Hempe

QA805

Classical mechanics with Maxima

Todd Keene Timberlake, J. Wilson Mixon, Jr

QA808

Nonlinear dynamics. Volume 1 : : proceedings of the 33rd IMAC, a Conference and Exposition on Structural Dynamics, 2015

Gaëtan Kerschen, editor

QA808

Introduction to nonlinear thermomechanics of solids

Michał Kleiber, Piotr Kowalczyk

QA845

Dynamics of bodies with time-variable mass

Livija Cveticanin

QA845

Dynamical systems on networks : a tutorial

Mason A. Porter, James P. Gleeson

QA845 .D96 2014eb

Nonlinear dynamics : materials, theory and experiments : selected lectures, 3rd Dynamics Days South America, Valparaiso 3-7 November 2014

Mustapha Tlidi, Marcel G. Clerc

QA861

Contact force models for multibody dynamics

Paulo Flores, Hamid M. Lankarani

QA867.5

Nonlinear resonances

Shanmuganathan Rajasekar, Miguel A.F. Sanjuan

QA9.59

Turing computability : theory and applications

Robert I. Soare

QA9.59 .C65 2016eb

Pursuit of the universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings

Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska (eds.)

QA9.64

A practical introduction to fuzzy logic using LISP

Luis Argüelles Méndez

QA9.64

Hierarchical type-2 fuzzy aggregation of fuzzy controllers

Leticia Cervantes, Oscar Castillo

QA9.64

Is 'fuzzy theory' an appropriate tool for large size problems?

Ranjit Biswas

QA9.64

Fuzzy logic type 1 and type 2 based on LabVIEW FPGA

Pedro Ponce-Cruz, Arturo Molina, Brian MacCleery

QA9.64

Fuzzy logic of quasi-truth : an algebraic treatment

Antonio Di Nola, Revaz Grigolia, Esko Turunen

QA9.64

International Conference on Oriental Thinking and Fuzzy Logic : celebration of the 50th anniversary in the era of complex systems and big data

Bing-Yuan Cao, Pei-Zhuang Wang, Zeng-Liang Liu, Yu-Bin Zhong, editors

QA90

A guide to graph colouring : algorithms and applications

R.M.R. Lewis

QA90

Ggplot2 : elegrant graphics for data analysis

Hadley Wickham ; with contributions by Carson Sievert

QA911

Fully implicit, coupled procedures in computational fluid dynamics : an engineer's resource book

Zeka Mazhar

QA925

Fluid flow and heat transfer in rotating porous media

Peter Vadasz

QA927

New approaches to nonlinear waves

Elena Tobisch, editor

QA927

Waves and compressible flow

Hilary Ockendon, John R. Ockendon

QA93

Mathematics in everyday life

John Haigh

QB107

Decoding the mechanisms of antikythera astronomical device

Jian-Liang Lin, Hong-Sen Yan

QB135 .W37 2016eb

A practical guide to lightcurve photometry and analysis

Brian D. Warner

QB16

Astronomy in the ancient world : early and modern views on celestial events

Alexus McLeod

QB283

Geospatial algebraic computations : theory and applications

Joseph L. Awange, Béla Paláncz

QB301

Survey control points : compatibility and verification

Gabriel Weiss, Erik Weiss, Roland Weiss, Slavomír Labant, Karol Bartoš

QB33.N45

Exploring the history of New Zealand astronomy : trials, tribulations, telescopes and transits

Wayne Orchiston

QB335

Gravity : where do we stand?

Roberto Peron, Monica Colpi, Vittorio Gorini, Ugo Moschella, editors

QB34.5

The unforgotten sisters : female astronomers and scientists before Caroline Herschel

Gabriella Bernardi

QB36.A67

François Arago : a 19th century French humanist and pioneer in astrophysics

James Lequeux

QB36.H868

The muleskinner and the stars : the life and times of Milton La Salle Humason, astronomer

Ronald L. Voller

QB378.C4

Discovery of the first asteroid, ceres : historical studies in asteroid research

Clifford Cunningham

QB4

Building a Roll-Off Roof or Dome Observatory : A Complete Guide for Design and Construction [electronic resource]

by John Stephen Hicks

QB4

Morphology, Kinematics and Star Formation Across the Hubble Sequence of Galaxies [electronic resource]

by Santiago Erroz-Ferrer

QB401

Moons of the solar system : from giant Ganymede to dainty Dactyl

James A. Hall

QB415.2

Tidal streams in the local group and beyond : observations and implications

Heidi Jo Newberg, Jeffrey L. Carlin, editors

QB44.3

Surveying the skies : how astronomers map the universe

Gareth Wynn-Williams

QB460-466

The Interstellar Medium, Expanding Nebulae and Triggered Star Formation : Theory and Simulations [electronic resource]

by Thomas G. Bisbas

QB461

Understanding the epoch of cosmic reionization : challenges and progress

Andrei Mesinger, editor

QB461

Introduction to observational astrophysics

Mark Gallaway

QB461

Transport processes in space physics and astrophysics : problems and solutions [electronic resource]

by Alexander Dosch, Gary P. Zank

QB470

The life story of an infrared telescope

John K. Davies

QB500.268

Enhancing Hubble's vision : service missions that expanded our view of the universe

David J. Shayler wth David M. Harland

QB500.268

The Hubble Space Telescope : from concept to success

David J. Shayler with David M. Harland

QB501

Weird astronomical theories of the solar system and beyond [electronic resource]

David Seargent

QB51.3.I45

Cartography of the Sun and the stars

Jean-Pierre Rozelot, Coralie Neiner, editors

QB539.M23 M34 2016e

Magnetic reconnection : concepts and applications

Walter Gonzalez, Eugene Parker, editors

QB582

Modern mysteries of the moon : what we still don't know about our lunar companion

Vincent S. Foster

QB595

The Chang'E-1 topographic atlas of the moon

Chunlai Li, Jianjun Liu, Lingli Mu, Xin Ren, Wei Zuo

QB601

The Moon's largest craters and basins : images and topographic maps from LRO, GRAIL, and Kaguya

Charles J. Byrne

QB603.M26

The magnetodiscs and aurorae of giant planets

Karoly Szego [and 7 more], editors

QB64 .C44 2016eb

The Vixen Star Book user guide : how to use the Star Book TEN and the original Star Book

James L. Chen, Adam Chen

QB64 .C597 2016eb

Deep sky observing : an astronomical tour

Steven R. Coe

QB698 .M65 2016eb

Dawn of small worlds : dwarf planets, asteroids, comets

Michael Moltenbrey

QB755

Suizhou meteorite : mineralogy and shock metamorphism

Xiande Xie, Ming Chen

QB791.3

Optimized dark matter searches in deep observations of Segue 1 with MAGIC

Jelena Aleksić

QB801.6 .B37 2016eb

The lost constellations : a history of obsolete, extinct, or forgotten star lore

John C. Barentine

QB808

Introduction to stellar structure

Walter J. Maciel

QB843.B55

Astrophysical black holes

Francesco Haardt [and 4 others], editors

QB857.5.B84

Galactic bulges

Eija Laurikainen, Reynier Peletier, Dimitri Gadotti, editors

QB857.5.E96

Observational constraints on the influence of active galactic nuclei on the evolution of galaxies

Christopher Mark Harrison

QB857.5.G7

Probing cosmic dark matter and dark energy with weak gravitational lensing statistics

Mastao Shirasaki

QB858.3

X-ray studies of the central engine in active galactic nuclei with Suzaku

Hirofumi Noda

QB981

Introduction to particle cosmology : the standard model of cosmology and its open problems

Cosimo Bambi, Alexandre D. Dolgov

QB981

The history of the universe

David H. Lyth

QB981

The cosmos and the creative imagination

Anna-Teresa Tymieniecka, Patricia Trutty-Coohill, editors

QB981

Varying gravity : Dirac's legacy in cosmology and geophysics

Helge Kragh

QB991.C64

Diffuse radio foregrounds : all-sky polarisation, and anomalous microwave emission

Matías Vidal Navarro

QB991.C64 P48 2016eb

The intrinsic bispectrum of the cosmic microwave background

Guido Walter Pettinari

QC122 .B63 2016eb

Galileo and the equations of motion

Dino Boccaletti

QC131

Modeling and analysis of linear hyperbolic systems of balance laws [electronic resource]

Krzysztof Bartecki

QC145.2

Fluid and thermodynamics. Volume 1, Basic fluid mechanics

Kolumban Hutter, Yongqi Wang

QC16.C348

Manuel Cardona : memories and reminiscences

Klaus Ensslin, Luis Viña, editors

QC171.2

Magnetically activated and guided isotope separation

by Thomas R. Mazur

QC171.2

Extreme states of matter : high energy density physics

Vladimir E. Fortov

QC173

Study of the isoscalar giant monopole resonance : the role of symmetry energy in nuclear incompressibility in the open-shell nuclei [electronic resource]

Darshana Chandrakant Patel

QC173.4.I57

Soft matter at aqueous interfaces

Peter R. Lang, Yi Liu, editors

QC173.458.S62

Introduction to the theory of soft matter : from ideal gases to liquid crystals

Jonathan V. Selinger

QC173.6

Pseudo-complex general relativity

Peter O. Hess, Mirko Schäfer, Walter Greiner

QC173.6

Infrared non-local modifications of general relativity

Ermis Mitsou

QC173.65

Introduction to the basic concepts of modern physics : special relativity, quantum and statistical physics

Carlo Maria Becchi, Massimo D'Elia

QC173.65

The special theory of relativity : foundations, theory, verification, applications

Costas Christodoulides

QC173.7

Basics of thermal field theory : a tutorial on perturbative computations

Mikko Laine, Aleksi Vuorinen

QC173.96

Scattering of particles and radiation in astrophysical environments

Nicholas R. Lewkow

QC173.96-174.52

Quantum Kinetic Theory [electronic resource]

by Michael Bonitz

QC174.12

Complexity and control in quantum photonics

Peter Shadbolt

QC174.12

Quantum biological information theory

Ivan B. Djordjevic

QC174.12

Effective evolution equations from quantum dynamics

Niels Benedikter, Marcello Porta, Benjamin Schlein

QC174.12

Quantum information processing with finite resources : mathematical foundations

Marco Tomamichel

QC174.12

Classical and quantum dynamics : from classical paths to path integrals

Walter Dittrich, Martin Reuter

QC174.12

Conceptual basis of quantum mechanics

Jan-Markus Schwindt

QC174.12

Quantum theory : informational foundations and foils

Giulio Chiribella, Robert W. Spekkens, editors

QC174.12

Theory of quantum transport at nanoscale : an introduction

Dmitry A. Ryndyk

QC174.12

The quantum handshake : entanglement, nonlocality and transactions [electronic resource]

John G Cramer

QC174.12

Making sense of quantum mechanics

Jean Bricmont

QC174.12

Quantum physics for dummies

by Steven Holzner

QC174.125

Lectures in quantum mechanics : a two-term course [electronic resource]

Luigi E. Picasso

QC174.17.E58

Quantum entanglement of complex structures of photons

Robert Fickler

QC174.17.M35

Quantum mathematical physics : a bridge between mathematics and physics

Felix Finster, Johannes Kleiner, Christian Röken, Jürgen Tolksdorf, editor

QC174.17.S9

Supersymmetry and noncommutative geometry

Wim Beenakker, Thijs van den Broek, Walter D. van Suijlekom

QC174.17.S9

New dualities of supersymmetric gauge theories

Jörg Teschner, editor

QC174.45

Concepts in quantum field theory : a practitioner's toolkit

Victor Ilisie

QC174.45

Gauge invariance and Weyl-polymer quantization [electronic resource]

Franco Strocchi

QC174.45

Quantum field theory : the why, what and how

Thanu Padmanabhan

QC174.45

Perturbative algebraic quantum field theory : an introduction for mathematicians

Kasia Rejzner

QC174.45

Applied research of quantum information based on linear optics

Xiao-Ye Xu

QC174.45 .H33 2016eb

Cosmological applications of algebraic quantum field theory in curved spacetimes

Thomas-Paul Hack

QC174.8

Macroscopic and large scale phenomena : coarse graining, mean field limits and ergodicity

Adrian Muntean, Jens Rademacher, Antonios Zagaris, editors

QC174.9 .S68 2016

Kinetic theory and transport phenomena

Rodrigo Soto

QC176

Conductors, semiconductors, superconductors : an introduction to solid state physics [electronic resource]

Rudolf P. Huebener

QC176.8.A44

Physics of soft impact and cratering

Hiroaki Katsuragi

QC176.8.D5

Diffusion in ceramics

Joshua Pelleg

QC176.8.E4

9th Congress on Electronic Structure: Principles and Applications (ESPA 2014) : a conference selection from theoretical chemistry accounts

Manuel F. Ruiz-Lopez, Francisco J. Olivares del Valle, volume editors ; with contributions by Diego R. Alcoba [and more]

QC176.8.N35

Nanosciences and nanotechnology : evolution or revolution?

[edited by] Jean-Michel Lourtioz ... [and three others]

QC176.8.N35

Optical properties of metallic nanoparticles : basic principles and simulation [electronic resource]

QC176.8.P55

Reviews in plasmonics 2015

edited by Chris D. Geddes

QC176.83

Metrology and physical mechanisms in new generation ionic devices

Umberto Celano

QC176.84.O7

The Physics of Thin Film Optical Spectra : An Introduction

Olaf Stenzel

QC178 .K37 2013eb

1st Karl Schwarzschild Meeting on gravitational physics

Piero Nicolini, Matthias Kaminski, Jonas Mureika, Marcus Bleicher, editors

QC179

Gravitational wave astrophysics with pulsar timing arrays

Chiara M.F. Mingarelli

QC179

First-stage LISA data processing and gravitational wave data analysis : ultraprecise inter-satellite laser ranging, clock synchronization and novel gravitational wave data analysis algorithms

Yan Wang

QC197

Viscoelastic interfaces driven in disordered media : applications to friction

Franc̦ois P. Landes

QC20

Born-Jordan quantization : theory and applications

Maurice A. de Gosson

QC20

Bessel processes, Schramm--Loewner evolution, and the Dyson model

Makoto Katori

QC20

Trick or truth? : the mysterious connection between physics and mathematics

Anthony Aguirre, Brendan Foster, Zeeya Merali, editors

QC20

Supermathematics and its applications in statistical physics : Grassmann variables and the method of supersymmetry

Franz Wegner

QC20 .K36 2016eb

Mathematics for natural scientists : fundamentals and basics

Lev Kantorovich

QC20.7.A5

Quantization, PDEs, and geometry : the interplay of analysis and mathematical physics

Dorothea Bahns, Wolfram Bauer, Ingo Witt, editors

QC20.7.E4 T36 2008eb

A physicist's guide to Mathematica

Patrick T. Tam

QC20.7.S645

Hyperspherical harmonics expansion techniques : application to problems in physics

Tapan Kumar Das

QC23.2

From quarks to the universe : a short physics course

Eleftherios N. Economou

QC23.2

A student's guide through the great physics texts. Volume III, Electricity, magnetism and light

Kerry Kuehn

QC23.2

A student's guide through the great physics texts. Volume IV, Heat, atoms and quanta

Kerry Kuehn

QC24.5

Quirky quarks : a cartoon guide to the fascinating realm of physics

Benjamin Bahr, Boris Lemmer, Rina Piccolo

QC242.2

Listening in the ocean : new discoveries and insights on marine life from autonomous passive acoustic recorders

Whitlow W. L. Au, Marc O. Lammers, editors

QC32

200 more puzzling physics problems : with hints and solutions

Péter Gnädig, Gyula Honyek, Máté Vigh ; Ken Riley, consultant editor for translation and scientific editing

QC320

Heat transfer and pressure drop in flow boiling in microchannels

Sujoy Kumar Saha, Gian Piero Celata

QC320

Heat transfer of laminar mixed convection of liquid

De-Yi Shang, Liang-Cai Zhong

QC321

Dynamical analysis of non-fourier heat conduction and its application in nanosystems

Yuan Dong

QC327

Modelling of convective heat and mass transfer in rotating flows

Igor V. Shevchuk

QC331

Radiative heat transfer in turbulent combustion systems : theory and applications

Michael F Modest, Daniel C. Haworth

QC411

Interferometry with interacting Bose-Einstein condensates in a double-well potential

Tarik Berrada

QC415

Diffractive optics and nanophotonics : resolution below the diffraction limit

Igor Minin, Oleg Minin

QC425

Theory of reflection : reflection and transmission of electromagnetic, particle and acoustic waves

John Lekner

QC427.4

Light scattering reviews. 10, Light scattering and radiative transfer

Alexander A. Kokhanovsky, editor

QC446.2

Relativistic nonlinear electrodynamics : t he QED vacuum and matter in super-strong radiation fields

Hamlet K. Avetissian

QC454.G3

Spectroscopy and optical diagnostics for gases

Ronald K. Hanson, R. Mitchell Spearrin, Christopher S. Goldenstein

QC454.O66

Probing the response of two-dimensional crystals by optical spectroscopy [electronic resource]

by Yilei Li

QC454.P48

Hard x-ray photoelectron spectroscopy (HAXPES)

Joseph C. Woicik, editor

QC477

Reviews in fluorescence 2015

Chris D. Geddes, editor

QC482.S3

Computer simulation tools for X-ray analysis : scattering and diffraction methods

Sérgio Luiz Morelhão

QC482.S3 J48 2016

Basic x-ray scattering for soft matter

Wim H. de Jeu

QC6

The rise and fall of the fifth force : discovery, pursuit, and justification in modern physics

Allan Franklin, Ephraim Fischbach

QC611

Dispersion relations in heavily-doped nanostructures [electronic resource]

Kamakhya Prasad Ghatak

QC611.8.L68

Low-dimensional and nanostructured materials and devices : properties, synthesis, characterization, modelling and applications [electronic resource]

Hilmi Ünlü, Norman J.M. Horing, Jaroslaw Dabowski, editors

QC611.92

Bogoliubov-de Gennes method and its applications

Jian-Xin Zhu

QC621

Introduction to thermoelectricity

H. Julian Goldsmid

QC625

Electrokinetics across disciplines and continents : new strategies for sustainable development

Alexandra B. Ribeiro, Eduardo P. Mateus, Nazaré Couto, editors

QC631

Wave dynamics of generalized continua

Alexander G. Bagdoev, Vladimir I. Erofeyev and Ashot V. Shekoyan

QC631

Toroidal multipole moments in classical electrodynamics : an analysis of their emergence and physical significance

Stefan Nanz

QC665.S3

Application of geometric algebra to electromagnetic scattering : the Clifford-Cauchy-Dirac technique

Andrew Seagar

QC688

Laser filamentation : mathematical methods and models

Andre D. Bandrauk, Emmanuel Lorin, Jerome V. Moloney, editors

QC689.5.L37

Ultrafast dynamics driven by intense light pulses : from atoms to solids, from lasers to intense x-rays

Markus Kitzler, Stefanie Gräfe, editors

QC689.5.L37

Ultrashort pulse laser technology : laser sources and applications

Stefan Nolte, Frank Schrempel, Friedrich Dausinger, editors

QC689.5.L37

Frequency conversion of ultrashort pulses in extended laser-produced plasmas

Rashid A. Ganeev

QC689.5.L37 S87 2016

The supercontinuum laser source : the ultimate white light

Robert R. Alfano [editor]

QC711

Gas discharge and gas insulation

Dengming Xiao

QC718

Introduction to plasma physics and controlled fusion

Francis F. Chen

QC718

Elements of plasma technology [electronic resource]

Chiow San Wong, Rattachat Mongkolnavin

QC718

Modern methods in collisional-radiative modeling of plasmas

Yuri Ralchenko, editor

QC718.4

Fundamental aspects of plasma chemical physics : kinetics [electronic resource]

Mario Capitelli, Roberto Celiberto, Gianpiero Colonna, Fabrizio Esposito, Claudine Gorse, Khaled Hassouni, Annarita Laricchiuta, Savino Longo

QC754.2.M36 B34 2016eb

Effects of magnetoelastic interactions in conductive plates and shells

Gevorg Baghdasaryan, Marine Mikilyan

QC761.5

Excitation spectra of square lattice antiferromagnets : theoretical explanation of experimental observations

Bastien Dalla Piazza

QC761.5

Topological structures in ferroic materials : domain walls, vortices and skyrmions

Jan Seidel, editor

QC774.F4

Enrico Fermi : the obedient genius

Giuseppe Bruzzaniti ; translated by Ugo Bruzzo

QC787.P3

From tracking code to analysis : generalised Courant-Snyder theory for any accelerator model

Etienne Forest

QC787.P7

Electron lenses for super-colliders [electronic resource]

by Vladimir D. Shiltsev

QC787.S9

Touschek lifetime studies and optimization of the European synchrotron radiation facility : present and upgrade lattice

Nicola Carmignani

QC793

XXI DAE-BRNS High Energy Physics Symposium : Proceedings, Guwahati, India, December 8-12, 2014

Bipul Bhuyan, editor

QC793.2

Resummation and renormalization in effective theories of particle physics

Antal Jakovac, Andras Patkos

QC793.2

From special relativity to Feynman diagrams : a course in theoretical particle physics for beginners [electronic resource]

Riccardo D'Auria, Mario Trigiante

QC793.2

The Composite Nambu-Goldstone Higgs [electronic resource]

by Giuliano Panico, Andrea Wulzer

QC793.2

Heavy WIMP effective theory : formalism and applications for scattering on nucleon targets

Mikhail P. Solon

QC793.3.K5

Kinematics : theory and applications

Jens Wittenburg

QC793.3.S6

Read-out and coherent manipulation of an isolated nuclear spin : using a single-molecule magnet spin-transistor

Stefan Thiele

QC793.3.S8

Ionization and plasma dynamics of single large xenon clusters in superintense XUV pulses

Daniela Rupp

QC793.47.S83

Statistical methods for data analysis in particle physics

Luca Lista

QC793.5.H328 M45 2016eb

Melting hadrons, boiling quarks : from Hagedorn temperature to ultra-relativistic heavy-ions collisions at CERN : with a tribute to Rolf Hagedorn

Johann Rafelski, editor

QC793.5.L428

Dynamical decoupling in distance measurements by double electron-electron resonance

Janne Marie Soetbeer

QC793.5.N42 I45 2016eb

Observation of Vu-->Ve oscillation in the T2K experiment

Kei Ieki

QC793.5.N428

Measurement of neutrino interactions and three flavor neutrino oscillations in the T2K experiment

Tatsuya Kikawa

QC793.5.P428

The two-photon decay of the 11-/2 isomer of 137Ba and mixed-symmetry states of 92,94Zr and 94Mo

Christopher Walz

QC793.5.P728

Study of double parton scattering using four-jet scenarios : in proton-proton collisions at √s = 7 TeV with the CMS Experiment at the LHC

Paolo Gunnellini

QC793.5.P728

Search for exotic mono-jet events : in proton-proton collisions at √s = 7 TeV and 8 TeV with the ATLAS Detector

Valerio Rossetti

QC793.5.P728

Search for charginos nearly mass-degenerate with the lightest neutralino : based on a disappearing-track signature in pp collisions at √s = 8 TeV

Shingo Kazama

QC793.5.Q252

Search for the Pentaquark [theta]+ via the [pi]⁻p --> K⁻X Reaction at J-PARC

Manabu Moritsu

QC793.5.Q252

Top-quark pair production cross sections and calibration of the top-quark Monte-Carlo mass : measurements performed with the CMS detector using LHC run I Proton-Proton collision data

Jan Kieseler

QC793.5.Q2524

Search for scalar top quarks and Higgsino-like neutralinos : SUSY hunting with a "soft" lepton at the LHC

Takuya Nobe

QC794.6.S3

Scattering theory

Harald Friedrich

QC794.6.S3 S56 2016eb

Scattering cross section of unequal length dipole arrays

Hema Singh, H.L. Sneha, Rakesh Mohan Jha

QC794.6.S75

Hadron structure in electroweak precision measurements

Nathan L. Hall

QC794.6.S75

The landscape of free fermionic gauge models

Doublas G. Moore

QC794.8.E44

Electroweak physics at the LHC

Matthias U. Mozer

QC796.L5

Advances in lithium isotope geochemistry / Paul B. Tomascak, Tomáš Magna, Ralf Dohmen

QC809.M25

The strongest magnetic fields in the universe

V.S. Beskin, A. Balogh, M. Falanga, M. Lyutikov, S. Mereghetti, T. Piran, R.A. Treumann, editors

QC809.M35

Plasma sources of solar system magnetospheres

Andrew F. Nagy, Michael Blanc, Charles R. Chappell, Norbert Krupp, editors

QC809.P5

Multi-scale structure formation and dynamics in cosmic plasmas

Andre Balogh, Andrei Bykov, Jonathan Eastwood, Jelle Kaastra, editors

QC86 .P57 2016eb

Tartaglia's science of weights and mechanics in the sixteenth century : selections from Quesiti et inventioni diverse: books VII-VIII

Rafaele Pisano, Danilo Capecchi

QC869

Earth's early atmosphere and oceans, and the origin of life

George H. Shaw

QC879.5

Atmospheric reaction chemistry

Hajime Akimoto

QC88

Coordinate metrology : accuracy of systems and measurements

Jerzy A. Sładek

QC880.4.B65

Magnetic cloud boundary layers and magnetic reconnection

Yi Wang

QC881.2.T75

Modeling of tropospheric delays using ANFIS [electronic resource]

Wayan Suparta, Kemal Maulana Alhasa

QC902.9

Communicating climate-change and natural hazard risk and cultivating resilience : case studies for a multi-disciplinary approach

Jeanette L. Drake, Yekaterina Y. Kontar, John C. Eichelberger, T. Scott Rupp, Karen M. Taylor, editors

QC903

Climate change in world politics [electronic resource]

John Vogler

QC903

Climate policy under intergenerational discounting : an application of the dynamic integrated climate-economy model

Jonathan Orlando Zaddach

QC903

Atlas of climate change : responsibility and obligation of human society [electronic resource]

by Wenjie Dong, Jianbin Huang, Yan Guo, Fumin Ren

QC903

Innovation in Climate Change Adaptation [electronic resource]

Walter Leal Filho, editor

QC903

Climate change challenge (3C) and social-economic-ecological interface-building : exploring potential adaptation strategies for bio-resource conservation and livelihood development

Sunil Nautiyal, Ruediger Schaldach, K V Raju, Harald Kaechele, Bill Pritchard, Kottapalli Sreenivasa Rao, editors

QC903.2.A78

Enabling Asia to stabilise the climate

Shuzo Nishioka, editor

QC903.2.C5

Climate and environmental change in China : 1951--2012

Dahe Qin, Yongjian Ding, Mu Mu, editors

QC903.2.C5

Legal methods of mainstreaming climate change adaptation in Chinese water management [electronic resource]

Xiangbai He

QC903.2.H56

Climate change, glacier response, and vegetation dynamics in the Himalaya : contributions toward future Earth initiatives

R.B. Singh, Udo Schickhoff, Suraj Mal, editors

QC939.M7

Monsoons and climate change : observations and modeling [electronic resource]

Leila Maria Véspoli de Carvalho, Charles Jones, editors

QC976.S3

General theory of light propagation and imaging through the atmosphere

T. Stewart McKechnie

QC981

Development and evaluation of high resolution climate system models

Rucong Yu, Tianjun Zhou, Tongwen Wu, Wei Xue, Guangqing Zhou

QC981 .H39 2016eb

Experimenting on a small planet : a history of scientific discoveries, a future of climate change and global warming

William W. Hay

QC981.8.G56

Energy, transportation and global warming

Panagiotis Grammelis, editor

QC990.C93

Climate change in Cyprus : review of the impacts and outline of an adaptation strategy

Theodoros Zachariadis

QC990.S67

Western disturbances : an Indian meteorological perspective

A.P. Dimri, Amulya Chevuturi

QC994.8 .P77 2016eb

The climate of the Arctic

Rajmund Przybylak

QD139.P6

Fluorescence studies of polymer containing systems

volume editor: Karel Procházka ; with contributions by J. Duhamel [and more]

QD139.T7

Handbook of trace analysis : fundamentals and applications

Irena Baranowska, editor ; with contributions by M. Balcerzak [and more]

QD169.W3

The attribute of water : single notion, multiple myths

Chang Q. Sun, Yi Sun

QD172.R2

The rare earth elements : an introduction [electronic resource]

J.H.L. Voncken

QD172.T6

Group 2 mediated dehydrocoupling

David J. Liptrot

QD181.C1

Carbon dioxide and organometallics

Xiao-Bing Lu, editor ; with contributions by A. Angelini [and more]

QD181.H1

Enhancing hydrogen storage properties of metal hybrides : enhancement by mechanical deformations

Jacques Huot

QD181.H1 Y36 2016

Deuterium

QD181.I1 H965 2016eb

Hypervalent iodine chemistry

Thomas Wirth, editor ; with contributions by A.P. Antonchick [and 23 others]

QD181.S1

Advances in sulphonation techniques : liquid sulphur dioxide as a solvent of sulphur trioxide

Navin G. Ashar

QD241

Progress in the chemistry of organic natural products. 101

A. Douglas Kinghorn, Heinz Falk, Simon Gibbons, Jun'Ichi Kobayashi, editors ; with contributions by S.-G. Liao [and more]

QD262

Click reactions in organic synthesis

edited by Srinivasan Chandrasekaran

QD262

Continuous-flow chemistry in the research laboratory : modern organic chemistry in dedicated reactors at the dawn of the 21st century

Toma Glasnov

QD262

Stereoselective desymmetrization methods in the assembly of complex natural molecules

Robert J. Sharpe

QD281.P6

Controlled radical polymerization at and from solid surfaces

Philipp Vana, editor ; with contributions by E. Bourgeat-Lami [and more]

QD305.A2

Bioactive carboxylic compound classes : pharmaceuticals and agrochemicals

edited by Clemens Lamberth and Jürgen Dinges

QD305.H5

Sustainable C(sp3)-H bond functionalization

Jin Xie, Chengjian Zhu

QD323

Cellulose chemistry and properties : fibers, nanocelluloses and advanced materials

Orlando J. Rojas, editor ; with contributions by S. Asaadi [and more]

QD325

Synthesis and characterization of glycosides

Marco Brito-Arias

QD341.H9

Polycyclic aromatic hydrocarbons : their global atmospheric emissions, transport, and lung cancer risk

Huizhong Shen

QD381

Encyclopedia of polymer blends. Volume 3, Structure

edited by Avraam I. Isayev

QD381.9.S65

Helical wormlike chains in polymer solutions

Hiromi Yamakawa, Takenao Yoshizaki

QD400.5.S95

Synthesis of 4- to 7-membered heterocycles by ring expansion : Aza-, oxa- and thiaheterocyclic small-ring systems

Matthias D'hooghe, Hyun-Joon Ha, editors ; with contributions by B. Alcaide [and more]

QD400.5.S95

Transition metal catalyzed carbonylative synthesis of heterocycles

Xiao-Feng Wu, Matthias Beller, editor ; with contributions by J.-B. Feng [and more]

QD400.5.S95

Indole ring synthesis : from natural products to drug discovery

Gordon Gribble

QD410-412.5

The Privileged Pincer-Metal Platform: Coordination Chemistry & Applications [electronic resource]

edited by Gerard van Koten, Robert A Gossage

QD411

C-H bond activation and catalytic functionalization I

Pierre H. Dixneuf, Henri Doucet, editors ; With contributions by L. Ackermann [and more]

QD411

The chemistry of metal-organic frameworks : synthesis, characterization, and applications

edited by Stefan Kaskel

QD411 .C4 2016eb

C-H bond activation and catalytic functionalization II

Pierre H. Dixneuf, Henri Doucet, editors ; With contributions by J.-M. Basset [and more]

QD412.B1

Functionalization of carborane via carboryne intermediates

Da Zhao

QD415.P69

Synthetic and biophysical studies on the tridachiahydropyrone family of natural products

Kimberley Jade Powell

QD453.3

Physical chemistry from a different angle : introducing chemical equilibrium, kinetics and electrochemistry by numerous experiments

Georg Job, Regina Rüffler

QD455.3.C64

Isaiah Shavitt : a memorial festschrift from theoretical chemistry accounts

Ron Shepard, Russell M. Pitzer, Thom Dunning, volume editors ; with contributions from Aleksey B. Alekseyev [and sixty one others]

QD461

The chemical bond II : 100 years old and getting stronger

D. Michael P. Mingos, editor ; with contributions by S. Alvarez [and more]

QD461 .H37 2015eb

Bonding in electron-rich molecules : qualitative valence-bond approach via increased-valence structures

Richard D. Harcourt

QD462.6.D45

Density-functional methods for excited states

Nicolas Ferré, Michael Filatov, Miquel Huix-Rotllant, editors ; with contributions by C. Adamo [and more]

QD466.5

The discovery of isotopes : a complete compilation

Michael Thoennessen

QD481

Steric and stereoelectronic effects in organic chemistry

Veejendra K. Yadav

QD501

Asymmetric dearomatization reactions

edited by Shu-Li You

QD503

Ionic and electrochemical equilibria

Michel Soustelle

QD505

Site-selective catalysis

Takeo Kawabata, editor ; with contributions by M. Canta [and more]

QD505

Homo- and heterobimetallic complexes in catalysis : cooperative catalysis

Philippe Kalck, editor ; with contributions by J.K. Bera [and more]

QD505

Synthesis and modification of heterocycles by metal-catalyzed cross-coupling reactions

Tamás Patonay, Krisztina Kónya, editors ; with contributions by Á. Balázs [and more]

QD506

Thermodynamics of surfaces and capillary systems

Michel Soustelle

QD506.A1

On-surface synthesis : proceedings of the International Workshop On-Surface Synthesis, École des Houches, Les Houches 25-30 May 2014

André Gourdon, editor

QD509.S65

Surface wetting : characterization, contact angle, and fundamentals

Kock-Yee Law, Hong Zhao

QD541

Application of ionic liquids on rare earth green separation and utilization

Ji Chen, editor

QD549

Hydrogels of cytoskeletal proteins : preparation, structure, and emergent functions

Yoshihito Osada, Ryuzo Kawamura, Ken-Ichi Sano

QD549.2.P64

Polymeric hydrogels as smart biomaterials

edited by Susheel Kalia

QD553

Screen-printing electrochemical architectures

Christopher W. Foster, Rashid O. Kadara, Craig E. Banks

QD553

Handbook of Nanoelectrochemistry : Electrochemical Synthesis Methods, Properties, and Characterization Techniques [electronic resource]

edited by Mahmood Aliofkhazraei, Abdel Salam Hamdy Makhlouf

QD553

Underpotential deposition : from fundamentals and theory to applications at the nanoscale

Oscar Alejandro Oviedo, Luis Reinaudi, Silvana Graciela García, Ezequiel Pedro Marcos Leiva

QD65 .H3

CRC handbook of chemistry and physics

QD655

Milestones in microwave chemistry

György Keglevich, editor

QD708.2

Photochemistry : past, present and future

Angelo Albini

QD708.2

Quantum dynamics and laser control for photochemistry

Matthieu Sala

QD715

Photochromic materials : preparation, properties and applications

editors: He Tian, Junji Zhang

QD715.P45

Heterogeneous photocatalysis : from fundamentals to green applications [electronic resource]

Juan Carlos Colmenares, Yi-Jun Xu, editors

QD923

First example of a lyotropic smectic C* analog phase : design, properties and chirality effects [electronic resource]

Johanna Ricarda Bruckner

QD96.R34

Surface-enhanced raman spectroscopy : bioanalytical, biomolecular and medical applications

Marek Procházka

QE230

Growth of the Southern Andes

Andrés Folguera, Maximiliano Naipauer, Lucía Sagripanti, Matías C. Ghiglione, Darío L. Orts, Laura Giambiagi, editors

QE231

Early cretaceous volcanism in Central and Eastern Argentina during Gondwana break-up

Silvia Leonor Lagorio, Haroldo Vizán, Silvana Evangelina Geuna

QE249

Geology and paleontology of the quaternary of Uruguay

Martin Ubilla, Sergio Martínez

QE315

Siberian traps and Pt-Cu-Ni deposits in the Noril'sk area

Nadezhda A. Krivolutskaya ; with the special cooperation of Alexander Sobolev

QE321

Understanding Ethiopia : geology and scenery

Frances M. Williams

QE33.2.M3 I58 2014

Geostatistical and geospatial approaches for the characterization of natural resources in the environment : challenges, processes and strategies

N. Janardhana Raju, editor

QE33.2.R4

Remote sensing advances for earth system science : the ESA Changing Earth Science Network: Projects 2011-2013

Diego Fernández-Prieto, Roberto Sabia, editors

QE364.2.M37

Intraplate magmatism and metallogeny of North Vietnam

Trong-Hoa Tran, Gleb V. Polyakov, Tuan-Anh Tran, Alexander S. Borisenko, Andrey E. Izokh, Pavel A. Balykin, Thi-Phuong Ngo, Thi-Dung Pham

QE369.S65

Infrared spectroscopy of minerals and related compounds

Nikita V. Chukanov, Alexandr D. Chervonnyi

QE391.P47

Magnetic perovskites : synthesis, structure and physical properties

Asish K. Kundu

QE431.2

Petrographic atlas : characterisation of aggregates regarding potential reactivity to alkalis : RILEM TC 219-ACS recommended guidance AAR-1.2, for use with the RILEM AAR-1.1 petrographic examination method

Isabel Fernandes, Maria dos Anjos Ribeiro, Maarten A T M Broekmans, Ian Sims, editors

QE451.A9

Geosciences of Azerbaijan. Volume I, Geology

Akif A. Alizadeh, Ibrahim S. Guliyev, Fakhraddin A. Kadirov, Lev V. Eppelbaum

QE461

Potassic igneous rocks and associated gold-copper mineralization

Daniel Müller, David I. Groves

QE500 .A6

Eos

QE501.4.M38

Fractal solutions for understanding complex systems in Earth sciences

V.P. Dimri, editor

QE501.4.N9 S33 2016

Radiogenic isotope geochemistry : a guide for industry professionals

Bruce F. Schaefer (Macquarie University, Sydney, Australia)

QE501.4.P3

A brief history of South American Metatherians : evolutionary contexts and intercontinental dispersals

Francisco J. Goin, Michael O. Woodburne, Ana Natalia Zimicz, Gabrial M. Martin, Laura Chornogubsky

QE515

Sources and transport of inorganic carbon in the unsaturated zone of Karst

Simone Milanolo

QE516.C37

Mechanisms for CO2 sequestration in geological formations and enhanced gas recovery

Roozbeh Khosrokhavar

QE517.5

The making of India : geodynamic evolution

K.S. Valdiya

QE526.2.R4

Active volcanoes of the Southwest Indian Ocean : Piton de la Fournaise and Karthala

edited by Patrick Bachelery, Jean-François Lenat, Andrea Di Muro, Laurent Michon

QE527.6 .V645 2016

Volcanic ash : hazard observation

edited by Shona Mackie [and four others]

QE534.3

Seismic data interpretation and evaluation for hydrocarbon exploration and production : a practitioner's guide

Niranjan C. Nanda

QE534.3 .E37 2016eb

Earthquakes and their impact on society

Sebastiano D'Amico, editor

QE536.2.R6

The 1940 Vrancea earthquake : issues, insights and lessons learnt : proceedings of the Symposium Commemorating 75 Years from November 10, 1940 Vrancea Earthquake

Radu Vacareanu, Constantin Ionescu, editors

QE539.2.S34

Estimating fatality rates for earthquake loss models

Emily So

QE541

Instrumentation in earthquake seismology [electronic resource]

by Jens Havskov, Gerardo Alguacil

QE598 .S96 2016eb

Submarine mass movements and their consequences

Geoffroy Lamarche [and 10 others], editors

QE598.2

Shallow geophysical mass flows down arbitrary topography : model equations in topography-fitted coordinates, numerical simulation and back-calculations of disastrous events

Ioana Luca, Yih-Chin Tai, Chih-Yu Kuo

QE599.N45

Periglacial preconditioning of debris flows in the Southern Alps, New Zealand

Katrin Sattler

QE651

Stratigraphy : a modern synthesis

Andrew D. Miall

QE719

Micropaleontology : principles and applications

Pratul Kumar Saraswati, M.S. Srinivasan

QE721

Dynamic paleontology : using quantification and other tools to decipher the history of life

Mark A.S. McMenamin

QE861.4 .N62 2016

Articulating dinosaurs : a political anthropology

Brian Noble

QE993 .J53 2016eb

Petrolipalynology

Dexin Jiang, Eleanora I. Robbins, Yongdong Wang, Huiqiu Yang

QH 75 .R54 2016

Restoring neighborhood streams : planning, design, and construction

Ann L. Riley

QH1 .A4 v.185 art.2

Ontogeny of upper Cretaceous (Turonian-Santonian) scaphitid ammonites from the western interior of North America : systematics, developmental patterns, and life history

Neil H. Landman

QH102

What should a clever moose eat? : natural history, ecology, and the North Woods

John Pastor ; illustrated by the author

QH15 .C63 2016

Penguins, pineapples & pangolins : first encounters with the exotic

Claire Cock-Starkey

QH195.A233 E58 1998

Environmental change and response in East African lakes

edited by John T. Lehman

QH212.F55 R66 1992

Fluorescence microscopy

F.W.D. Rost

QH212.T7

Controlled atmosphere transmission electron microscopy : principles and practice

Thomas Willum Hansen, Jakob Birkedal Wagner, editors

QH31.D2 C527 2000

Charles Darwin : interviews and recollections

edited by Harold Orel

QH315

Biomedical research : an insider's guide

Seward B. Rutkove

QH323.5 .U53 2016eb

Uncertainty in biology : a computational modeling approach

Liesbet Geris, David Gomez-Cabrero, editors

QH324.2

BioInformation processing : a primer on computational cognitive science

James K. Peterson

QH324.2

Biomedical research and integrated biobanking : an innovative paradigm for heterogeneous data management

Massimiliano Izzo

QH324.2

Analysis of single-cell data : ODE constrained mixture modeling and approximate Bayesian computation

Carolin Loos

QH324.2

Bioinformatics and biomedical engineering : 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings

Francisco Ortuño, Ignacio Rojas (eds.)

QH324.2

Application of clinical bioinformatics [electronic resource]

edited by Xiangdong Wang, Christian Baumgartner, Denis C. Shields, Hong-Wen Deng, Jacques S Beckmann

QH324.2

Algorithms for computational biology : third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings

María Botón-Fernández, Carlos Martín-Vide, Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez (eds.)

QH324.25

Machine learning for microbial phenotype prediction

Roman Feldbauer

QH326

The hunt for alien life : a wider perspective

Peter Linde

QH331

Sadness or Depression? [electronic resource]

QH332

Global bioethics : the impact of the UNESCO International Bioethics Committee

Alireza Bagheri, Jonathan D. Moreno, Stefano Semplici, editors

QH344

Biogenic-abiogenic interactions in natural and anthropogenic systems [electronic resource]

Olga V. Frank-Kamenetskaya, Elena G. Panova, Dmitry Yu. Vlasov, editors

QH351 .B67 1997

Morphometric tools for landmark data : geometry and biology

Fred L. Bookstein

QH366.2

Retrograde evolution during major extinction crises

Jean Guex

QH367.5 .C33 2016

Phylogenies in ecology : a guide to concepts and methods

Marc W. Cadotte and T. Jonathan Davies

QH430

Phenotypes and genotypes : the search for influential genes

Florian Frommlet, Małgorzata Bogdam, David Ramsey

QH430

Epigenetics : a different way of looking at genetics

Walter Doerfler, Petra Böhm, editors

QH431

The search for human chromosomes : a history of discovery

Wilson John Wall

QH438.7

Ambivalences of creating life : societal and philosophical dimensions of synthetic biology

Kristin Hagen, Margret Engelhard, Georg Toepfer, editors

QH441 .N48 2016eb

Multiple biological sequence alignment : scoring functions, algorithms and applications

Ken Nguyen, Xuan Guo, Yi Pan

QH442

Genome editing : the next step in gene therapy

Toni Cathomen, Matthew Hirsch, Matthew Porteus, editors

QH450

Transcriptomics and gene regulation [electronic resource]

Jiaqian Wu, Editor ; Honor editor, Dong Kim

QH450

Patho-epigenetics of infectious disease

Janos Minarovits, Hans Helmut Niller, editors

QH450

Epigenetics, the environment, and children's health across lifespans

David Hollar, editor

QH450

Mechanisms of gene regulation

Carsten Carlberg, Ferdinand Molnár

QH505

Physical sciences and engineering advances in life sciences and oncology : a WTEC global assessment

edited by Paul Janmey ... and others

QH505 .T395

Thermodynamics of biological processes

editors, Ingolf Lamprecht, A.I. Zotin

QH506

Molecular science of fluctuations toward biological functions

Masahide Terazima, Mikio Kataoka, Ryuichi Ueoka, Yuko Okamota, editors

QH506 .F79 2016

Landmark experiments in molecular biology

Michael Fry

QH513

Mechanics of biological systems and materials, Volume 6 : : Proceedings of the 2015 Annual Conference on Experimental and Applied Mechanics

Srinivasan Arjun Tekalur, Pablo Zavattieri, Chad S. Korach, editors

QH513 .O88 2016

Biofluid mechanics : principles and applications

Ali Ostadfar

QH541.15.L35

Landscape dynamics, soil and hydrological processes in varied climates

Assefa M. Melesse, Wossenu Abtew, editors

QH541.15.M3 L64 1992

Matrices and graphs : stability problems in mathematical ecology

Dmitrii O. Logofet

QH541.5.C7

The Red Sea ecosystem and fisheries

Dawit Tesfamichael, Daniel Pauly, editors

QH541.5.S3

Basics of marine and estuarine ecology

Abhijit Mitra, Sufia Zaman

QH541.5.S3

Marine and coastal ecosystem valuation, institutions, and policy in Southeast Asia

Nancy Olewiler, Herminia A. Francisco, Alice Joan G. Ferrer, editors

QH541.5.S6

Scheffer/Schachtschabel soil science [electronic resource]

by Hans-Peter Blume, Gerhard W. Brümmer, Heiner Fleige, Rainer Horn, Ellen Kandeler, Ingrid Kögel-Knabner, Ruben Kretzschmar, Karl Stahr, B.-Michael Wilke

QH545.N65

Effects of noise on aquatic life II

Arthur N. Popper, Anthony Hawkins, editors

QH581.2

The initiation of DNA replication in eukaryotes

Daniel L. Kaplan, editor

QH581.2 .M56 2016

Cell biology : translational impact in cancer biology and bioinformatics

Maika G. Mitchell

QH585

Essentials of single-cell analysis : concepts, applications and future prospects

Fan-Gang Tseng, Tuhin Subhra Santra, editors

QH585.5.E48

1st World Congress on Electroporation and Pulsed Electric Fields in Biology, Medicine and Food & Environmental Technologies (WC 2015) : Portorož, Slovenia, September 6-10, 2015

QH588.S83

Endometrial stem cells and its potential applications

Indumathi Somasundaram

QH588.S83

Dental stem cells

Fikrettin Şahin, Ayşegül Doğan, Selami Demirci, editors

QH601

Permeability of biological membranes

Gaspar Banfalvi

QH603.I54

Ion channels and transporters of epithelia in health and disease

Kirk L. Hamilton, Daniel C. Devor, editors

QH641

Bioluminescence : fundamentals and applications in biotechnology.

Gérald Thouand, Robert Marks, editors ; with contributions by M.M. Calabretta [and more]

QH647

Physical models of cell motility

Igor S. Aranson, editor

QH75

Mapping wilderness : concepts, techniques and applications

Stephen J. Carver, Steffen Fritz, editors

QH75

Biodiversity conservation and phylogenetic systematics : preserving our evolutionary heritage in an extinction crisis

Roseli Pellens, Philippe Grandcolas, editors

QH75 .P435 2016

Peatland restoration and ecosystem services : science, policy, and practice

edited by Aletta Bonn, Helmholtz Centre for Environmental Research (UFZ) ... [and four others]

QH77.E85

Biocultural diversity in Europe

Mauro Agnoletti, Francesca Emanueli, editors

QH87.3

Tropical peatland ecosystems

Mitsuru Osaki, Nobuyuki Tsuji, editors

QH90.8.B56

Aquatic biodiversity conservation and ecosystem services

Shin-ichi Nakano, Tetsukazu Yahara, Tohru Nakashizuka, editors

QK314.5

Insects and diseases of Mediterranean forest systems

Timothy D. Paine, François Lieutier, editors

QK316

Plant life of the Dolomites : vegetation tables

Erika Pignatti, Sandro Pignatti

QK46.5.D58

Genetic diversity and erosion in plants : case histories.

M.R. Ahuja, S. Mohan Jain, editors

QK475

Tropical tree physiology : adaptations and responses in a changing environment

edited by Guillermo Goldstein, Louis S. Santiago

QK495.G74

Genetics and genomics of brachypodium

John P. Vogel, editor

QK495.L25

Satureja : Ethnomedicine, phytochemical diversity and pharmacological activities

Soodabeh Saeidnia ... [and others]

QK495.S7

Functional genomics and biotechnology in solanaceae and cucurbitaceae crops

Hiroshi Ezura, Tohru Ariizumi, Jordi Garcia-Mas, Jocelyn Rose, editors

QK566

River algae

Orlando Necchi, Jr., editor

QK568.M52

The physiology of microalgae

Michael A. Borowitzka, John Beardall, John A. Raven, editors

QK570.2

Seaweed phylogeography : adaptation and evolution of seaweeds under environmental change

Zi-Min Hu, Ceridwen Fraser, editors

QK603

Growth, differentiation and sexuality : a comprehensive treatise on fungi as experimental systems for basic and applied research

volume editor: Jürgen Wendland

QK603

The mycota. III, Biochemistry and molecular biology : : a comprehensive treatise on fungi as experimental systems for basic and applied research

volume editor: Dirk Hoffmeister

QK603

Environmental and microbial relationships

volume editors: I.S. Druzhinina and C.P. Kubicek ; edited by K. Esser

QK603.2

Biology of microfungi

De-Wei Li, editor

QK725

Switching on plant innate immunity signaling systems : bioengineering and molecular manipulation of PAMP-PIMP-PRR signaling complex

P. Vidhyasekaran

QK731

Plant hormones under challenging environmental factors

Golam Jalal Ahammed, Jing-Quan Yu, editors

QK746

Bioformulations : for sustainable agriculture

Naveen Kumar Arora, Samina Mehnaz, Raffaella Balestrini, editors

QK754.7.D75 A36 2016eb

Water stress and crop plants : a sustainable approach

by Parvaiz Ahmad

QK881

Microbial-mediated induced systemic resistance in plants

Devendra K. Choudhary, Ajit Varma, editors

QK882

Canopy photosynthesis : from basics to applications

edited by Kouki Hikosaka, Ülo Niinemets and Niels P.R. Anten

QK901

Vegetation structure and function at multiple spatial, temporal and conceptual scales

Elgene Owen Box, editor

QK98.5.A1 L55 2016eb

Edible medicinal and non medicinal plants. Volume 10, Modified stems, roots, bulbs

T. K. Lim

QK98.5.A1 L55 2016eb

Edible medicinal and non medicinal plants. Volume 11, Modified stems, roots, bulbs

T. K. Lim

QK98.5.A1 L55 2016eb

Edible medicinal and non medicinal plants. Volume 12, Modified stems, roots, bulbs

T. K. Lim

QK981.4

Molecular breeding for sustainable crop improvement. Volume 2

Vijay Rani Rajpal, S. Rama Rao, S.N. Raina, editors

QL125

Fish4Knowledge : collecting and analyzing massive coral reef fish video data

Robert B. Fisher, Yun-Hen Chen-Burger, Daniela Giordano, Lynda Hardman, Fang-Pang Lin, editors

QL365.365

Invertebrates in freshwater wetlands : an international perspective on their ecology

Darold Batzer, Dani Boix, editors

QL391.P7

The giant liver fluke, Fascioloides magna : past, present and future research

Ivica Králová-Hromadová, Ludmila Juhásová, Eva Bazsalovicsová

QL463

Mealybugs and their management in agricultural and horticultural crops

M. Mani, C. Shivaraju, editors

QL463

Alien species and insect conservation

Tim R. New

QL493

Short views on insect genomics and proteomics : insect proteomics.

Chandrasekar Raman, Marian R. Goldsmith, Tolulope A. Agunbiade, editors

QL495

Insect hearing

Gerald S. Pollack, Andrew C. Mason, Arthur N. Popper, Richard R. Fay, editors

QL562.2

Sperm competition in butterflies

Mamoru Watanabe

QL613

Ascidians in coastal water : a comprehensive inventory of Ascidian fauna from the Indian Coast

H. Abdul Jaffar Ali, M. Tamilselvi

QL638.M33 S66 2016eb

Tarpons : biology, ecology, fisheries

Stephen Spotte

QL639.1 .F54 2016

Fish hearing and bioacoustics : an anthology in honor of Arthur N. Popper and Richard R. Fay

Joseph A. Sisneros, editor

QL641 .A457 2016

Amphibian and reptile adaptations to the environment : interplay between physiology and behavior

edited by Denis Vieira de Andrade (Instituto de Biociências, UNESP-Univ Estadual Paulista, Departamento de Zoologia, RIO Claro, SP, Brazil), Catherine R. Bevier (Department of Biology, Colby College, Waterville, ME, USA), José Eduardo de Carvalho (Federal University of São Paulo, Brazil)

QL669.8 .R47 2016eb

Reptile ecology and conservation : a handbook of techniques

edited by C. Kenneth Dodd

QL683.N73 B87 2016

Habitat, population dynamics, and metal levels in colonial waterbirds : a food chain approach

Joanna Burger, Michael Gochfeld

QL737.C23 S63 2016

Snow leopards

series editor, Philip J. Nyhus (Environmental Studies Program, Colby College, Waterville, ME, USA) ; volume editors, Thomas McCarthy (Snow Leopard Program, Panthera, New York, NY, USA), David Mallon (Division of Biology and Conservation Ecology, Manchester Metropolitan University, Manchester, UK)

QL737.C5

Bats in the anthropocene : conservation of bats in a changing world

Christian C. Voigt, Tigga Kingston, editors

QL737.C5

Bat bioacoustics

M. Brock Fenton, Alan D Grinnell, Arthur N. Popper, Richard R. Fay, editors

QL737.C5

Sociality in bats

Jorge Ortega, editor

QL737.P95 N67 2016

The missing lemur link : an ancestral step in the evolution of human behaviour

Ivan Norscia, University of Pisa, Italy, and Elisabetta Palagi, University of Pisa, Italy

QL737.U53

Antelope conservation : from diagnosis to action

edited by Jakob Bro-Jørgensen and David P. Mallon

QL785 .M455 2016eb

The biological bases of economic behaviour : a concise introduction

David McFarland

QM178

Vascular tumors and developmental malformations : pathogenic mechanisms and molecular diagnosis

Paula E. North, Tara Sander, editors

QM23.2 .A43 2016

This mortal coil : the human body in history and culture

Fay Bound Alberti

QM25

Weir & Abrahams' imaging atlas of human anatomy

editors, Jonathan D. Spratt, Lonie R. Salkowski, Marios Loukas, Tom Turmezei ; consultant editors, Jamie Weir, Peter H. Abrahams

QM353

Multidisciplinary teaching atlas of the pancreas : radiological, surgical, and pathological correlations

Javier Casillas, Joe U. Levi, Alexander O. Quiroz, Roberto Ruiz-Cordero, Monica T. Garcia-Buitrago, Danny Sleeman

QP101

Vascular engineering : new prospects of vascular medicine and biology with a multidiscipline approach

Kazuo Tanishita, Kimiko Yamamoto, editors

QP105 .Z36 2015

Hemo-dynamics

Mair Zamir

QP106.6

Angiogenesis in health, disease and malignancy

Ali Salajegheh

QP113.2

3D analysis of the myocardial microstructure : determination of fiber and sheet orientations

Johanna Maria Ticar

QP114.R45

Stem cells and cardiac regeneration [electronic resource]

Rosalinda Madonna, editor

QP121 .N75 2017

Nunn's applied respiratory physiology

Andrew B. Lumb, MB, BS, FRCA, Consultant Anaesthetist, St. James University Hospital, Honorary Clinical Associate Professor in Anaesthesia, University of Leeds, Leeds, UK ; foreword by Ronald G. Pearl, MD, PhD, Dr. Richard K. and Erika N. Richards Professor, Chairman, Department of Anesthesiology, Perioperative and Pain Medicine, Stanford University School of Medicine, Stanford, CA, USA

QP144.B48

Beverage impacts on health and nutrition

Ted Wilson, Norman J. Temple, editors

QP144.G45

Nutrigenomics

Carsten Carlberg, Stine Marie Ulven, Ferdinand Molnár

QP171

Metabolic control

Stephan Herzig, editor

QP187

Post-transcriptional mechanisms in endocrine regulation

K.M.J. Menon, Aaron C. Goldstrohm, editors

QP252

Molecular mechanisms of cell differentiation in gonad development

Rafal P. Piprek, editor

QP261

Frontiers in gynecological endocrinology. Volume 3, ovarian function and reproduction - from needs to possibilities

Andrea R. Genazzani, Basil C. Tarlatzis, editors

QP301

Growth factors and cytokines in skeletal muscle development, growth, regeneration and disease

Jason White, Gayle Smith, editors

QP303

Neuromechanical modeling of posture and locomotion

Boris I. Prilutsky, Donald H. Edwards, editors

QP303

Computational biomechanics for medicine : imaging, modeling and computing

Grand R. Joldes, Barry Doyle, Adam Wittek, Poul M.F. Nielsen, Karol Miller, editors

QP341

II Latin American Conference on Bioimpedance : 2nd CLABIO, Montevideo, September 30-October 02, 2015

Franco Simini and Pedro Bertemes-Filho, editors

QP341

A parametric framework for modelling of bioelectrical signals

Yar M. Mughal (Yar Muhammad)

QP341

Electrophysiology : basics, modern approaches and applications

Jürgen Rettinger, Silvia Schwarz, Wolfgang Schwarz

QP357.5

The digital synaptic neural substrate : a new approach to computational creativity

Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi

QP360

A neuro-psychoanalytical dialogue for bridging Freud and the neurosciences

Sigrid Weigel, Gerhard Scharbert, editors

QP360

Neuropsychological formulation : a clinical casebook

Jamie A.B. Macniven, editor

QP360.5

Cognitive enhancement : social and public policy issues

Robert H. Blank

QP360.5

Cognitive phase transitions in the cerebral cortex : enhancing the neuron doctrine by modeling neural fields

Robert Kozma, Walter J. Freeman

QP360.5

Advances in cognitive neurodynamics (V) : proceedings of the fifth International Conference on Cognitive Neurodynamics -- 2015

Rubin Wang, Fanji Gu, Enhua Shen, editors

QP363

Stochastic neuron models

Priscilla E. Greenwood, Lawrence M. Ward

QP363.3

Principles of neural information processing

Werner v. Seelen, Konstantin Behrend

QP363.3

An introduction to neural information processing [electronic resource]

Peiji Liang, Si Wu, Fanji Gu

QP363.3

Neuronal network dynamics in 2D and 3D in vitro neuroengineered systems

Monica Frega

QP370

Multimodal oscillation-based connectivity theory

Satu Palva, editor

QP376.6 .N48 2016

Neuroimaging personality, social cognition, and character

editor, John R. Absher ; co-editor, Jasmin Cloutier

QP383

Functional mapping of the cerebral cortex : safe surgery in eloquent brain

Richard W. Byrne, editor

QP383.2

The amygdaloid nuclear complex : anatomic study of the human amygdala

Vincent Di Marino, Yves Etienne, Maurice Niddam

QP401 .P68 2016

Positive neuroscience

[edited by] Joshua D. Greene, India Morrison, and Martin E.P. Seligman

QP406

The neurobiological basis of memory : a system of attribute and process analysis

[editors] Pamela A. Jackson, Andrea A. Chiba, Robert F. Berman, Michael E. Ragozzino

QP406

Novel mechanisms of memory

Karl Peter Giese, Kasia Radwanska, editors

QP411

Brain function and responsiveness in disorders of consciousness

Martin M. Monti, Walter G. Sannita, editors

QP431

The ecology of animal senses : matched filters for economical sensing

Gerhard von der Emde, Eric Warrant, editors

QP455

Chemical signals in vertebrates 13

Bruce A. Schulte, Thomas E. Goodwin, Michael H. Ferkin, editors

QP455 .C547 2016

Chemosensory transduction : the detection of odors, tastes, and other chemostimuli

edited by Frank Zufall, Steven D. Munger

QP458

The hidden power of smell : how chemicals influence our lives and behavior

Paul A. Moore

QP471.2

The primary auditory neurons of the Mammalian Cochlea : with 58 illustrations

Alain Dabdoub, Bernd Fritzsch, Arthur N. Popper and Richard R. Fay, editors

QP475

Ocular and visual physiology : clinical application

Simon E. Skalicky

QP517.B56

Biomimetics : bioinspired hierarchical-structured surfaces for green science and technology

Bharat Bhushan

QP517.M65

Studies of photoinduced molecular dynamics using a fast imaging sensor

Craig S. Slater

QP517.M65

Mechanism of functional expression of the molecular machines

Masahiro Kinoshita

QP517.P76

The discreet charm of protein binding sites

Joseph Yariv

QP519.9.C36

Capillary electrophoresis -- mass spectrometry (CE-MS) : principles and applications

edited by Gerhardus de Jong

QP519.9.M3

Advances in MALDI and laser-induced soft ionization mass spectrometry

Rainer Cramer, editor

QP519.9.M3

Applications of mass spectrometry in microbiology : from strain characterization to rapid screening for antibiotic resistance

Plamen Demirev, Todd R. Sandrin, editors

QP535.C2

Models of calcium signalling

Geneviève Dupont, Martin Falcke, Vivien Kirk, James Sneyd

QP551

Single-molecule fluorescence spectroscopy of the folding of a repeat protein

Sharona Cohen

QP552.A87

ABC transporters -- 40 years on

Anthony M. George, editor

QP552.C34

Organic cation transporters : integration of physiology, pathology, and pharmacology

Giuliano Ciarimboli, Sophie Gautron, Eberhard Schlatter, editors

QP552.C42

The cadherin superfamily : key regulators of animal development and physiology

Shintaro T. Suzuki, Shinji Hirano, editors

QP552.H43

Heat shock factor

Akira Nakai, editor

QP552.L42

C-type lectin receptors in immunity

Sho Yamasaki, editor

QP552.M44

Membrane protein-- lipid interactions : physics and chemistry in the Bilayer

Jordi H. Borrell, Òscar Domènech, Kevin M.W. Keough

QP552.M47

Metallothioneins in normal and cancer cells

Piotr Dziegiel, Bartosz Pula, Christopher Kobierzycki, Mariusz Stasiolek, Marzenna Podhorska-Okolow

QP552.M54 A38 2016eb

Advanced dairy chemistry. Volume 1B, Proteins : applied aspects

Paul L. H. McSweeney, James A. O'Mahony, editors

QP561 .M65 2016

The molecular nutrition of amino acids and proteins : a volume in the molecular nutrition series

edited by Dominique Dardevet (Institut National de la Recherche Agronomique (INRA), Ceyrat, France)

QP571

Hormones and the endocrine system : textbook of endocrinology

Bernhard Kleine, Winfried G. Rossmanith

QP572.P47

Primer effects by murine pheromone signaling : pheromonal influences on reproductive conditions

Sachiko Koyama

QP603.H45 W36 2016eb

A novel heme-thiolate peroxygenase AaeAPO and its implications for C-H activation chemistry

Xiaoshi Wang

QP609.A3

Regulation of Ca2+-ATPases,V-ATPases and F-ATPases

edited by Sajal Chakraborti, Naranjan S. Dhalla

QP609.S63

Regulation of membrane Na+-K+ ATPase

Sajal Chakraborti, Naranjan S. Dhalla, editors

QP623

Non-coding RNA and the reproductive system

Dagmar Wilhelm, Pascal Bernard, editors

QP623.8.P75

RNA processing : disease and genome-wide probing

Gene W. Yeo, editor

QP624

DNA replication, recombination, and repair : molecular mechanisms and pathology

Fumio Hanaoka, Kaoru Sugasawa, editors

QP625.N89

Field guidelines for genetic experimental designs in high-throughput sequencing

Ana M. Aransay, José Luis Lavín Trueba, editors

QP632.M37

Marine and freshwater toxins

P. Gopalakrishnakone, editor-in-chief ; Vidal Haddad Jr., Aurelia Tubaro, Euikyung Kim, William R. Kem, editors

QP671.C85

Cytochrome complexes : evolution, structures, energy transduction, and signaling

edited by William A. Cramer and Toivo Kallas

QP701

Metabolic response of slowly absorbed carbohydrates in type 2 diabetes mellitus

Meidjie Ang

QP772.V53

Vitamin D : a clinical casebook

Vin Tangpricha, editor

QP84.6

Circadian clocks : role in health and disease

Michelle L. Gumz, editor

QP86

Advances in geroscience

Felipe Sierra, Ronald Kohanski, editors

QP88

Structure-based mechanics of tissues and organs

Ghassan S. Kassab, Michael S. Sacks, editors

QP905

The alkali metal ions : their role for life

Astrid Sigel, Helmut Sigel, Roland K.O. Sigel, editors

QP99.3.O9

Oxygen transport to tissue. XXXVII

Clare E. Elwell, Terence S. Leung, David K. Harrison, editors

QR100.8.S9

The holobiont imperative : perspectives from early emerging animals

Thomas C. G. Bosch, David J. Miller

QR100.9

Extremophiles : where it all began

Koki Horikoshi

QR106

The marine microbiome : an untapped source of biodiversity and biotechnological potential

Lucas J. Stal, Mariana Silvia Cretoiu, editors

QR151

Yeast membrane transport

José Ramos, Hana Sychrová, Maik Kschischo, editors

QR177 .K66 2016

Antibiotic resistance : mechanisms and new antimicrobial approaches

Kateryna Kon, MD, PhD, Department of Microbiology, Virology, and Immunology, Kharkiv National Medical University, Kharkiv, Ukraine and Mahendra Rai, PhD, Biotechnology Department, SGB Amravati University, Maharashtra, India

QR182

Environmental influences on the immune system

Charlotte Esser, editor

QR183.6

Technical aspects of toxicological immunohistochemistry : system specified biomarkers

Syed A. Aziz, Rekha Mehta, editors

QR185.8.B15

B cell receptor signaling [electronic resource]

Tomohiro Kurosaki, Jürgen Wienands, editors

QR185.8.K54

Natural killer cells

Eric Vivier, James Di Santo, Alessandro Moretta, editors

QR185.8.S96

Myeloid-derived suppressor cells and cancer

David Escors, James E. Talmadge, Karine Breckpot, Jo A. Van Ginderachter, Grazyna Kochan

QR186

Th2 Type Immune Response in Health and Disease [electronic resource]

QR186

Synthetic immunology

Takeshi Watanabe, Yousuke Takahama, editors

QR189

Introduction to molecular vaccinology

Matthias Giese

QR201.F62

Food safety risks from wildlife : challenges in agriculture, conservation, and public health

Michele Jay-Russell, Michael P. Doyle, editors

QR201.H46

Hepatitis B virus in human diseases

Yun-Fan Liaw, Fabien Zoulim

QR201.V55 O94 2016

Human virology

John Oxford, Paul Kellam, Leslie Collier; with case studies by Dr Berenice Langdon and Dr. Juliette Oxford

QR351

Plant growth promoting actinobacteria : a new avenue for enhancing the productivity and soil fertility of grain legumes

Gopalakrishnan Subramaniam, Sathya Arumugam, Vijayabharathi Rajendran, editors

QR360

Quasispecies : from theory to experimental systems

Esteban Domingo, Peter Schuster, editors

QR41.2

Frontier discoveries and innovations in interdisciplinary microbiology

Pratyoosh Shukla, editor

QR41.2 .S93 2016

Microbe

Michele Swanson, Gemma Reguera, Moselio Schaechter, Frederick Neidhardt

QR46

Microbial endocrinology : interkingdom signaling in infectious disease and health [electronic resource]

edited by Mark Lyte

QR46

Practical medical microbiology for clinicians

Frank E. Berkowitz, Robert C. Jerris

QR51

Microbial inoculants in sustainable agricultural productivity. Vol. 1, Research perspectives

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

QR82.P78

Pseudomonas : molecular and applied biology

Rachhpal S. Kahlon, editor

QR82.P78

Acetic acid bacteria : ecology and physiology

Kazunobu Matsushita, Hirohide Toyama, Naoto Tonouchi, Akiko Okamoto-Kainuma, editors

QR84.5

New weapons to control bacterial growth

Tomas G. Villa, Miguel Vinas, editors

QR89.7

Biological nitrogen fixation and beneficial plant-microbe interaction

Fernando González-Andrés, Euan James, editors