Skip to main content

University Libraries

Science & Technology (General)

Items Acquired in May 2017 for the University Libraries

Numbers and computers

Ronald T. Kneusel

Call Number: QA241

Elliptic curves, modular forms and Iwasawa theory : in honour of John H. Coates' 70th Birthday, Cambridge, UK, March 2015 [electronic resource]

David Loeffler, Sarah Livia Zerbes, editors

Call Number: QA241

A brief history of numbers

Leo Corry

Call Number: QA241 .C6945 2015

Diophantine analysis : course notes from a Summer School [electronic resource]

Jörn Steuding, editor

Call Number: QA242

Fuzzy sets, rough sets, multisets and clustering

Vicenç Torra, Anders Dahlbom, Yasuo Narukawa, editors

Call Number: QA248

Foundations of mathematics : logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA

Andres Eduardo Caicedo [and three others], editors

Call Number: QA248 .F6945 2017

Brauer groups and obstruction problems : Moduli spaces and arithmetic

Asher Auel, Brendan Hassett, Anthony Várilly-Alvarado, Bianca Viray, editors

Call Number: QA251.3

Foundations of commutative rings and their modules

Fanggui Wang, Hwankoo Kim

Call Number: QA251.3

Language and automata theory and applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Frank Drewes, Carlos Martín-Vide, Bianca Truthe (eds.)

Call Number: QA267

Small dynamic complexity classes : an investigation into dynamic descriptive complexity

Thomas Zeume

Call Number: QA267.7

Error-correction coding and decoding : bounds, codes, decoders, analysis and applications [electronic resource]

Martin Tomlinson, Cen Jung Tjhai, Marcel A. Ambroze, Mohammed Ahmed, Mubarak Jibril

Call Number: QA268

Error-correction coding and decoding : bounds, codes, decoders, analysis and applications

Martin Tomlinson, Cen Jung Tjhai, Marcel A. Ambroze, Mohammed Ahmed, Mubarak Jibril

Call Number: QA268 .E77 2017

Error-correction coding and decoding : bounds, codes, decoders, analysis and applications

Martin Tomlinson, Cen Jung Tjhai, Marcel A. Ambroze, Mohammed Ahmed, Mubarak Jibril

Call Number: QA268 .E77 2017

A basic course in probability theory

Rabi Bhattacharya, Edward C. Waymire

Call Number: QA273

Discrete probability models and methods : probability on graphs and trees, Markov chains and random fields, entropy and coding

Pierre Brémaud

Call Number: QA273.19.E4

Stochastic modeling

Nicolas Lanchier

Call Number: QA274.2

Applied and computational matrix analysis : MAT-TRIAD, Coimbra, Portugal, September 2015 Selected, revised contributions

Natália Bebiano, editor

Call Number: QA274.2

Random obstacle problems : École d'Été de Probabilités de Saint-Flour XLV - 2015

Lorenzo Zambotti

Call Number: QA274.25 .Z36 2017

Pricing Derivatives Under Lévy Models : Modern Finite-Difference and Pseudo-Differential Operators Approach

Call Number: QA274.73

Directed polymers in random environments : École d'Été de Probabilités de Saint-Flour XLVI -- 2016

Francis Comets

Call Number: QA274.73

Random walks in the quarter plane : algebraic methods, boundary value problems, applications to queueing systems and analytic combinatorics

Guy Fayolle, Roudolf Iasnogorodski, Vadim Malyshev

Call Number: QA274.73

Regularity and irregularity of superprocesses with (1 + [beta])-stable branching mechanism

Leonid Mytnik, Vitali Wachtel

Call Number: QA274.76

Innovative trend methodologies in science and engineering

Zekâi Şen

Call Number: QA276

Mathematische Statistik : Für Mathematiker, Natur- und Ingenieurwissenschaftler

Dieter Rasch und Dieter Schott

Call Number: QA276

Introduction to statistics and data analysis : with exercises, solutions and applications in R

Christian Heumann, Michael Schomaker, Shalabh

Call Number: QA276

Analytical methods in statistics : AMISTAT, Prague, November 2015

Jaromír Antoch, Jana Jurečková, Matúš Maciak, Michal Pešta, editors

Call Number: QA276.A1

Fourier-Malliavin volatility estimation : theory and practice

Maria Elvira Mancino, Maria Cristina Recchioni, Simona Sanfelici

Call Number: QA276.8

Robust and distributed hypothesis testing

Gökhan Gül

Call Number: QA277

Exploratory multivariate analysis by example using R

Francois Husson, Sebastien Le, Jérôme Pagès

Call Number: QA278 .H87 2017

Handbook of Ratings : Approaches to Ratings in the Economy, Sports, and Society

by Alexander Karminsky, Andrey Polozov

Call Number: QA278.75

Reasoning with data : an introduction to traditional and Bayesian statistics using R

Jeffrey M. Stanton

Call Number: QA279.5 .S745 2017

Methods of Solving Sequence and Series Problems [electronic resource]

by Ellina Grigorieva

Call Number: QA292

Divergence operator and related inequalities

Gabriel Acosta, Ricardo G. Durán

Call Number: QA295

Intelligent comparisons II : operator inequalities and approximations

George A. Anastassiou

Call Number: QA297

Splitting methods in communication, imaging, science, and engineering

Roland Glowinski, Stanley J. Osher, Wotao Yin, editors

Call Number: QA297.5

INTERVAL ANALYSIS AND AUTOMATIC RESULT VERIFICATION

Call Number: QA297.75 .M39 2017

Monte-Carlo simulation-based statistical modeling

Ding-Geng (Din) Chen, John Dean Chen, editors

Call Number: QA298

Analysis : from concepts to applications [electronic resource]

Jean-Paul Penot

Call Number: QA300

Real analysis

Fon-Che Liu

Call Number: QA300 .L58 2016

Ergodic theory : independence and dichotomies

David Kerr, Hanfeng Li

Call Number: QA313

Fractional-order modeling and control of dynamic systems

Aleksei Tepljakov

Call Number: QA314

Fractal elements and their applications

Anis Kharisovich Gil'mutdinov, Pyotr Arkhipovich Ushakov, Reyad El-Khazali ; ed. by A.Kh. Gil'mutdinov

Call Number: QA314

Spectral analysis of growing graphs : a quantum probability point of view

Nobuaki Obata

Call Number: QA320

Geometry of the generalized geodesic flow and inverse spectral problems

Vesselin M. Petkov, Luchezar N. Stoyanov

Call Number: QA320

Convex Analysis and Monotone Operator Theory in Hilbert Spaces [electronic resource]

Call Number: QA322.4

Hölder and locally Hölder continuous functions, and open sets of Class Ĉk, Ĉ{k,lambda}

Renato Fiorenza

Call Number: QA323

Positive operator semigroups : from finite to infinite dimensions

András Bátkai, Marjeta Kramar Fijavž, Abdelaziz Rhandi

Call Number: QA329

Recent trends in operator theory and partial differential equations : the Roland Duduchava anniversary volume

Vladimir Maz'ya, David Natroshvili, Eugene Shargorodsky, Wolfgang L. Wendland, editors

Call Number: QA329

Pseudodifferential equations over non-Archimedean spaces

W. A. Zúñiga-Galindo

Call Number: QA329.7

Pseudo-differential operators : groups, geometry and applications

M. W. Wong, Hongmei Zhu, editors

Call Number: QA329.7

A companion to science, technology, and medicine in ancient Greece and Rome

edited by Georgia L. Irby

Call Number: Q124.95

Chemiker im "Dritten Reichʺ : die Deutsche Chemische Gesellschaft und der Verein Deutscher Chemiker im NS-Herrschaftsapparat

Helmut Maier

Call Number: Q127.G3

Body modern : Fritz Kahn, scientific illustration, and the homuncular subject

Michael Sappol

Call Number: Q143.K24 S27 2017

Failing Families, Failing Science : Work-Family Conflict in Academic Science

Call Number: Q147

Fractional order control and synchronization of chaotic systems [electronic resource]

Ahmad Taher Azar, Sundarapandian Vaidyanathan, Adel Ouannas, editors

Call Number: Q172.5.C45

Errors, blunders, and lies

David Salsburg

Call Number: Q172.5.E77 S38 2017

Is the universe a hologram? : scientists answer the most provocative questions

[interviews by] Adolfo Plasencia ; foreword by Tim O'Reilly

Call Number: Q173 .I8 2017

About method : experimenters, snake venom, and the history of writing scientifically

Jutta Schickore

Call Number: Q174.8 .S333 2017

The systems view of life : a unifying vision

Fritjof Capra, formerly of the Lawrence Berkeley National Laboratory, CA, USA, Pier Luigi Luisi, University of Rome 3, Italy

Call Number: Q175 .C2455 2014

Kant and the laws of nature

[edited by] Michela Massimi, University of Edinburgh, Angela Breitenbach, University of Cambridge

Call Number: Q175 .K1788 2017

Scienceblind : why our intuitive theories about the world are so often wrong

Andrew Shtulman

Call Number: Q175.32.R45 S48 2017

Precautionary principle, pluralism and deliberation : science and ethics

Bernard Reber

Call Number: Q175.35

Groovy science : knowledge, innovation, and American counterculture

David Kaiser and W. Patrick McCray, editors

Call Number: Q175.5 .G756 2016eb

Not a scientist : how politicians mistake, misrepresent, and utterly mangle science

Dave Levitan

Call Number: Q175.5 .L4745 2017

Förderatlas 2015 : Kennzahlen zur öffentlich finanzierten Forschung in Deutschland

Deutsche Forschungsgemeinschaft

Call Number: Q180.G4

Sustaining interdisciplinary collaboration : a guide for the academy

Regina F. Bendix, Kilian Bizer, Dorothy Noyes

Call Number: Q180.55.I48 B46 2017

The essential guide to doing your research project

Zina O'Leary

Call Number: Q180.55.M4 O55 2017

The hermeneutic side of responsible research and innovation

Armin Grunwald

Call Number: Q180.55.M67

A tapestry of values : an introduction to values in science

Kevin C. Elliott

Call Number: Q180.55.M67 E45 2017

Introduction to data science : a Python approach to concepts, techniques and applications

Laura Igual, Santi Seguí ; with contributions from Jordi Vitrià... [et al.]

Call Number: Q180.55.Q36

Beginning data science in R : data analysis, visualization, and modelling for the data scientist

Thomas Mailund

Call Number: Q180.55.Q36

Science education : a global perspective

Ben Akpan, editor

Call Number: Q181

Preparing Informal Science Educators : Perspectives from Science Communication and Education

Call Number: Q181

Improving how universities teach science : lessons from the Science Education Initiative

Carl Wieman

Call Number: Q181 .W54 2017

Overcoming students' misconceptions in science : strategies and perspectives from Malaysia

Mageswary Karpudewan, Ahmad Nurulazam Md. Zain, A.L. Chandrasegaran, editors

Call Number: Q183.4.M34

Scientific scholarly communication : the changing landscape

Pali U. K. De Silva, Candace K. Vance

Call Number: Q223

Contested knowledge : science, media, and democracy in Kerala

Shiju Sam Varughese

Call Number: Q225

Applied multidimensional systems theory

Nirmal K. Bose

Call Number: Q295

Machine learning and intelligent communications : first International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers

Huang Xin-lin (ed.)

Call Number: Q325.5

Financial signal processing and machine learning

edited by Ali N. Akansu, Sanjeev R. Kulkarni, Dmitry Malioutov

Call Number: Q325.5

Machine learning, optimization, and big data : Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers

Panos M. Pardalos, Piero Conca, Giovanni Giuffrida, Giuseppe Nicosia (eds.)

Call Number: Q325.5

Pattern recognition applications and methods : 5th International Conference, ICPRAM 2016, Rome, Italy, February 24-26, 2016, Revised selected papers

Ana Fred, Maria De Marsico, Gabriella Sanniti di Baja (eds.)

Call Number: Q327 .I58 2016eb

Agents and artificial intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised selected papers

Jaap van den Herik, Joaquim Filipe (eds.)

Call Number: Q334

Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016)

Ajith Abraham, Abdelkrim Haqiq, Adel M. Alimi, Ghita Mezzour, Nizar Rokbani, Azah Kamilah Muda, editors

Call Number: Q334

Proceedings of the 5th International Conference on Frontiers in Intelligent Computing : theory and applications : FICTA 2016.

Suresh Chandra Satapathy, Vikrant Bhateja, Siba K. Udgata, Prasant Kumar Pattnaik, editors

Call Number: Q334

Smart trends in information technology and computer communications : first International Conference, SmartCom 2016, Jaipur, India, August 6-7, 2016, Revised Selected Papers [electronic resource]

Aynur Unal, Malaya Nayak, Durgesh Kumar Mishra, Dharm Singh, Amit Joshi (eds.)

Call Number: Q334

Quantum interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised selected papers

Jose Acacio de Barros, Bob Coecke, Emmanuel Pothos (eds.)

Call Number: Q334

Combinations of intelligent methods and applications : proceedings of the 4th International Workshop, CIMA 2014, Limassol, Cyprus, November 2014 (at ICTAI 2014)

Ioannis Hatzilygeroudis, Vasile Palade, Jim Prentzas, Editors

Call Number: Q334 .C66 2016

Self-aware computing systems [electronic resource]

Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors

Call Number: Q335

Instinctive Computing

Call Number: Q335

Bio-inspired computing -- theories and applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised selected papers.

Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang (eds)

Call Number: Q335

Bio-inspired computing -- theories and applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised selected papers.

Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang (eds)

Call Number: Q335

Achieving consensus in robot swarms : design and analysis of strategies for the best-of-n problem

Gabriele Valentini

Call Number: Q337.3

Glowworm swarm optimization : theory, algorithms, and applications

Krishnanand N. Kaipa, Debasish Ghose

Call Number: Q337.3

Progress in pattern recognition, image analysis, computer vision, and applications : 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8-11, 2016, Proceedings

César Beltrán-Castañón, Ingela Nyström, Fazel Famili (eds.)

Call Number: Q337.5

Decision support system for diagnosis and treatment of hearing disorders : the case of... tinnitus [electronic resource]

Call Number: Q342

Computational intelligence applications to option pricing, volatility forecasting and value at risk

Fahed Mostafa, Tharam Dillon, Elizabeth Chang

Call Number: Q342

Computational intelligence in wireless sensor networks : recent advances and future challenges

edited by Ajith Abraham, Rafael Falcon, Mario Koeppen

Call Number: Q342

Recent Advances on Soft Computing and Data Mining : the Second International Conference on Soft Computing and Data Mining (SCDM-2016), Bandung, Indonesia, August 18-20, 2016 Proceedings

edited by Tutut Herawan, Rozaida Ghazali, Nazri Mohd Nawi, Mustafa Mat Deris

Call Number: Q342

Artificial life and computational intelligence : third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31-February 2, 2017, Proceedings

Markus Wagner, Xiaodong Li, Tim Hendtlass (eds.)

Call Number: Q342 .A22 2017eb

Uncertainty modeling : dedicated to Professor Boris Kovalerchuk on his anniversary

Vladik Kreinovich, editor

Call Number: Q375

Advanced computing in industrial mathematics : revised selected papers of the 10th Annual Meeting of the Bulgarian Section of SIAM December 21-22, 2015, Sofia, Bulgaria

Krassimir Georgiev, Michail Todorov, Ivan Georgiev, editors

Call Number: QA1

Mathematics across contemporary sciences : AUS-ICMS, Sharjah, UAE, April 2015

Taher Abualrub, Abdul Salam Jarrah, Sadok Kallel, Hana Sulieman, editors

Call Number: QA1

Abstractionism : essays in philosophy of mathematics

edited by Philip A. Ebert and Marcus Rossberg

Call Number: QA8.4

Abstraction and infinity

Paolo Mancosu

Call Number: QA9

Logic and its applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Sujata Ghosh, Sanjiva Prasad (eds.)

Call Number: QA9.A1 I24 2017eb

Beyond infinity : an expedition to the outer limits of mathematics

Eugenia Cheng

Call Number: QA9 .C48618 2017

Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics

Dirk Draheim

Call Number: QA9.5

Fuzzy logic and soft computing applications : 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised selected papers

Alfredo Petrosino, Vincenzo Loia, Witold Pedrycz (eds.)

Call Number: QA9.64

The Mathematics Education of Prospective Secondary Teachers Around the World

by Marilyn E. Strutchens, Rongjin Huang, Leticia Losano, Despina Potari, Márcia Cristina de Costa Trindade Cyrino, João Pedro da Ponte, Rose Mary Zbiek

Call Number: QA10.5

What Matters? : Research Trends in International Comparative Studies in Mathematics Education

Call Number: QA11.2

The Philosophy of Mathematics Education

by Paul Ernest, Ole Skovsmose, Jean Paul van Bendegem, Maria Bicudo, Roger Miarka, Ladislav Kvasz, Regina Moeller

Call Number: QA11.2

Interdisciplinary Mathematics Education : a State of the Art

by Julian Williams, Wolff-Michael Roth, David Swanson, Brian Doig, Susie Groves, Michael Omuvwie, Rita Borromeo Ferri, Nicholas Mousoulides

Call Number: QA11.2

History of Mathematics Teaching and Learning : Achievements, Problems, Prospects

by Alexander Karp, Fulvia Furinghetti

Call Number: QA11.2

Teaching and Learning Mathematics through Variation : Confucian Heritage Meets Western Theories [electronic resource]

Call Number: QA16

Power-up : unlocking the hidden mathematics in video games

Matthew Lane

Call Number: QA20.C65 L36 2017

New mathematical cuneiform texts

Jöran Friberg, Farouk N.H. Al-Rawi

Call Number: QA22

Episodes in the mathematics of medieval Islam

J.L. Berggren

Call Number: QA27.A67

The life and works of John Napier

Brian Rice, Enrique González-Velasco, Alexander Corrigan

Call Number: QA29.N2

Equivalence : Elizabeth L. Scott at Berkeley

Amanda L. Golbeck

Call Number: QA29.S375 G65 2017

Mathematical bridges

Titu Andreescu, Cristinel Mortici, Marian Tetiva

Call Number: QA39.3

Applied computer sciences in engineering : third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised selected papers

Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, Roberto Ferro-Escobar (eds.)

Call Number: QA75.5

Advances in computing applications

Amlan Chakrabarti, Neha Sharma, Valentina Emilia Balas, editors

Call Number: QA76

Performance evaluation and benchmarking : traditional -- Big data -- Interest of Things : 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised selected papers

Raghunath Nambiar, Meikel Poess (eds.)

Call Number: QA76.545

Separation logic for high-level synthesis

Felix Winterstein

Call Number: QA76.58

Crowd-Powered Mobile Computing and Smart Things

Call Number: QA76.585

Encyclopedia of cloud computing

editors, San Murugesan, Irena Bojanova

Call Number: QA76.585

Model-driven development and operation of multi-cloud applications : the MODAClouds approach [electronic resource]

Elisabetta Di Nitto, Peter Matthews, Dana Petcu, Arnor Solberg, editors

Call Number: QA76.585

Elements of cloud storage security : concepts, designs and optimized practices

Tatiana Galibus, Viktor V. Krasnoproshin, Robson de Oliveira Albuquerque, Edison Pignaton de Freitas

Call Number: QA76.585

Semantic keyword-based search on structured data sources : COST Action IC1302 second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised selected papers

Andrea Calì, Dorian Gorgan, Martín Ugarte (eds.)

Call Number: QA76.5913

Pervasive computing : engineering smart systems

Natalia Silvis-Cividjian

Call Number: QA76.5915

Interoperability, safety and security in IoT : second International Conference, InterIoT 2016 and third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016, Revised selected papers

Nathalie Mitton, Hakima Chaouchi, Thomas Noel, Thomas Watteyne, Alban Gabillon, Patrick Capolsini (eds.)

Call Number: QA76.5915

Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers

edited by Jonathan P. Bowen, Huibiao Zhu

Call Number: QA76.6 .U86 2016eb

Genetic Programming Theory and Practice XIII [electronic resource]

edited by Rick Riolo, W.P. Worzel, Mark Kotanchek, Arthur Kordon

Call Number: QA76.623

Languages and compilers for parallel computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers

Chen Ding, John Criswell, Peng Wu (eds.)

Call Number: QA76.642

C# and XML primer

Jonathan Hartwell

Call Number: QA76.73.C154

Professional Clojure

Call Number: QA76.73.C565

Introduction to Mathematica® with applications

Marian Mureşan

Call Number: QA76.73.M29

PHP objects, patterns, and practice [electronic resource]

Matt Zandstra

Call Number: QA76.73.P224

Python unit test automation : practical techniques for Python developers and testers

Ashwin Pajankar

Call Number: QA76.73.P98

Programming with Python [electronic resource]

T.R. Padmanabhan

Call Number: QA76.73.P98

Agile Swift : Swift programming using Agile tools and techniques

Godfrey Nolan

Call Number: QA76.73.S95 N65 2017

Source Code Analytics With Roslyn and JavaScript Data Visualization [electronic resource]

Call Number: QA76.754

Source Code Analytics With Roslyn and JavaScript Data Visualization

Sudipta Mukherjee ; foreword by Darius Blasband

Call Number: QA76.754 .M85 2016

Software engineering education going agile : 11th China--Europe International Symposium on Software Engineering Education (CEISEE 2015)

Stephan Kassel, Bing Wu, editors

Call Number: QA76.758

Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers [electronic resource]

Anna-Lena Lamprecht (ed.)

Call Number: QA76.758

Software engineering and methodology for emerging domains : 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings

Lu Zhang, Chang Xu (eds.)

Call Number: QA76.758

Requirements engineering : foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27-March 2, 2017, Proceedings

Paul Grünbacher, Anna Perini (eds.)

Call Number: QA76.758 .R44 2017eb

macOS programming for absolute beginners : developing apps using Swift and Xcode

Wallace Wang

Call Number: QA76.76.A65

Knowledge representation for health care : HEC 2016 International Joint Workshop, KR4HCProHealth 2016, Munich, Germany, September 2, 2016, Revised selected papers

David Riaño, Richard Lenz, Manfred Reichert (eds.)

Call Number: QA76.76.A65

Innovations in Enterprise Information Systems Management and Engineering : 4th International Conference, ERP Future 2015 - Research, Munich, Germany, November 16-17, 2015, Revised Papers

edited by Michael Felderer, Felix Piazolo, Wolfgang Ortner, Lars Brehm, Hans-Joachim Hof

Call Number: QA76.76.A65

Pro Angular

Adam Freeman

Call Number: QA76.76.A65

GameMaker : Studio 100 programming challenges

Ben Tyers

Call Number: QA76.76.C672

Windows virus and malware troubleshooting

Andrew Bettany, Mike Halsey

Call Number: QA76.76.C68

Professional Git

Brent Laster

Call Number: QA76.76.D47

Intelligent systems design and applications : 16th International Conference on Intelligent Systems Design and Applications (ISDA 2016) held in Porto, Portugal, December 16-18, 2016

Ana Maria Madureira, Ajith Abraham, Dorabela Gamboa, Paulo Novais, editors

Call Number: QA76.76.E95

Fundamentals of computational intelligence : neural networks, fuzzy systems, and evolutionary computation

James M. Keller, Derong Liu, David B. Fogel

Call Number: QA76.76.E95 K45 2016eb

Code generation with Roslyn

Nick Harrison

Call Number: QA76.76.G46

Evolutionary multi-agent systems : from inspirations to applications [electronic resource]

Aleksander Byrski, Marek Kisiel-Dorohinicki

Call Number: QA76.76.I58

Advances in social computing and digital education : 7th International Workshop on Collaborative Agents Research and Development, CARE 2016, Singapore, May 9, 2016 and Second International Workshop on Social Computing in Digital Education, SocialEdu 2016, Zagreb, Croatia, June 6, 2016, Revised selected pape

edited by Fernando Koch, Andrew Koster, Tiago Primo, Christian Guttmann

Call Number: QA76.76.I58

Collaboration meets interactive spaces

Craig Anslow, Pedro Campos, Joaquim Jorge, editors

Call Number: QA76.76.I59

Troubleshooting iOS : Solving iPhone and iPad Problems

by Paul McFedries

Call Number: QA76.76.T48

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.)

Call Number: QA76.76.V47

Provably correct systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, editors

Call Number: QA76.76.V47

Deductive Software Verification -- The KeY Book : From Theory to Practice [electronic resource]

Wolfgang Ahrendt... [et al.] (eds.)

Call Number: QA76.76.V47

Decentralized neural control : application to robotics

Ramon Garcia-Hernandez, Michel Lopez-Franco, Edgar N. Sanchez, Alma Y. Alanis, Jose A. Ruz-Hernandez

Call Number: QA76.87

Artificial immune system : applications in computer security

Ying Tan

Call Number: QA76.875

High-performance scientific computing : first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, revised selected papers

Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann, Alexander Peyser (eds.)

Call Number: QA76.88

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

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

Call Number: QA76.88

Membrane computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised selected papers

Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron (eds.)

Call Number: QA76.887

Digital forensics and watermarking : 15th International Workshop, IWDW 2016, Beijing, China, September 17-19, 2016, Revised selected papers

Yun Qing Shi, Hyoung Joong Kim, Fernando Perez-Gonzalez, Feng Liu (eds.)

Call Number: QA76.9.A25

Topics in cryptology -- CT-RSA 2017 : the Cryptographers' track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings

Helena Handschuh (ed.)

Call Number: QA76.9.A25

Information security and cryptology -- ICISC 2016 : 19th International Conference, Seoul, South Korea, November 30-December 2, 2016, Revised selected papers

Seokhie Hong, Jong Hwan Park (eds.)

Call Number: QA76.9.A25

Cyber-risk informatics : engineering evaluation with data science

Mehmet Sahinoglu

Call Number: QA76.9.A25

Linux Server security : hack and defend

Chris Binnie

Call Number: QA76.9.A25

Information security and cryptology : 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised selected papers

Kefei Chen, Dongdai Lin, Moti Yung (eds.)

Call Number: QA76.9.A25

Advanced computing and systems for security. Volume four

Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki, editors

Call Number: QA76.9.A25

Advanced computing and systems for security. Volume Three

Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki, editors

Call Number: QA76.9.A25

The Quest to Cyber Superiority : Cybersecurity Regulations, Frameworks, and Strategies of Major Economies

Call Number: QA76.9.A25

Security, privacy, and applied cryptography engineering : 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings [electronic resource]

edited by Claude Carlet, M. Anwar Hasan, Vishal Saraswat

Call Number: QA76.9.A25

Global security, safety and sustainability : the security challenges of the connected world : 11th International Conference, ICGS3 2017, London, UK, January 18-20, 2017, Proceedings

Hamid Jahankhani, Alex Carlile, David Emm, Amin Hosseinian-Far, Guy Brown, Graham Sexton, Arshad Jamal (eds.)

Call Number: QA76.9.A25

Public-key cryptography -- PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings.

Serge Fehr (ed.)

Call Number: QA76.9.A25 I58 2017eb

Public-key cryptography -- PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings.

Serge Fehr (ed.)

Call Number: QA76.9.A25 I58 2017eb

Harmony search algorithm : proceedings of the 3rd International Conference on Harmony Search Algorithm (ICHSA 2017)

Javier Del Ser, editor

Call Number: QA76.9.A43

Computers and Games : 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers [electronic resource]

edited by Aske Plaat, Walter Kosters, Jaap van den Herik

Call Number: QA76.9.A43

Graph Drawing and Network Visualization : 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers [electronic resource]

edited by Yifan Hu, Martin Nöllenburg

Call Number: QA76.9.A43

WALCOM : algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29?31, 2017, proceedings

Sheung-Hung Poon, Md. Saidur Rahman, Hsu-Chun Yen (eds.)

Call Number: QA76.9.A43 W35 2017eb

Architecture of computing systems -- ARCS 2017 : 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue, Thilo Pionteck (eds.)

Call Number: QA76.9.A73 A72 2017eb

Handbook of big data technologies

Albert Y. Zomaya, Sherif Sakr, editors

Call Number: QA76.9.B45

A gift of fire : social, legal, and ethical issues for computing technology

Sara Baase, San Diego State University, Timothy M. Henry

Call Number: QA76.9.C66 B3 2018

Oracle Database upgrade and migration methods : including Oracle 12c Release 2

Y V Ravikumar, K M Krishnakumar, Nassyam Basha

Call Number: QA76.9.D3

The cloud DBA-Oracle : managing Oracle database in the cloud

Abhinivesh Jain, Niraj Mahajan

Call Number: QA76.9.D32

The Blockchain Alternative : Rethinking Macroeconomic Policy and Economic Theory

Call Number: QA76.9.D32

Techniques for evaluating the differences in multiregional input-output databases : a comparative evaluation of CO2 consumption-based accounts calculated using Eora, GTAP and WIOD

Anne Owen

Call Number: QA76.9.D32

Analysis of images, social networks and texts : 5th International Conference, AIST 2016, Yekaterinburg, Russia, April 7-9, 2016, Revised selected papers

Dmitry I. Ignatov, Mikhail Yu. Khachay, Valeri G. Labunets, Natalia Loukachevitch, Sergey I. Nikolenko, Alexander Panchenko, Andrey V. Savchenko, Konstantin Vorontsov (eds.)

Call Number: QA76.9.D343

Granular-relational data mining : how to mine relational data in the paradigm of granular computing?

Piotr Hońko

Call Number: QA76.9.D343

Spark : big data cluster computing in production

Ilya Ganelin [and others]

Call Number: QA76.9.D343

Data-driven process discovery and analysis : 5th International Symposium, SIMPDA 2015, Vienna, Austria, December 9-11, 2015, Revised selected papers

Paolo Ceravolo, Stefanie Rinderle-Ma (eds.)

Call Number: QA76.9.D343

Machine learning for health informatics : state-of-the-art and future challenges [electronic resource]

Andreas Holzinger (ed.)

Call Number: QA76.9.D343

Knowledge discovery, knowledge engineering and knowledge management : 7th International Joint Conference, IC3K 2015, Lisbon, Portugal, November 12-14, 2015, Revised selected papers

Ana Fred, Jan L.G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe (eds.)

Call Number: QA76.9.D343

Data Mining and Constraint Programming : Foundations of a Cross-Disciplinary Approach [electronic resource]

edited by Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi

Call Number: QA76.9.D343

Private data and public value : governance, green consumption, and sustainable supply chains

Holly Jarman, Luis F. Luna-Reyes, editors

Call Number: QA76.9.D343 P75 2016eb

EVERYBODY LIES BIG DATA, NEW DATA,

Call Number: QA76.9.D343 S685155 2017

Distributed computer and communication networks : 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised selected papers

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

Call Number: QA76.9.D5

Managing distributed dynamic systems with spatial grasp technology

Peter Simon Sapaty

Call Number: QA76.9.D5

Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers

Cyrille Artho, Peter Csaba Ölveczky (eds.)

Call Number: QA76.9.F67

Hyperconnectivity

Adrian David Cheok

Call Number: QA76.9.H85

Eye tracking and visualization : foundations, techniques, and applications. ETVIS 2015

Michael Burch, Lewis Chuang, Brian Fisher, Albrecht Schmidt, Daniel Weiskopf, editors

Call Number: QA76.9.H85

Bottlenecks : aligning UX design with user psychology

David C. Evans

Call Number: QA76.9.H85

Learning web-based virtual reality : build and deploy web-based virtual reality technology

Srushtika Neelakantam, Tanay Pant

Call Number: QA76.9.H85

Intelligent human computer interaction : 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016, Proceedings

Anupam Basu, Sukhendu Das, Patrick Horain, Samit Bhattacharya (eds.)

Call Number: QA76.9.H85

Brain-Inspired Computing : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers [electronic resource]

edited by Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov

Call Number: QA76.9.H85

Data visualisation with R : 100 examples

Thomas Rahlf

Call Number: QA76.9.I52

Matrix and tensor factorization techniques for recommender systems

Panagiotis Symeonidis, Andreas Zioupos

Call Number: QA76.9.I58

Logic, language, and computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised selected papers

Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat (eds.)

Call Number: QA76.9.L63

Applied logic for computer scientists : computational deduction and formal proofs

Mauricio Ayala-Rincón, Flávio L. C. de Moura

Call Number: QA76.9.L63

Fundamental proof methods in computer science : a computer-based approach

Konstantine Arkoudas and David Musser

Call Number: QA76.9.M35 A74 2017

Algorithms and discrete applied mathematics : third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings

Daya Gaur, N.S. Narayanaswamy (eds.)

Call Number: QA76.9.M35 C35 2017eb

Nature-inspired computing and optimization : theory and applications

Srikanta Patnaik, Xin-She Yang, Kazumi Nakamatsu, editors

Call Number: QA76.9.N37

Text data management and analysis : a practical introduction to information retrieval and text mining

ChengXiang Zhai, Sean Massung

Call Number: QA76.9.N38 Z435 2016

Proceedings of sixth International Conference on Soft Computing for Problem Solving : SocProS 2016.

Kusum Deep, Jagdish Chand Bansal, Kedar Nath Das, Arvind Kumar Lal, Harish Garg, Atulya K. Nagar, Millie Pant, editors

Call Number: QA76.9.S63

Automotive user interfaces : creating interactive experiences in the car

Gerrit Meixner, Christian Müller, editors

Call Number: QA76.9.U83

Custom Raspberry Pi interfaces : design and build hardware interfaces for the Raspberry Pi

Warren Gay

Call Number: QA76.9.U83

Early childhood mathematics skill development in the home environment

Belinda Blevins-Knabe, Ann M. Berghout Austin, editors

Call Number: QA135.5

Improving Primary Mathematics Education, Teaching and Learning : Research for Development in Resource-constrained Contexts [electronic resource]

Call Number: QA135.6

Chinese students' higher achievement in mathematics : comparison of mathematics education of Australian and Chinese primary schools

Dacheng Zhao

Call Number: QA135.6

Algebra II : textbook for students of mathematics

Alexey L. Gorodentsev

Call Number: QA152.3

Advanced graph theory and combinatorics

Michel Rigo

Call Number: QA166

Graceful, harmonious and magic type labelings : relations and techniques

Susana C. López, Francesc A. Muntaner-Batle

Call Number: QA166.197

Large-scale graph processing using Apache Giraph

Sherif Sakr, Faisal Moeen Orakzai, Ibrahim Abdelaziz, Zuhair Khayyat

Call Number: QA166.245

Extended Abstracts Summer 2015 : Strategic Behavior in Combinatorial Structures; Quantitative Finance

Call Number: QA167 .E98 2017

Exploiting hidden structure in matrix computations : algorithms and applications : Cetraro, Italy 2015

Michele Benzi, Dario Bini, Daniel Kressner, Hans Munthe-Kaas, Charles Van Loan ; edited by Michele Benzi, Valeria Simoncini ; Michele Benzi, Valeria Simoncini, editors

Call Number: QA188

Random matrix theory with an external source [electronic resource]

Edouard Brézin, Shinobu Hikami

Call Number: QA188

Combinatorics and random matrix theory

Jinho Baik, Percy Deift, Toufic Suidan

Call Number: QA188 .B3345 2016

Slice hyperholomorphic Schur analysis

Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Call Number: QA331.7

Free discontinuity problems

edited by Nicola Fusco, Aldo Pratelli

Call Number: QA351

The projective heat map

Richard Evan Schwartz

Call Number: QA360 .S39 2017

An introduction to linear ordinary differential equations using the impulsive response method and factorization

Roberto Camporesi

Call Number: QA372

Inverse problems for partial differential equations

Victor Isakov

Call Number: QA374

Programming phase-field modeling

S. Bulent Biner

Call Number: QA377

Analytic inequalities and their applications in PDEs

Yuming Qin

Call Number: QA377

Introduction to partial differential equations

David Borthwick

Call Number: QA377

Bifurcation in autonomous and nonautonomous differential equations with discontinuities

Marat Akhment, Ardak Kashkynbayev

Call Number: QA380

Design of interpretable fuzzy systems

Krzysztof Cpałka

Call Number: QA402

Optimal control

Leonid T. Aschepkov, Dmitriy V. Dolgy, Taekyun Kim, Ravi P. Agarwal

Call Number: QA402.3

Mob control : models of threshold collective behavior

Vladimir V. Breer, Dmitry A. Novikov, Andrey D. Rogatkin

Call Number: QA402.3

Evolutionary multi-criterion optimization : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings

Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schütze, Margaret Wiecek, Yaochu Jin, Christian Grimme (eds.)

Call Number: QA402.5

Flexible and generalized uncertainty optimization : theory and methods

Weldon A. Lodwick, Phantipa Thipwiwatpotjana

Call Number: QA402.5

Generalized Network Improvement and Packing Problems [electronic resource]

Call Number: QA402.5

Dynamic optimization : deterministic and stochastic models

Karl Hinderer, Ulrich Rieder, Michael Stieglitz

Call Number: QA402.5

Harmonic analysis, partial differential equations and applications : in honor of Richard L. Wheeden

Sagun Chanillo, Bruno Franchi, Guozhen Lu, Carlos Perez, Eric T. Swyer, editors

Call Number: QA403

Multivariate wavelet frames

by Maria Skopina, Aleksandr Krivoshein, Vladimir Protasov

Call Number: QA403.3

Wavelet analysis on the sphere : spheroidal wavelets

Sabrine Arfaoui, Imen Rezgui, Anouar Ben Mabrouk

Call Number: QA403.3 .A74 2017

Exploring classical Greek construction problems with interactive geometry software

Ad Meskens, Paul Tytgat

Call Number: QA443.5

Early Geometrical Thinking in the Environment of Patterns, Mosaics and Isometries

by Ewa Swoboda, Paola Vighi

Call Number: QA461

Periods and Nori motives

Annette Huber, Stefan Müller-Stach ; with contributions by Benjamin Friedrich and Jonas von Wangenheim

Call Number: QA612.3

Equivariant ordinary homology and cohomology

Steven R. Costenoble, Stefan Waner

Call Number: QA612.3

Singularities in geometry, topology, foliations and dynamics : a celebration of the 60th birthday of José Seade, Merida, Mexico, December 2014

José Luis Cisneros-Molina, Dũng Tráng Lê, Mutsuo Oka, Jawad Snoussi, editors

Call Number: QA614.58

Algorithmic advances in Riemannian geometry and applications : for machine learning, computer vision, statistics, and optimization

Ha Quang Minh, Vittorio Murino, editors

Call Number: QA671

Geometry and dynamics in Gromov hyperbolic metric spaces : with an emphasis on non-proper settings

Tushar Das, David Simmons, Mariusz Urbański

Call Number: QA685 .D238 2017

Emergent complexity from nonlinearity, in physics, engineering and the life sciences : proceedings of the XXIII International Conference on Nonlinear Dynamics of Electronic Systems, Como, Italy, 7-11 September 2015

Giorgio Mantica, Ruedi Stoop, Sebastiano Stramaglia, editors

Call Number: QA808

Variational continuum multiphase poroelasticity : theory and applications

Roberto Serpieri, Francesco Travascio

Call Number: QA808.2

Stochastic dynamics of structures

Abdelkhalak El Hami, Bouchaib Radi

Call Number: QA845

Modern solvers for Helmholtz problems

Domenico Lahaye, Jok Tang, Kees Vuik, editors

Call Number: QA927

Jaghmīnī's Mulakhkha : an Islamic introduction to Ptolemaic astronomy

Sally P. Ragep

Call Number: QB23

3rd International Symposium of Space Optical Instruments and Applications : Beijing, China June 26 - 29th 2016

H. Paul Urbach, Guangjun Zhan, editors

Call Number: QB86

Roman portable sundials : the empire in your hand

Richard J.A. Talbert

Call Number: QB215 .T35 2017

IGFS 2014 : proceedings of the 3rd International Gravity Field Service (IGFS), Shanghai, China, June 30-July 6, 2014

edited by Shuanggen Jin, Riccardo Barzaghi

Call Number: QB330

Global gravity field modeling from satellite-to-satellite tracking data

Majid Naeimi, Jakob Flury, editors

Call Number: QB334

Introduction to astrochemistry : chemical evolution from interstellar clouds to star and planet formation

Satoshi Yamamoto

Call Number: QB450

Waves, particles, and storms in geospace : a complex interplay

Georgios Balasis, Ioannis A. Daglis, and Ian R. Mann

Call Number: QB505

Before the beginning : cosmology explained

George F.R. Ellis

Call Number: QB981 .E465 1993

My dear Li : correspondence, 1937-1946

Werner and Elisabeth Heisenberg ; edited by Anna Maria Hirsch-Heisenberg and translated by Irene Heisenberg

Call Number: QC16.H45 A4 2016eb

The Cambridge companion to Newton

edited by Rob Iliffe, University of Oxford, George E. Smith, Tufts University

Call Number: QC16.N7 C35 2016

Physics of the human mind

Ihor Lubashevsky

Call Number: QC20

From Newton to Mandelbrot : a primer in theoretical physics

Dietrich Stauffer, H. Eugene Stanley, Annick Lesne

Call Number: QC20

Mechanics and thermodynamics

Wolfgang Demtröder

Call Number: QC125.2

Dynamics of liquid solidification : thermal resistance of contact layer

Zygmunt Lipnicki

Call Number: QC145.4.T5

Solid state physics

Call Number: QC173 .S477

Fluids, colloids, and soft materials : an introduction to soft matter physics

edited by Alberto Fernandez-Nieves, Antonio Manuel Puertas

Call Number: QC173.458.S62

Quantum systems under gravitational time dilation

Magdalena Zych

Call Number: QC173.59.S65

Quantum physics of light and matter : photons, atoms, and strongly correlated systems

Luca Salasnich

Call Number: QC174.12

Heteronuclear Efimov scenario in ultracold quantum gases : universality in systems with large mass imbalance

Juris Ulmanis

Call Number: QC174.12

Problems in quantum mechanics : with solutions

Emilio d'Emilio, Luigi E. Picasso

Call Number: QC174.15

Quantum metrology : foundation of units and measurements

Ernst O Göbel and Uwe Siegner

Call Number: QC174.17.M4

The Pauli exclusion principle : origin, verifications and applications

Ilya Kaplan

Call Number: QC174.17.P3

Dirac matter

Bertrand Duplantier, Vincent Rivasseau, Jean-Nöel Fuchs, editors

Call Number: QC174.45

Random tensors

Răzvan Gheorghe Gurău

Call Number: QC174.46 .G87 2017eb

Simulation of transport in nanodevices

edited by François Triozon, Philippe Dollfus

Call Number: QC175.2

Diffusion in Solids [electronic resource]

by Paul Shewmon

Call Number: QC176.8.D5

Reviews in plasmonics 2016

Chris D. Geddes, editor

Call Number: QC176.8.P55

Quantum wells, wires and dots : theoretical and computational physics of semiconductor nanostructures

Paul Harrison (Sheffield Hallam University, UK), Alex Valavanis (The University of Leeds, UK)

Call Number: QC176.8.Q35

Modern aspects of Josephson dynamics and superconductivity electronics

Iman Askerzade, Ali Bozbey, Mehmet Cantürk

Call Number: QC176.8.T8

Understanding acoustics : an experimentalist's view of acoustics and vibration [electronic resource]

Steven L. Garrett

Call Number: QC225.15

Thermodynamics : a complete undergraduate course

Andrew M. Steane

Call Number: QC311

Thermodynamic inversion : origin of living systems

Vladimir N. Kompanichenko

Call Number: QC311

Theoretical physics. 5, Thermodynamics

Wolfgang Nolting

Call Number: QC311 .N65 2017

Finn's Thermal physics

Andrew Rex

Call Number: QC311 .R49 2017

Fundamentals of classical statistical thermodynamics : dissipation, relaxation and fluctuation theorems

Denis J. Evans, Debra J. Searles, and Stephen R. Williams

Call Number: QC311.5 .E93 2016eb

Generalized Lorenz-Mie theories

Gérard Houesbet, Gérard Gréhan

Call Number: QC427

Computational strong-field quantum dynamics

Dieter Bauer (ed.)

Call Number: QC446.2 .C654 2017

High resolution electronic spectroscopy of small molecules

Geoffrey Duxbury, Alexander Alijah

Call Number: QC454.H618 D89 2017

Raman spectroscopy : an intensity approach

Wu Guozhen (Tsinghua University, China)

Call Number: QC454.R36 W8 2017

Chemical electrostatics : new ideas on electrostatic charging : mechanisms and consequences

Fernando Galembeck, Thiago A.L. Burgo

Call Number: QC571

New aspects of quantum electrodynamics

Akitomo Tachibana

Call Number: QC680

Magnetic confinement fusion driven thermonuclear energy

Bahman Zohuri

Call Number: QC718.5.C65

Fast reactor system design

Naoto Kasahara, editor

Call Number: QC786

Inertial confinement fusion driven thermonuclear energy

Bahman Zohuri

Call Number: QC791.775.P44

Geometrodynamics of gauge fields : on the geometry of Yang-Mills and gravitational gauge theories

Eckehard W. Mielke

Call Number: QC793.3.F5

Higgs potential and naturalness after the Higgs discovery

Yuta Hamada

Call Number: QC793.5.B62

Study of double parton scattering in photon + 3 jets final state : in proton-proton collisions at √s = 7TeV with the CMS experiment at the LHC

Call Number: QC793.5.P728

Applied physics of external radiation exposure : dosimetry and radiation protection

Rodolphe Antoni, Laurent Bourgois

Call Number: QC795.32.R3 A58 2017

Numerical simulation in applied geophysics

Juan Enrique Santos, Patricia Mercedes Gauzellino

Call Number: QC809.M37

Ozone hole : past, present, future

S.A. Abbasi, Tasneem Abbasi

Call Number: QC879.7

Micrometeorology

Thomas Foken

Call Number: QC883.8

Climate adaptation governance in cities and regions : theoretical fundamentals and practical evidence

by Jorg Knieling

Call Number: QC903

Integrated assessment models of climate change economics

Zheng Wang, Jing Wu, Changxin Liu, Gaoxiang Gu

Call Number: QC903

Evaluating climate change action for sustainable development

Juha I. Uitto, Jyotsna Puri, Rob D. van den Berg, editors

Call Number: QC903

Climate Change Adaptation, Resilience and Hazards

Call Number: QC903

Climate in context : science and society partnering for adaptation

[edited by] Adam S. Parris, Gregg M. Garfin

Call Number: QC903.2.C25

Adapting to climate change : an assessment of vulnerability and risks to human security in the Western Mediterranean Basin

Dania Abdul Malak, Katriona McGlade, Diana Pascual, Eduard Pla

Call Number: QC903.2.M43

Ecological liberation theology : faith-based approaches to poverty and climate change in the Philippines [electronic resource]

William Holden, Kathleen Nadeau, Emma Porio

Call Number: QC903.2.P6

Marine fog : challenges and advancements in observations, modeling, and forecasting

Darko Koračin, Clive E. Dorman, editors

Call Number: QC929.F7

Hurricanes and climate change. Volume 3

Jennifer M. Collins, Kevin Walsh, editors

Call Number: QC944

Temporal climatology and anomalous weather analysis

Weihong Qian

Call Number: QC981.8.C53

The experimental self : Humphry Davy and the making of a man of science

Jan Golinski

Call Number: QD22.D3 G65 2016eb

Wilhelm Ostwald : the autobiography

Robert Smail Jack, Fritz Scholz, editors ; translated by Robert Jack

Call Number: QD22.O88

Reviews in computational chemistry. Volume 29

edited by Abby L. Parrill, Kenny B. Lipkowitz

Call Number: QD39.3.E46

Handbook of computational chemistry. Volume 2

Jerzy Leszczynski, editor ; Anna Laczmarek-Kedziera, Tomasz Puzyn, Manthos G. Papadopoulos, Heribert Reis, Manoj K. Shukla, co-editors

Call Number: QD39.3.M3 H36 2017eb

Analytical chemistry for cultural heritage

Rocco Mazzeo

Call Number: QD75.22

On the catalytic efficacy of low-oxidation state group 14 complexes

Terrance John Hadlington

Call Number: QD181.C1

Iron Oxides : from nature to applications

edited by Damien Faivre

Call Number: QD181.F4

Progress in the chemistry of organic natural products. Volume 104

A. Douglas Kinghorn, Heinz Falk, Simon Gibbons, Junʹichi Kobayashi, editors ; with contributions by H. Falk [and 5 more]

Call Number: QD251.3

Polymer Crystallization II : From Chain Microstructure to Processing [electronic resource]

edited by Finizia Auriemma, Giovanni Carlo Alfonso, Claudio de Rosa

Call Number: QD281.P6

Global chemical kinetics of fossil fuels : how to model maturation and pyrolysis

Alan K. Burnham

Call Number: QD281.P9

Enzymatic synthesis of structured triglycerides : from laboratory to industry

María Luján Ferreira, Gabriela Marta Tonetto

Call Number: QD305.F2

In situ combined electrochemical techniques for conducting polymers

Csaba Visy

Call Number: QD382.C66

Polymer crystallization I : from chain microstructure to processing [electronic resource]

Finizia Auriemma, Giovanni Carlo Alfonso, Claudio de Rosa, editors ; with contributions by R. G. Alamo [and more]

Call Number: QD382.C78

Organic sensors : materials and applications

edited by Eduardo Garcia-Breijo, Berta Gómez-Lo Pérez and Piero Cosseddu

Call Number: QD382.S4 O75 2017

Bioactive Natural Products : Chemistry and Biology

edited by Goutam Brahmachari

Call Number: QD415

Molecular physical chemistry : a computer-based approach using Mathematica® and Gaussian

José J. C. Teixeira-Dias

Call Number: QD453.3

Exam survival guide : physical chemistry [electronic resource]

Jochen Vogt

Call Number: QD462.7

Transition metal-catalyzed heterocycle synthesis via C-H activation

edited by Xiao-Feng Wu

Call Number: QD505

Effects of nanoconfinement on catalysis

Rinaldo Poli, editor

Call Number: QD505

Dynamic chemical processes on solid surfaces : chemical reactions and catalysis

Ken-ichi Tanaka

Call Number: QD506

Surface treatments for biological, chemical and physical applications

edited by Mehmet Gürsoy and Mustafa Karaman

Call Number: QD506

Freezing colloids : observations, principles, control, and use : applications in materials science, life science, earth science, food science, and engineering

Sylvain Deville

Call Number: QD549

X-RAY STUDIES ON ELECTROCHEMICAL SYSTEMS

Call Number: QD555.8 .B73 2017

Non-covalent interactions in the synthesis and design of new compounds

edited by Abel M. Maharramov, Kamran T. Mahmudov, Maximilian N. Kopylovich, Armando J.L. Pombeiro

Call Number: QD878

Lyotropic chromonic liquid crystals : from viscoelastic properties to living liquid crystals

Shuang Zhou

Call Number: QD923

Geostatistics Valencia 2016

J. Jaime Gómez-Hernández, Javier Rodrigo-Ilarri, María Elena Rodrigo-Clavero, Eduardo Cassiraga, José Antonio Vargas-Guzmán, editors

Call Number: QE33.2.S82

Geothermics : heat flow in the lithosphere

Vincenzo Pasquale, Massimo Verdoya, Paolo Chiozzi

Call Number: QE501

Salt tectonics : principles and practice

Martin P.A. Jackson and Michael R. Hudec, the University of Texas at Austin

Call Number: QE513 .J33 2017

Calcium stable isotope geochemistry

edited by Nikolaus Gussone, Anne-Desirée Schmitt, Alexander Heuser, Frank Wombacher, Martin Dietzel, Edward Tipper, Martin Schiller

Call Number: QE516.C2 G87 2016

Geological storage of CO2 in deep saline formations

Auli Niemi, Jacob Bear, Jacob Bensabat, editors

Call Number: QE516.C37

Thermal ionization mass spectrometry (TIMS) : silicate digestion, separation, and measurement

Akio Makishima

Call Number: QE516.3

Computational seismology : a practical introduction

Heiner Igel

Call Number: QE539

The Indian Mesozoic chronicle : sequence stratigraphic approach

Jai Krishna

Call Number: QE675

EUSTASY, HIGH-FREQUENCY SEA-LEVEL CYCLES AND HABITAT HETEROGENEITY

Call Number: QE685 .R36 2017

Applications of paleoenvironmental techniques in estuarine studies

Kaarina Weckström, Krystyna M. Saunders, Peter A. Gell, C. Gregory Skilbeck, editors

Call Number: QE720

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

Hou Xian-guang [and eight others]

Call Number: QE756.C6 C35 2017

Graptolite paleobiology

Jörg Maletz

Call Number: QE840.5 M35 2017

Weird dinosaurs : the strange new fossils challenging everything we thought we knew

John Pickrell

Call Number: QE861.4 .P53 2017

Cetacean paleobiology

Felix G. Marx, Olivier Lambert and Mark D. Uhen

Call Number: QE882.C5

History within : the science, culture, and politics of bones, organisms, and molecules

Marianne Sommer

Call Number: QH15 .S66 2016eb

Out of school and into nature : the Anna Comstock story

written by Suzanne Slade ; illustrated by Jessica Lanan.

Call Number: QH31.C72 S53 2017

Darwin and the making of sexual selection

Evelleen Richards

Call Number: QH31.D2 R45 2017

Between preservation and exploitation : transnational advocacy networks and conservation in developing countries

Kemi Fuentes-George

Call Number: QH75 .F824 2015eb

Wildness : relations of people & place

edited by Gavin Van Horn & John Hausdoerffer

Call Number: QH75 .W5273 2017

Extinction studies : stories of time, death, and generations

edited by Deborah Bird Rose, Thom van Dooren, and Matthew Chrulew

Call Number: QH78 .E96 2017

Imagining extinction : the cultural meanings of endangered species

Ursula K. Heise

Call Number: QH78 .H45 2016eb

Species concepts in biology : historical development, theoretical foundations and practical relevance

Frank E. Zachos

Call Number: QH83

Neotropical biogeography : regionalization and evolution

Juan J. Morrone

Call Number: QH84.5 .M68 2017

Granite, fire, & fog : the natural and cultural history of Acadia

Tom Wessels

Call Number: QH105.M2 W47 2017

Energy and matter fluxes of a spruce forest ecosystem

Thomas Foken, editor

Call Number: QH135

Stepping in the same river twice : replication in biological research

edited by Ayelet Shavit and Aaron M. Ellison ; with a foreword by W. John Kress

Call Number: QH315 .S74 2017

Experimental design for laboratory biologists : maximising information and improving reproducibility

Stanley E. Lazic

Call Number: QH324 .L335 2016

Structural bioinformatics tools for drug design : extraction of biologically relevant information from structural databases

Jaroslav Koča [and six more]

Call Number: QH324.2

Modelling organs, tissues, cells and devices : using MATLAB and COMSOL multiphysics

Socrates Dokos

Call Number: QH324.2

Metabolomics : from fundamentals to clinical applications

Alessandra Sussulini, editor

Call Number: QH324.2

Quantifying life : a symbiosis of computation, mathematics, and biology

Dmitry A. Kondrashov

Call Number: QH324.2 .K665 2016

Biochemical evolution : the pursuit of perfection

Athel Cornish-Bowden

Call Number: QH325 .C78 2016

Quarks to culture : how we came to be

Tyler Volk

Call Number: QH325 .V588 2017

Iron cycle in oceans

Stéphane Blain, Alessandro Tagliabue

Call Number: QH344

Carbon dioxide mineralization and utilization

Pen-Chi Chiang, Shu-Yuan Pan

Call Number: QH344

Nanoscience and plant-soil systems

Mansour Ghorbanpour, Khanuja Manika, Ajit Varma, editors

Call Number: QH345

Impact of biological invasions on ecosystem services

Montserrat Vilà, Philip E. Hulme, editors

Call Number: QH353

Integrating biological control into conservation practice

Roy G. Van Driesche [and eight others]

Call Number: QH353 .I538 2016eb

Evolution education in the American South : culture, politics, and resources in and around Alabama

Christopher D. Lynn, Amanda L. Glaze, William A. Evans, Laura K. Reed, editors

Call Number: QH362 .E86 2017

Molecular biological markers for toxicology and risk assessment

Bruce A. Fowler

Call Number: QH438.4.B55 F68 2016

The genome factor : what the social genomics revolution reveals about ourselves, our history, and the future

Dalton Conley and Jason Fletcher

Call Number: QH438.7 .C656 2017

Directed enzyme evolution : advances and applications

Miguel Alcalde, editor

Call Number: QH442

The politics of genetically modified organisms in the United States and Europe

Kelly A. Clancy

Call Number: QH442.6 .C54 2017

DNA is not destiny : the remarkable, completely misunderstood relationship between you and your genes

Steven J. Heine

Call Number: QH447 .H45 2017

SUMO regulation of cellular processes

Van G. Wilson, editor

Call Number: QH450.6

Information geometry and population genetics : the mathematical structure of the Wright-Fisher model

Julian Hofrichter, Jürgen Jost, Tat Dat Tran

Call Number: QH455

Evolution driven by organismal behavior : a unifying view of life, function, form, mismatches and trends

Rui Diogo

Call Number: QH491

Inorganic chemistry for geochemistry and environmental sciences : fundamentals and applications

George W. Luther, III

Call Number: QH541.15.C44

Spectral sensing research for surface and air monitoring in chemical, biological and radiological defense and security applications

editors, Jean-Marc Theriault, James O. Jensen

Call Number: QH541.15.R4 I58 2006

The songs of trees : stories from nature's great connectors

David George Haskell

Call Number: QH541.5.F6 H375 2017

The tallgrass prairie : an introduction

Cindy Crosby

Call Number: QH541.5.P7 C76 2017

Growing a revolution : bringing our soil back to life

David R. Montgomery

Call Number: QH541.5.S6 M66 2017

Agricultural chemicals and the environment : issues and potential solutions

editors: R.E. Hester and R.M. Harrison

Call Number: QH545.A25 A394 2017

Mimicry and meaning : structure and semiotics of biological mimicry

Timo Maran

Call Number: QH546

Adaptation in metapopulations : how interaction changes evolution

Michael J. Wade

Call Number: QH546 .W23 2016eb

Animal and plant stem cells : concepts, propagation and engineering

Mirjana Pavlović, Ksenija Radotić

Call Number: QH588.S83

Mesenchymal stem cells and immunomodulation

Charles J. Malemud, Eben Alsberg, editors

Call Number: QH588.S83

Chromatin architecture : advances from high-resolution single molecule DNA imaging

Kirti Prakash

Call Number: QH599

Chromosome structure and aberrations

Tariq Ahmad Bhat, Aijaz Ahmad Wani, editors

Call Number: QH600

Chromosome architecture : methods and protocols

edited by Mark C. Leake

Call Number: QH600 .C47 2016

Body messages : the quest for the proteins of cellular communication

Giamila Fantuzzi

Call Number: QH604.2 .F36 2016

Apoptosis methods in toxicology

edited by Perpetua M. Muganda

Call Number: QH671 .A6592 2016

A portable Latin for gardeners : more than 1,500 essential plant names and the secrets they contain

James Armitage

Call Number: QK10 .A755 2016

Plants and health : new perspectives on the health-environment-plant nexus

Elizabeth Anne Olson, John Richard Stepp, editors

Call Number: QK46.5.H85

Oxford Botanic Garden & Arboretum : a brief history

Stephen A. Harris

Call Number: QK73.G72 O847 2017

Genetics and genomics of Setaria

Andrew Doust, Xianmin Diao, editors

Call Number: QK495.G74

Fungal metabolites

Jean-Michel Mérillon, Kishan Gopal Ramawat, editors

Call Number: QK601

Molecular markers in mycology : diagnostics and marker developments

Bhim Pratap Singh, Vijai Kumar Gupta, editors

Call Number: QK604.2.M64

Plant responses to environmental stimuli : the role of specific forms of plant memory

Michel Thellier

Call Number: QK711.2

Autoecology and ecophysiology of woody shrubs and trees : concepts and applications

Ratikanta Maiti, Humberto Gonzalez Rodriguez, and Natalya Sergeevna Ivanova

Call Number: QK717

The language of plants : science, philosophy, literature

Monica Gagliano, John C. Ryan, and Patrícia Vieira, editors

Call Number: QK725 .L275 2017

Plant tolerance to individual and concurrent stresses

Muthappa Senthil-Kumar, editor

Call Number: QK754

Chlorophyll fluorescence : understanding crop performance--basics and applications

by Mohamed H. Kalaji, Vasilij N. Goltsev, Krystyna Żuk-Golaszewska, Marek Zivcak, Marian Brestic

Call Number: QK754 .K35 2017

Air pollution impacts on plants in East Asia

Takeshi Izuta, editor

Call Number: QK901

Plant ecology : origins, processes, consequences

Paul A. Keddy

Call Number: QK901 .K34 2017

One more warbler : a life with birds

Victor Emanuel ; with S. Kirk Walsh

Call Number: QL31.E54 E33 2017

Spare the Birds! : George Bird Grinnell and the First Audubon Society

Call Number: QL81.7

Exploring Studbooks for Wildlife Management and Conservation [electronic resource]

by F.P.G. Princée

Call Number: QL82

Species conservation in managed habitats : the myth of a pristine nature with a preamble by Josef H. Reichholf

Werner Kunz

Call Number: QL82 .K8613 2016eb

Wildlife politics

Bruce Rocheleau, Northern Illinois University

Call Number: QL82 .R63 2017

Planktic foraminifers in the modern ocean

Ralf Schiebel, Christoph Hemleben

Call Number: QL368.F6

Nematology in South Africa : a view from the 21st century

Hendrika Fourie, Vaughan W. Spaull, Robin K. Jones, Mieke S. Daneel, Dirk De Waele, editors

Call Number: QL391.N4

Immersion : the science and mystery of freshwater mussels

by Abbie Gascho Landis

Call Number: QL430.6 .G37 2017

Industrial entomology

Omkar, editor

Call Number: QL463

Insects : evolutionary success, unrivaled diversity, and world domination

David B. Rivers

Call Number: QL463 .R58 2017

The business of bees : an integrated approach to bee decline and corporate responsibility

edited by Jill Atkins and Barry Atkins

Call Number: QL563 .B87 2016

Stream fish community dynamics : a critical synthesis

William J. Matthews, Edie Marsh-Matthews

Call Number: QL627 .M38 2017

The rights and wrongs of zebrafish : behavioral phenotyping of zebrafish

Allan V. Kalueff, editor

Call Number: QL638.C94

Ecology and conservation of birds in urban environments

Enrique Murgui, Marcus Hedblom, editors

Call Number: QL673

Birders of Africa : History of a network

Nancy J. Jacobs

Call Number: QL677.5 J336 2016

Raptors : the curious nature of diurnal birds of prey

Keith L. Bildstein

Call Number: QL677.78 .B556 2017

Predator-prey interactions : co-evolution between bats and their prey

David Steve Jacobs, Anna Bastian

Call Number: QL737.C5

Florida manatees : biology, behavior, and conservation

John E. Reynolds III ; photographs by Wayne Lynch

Call Number: QL737.S63 R486 2017

Antelope conservation : from diagnosis to action

edited by Jakob Bro-Jørgensen, David Mallon

Call Number: QL737.U53

Biodiversity and evolution of parasitic life in the Southern Ocean [electronic resource]

Sven Klimpel, Thomas Kuhn, Heinz Mehlhorn, editors

Call Number: QL757

Encyclopedia of parasitology

Heinz Mehlhorn, editor

Call Number: QL757

The evolution of beauty : how Darwin's forgotten theory of mate choice shapes the animal world-- and us

Richard O. Prum

Call Number: QL761 .P744 2017

Social behavior from rodents to humans : neural foundations and clinical implications

Markus Wöhr, Sören Krach, editors

Call Number: QL775

Psychological mechanisms in animal communication

Mark A. Bee, Cory T. Miller, editors

Call Number: QL776

Signaling-Mediated Control of Cell Division : From Oogenesis to Oocyte-to-Embryo Development

Call Number: QL964

Bergman's comprehensive encyclopedia of human anatomic variation

[edited by] R. Shane Tubbs, Mohammadali M. Shoja, Marios Loukas

Call Number: QM24

Clinical neuroanatomy

Stephen G. Waxman

Call Number: QM451 .W38 2017

Atlas of histology with functional correlations

Victor P. Eroschenko

Call Number: QS 517 E71a 2017

Cartilage. Volume 2, Pathophysiology

Susanne Grässel, Attila Aszódi, editors

Call Number: QM567

Further understanding of the human machine : the road to bioengineering

Max E. Valentinuzzi, editor

Call Number: QP34.5 .F87 2017

Microwave effects on DNA and proteins

Chris D. Geddes

Call Number: QP82.2.M5

The evolution of senescence in the tree of life

edited by Richard P. Shefferson, Owen R. Jones, Roberto Salguero-Gâomez

Call Number: QP85 .E96 2017

Molecular and cellular biology of platelet formation : implications in health and disease

Harald Schulze, Joseph Italiano, editors

Call Number: QP97

Platelets in thrombotic and non-thrombotic disorders : pathophysiology, pharmacology and therapeutics : an update

Paolo Gresele, Neal S. Kleiman, José A. Lopez, Clive P. Page, editors

Call Number: QP97

Cardiovascular biomechanics

Peter R. Hoskins, Patricia V. Lawford, Barry J. Doyle, editors

Call Number: QP101

Salivary gland development and regeneration : advances in research and clinical approaches to functional restoration

Seunghee Cha, editor

Call Number: QP191

Physiological aspects of legged terrestrial locomotion : the motor and the machine

Giovanni Cavagna

Call Number: QP301

Fundamentals of biomechanics : equilibrium, motion, and deformation

Nihat Özkaya, David Goldsheyder, Margareta Nordin ; project editor: Dawn Leger

Call Number: QP303

Foundations of kinesiology

Carole A. Oglesby, Kim Henige, Douglas W. McLaughlin, Belinda Stillwell

Call Number: QP303 .O35 2018

The plasticity of skeletal muscle : from molecular mechanism to clinical applications

Kunihiro Sakuma, editor

Call Number: QP321

Medical neurobiology

Peggy Mason

Call Number: QP355.2 .M37 2017

Computational theories and their implementation in the brain : the legacy of David Marr

Lucia M. Vaina and Richard E. Passingham

Call Number: QP357.5

Computational neurology and psychiatry

Péter Érdi, Basabdatta Sen Bhattacharya, Amy L. Cochran, editors

Call Number: QP357.5

Neurophenotypes : Advancing Psychiatry and Neuropsychology in the OMICS Era

Call Number: QP360

Computational neuroendocrinology

edited by Duncan J. MacGregor and Gareth Leng

Call Number: QP360

Plastic reason : an anthropology of brain science in embryogenetic terms

Tobias Rees

Call Number: QP363.5 .R44 2016eb

The NMDA receptors

Kenji Hashimoto, editor

Call Number: QP364.7

NEUROLOGICAL PERSPECTIVES OF AUTONOMIC DYSFUNCTIONS

Call Number: QP368 .N48 2016

Brain evolution by design : from neural origin to cognitive architecture

Shuichi Shigeno, Yasunori Murakami, Tadashi Nomura, editors

Call Number: QP376

The Oxford handbook of functional brain imaging in neuropsychology and cognitive neurosciences

edited by Andrew C. Papanicolaou

Call Number: QP376.6 .O94 2017

Evolution of the cerebellar sense of self

John Montgomery, University of Auckland, New Zealand, David Bodznick, Wesleyan University, Connecticut, United States of America

Call Number: QP379 .M66 2016

The prefrontal cortex as an executive, emotional, and social brain

Masataka Watanabe, editor

Call Number: QP383.17

The hippocampus from cells to systems : structure, connectivity, and functional contributions to memory and flexible cognition

Deborah E. Hannula, Melissa C. Duff, editors

Call Number: QP383.25

Learning and memory : processes, influences and performance

Eula Townsend, editor

Call Number: QP406 .L43 2016

Cognitive neuroscience of memory

Scott D. Slotnick, Boston College

Call Number: QP406 .S5945 2017

Flavor : the science of our most neglected sense

Bob Holmes

Call Number: QP456 .H66 2017

Springer handbook of odor

Andrea Buettner (Ed.)

Call Number: QP458 .S67 2017

Human color vision

Jan Kremers, Rigmor C. Baraas, N. Justin Marshall, editors

Call Number: QP483

Biochemistry

Denise R. Ferrier

Call Number: QP514.2 .F47 2017

Protein actions : principles and modeling

Ivet Bahar, Robert L. Jernigan, Ken A. Dill

Call Number: QP517.P76 B34 2017

Biological fluid-surface interactions in detection and medical devices

Michael Thompson, University of Toronto, Ontario, Canada, [and four others]

Call Number: QP517.S87 T48 2017

Elektrophorese leicht gemacht : Ein Praxisbuch für Anwender

Reiner Westermeier

Call Number: QP519.9.E434

Luminescence in electrochemistry : applications in analytical chemistry, physics and biology

Fabien Miomandre, Pierre Audebert, editors

Call Number: QP519.9.F56

Der HPLC-Experte II : so nutze ich meine HPLCUHPLC optimal!

herausgegeben von Stavros Kromidas

Call Number: QP519.9.H53

Application of IC-MS and IC-ICP-MS in environmental research

edited by Rajmund Michalski

Call Number: QP519.9.I54 A77 2016eb

Metallomics : recent analytical techniques and applications

Yasumitsu Ogra, Takafumi Hirata, editors

Call Number: QP532

Mineral containing proteins : roles in nutrition

Guanghua Zhao, editor

Call Number: QP533

Proteomics in human reproduction : biomarkers in circulation

Ashok Agarwal [and four others]

Call Number: QP551

The actin cytoskeleton and bacterial infection

Hans Georg Mannherz, editor

Call Number: QP552.A27

Plant aquaporins : from transport to signaling

François Chaumont, Stephen D. Tyerman, editor

Call Number: QP552.A65

Aquaporins

Baoxue Yang, editor

Call Number: QP552.A65

The role of pendrin in health and disease : molecular and functional aspects of the SLC26A4 anion exchanger

Silvia Dossena, Markus Paulmichl, editors

Call Number: QP552.M44

Applications of aminoacylation ribozymes that recognize the 3-end of tRNA

Naohiro Terasaka

Call Number: QP619.A45

Botulinum toxin

edited by Alastair Carruthers, Jean Carruthers

Call Number: QP632.B66 B69 2018

Snake venoms

P. Gopalakrishnakone, editor-in-chief ; Hidetoshi Inagaki, Carl-Wilhelm Vogel, Ashis K. Mukherjee, Tarek R. Rahmy, editors

Call Number: QP632.V46

Advances in NMR spectroscopy for lipid oxidation assessment [electronic resource]

Hong-Sik Hwang

Call Number: QP751

Lipidomics of stem cells

Alice Pébay, Raymond C.B. Wong, editors

Call Number: QP751

Free fatty acid receptors

Graeme Milligan, Ikuo Kimura, editors

Call Number: QP752.F35

Modern topics in the phototrophic prokaryotes : metabolism, bioenergetics, and omics [electronic resource]

Patrick C. Hallenbeck, editor

Call Number: QR41.2

Basic medical microbiology

Patrick R. Murray

Call Number: QR41.2 .M87 2018

How to overcome the antibiotic crisis : facts, challenges, technologies and future perspectives

Marc Stadler, Petra Dersch, editors

Call Number: QR46.5

Adaption of microbial life to environmental extremes : novel research results and application

Helga Stan-Lotter, Sergiu Fendrihan, editors

Call Number: QR100.9

Applied genomics of foodborne pathogens

Xiangyu Deng, Henk C. den Bakker, Rene S. Hendriksen, editors

Call Number: QR115

Immunity : the evolution of an idea

Alfred I. Tauber

Call Number: QR181

Candida albicans : cellular and molecular biology

Rajendra Prasad, editor

Call Number: QR201.C27

Molecular pathogenesis and signal transduction by helicobacter pylori

Nicole Tegtmeyer, Steffen Backert, editors

Call Number: QR201.H44

Plant-microbe interaction : an approach to sustainable agriculture

Devendra K. Choudhary, Ajit Varma, Narendra Tuteja, editors

Call Number: QR351

Shiga toxins : a review of structure, mechanism, and detection

Christopher J. Silva, David L. Brandon, Craig B. Skinner, Xiaohua He

Call Number: QR410.2.E55

Light metals 2011 : proceedings of the technical sessions presented by the TMS Aluminum Committee at the TMS 2011 Annual Meeting & Exhibition, San Diego, California, USA, February 27-March 3, 2011 [electronic resource]

edited by Stephen J. Lindsay

Call Number: TN773

Light metals 2012 : proceedings of the technical sessions presented by the TMS Aluminum Committee at the TMS 2012 Annual Meeting & Exhibition, Orlando, Florida, USA, March 11-15, 2012 [electronic resource]

edited by Carlos E. Suarez

Call Number: TN773

Light metals 2015 : proceedings of the symposia sponsored by the TMS Alumnium Committee at the TMS 2015 Annual Meeting & Exhibition, March 15-19, 2015, Walt Disney World, Orlando, Florida, USA

edited by Margaret Hyland

Call Number: TN773

Magnesium technology 2013 : proceedings of a symposium sponsored by the Magnesium Committee of the Light Metals Division of the Minerals, Metals & Materials Society (TMS), held during the TMS 2013 Annual Meeting & Exhibition, San Antonio, Texas, USA, March 3-7, 2013

edited by Norbert Hort, Suveen Nigel Mathaudhu, Neale R. Neelameggham, Martyn Alderman

Call Number: TN799.M2

Magnesium technology 2012 : proceedings of symsposium sponsored by the Magnesium Committee of the Light Metals Division of The Minerals, Metals & Materials Society (TMS) ; held during TMS 2012 Annual Meeting & Exhibition, Orlando, Flordia, USA, March 11-15, 2012 [electronic resource]

edited by Suveen N. Mathaudhu, Wim H. Sillekens, Neale R. Neelameggham, Norbert Hort

Call Number: TN799.M2

ICIPEG 2016 : proceedings of the International Conference on Integrated Petroleum Engineering and Geosciences [electronic resource]

Mariyamni Awang, Berihun Mamo Negash, Nur Asyraf Md Akhir, Luluan Almanna Lubis, Abdul Ghani Md. Rafek, editors

Call Number: TN863

Multiphase flow in oil and gas well drilling

Baojiang Sun

Call Number: TN871.2

House of names : a novel

Colm Tóibín

Call Number: TOIBI

Engineering of microorganisms for the production of chemicals and biofuels from renewable resources

Guillermo Gosset, editor

Call Number: TP28.27.M53

Quality living through chemurgy and green chemistry [electronic resource]

Peter C.K. Lau, editor

Call Number: TP149

Process control : a practical approach

Myke King

Call Number: TP155.75

Essentials of machine olfaction and taste

edited by Takamichi Nakamoto, Tokyo Institute of Technology, Japan

Call Number: TP159.C46

Fillers for Polymer Applications [electronic resource]

Call Number: TP159.F47

Chemiestandorte : Markt, Herausforderungen und Geschäftsmodelle

herausgegeben von Carsten Suntrop

Call Number: TP200

Hydrogen science and engineering : materials, processes, systems and technology

edited by Detlef Stolten and Bernd Emonts

Call Number: TP245.H9 H93 2016

Mesoporous zeolites : preparation, characterization and applications

edited by Javier García-Martínez and Kunhao Li ; with a foreword by Mark E. Davis

Call Number: TP245.S5 .M476 2015

Micro- and nanosystems for biotechnology

edited by J. Christopher Love

Call Number: TP248.14

Membrane reactor engineering : applications for a greener process industry

edited by Angelo Basile, Marcello De Falco, Gabriele Centi, Gaetano Iaquaniello

Call Number: TP248.25.M45

Sol-gel materials for energy, environment and electronic applications [electronic resource]

Suresh C. Pillai, Sarah Hehir, editors

Call Number: TP248.25.N35

Blue biotechnology : from gene to bioactive product

Werner E. G. Müller, Heinz C. Schröder, Xiaohong Wang, editors

Call Number: TP248.27.M37

Plant biotechnology : principles and applications

Malik Zainul Abdin, Usha Kiran, Kamaluddin, Athar Ali, editors

Call Number: TP248.27.P55

Green biocatalysis

edited by Ramesh N. Patel

Call Number: TP248.65.E59

Cashew nut shell liquid : a goldfield for functional materials

Parambath Anilkumar, editor

Call Number: TP248.65.M37

Soil degradable bioplastics for a sustainable modern agriculture

Mario Malinconico, editor

Call Number: TP248.65.P62

Industrial biotechnology of vitamins, biopigments, and antioxidants

edited by Erick J. Vandamme and José Luis Revuelta

Call Number: TP248.65.V57

Explosives

Rudolf Meyer

Call Number: TP270.A2 M4913 2015

Algal biofuels : recent advances and future prospects

Sanjay Kumar Gupta, Anushree Malik, Faizal Bux, editors

Call Number: TP339

Biofuels : technology, challenges and prospects

Avinash Kumar Agarwal, Rashmi Avinash Agarwal, Tarun Gupta, Bhola Ram Gurjar, editors

Call Number: TP339

Sugarcane-based biofuels and bioproducts

edited by Ian M. O'Hara and Sagadevan G. Mundree

Call Number: TP339 .S84 2016eb

Advances of basic science for second generation bioethanol from sugarcane

Marco S. Buckeridge, Amanda P De Souza

Call Number: TP358

Kinetic analysis of food systems

Alejandro G. Marangoni

Call Number: TP370.5

Evolutionary algorithms for food science and technology

Evelyne Lutton, Nathalie Perrot, Alberto Tonda

Call Number: TP370.5

Nanoscience in food and agriculture. 4

Shivendu Ranjan, Nandita Dasgupta, Eric Lichtfouse, editors

Call Number: TP370.5 .N356 2017eb

Common fragrance and flavor materials : preparation, properties and uses

Call Number: TP418 .B38 2006

76th Conference on Glass Problems : a collection of papers presented at the 76th Conference on Glass Problems, Greater Columbus Convention Center, Columbus, Ohio, November 2-5, 2015

editor: S.K. Sundaram

Call Number: TP845

Self-cleaning coatings : structure, fabrication and application

edited by Junhui He

Call Number: TP994 .S45 2017

Dorothea Lange : the photographer who found the faces of the depression

Carole Boston Weatherford ; pictures by Sarah Green

Call Number: TR140.L3 W43 2017

Dora Maar : Paris in the time of Man Ray, Jean Cocteau, and Picasso

by Louise Baring

Call Number: TR140.M29 B37 2017

Listening to images

Tina M. Campt

Call Number: TR183 .C366 2017

Ryan Mcginley : the kids were alright

Nora Burnett Abrams, curator ; a conversation with Ryan McGinley and Dan Colen ; with contributions by Tim Barber [and 12 others]

Call Number: TR647 .M3926 2017

Thomas Kern--Haiti: the perpetual liberation

Texts, Georg Brunold, Thomas Kern, Yanick Lahens, Félix Morisseau-Leroy

Call Number: TR655 .K47 2016

William Klein

introduction by Christian Caujolle

Call Number: TR655 .K583 2012

Extra normal

Serge Fruehauf ; Herausgeber: Joerg Bader ; Vorwort: Martino Stierli ; translations: Alisa Anh Kotmair, Lionel Felchlin and Jean-Pierre Lederer

Call Number: TR659 .F78 2016

This land : an American portrait

Jack Spencer ; foreword by Jon Meacham

Call Number: TR660.5 .S68 2017

Image brokers : visualizing world news in the age of digital circulation

Zeynep Devrim Gürsel

Call Number: TR820 .G87 2016eb

The filmmaker's guide to visual effects : the art and technique of VFX for directors, producers, editors and cinematographers

Eran Dinur

Call Number: TR858 .D56 2017

Acting for animators

Ed Hooks

Call Number: TR897.5 .H66 2017

Beginning Adobe Animate CC : learn to efficiently create and deploy animated and interactive content

Tom Green, Joseph Labrecque

Call Number: TR897.72.A338

Avid editing : a guide for beginning and intermediate users

Sam Kauffmann

Call Number: TR899 .K38 2017

From iMovie to Final Cut Pro X : making the creative leap

Tom Wolsky

Call Number: TR899 .W698 2016

Modern devices : the simple physics of sophisticated technology

by Charles L. Joseph, Santiago Bernal with contributions by Timothy Koeth

Call Number: TS145

Lean management of global supply chain

editors, Yasuhiro Monden, University of Tsukuba, Japan, Yoshiteru Minagawa, Nagoya Gakuin University, Japan

Call Number: TS155 .L3276 2016

Tactile display for virtual 3D shape rendering [electronic resource]

Alessandro Mansutti, Mario Covarrubias Rodriguez, Monica Bordegoni, Umberto Cugini

Call Number: TS155.6

Theory and practice of quality and reliability engineering in Asia industry [electronic resource]

Cher Ming Tan, Thong Ngee Goh, editors

Call Number: TS156

Research into design for communities. Volume 1 : : proceedings of ICoRD 2017

Amaresh Chakrabarti, Debkumar Chakrabarti, editors

Call Number: TS171.A1 I58 2017eb

The big book of makerspace projects : inspiring makers to experiment, create, and learn

Colleen Graves, Aaron Graves

Call Number: TS171.57 .G73 2017

Mauerwerk-Kalender 2016 : Baustoffe, Sanierung, Eurocode-Praxis

herausgegeben von Wolfram Jäger, Dresden

Call Number: TS172

Mauerwerk-Kalender 2015 : Bemessung, Bauen im Bestand

herausgegeben von Wolfram Jäger, Dresden

Call Number: TS172

Advanced Planning and Scheduling in Manufacturing and Supply Chains

Call Number: TS176

Proceedings of the 3rd World Congress on Integrated Computational Materials Engineering (ICME 2015) : sponsored by TMS (The Minerals, Metals & Materials Society) held May 31-June 4, 2015, Cheyenne Mountain Resort, Colorado Springs, Colorado, USA

edited by Warren Poole, Steve Christensen, Surya R. Kalidindi, Alan Luo, Jonathan D. Madison, Dierk Raabe, Xin Sun

Call Number: TS176

Materials processing fundamentals 2017

Antoine Allanore, Guillaume Lambotte, Jonghyun Lee, editors

Call Number: TS183

Service orientation in holonic and multi-agent manufacturing : proceedings of SOHOMA 2016

Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira, editors

Call Number: TS183

Friction stir welding and processing IX

Yuri Hovanski, Rajiv Mishra, Yutaka Sato, Piyush Upadhyay, David Yan, editors

Call Number: TS228.9

Computational liquid crystal photonics : fundamentals, modelling and applications

Salah Obayya, Mohamed Farhat Hameed, Nihal Areed

Call Number: TS518

Shape casting : 6th International Symposium : proceedings of a symposium sponsored by the Aluminum Committee of the Light Metals Division and the Solidification Committee of the Materials Processing & Manufacturing Division of The Minerals, Metals & Materials Society (TM [electronic resource]

edited by Murat Tiryakioǧlu, Mark Jolly and Glenn Byczynski

Call Number: TS555

Essential readings in light metals. Volume 3, Cast shop for aluminum production [electronic resource]

edited by John F. Grandfield and Dmitry G. Eskin

Call Number: TS555

Mitigating tin whisker risks : theory and practice

[edited by] Takahiko Kato, Carol A. Handwerker, Jasbir Bath

Call Number: TS610 .M58 2016eb

Handbuch Feuerverzinken

Herausgegeben von Peter Peißker und Mark Huckshold ; Vormalig herausgegeben von Peter Maaß und Peter Peißker

Call Number: TS660

Testimony

Scott Turow

Call Number: TUROW

The science of cooking : understanding the biology and chemistry behind food and cooking

Joseph J. Provost, Keri L. Colabroy, Brenda S Kelly, Mark Wallert

Call Number: TX545

New perspectives on food blanching

Felipe Richter Reis, editor

Call Number: TX685

How to write and illustrate a scientific paper

Bjorn Gustavii, Lund University Hospital, Sweden

Call Number: T11 .G86 2017

Fachenglisch für Laborberufe

Steven L. Hanft

Call Number: T11 .H36 2016eb

Shifting practices : reflections on technology, practice, and innovation

Giovan Francesco Lanzara

Call Number: T14.5 .L35 2016eb

Professional rope access : a guide to working safely at height

Loui McCurley

Call Number: T55.3.H45 M355 2016eb

Proceedings of the 23rd International Conference on Industrial Engineering and Engineering Management 2016 : theory and application of industrial engineering

Ershi Qi, Jiang Shen, Runliang Dou, editors

Call Number: T55.45

Changing postal and delivery sector : towards a renaissance [electronic resource]

Call Number: T56

Project management and engineering research : AEIPRO 2016

José Luis Ayuso Muñoz, José Luis Yagüe Blanco, Salvador F. Capuz-Rizo, editors

Call Number: T56.8

Advances in metaheuristics : applications in engineering systems

Timothy Ganesan, Pandian Vasant, Irraivan Elamvazuthi

Call Number: T57 .G36 2017

Operations research and enterprise systems : 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised selected papers

Begoña Vitoriano, Greg H. Parlier (eds.)

Call Number: T57.6

Operations planning : mixed integer optimization models

Joseph Geunes

Call Number: T57.6 .G486 2015

System dynamics : modelling and simulation

by Bilash Kanti Bala, Fatimah Mohamed Arshad, Kusairi Mohd Noh

Call Number: T57.62

Robust control optimization with metaheuristics

Philippe Feyel

Call Number: T57.84 .R62 2017

Management of information, process and cooperation : third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised selected papers

Jian Cao, Jianxun Liu (eds.)

Call Number: T58.5

Advances in information and communication technology : proceeding of the International Conference, ICTA 2016

Masato Akagi [and 4 others], editors

Call Number: T58.5

Information technology for management : new ideas and real solutions : 14th Conference, AITM 2016, and 11th Conference, ISM 2016, held as part of FedCSIS, Gdansk, Poland, September 11-14, 2016, Revised selected papers

Ewa Ziemba (ed.)

Call Number: T58.5

Business Intelligence : 5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015, Tutorial Lectures

edited by Esteban Zimányi, Alberto Abelló

Call Number: T58.6

Real-world decision support systems : case studies

Jason Papathanasiou, Nikolaos Ploskas, Isabelle Linden, editors

Call Number: T58.62

Real-world decision support systems : case studies

Jason Papathanasiou, Nikolaos Ploskas, editors

Call Number: T58.62

Building digital ecosystem architectures : a guide to enterprise architecting digital technologies in the digital enterprise

Mark Skilton

Call Number: T58.64

Technology, society and sustainability : selected concepts, issues and cases

Lech W. Zacher, editor

Call Number: T173.8

Advanced computational nanomechanics

edited by Nuno Silvestre

Call Number: T174.7

Outlook and challenges of nano devices, sensors, and MEMS [electronic resource]

Ting Li, Ziv Liu, editors

Call Number: T174.7

Nano and bio heat transfer and fluid flow

professor Majid Ghassemi, Dr. Azadeh Shahidian

Call Number: T174.7 .G437 2017

Democratic experiments : problematizing nanotechnology and democracy in Europe and the United States

Brice Laurent

Call Number: T174.7 .L379 2017

Transactions on engineering technologies : World Congress on Engineering and Computer Science 2015

Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors

Call Number: TA5

Environmental management in mega construction projects

Jianming Yang

Call Number: TA153

Advances in ergonomic design of systems, products and processes : proceedings of the annual meeting of GfA 2016

Christopher Marc Schlick, Sönke Duckwitz, Frank Flemisch, Martin Frenz, Sinem Kuz, Alexander Mertens, Susanne Mütze-Niewöhner, editors

Call Number: TA166

Strategic engineering for cloud computing and big data analytics

Amin Hosseinian-Far, Muthu Ramachann, Dilshad Sarwar, editors

Call Number: TA168

Risk and reliability analysis : theory and applications : in honor of Prof. Armen Der Kiureghian

Paolo Gardoni, editor

Call Number: TA169

Fault diagnosis and fault-tolerant control based on adaptive control approach

Qikun Shen, Bin Jiang, Peng Shi

Call Number: TA169.6

Solving fault diagnosis problems : linear synthesis techniques [electronic resource]

Andreas Varga

Call Number: TA169.6

Sustainable manufacturing : challenges, solutions and implementation perspectives

Rainer Stark, Günther Seliger, Jérémy Bonvoisin, editors

Call Number: TA170

Complexity management in engineering design -- a primer

Maik Maurer

Call Number: TA174

Engineering mathematics II : algebraic, stochastic and analysis structures for networks, data classification and optimization

Sergei Silvestrov, Milica Rančić, editors

Call Number: TA330

Formulas for dynamics, acoustics and vibration

Robert D. Blevins

Call Number: TA332 .B59 2016

Engineering with Excel

Ronald W. Larsen, Montana State University

Call Number: TA345 .L37 2017

Dimensional analysis for engineers

Volker Simon, Bernhard Weigand, Hassan Gomaa

Call Number: TA347.D5

Finite element methods : a practical guide

Jonathan Whiteley

Call Number: TA347.F5

Applied nonautonomous and random dynamical systems : applied dynamical systems

Tomás Carabello, Xiaoying Han

Call Number: TA352

Systems with hidden attractors : from theory to realization in circuits

Viet-Thanh Pham, Christos Volos, Tomasz Kapitaniak

Call Number: TA352

Formal methods for discrete-time dynamical systems

Calin Belta, Boyan Yordanov, Ebru Aydin Gol

Call Number: TA352

Scalable algorithms for contact problems

Zdeněk Dostál, Tomáš Kozubek, Marie Sadowská, Vít Vonk

Call Number: TA353

Collective dynamics of particles : from viscous to turbulent flows

Cristian Marchioli, editor

Call Number: TA357.5.G47

Applications of process engineering principles in materials processing, energy and environmental technologies : an EPD symposium in honor of Professor Ramana G. Reddy

Shijie Wang, Michael L. Free, Shafiq Alam, Mingming Zhang, Patrick R. Taylor, editors

Call Number: TA401.3

Proceedings of the 3rd Pan American Materials Congress

Marc André Meyers [and 16 more], editors

Call Number: TA401.3

TMS 2017 : 146th Annual Meeting & Exhibition Supplemental Proceedings

The Minerals, Metals, & Materials Society, editor

Call Number: TA401.3 .T575 2017eb

Energy Materials 2017 [electronic resource]

Call Number: TA403.6

TMS 2015 144th Annual Meeting & Exhibition : supplemental proceedings [electronic resource]

Call Number: TA404.6

Characterization of minerals, metals, and materials 2015 : proceedings of a symposium sponsored by the Materials Characterization Committee of the Extraction and Processing Division of the Minerals, Metals & Materials Society (TMS) held during TMS 2015, 144th Annual Meeting & Exhibition, March 15-19, 2015, Walt D [electronic resource]

edited by John S. Carpenter, Chenguang Bai, Juan Pablo Escobedo, Jiann-Yang Hwang, Shadia Ikhmayies, Bowen Li, Jian Li, Sergio Neves Monteiro, Zhiwei Peng, Mingming Zhang

Call Number: TA404.6

Proceedings of the 2nd World Congress on Integrated Computational Materials Engineering (ICME) [electronic resource]

edited by Mei Li, Carelyn Campbell, Katsuyo Thornton, Elizabeth Holm, Peter Gumbsch

Call Number: TA404.6

Characterization of minerals, metals, and materials 2016 : proceedings of a symposium sponsored by the Materials Characterization Committee of the Extraction and Processing Division of the Minerals, Metals & Materials Society (TMS) held during TMS 2016, 145th Annual Meeting & Exhibition, February 14-18, Downtown [electronic resource]

edited by Shadia Jamil Ikhmayies, Bowen Li, John S. Carpenter, Jiann-Yang Hwang, Sergio Neves Monteiro, Jian Li, Donato Firrao, Mingming Zhang, Zhiwei Peng, Juan P. Escobedo-Diaz, Chenguang Bai

Call Number: TA404.6

6th International Symposium on High-Temperature Metallurgical Processing : proceedings of a symposium sponsored by the Minerals, Metals & Materials Society (TMS) held during TMS 2015, 144th Annual Meeting & Exhibition, March 15-19, 2015, Walt Disney World, Orlando, Florida, USA [electronic resource]

edited by Tao Jiang, Jiann-Yang Hwang, Gerardo R. F. Alvear F., Onuralp Yücel, Xinping Mao, Hong Yong Sohn, Naiyang Ma, Phillip J. Mackey, Thomas P. Battle

Call Number: TA404.6

Transport Phenomena in Materials Processing [electronic resource]

by D. R. Poirier, G. H. Geiger

Call Number: TA404.6

Mechanical and creep behavior of advanced materials : a SMD symposium honoring Professor K. Linga Murty

Indrajit Charit, Yuntian T. Zhu, Stuart A. Maloy, Peter K. Liaw, editors

Call Number: TA405

Data-driven remaining useful life prognosis techniques : stochastic models, methods and applications

Xiao-Sheng Si, Zheng-Xin Zhang, Chang-Hua Hu

Call Number: TA409.2

Molecular simulation studies on thermophysical properties : with application to working fluids

Gabriele Raabe

Call Number: TA418.52

Basic Thermochemistry in Materials Processing

by Gabriel Plascencia, David Jaramillo

Call Number: TA418.52

Microbiologically influenced corrosion : an engineering insight

Reza Javaherdashti

Call Number: TA418.74

Acoustic emission : methodology and application

Zinoviy Nazarchuk, Valentyn Skalskyi, Oleh Serhiyenko

Call Number: TA418.84

Green biocomposites : design and applications

Mohammad Jawaid, Mohd Sapuan Salit, Othman Y Alothman, editors

Call Number: TA418.9.C6

Heat Transfers in Polymer Composite Materials : Forming Processes

Call Number: TA418.9.C6

Bending behavior of thermoplastic composite sheets : viscoelasticity and temperature dependency in the draping process

Steffen Ropers

Call Number: TA418.9.C6

Advanced composites for aerospace, marine, and land applications II : proceedings of a symposium sponsored by The Minerals, Metals & Materials Society (TMS) held during TMS 2015, 144th Annual Meeting & Exhibition, March 15-19, 2015, Walt Disney World, Orlando, Florida, USA

edited by T. Sano, T. S. Srivatsan

Call Number: TA418.9.C6

The Production and Processing of Inorganic Materials [electronic resource]

by James W. Evans, Lutgard C. De Jonghe

Call Number: TA418.9.C6

Materials, energy and environment engineering : select proceedings of ICACE 2015

Raj Mohan B., G. Srinikethan, Bhim Charan Meikap, editors

Call Number: TA418.9.N35

Adverse effects of engineered nanomaterials : exposure, toxicology, and impact on human health

edited by Bengt Fadeel, Antonio Pietroiusti, Anna A. Shvedova

Call Number: TA418.9.N35 .A38 2017

Nanocomposites in electrochemical sensors

Samira Bagheri, Nanotechnology & Catalysis Research Centre (NANOCAT), University Malaya, Kuala Lumpur, Malaysia [and 3 others]

Call Number: TA418.9.N35 B34 2017

Handbook of mechanical nanostructuring

edited by Mahmood Aliofkhazraei

Call Number: TA418.9.N35 H365 2015

Hybrid nanomaterials : design, synthesis, and biomedical applications

editors Feng Chen, Weibo Cai

Call Number: TA418.9.N35 H93 2017

Submicron porous materials

Paolo Bettotti, editor

Call Number: TA418.9.P6

Smart textiles : fundamentals, design, and interaction

Stefan Schneegass, Oliver Amft, editors

Call Number: TA418.9.S62

Wood is good : current trends and future prospects in wood utilization

Krishna K. Pandey, V. Ramakantha, Shakti S. Chauhan, A.N. Arun Kumar, editors

Call Number: TA419

Bio-aggregates based building materials : state-of-the-art report of the RILEM Technical Committee 236-BBM

Sofiane Amziane, Florence Collet, editors

Call Number: TA441

Development of recycled polypropylene plastic fibres to reinforce concrete

Shi Yin

Call Number: TA444

Carbon nanomaterials based on graphene nanosheets

editor, Ling Bing Kong, School of Materials Science and Engineering, Nanyang Technological University, Singapore

Call Number: TA455.C3 C357 2016

Fatigue of materials II : advances and emergences in understanding : proceedings of a symposium sponsored by Mechanical Behavior Committee of the Minerals, Metals & Materials Society (TMS) and ASM International held during Materials Science & Technology 2012 (MS&T '12) October 7-1

edited by T. S. Srivatsan, M. Ashraf Imam, R. Srinivasan

Call Number: TA455.C43

Graphene-based materials in health and environment : new paradigms [electronic resource]

Gil Gonçalves, Paula Marques, Mercedes Vila, editors

Call Number: TA455.G65

Smart polymer nanocomposites : energy harvesting, self-healing and shape memory applications

Deepalekshmi Ponnamma, Kishor Kumar Sadasivuni, John-John Cabibihan, Mariam Al-Ali Al Maadeed, editors

Call Number: TA455.P585

Essential Readings in Light Metals : Volume 4 Electrode Technology for Aluminum Production [electronic resource]

edited by Alan Tomsett, John Johnson

Call Number: TA480.A6

Metals, Energy and Sustainability : The Story of Doctor Copper and King Coal

Call Number: TA480.C7

Magnesium technology 2017

Kiran N. Solanki, Dmytro Orlov, Alok Singh, Neale R. Neelameggham, editors

Call Number: TA480.M3

Magnesium technology 2015 : proceedings of a symposium sponsored by Magnesium Committee of the Light Metals Division of the Minerals, Metals & Materials Society (TMS) held during TMS 2015, 144th Annual Meeting & Exhibition, March 15-19, 2015, Walt Disney World, Orlando, Florida, USA

edited by Michele V. Manuel, Alok Singh, Martyn Alderman, Neale R. Neelameggham

Call Number: TA480.M3

Magnesium technology 2014 : proceedings of a symposium sponsored by the Magnesium Committee of the Light Metals Division of the Minerals, Metals & Materials Society (TMS) held during TMS2014, 143rd Annual Meeting & Exhibition, February 16-20, 2014, San Diego Convention Center, San D

edited by Martyn Alderman, Michele V. Manuel, Norbert Hort and Neale R. Neelameggham

Call Number: TA480.M3

Essential Readings in Magnesium Technology [electronic resource]

edited by Suveen N. Mathaudhu, Alan A. Luo, Neale R. Neelameggham, Eric A. Nyberg, Wim H. Sillekens

Call Number: TA480.M3

Models, simulation, and experimental issues in structural mechanics

Michel Frémond, Franco Maceri, Giuseppe Vairo, editors

Call Number: TA645

Statics and influence functions--from a modern perspective

Friedel Hartmann, Peter Jahn

Call Number: TA648

Transparente Schalen : Form, Topologie, Tragwerk

Hans Schober

Call Number: TA660.S5

Statische Beurteilung historischer Tragwerke. Band 2, Holzkonstruktionen

Stefan M. Holzer

Call Number: TA666

Beton Kalender 2017. Spannbeton, Spezialbetone

Herausgegeben von Konrad Bergmeister, Frank Fingerloos, Johann-Dietrich Wörner

Call Number: TA681

Eurocode 2 für Deutschland : DIN EN 1992-1-1 Bemessung und Konstruktion von Stahlbeton- und Spannbetontragwerken ; Teil 1-1 : Allgemeine Bemessungsregeln und Regeln für den Hochbau mit Nationalem : Anhang Kommentierte Fassung

Frank Fingerloos, Josef Hegger, Konrad Zilch ; Herausgeber: Bundesvereinigung der Prüfingenieure für Bautechnik e.V., Deutscher Beton- und Bautechnik-Verein E.V., Institut für Stahlbetonbewehrung e.V., Verband Beratender Ingenieure (VBI)

Call Number: TA683

Beispiele zur Bemessung nach Eurocode 2. Band 2 : : Ingenieurbau

Deutscher Beton- und Bautechnik-Verein

Call Number: TA683.9

Stahlbau Kalender 2016 : Eurocode 3 -- Grundnorm, Werkstoffe und Nachhaltigkeit

Herausgegeben von: Prof. Dr.-Ing. Ulrike Kuhlmann

Call Number: TA684

Eurocode 3 Bemessung und Konstruktion von Stahlbauten. Band 2, Anschlüsse : : DIN EN 1993-1-8 mit Nationalem Anhang Kommentar und Beispiele

Prof. Dr.-Ing. Dieter Ungermann, Prof. Dr. Ram Puthli, Prof. Dr.-Ing. Thomas Ummenhofer, Dr.-Ing. Christian Müller, Prof. Dr.-Ing. Klaus Weynand, unter Mitarbeit von Depl.-Ing. Eva Preckwinkel ; Herausgeber, Bauforumstahl e. V., Bundesingenieurkammer, DASt Deutscher Ausschuß für Stahlbau, DIN Deutsches Institut für Normung e. V. (Konsolidierte Fassung)

Call Number: TA684

Stahlbau-Kalender 2015 : Eurocode 3 - Grundnorm, Leichtbau

herausgegeben von Prof. Dr.-Ing. Ulrike Kuhlmann

Call Number: TA684

Holistic simulation of geotechnical installation processes : theoretical results and applications

Theodoros Triantafyllidis, editor

Call Number: TA705 .H63 2017eb

Geotechnik : Bodenmechanik

Gerd Möller

Call Number: TA710

Geotechnik : Grundbau

Gerd Möller

Call Number: TA710

Zielgenau bis ans Ende des Tunnels : Handbuch für die Bauvorbereitung, Vermessung und Bauüberwachung von Schildvortrieben

Dietmar Placzek, Rolf Bielecki, Manfred Messing, Frank Schwarzer

Call Number: TA805

Taschenbuch für den Tunnelbau 2017 : Kompendium der Tunnelbautechnologie Planungshilf für den Tunnelbau

herausgeben von der DGGT Deutsche Gesellschaft fur Geotechnik e.V. unter Mitwirkung von Dr. rer. nat. K. Laackmann [and sixteen others]

Call Number: TA805

Nano-optics : principles enabling basic research and applications

edited by Baldassare Di Bartolo, John Collins and Luciano Silvestri

Call Number: TA1505

Progress in nanophotonics. 4

Motoichi Ohtsu, Takashi Yatsui, editors

Call Number: TA1530

Efficient predictive algorithms for image compression

Luís Filipe Rosário Lucas, Eduardo Antônio Barros da Silva, Sérgio Manuel Maciel de Faria, Nuno Miguel Morais Rodrigues, Carla Liberal Pagliari

Call Number: TA1632

Handbook of digital image synthesis : scientific foundations of rendering

Vincent Pegoraro

Call Number: TA1632 .P44 2017

Proceedings of International Conference on Computer Vision and Image Processing Volume 1 : CVIP 2016. [electronic resource]

Balasubramanian Raman, Sanjeev Kumar, Partha Pratim Roy, Debashis Sen, editors

Call Number: TA1634

Guide to 3D vision computation : geometric analysis and implementation [electronic resource]

Kenichi Kanatani, Yasuyuki Sugaya, Yasushi Kanazawa

Call Number: TA1634

Proceedings of International Conference on Computer Vision and Image Processing : CVIP 2016.

Balasubramanian Raman, Sanjeev Kumar, Partha Pratim Roy, Debashis Sen, editors

Call Number: TA1634

Tongue image analysis

David Zhang, Hongzhi Zhang, Bob Zhang

Call Number: TA1637

Edge detection methods based on generalized type-2 fuzzy logic

Claudia I. Gonzalez, Patricia Melin, Juan R. Castro, Oscar Castillo

Call Number: TA1637

Multi-wave electromagnetic-acoustic sensing and imaging

Fei Gao

Call Number: TA1770

Hydraulic modeling

Victor M. Lyatkher, Alexander M. Proudovsky

Call Number: TC164 .L53 2016eb

Plasma Remediation Technology for Environmental Protection

Call Number: TD192.5

Nanotechnologies for environmental remediation : applications and implications

Giusy Lofrano, Giovanni Libralato, Jeanette Brown, editors

Call Number: TD192.5

Using risk analysis for flood protection assessment

Martina Zeleňáková, Lenka Zvijáková

Call Number: TD194.6

Shale analytics : data-driven analytics in unconventional resources

Shahab D. Mohaghegh

Call Number: TD195.G3

Shale gas : ecology, politics, economy

Sergey S. Zhiltsov, editor

Call Number: TD195.G3

Living with lead : an environmental history of Idaho's Coeur d'Alenes, 1885-2011

Bradley D. Snow

Call Number: TD195.M5 S625 2017

Pollution control handbook for oil and gas engineering

edited by Nicholas P. Cheremisinoff

Call Number: TD196.P4 P65 2016eb

Freshwater challenges of South Africa and its upper Vaal River : current state and outlook

Anja du Plessis

Call Number: TD319.S6

Stormwater : a resource for scientists, engineers, and policy makers

William G. Wilson

Call Number: TD657

Combustible solid waste thermochemical conversion : a study of interactions and influence factors

Hui Zhou

Call Number: TD796.2

Pollutant dispersion in built environment

Tingzhen Ming, Chong Peng, Tingrui Gong, Zhengtong Li

Call Number: TD883

China's role in reducing carbon emissions : the stabilisation of energy consumption and the deployment of renewable energy

David Toke

Call Number: TD885.5.C3 T645 2017

Internet of vehicles -- technologies and services : third International Conference, IOV 2016, Nadi, Fiji, December 7-10, 2016, Proceedings

Ching-Hsien Hsu, Shangguang Wang, Ao Zhou, Ali Shawkat (eds.)

Call Number: TE228.38

Code of practice for programme management in the built environment

the Chartered Institute of Building

Call Number: TH438 .C46 2016eb

Construction manager's BIM handbook

John Eynon

Call Number: TH438.13 .E96 2016eb

Sustainable building and built environments to mitigate climate change in the tropics : conceptual and practical approaches

Tri Harso Karyono, Robert Vale, Brenda Vale, editors

Call Number: TH880

Sustainable construction processes : a resource text

Steve Goodhew

Call Number: TH880

Der Eurocode 5 für Deutschland Eurocode 5 : Bemessung und Konstruktion von Holzbauten.

Herausgeber: DIN Deutsches Institut für Normung

Call Number: TH1101

Holzbau-Taschenbuch : Bemessungsbeispiele nach Eurocode 5

Mandy Peter, Claus Scheer

Call Number: TH1101

Shallow foundations : discussions and problem solving

Tharwat M. Baban

Call Number: TH5201

Bauphysik Kalender 2015 : Simulations- und Berechnungsverfahren

herausgegeben von Nabil A Fouad

Call Number: TH6021

Historical buildings and energy

Giovanna Franco, Anna Magrini

Call Number: TH6021

Geothermal energy : sustainable heating and cooling using the ground

Marc A. Rosen and Seama Koohi-Fayegh, University of Ontario Institute of Technology, Oshawa, Canada

Call Number: TH7417.5

Bauphysik Kalender 2016. Brandschutz

Herausgegeben von Univ. Prof. Dr.-Ing. Nabil A. Fouad

Call Number: TH9145

Case studies in mechanical engineering : decision making, thermodynamics, fluid mechanics and heat transfer

Stuart Sabol

Call Number: TJ148 .S23 2016eb

Energy technology 2017 : carbon dioxide management and other technologies

Lei Zhang, Jaroslaw W. Drelich, Neale R. Neelameggham, Donna Post Guillen, Nawshad Haque, Jingxi Zhu, Ziqi Sun, Tao Wang, John A Howarter, Fiseha Tesfaye, Shadia Ikhmayies, Elsa Olivetti, Mark William Kennedy, editors

Call Number: TJ163.15

Energy technology 2015 : carbon dioxide management and other technologies : proceedings of the Energy Technologies and Carbon Dioxide Management Symposium, sponsored by the Energy Committee of the Extraction & Processing Division (EPD) and the Light Metals Division (LMD) of the M

edited by Animesh Jha [and more]

Call Number: TJ163.15

Peak energy : myth or reality?

M.R. Islam and James G. Speight

Call Number: TJ163.2 .I856 2016eb

Energy efficiency and renewable energy handbook

[compiled by] D. Yogi Goswami and Frank Kreith

Call Number: TJ163.3 .H356 2016

Energy audits and improvements for commercial buildings : a guide for energy managers and energy auditors

Ian M. Shapiro

Call Number: TJ163.5.B84

Energy and civilization : a history

Vaclav Smil

Call Number: TJ163.5 .S623 2017

Design, analysis and control of cable-suspended parallel robots and its applications

Bin Zi, Sen Qian

Call Number: TJ211.4152

Trends in control and decision-making for human-robot collaboration systems

Yue Wang, Fumin Zhang, editors

Call Number: TJ211.49

Automation 2017 : innovations in automation, robotics and measurement techniques

Roman Szewczyk, Cezary Zieliński, Małgorzata Kaliczyńska, editors

Call Number: TJ213

Implementing polytope projects for smart systems [electronic resource]

Octavian Iordache

Call Number: TJ213

Predictor feedback for delay systems : implementations and approximations

Iasson Karafyllis, Miroslav Krstic

Call Number: TJ216

Networked control systems with intermittent feedback

Domagoj Tolic and Sandra Hirche

Call Number: TJ216 .T64 2017

Robust control of linear descriptor systems

Yu Feng, Mohamed Yagoubi

Call Number: TJ217.2

Intelligent autonomous systems 14 : proceedings of the 14th International Conference IAS-14

Weidong Chen, Koh Hosoda, Emanuele Menegatti, Masahiro Shimizu, Hesheng Wang, editors

Call Number: TJ217.5

Building Arduino PLCs : the essential techniques you need to develop Arduino-based PLCs

Pradeeka Seneviratne

Call Number: TJ223.P76

Combustion for power generation and transportation : technology, challenges and prospects

Avinash Kumar Agarwal, Santanu De, Ashok Pandey, Akhilendra Pratap Singh, editors

Call Number: TJ254.5

Numerical simulation of heat exchangers

edited by W.J. Minkowycz, E.M. Sparrow, J.P. Abraham, J.M. Gorman

Call Number: TJ263 .N86 2017

Geoenergy modeling II : shallow geothermal systems

Haibing Shao [and 3 others]

Call Number: TJ280.7

Locomotives and rail road transportation : technology, challenges and prospects

Avinash Kumar Agarwal, Atul Dhar, Anirudh Gautam, Ashok Pandey, editors

Call Number: TJ605

Low-carbon energy in Africa and Latin America : renewable technologies, natural gas and nuclear energy

Ricardo Guerrero-Lemus, Les E. Shephard

Call Number: TJ807.9.A35

Renewable energy : problems and prospects in Coachella Valley, California

James B. Pick

Call Number: TJ807.9.U6

Towards 100% renewable energy : techniques, costs and regional case-studies

Tanay Sidki Uyar, editor

Call Number: TJ808

Avoiding carbon apocalypse through alternative energy : life after fossil fuels

John Lowry

Call Number: TJ808

Accelerating Green Innovation : Essays on Alternative Investments in Clean Technologies

Call Number: TJ808

Renewable energy systems

Sandip A. Kale, editor

Call Number: TJ808 .R4535 2017

Machining of stainless steels and super alloys : traditional and nontraditional techniques

Helmi A. Youssef, Alexandria University, Alexandria, Egypt

Call Number: TJ1185

Small machine tools for small workpieces : final report of the DFG Priority Program 1476

Jens Peter Wulfsberg, Adam Sanders, editors

Call Number: TJ1185

Laser beam micro-milling of micro-channels in aerospace alloys

Saied Muhammed Hassan Darwish, Naveed Ahmed, Abdulrahman M. Al-Ahmari, editors

Call Number: TJ1191

Micro-manufacturing technologies and their applications : a theoretical and practical guide

Irene Fassi, David Shipley, editors

Call Number: TJ1191.5

Synchronized phasor measurements and their applications

Arun G. Phadke, James S. Thorp

Call Number: TK454

High Performance Soft Magnetic Materials [electronic resource]

edited by Arcady Zhukov

Call Number: TK454.4.M3

High Performance Soft Magnetic Materials

Call Number: TK454.4.M3

Electric Power System Basics for the Nonelectrical Professional

Steven W. Blume

Call Number: TK1001 .B58 2017

Power system optimization : large-scale complex systems approaches [electronic resource]

Haoyong Chen, Honwing Ngan, Yongjun Zhang ; with contributions from Xifan Wang and Xiuli Wang, Tony C.Y. Chung, Fuqiang Zhang, Zechun Hu, Min Xie

Call Number: TK1005 .C44 2016eb

Handbook of distributed generation : electric power technologies, economics and environmental impacts

Ramesh Bansal, editor

Call Number: TK1006

Elementary processes in organic photovoltaics [electronic resource]

Karl Leo, editor

Call Number: TK1087

Wind energy and wildlife interactions : presentations from the CWW2015 Conference

Johann Köppel, editor

Call Number: TK1541 .C66 2015eb

Fuel cell fundamentals

Ryan O'Hayre, Suk-Won Cha, Whitney Colella, Fritz B. Prinz

Call Number: TK2931

Design, fabrication and electrochemical performance of nanostructured carbon based materials for high-energy lithium-sulfur batteries : next-generation high performance lithium-sulfur batteries

Guangmin Zhou

Call Number: TK2945.L58

Fiber solar cells : materials, processing and devices

Shaocong Hou

Call Number: TK2960

Cooperative synchronization in distributed microgrid control

Ali Bidram, Vahidreza Nasirian, Ali Davoudi, Frank L. Lewis

Call Number: TK3105

Data analytics for renewable energy integration : 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised selected papers

Wei Lee Woon, Zeyar Aung, Oliver Kramer, Stuart Madnick (eds.)

Call Number: TK3105

Handbook of advanced lighting technology

Robert Karlicek, Ching-Cherng Sun, Georges Zissis, Ruiqing Ma, editors

Call Number: TK4161

Emerging trends in electrical, electronic and communications engineering : proceedings of the first International Conference on Electrical, Electronic and Communications Engineering (ELECOM 2016), Bagatelle, Mauritius, November 25 -27, 2016

Peter Fleming, Nalinaksh Vyas, Saeid Sanei, Kalyanmoy Deb, editors

Call Number: TK5101.A1

COMMUNICATION, SIGNAL PROCESSING &INFORMATION TECHNOLOGY

Call Number: TK5101 .C66 2017

How not to network a nation : the uneasy history of the Soviet internet

Benjamin Peters

Call Number: TK5102.3.S68 P48 2016eb

Latent variable analysis and signal separation : 13th International Conference, LVAICA 2017, Grenoble, France, February 21-23, 2017, Proceedings

Petr Tichavský, Massoud Babaie-Zadeh, Olivier J.J. Michel, Nadège Thirion-Moreau (eds.)

Call Number: TK5102.9

Cyclostationarity : theory and methods III : contributions to the 9th Workshop on Cyclostationary Systems and Their Applications, Grodek, Poland, 2016

Fakher Chaari, Jacek Leskow, Antonio Napolitano, Radoslaw Zimroz, Agnieszka Wylomanska, editors

Call Number: TK5102.9

Power line communications : principles, standards and applications from multimedia to smart grid

[edited by] Lutz Lampe, Andrea M. Tonello, Theo G. Swart

Call Number: TK5103.15 .P695 2016eb

Contract theory for wireless networks

Yanru Zhang, Zhu Han

Call Number: TK5103.2

Mobile networks and management : 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016, Revised selected papers

Ramón Agüero, Yasir Zaki, Bernd-Ludwig Wenning, Anna Förster, Andreas Timm-Giel (eds.)

Call Number: TK5103.2

Green symbiotic cloud communications

H.D Mustafa, Shabbir N. Merchant, Uday B. Desai, Brij Mohan Baveja

Call Number: TK5103.2

Key technologies for 5G wireless systems

[edited by] Vincent W.S. Wong [and 3 others]

Call Number: TK5103.2 .K49 2017

Robust resource allocation in future wireless networks

Saeedeh Parsaeefard, Ahmad Reza Sharafat, Nader Mokari

Call Number: TK5103.4873

Resource management for energy and spectrum harvesting sensor networks

Deyu Zhang, Zhigang Chen, Haibo Zhou, Xuemin (Sherman) Shen

Call Number: TK5103.4873

Sequential learning and decision-making in wireless resource management

Rong Zheng, Cunqing Hua

Call Number: TK5103.4873

Fibre optic communication : key devices

Herbert Venghaus, Norbert Grote, editors

Call Number: TK5103.592.F52

Introduction to computer networking

Thomas G. Robertazzi

Call Number: TK5105.5

Connectivity of communication networks

Guoqiang Mao

Call Number: TK5105.5

Complex networks VIII : Proceedings of the 8th Conference on Complex Networks CompleNet 2017

Bruno Gonçalves, Ronaldo Menezes, Roberta Sinatra, Vinko Zlatic, editors

Call Number: TK5105.5

Industrial networks and intelligent systems : second International Conference, INISCOM 2016, Leicester, UK, October 31-November 1, 2016, Revised selected papers

edited by Leandros A. Maglaras, Helge Janicke, Kevin Jones (eds.)

Call Number: TK5105.5

Multiple Access Communications : 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings [electronic resource]

edited by Tatiana K. Madsen, Jimmy J. Nielsen, Nuno K. Pratas

Call Number: TK5105.5

Network science

Albert-László Barabási ; with Márton Pósfai, data analysis and simulations

Call Number: TK5105.5 .B37 2016

Information systems security and privacy : second International Conference, ICISSP 2016, Rome, Italy, February 19-21, 2016, Revised selected papers

Olivier Camp, Steven Furnell, Paolo Mori (eds.)

Call Number: TK5105.59

Risks and security of internet and systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised selected papers

Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay (eds.)

Call Number: TK5105.59

Energy and bandwidth-efficient wireless transmission

Wei Gao

Call Number: TK5105.78

Pro MERN Stack : full Stack Web app development with Mongo, Express, React, and Node

Vasan Subramanian

Call Number: TK5105.875.I6

Secure and privacy-preserving data communication in Internet of Things

Liehuang Zhu, Zijian Zhang, Chang Xu

Call Number: TK5105.8857

Optical fiber sensors for loT and smart devices

Maria de Fátima F. Domingues, Ayman Radwan

Call Number: TK5105.8857

Enabling the Internet of Things : from integrated circuits to integrated systems

Massimo Alioto, editor

Call Number: TK5105.8857

PrestaShop recipes : a problem-solution approach

Arnaldo Pérez Castaño

Call Number: TK5105.888

How to design and write web pages today

Karl Stolley

Call Number: TK5105.888 .S76 2017

OWL: Experiences and Directions -- reasoner evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised selected papers

Mauro Dragoni, María Poveda-Villalón, Ernesto Jimenez-Ruiz (eds.)

Call Number: TK5105.88815

Reasoning web : logical foundation of knowledge graph construction and query : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, tutorial lectures [electronic resource]

Jeff Z. Pan... [et al.] (eds.)

Call Number: TK5105.88815

Rapid mashup development tools : second International Rapid Mashup Challenge, RMC 2016, Lugano, Switzerland, June 6, 2016, Revised selected papers

Florian Daniel, Martin Gaedke (eds.)

Call Number: TK5105.88817

Interference analysis : modelling radio systems for spectrum management

John A. Pahl

Call Number: TK6552

Security surveillance centers : design, implementation, and operation

Anthony V. DiSalvatore

Call Number: TK6680.3 .D57 2017

Fundamentals of electronics

Thomas F. Schubert, Jr. and Ernest M. Kim, University of San Diego

Call Number: TK7815 .S38 2015

Fundamentals of electronics

Thomas F. Schubert, Jr. and Ernest M. Kim, University of San Diego

Call Number: TK7815 .S38 2015

An essential guide to electronic material surfaces and interfaces

by Leonard J. Brillson, Ohio State University

Call Number: TK7871

Active metamaterials : terahertz modulators and detectors

Saroj Rout, Sameer Sonkusale

Call Number: TK7871.15.M48

Physics and Technology of Crystalline Oxide Semiconductor CAAC-IGZO : Application to Displays

Shunpei Yamazaki, Tetsuo Tsutsui

Call Number: TK7871.85

Organic thin-film transistor applications : materials to circuits

Brajesh Kumar Kaushik, Brijesh Kumar, Sanjay Prajapati, and Poornima Mittal

Call Number: TK7871.96.T45 K38 2017

Impedance source power electronic converters

authored by Yushan Liu, Texas A&M University at Qatar, Qatar Foundation, Doha, Qatar; Haitham Abu-Rub, Texas A&M University at Qatar, Qatar Foundation, Doha, Qatar; Baoming Ge, Texas A&M University, College Station, USA; Frede Blaabjerg, Aalborg University, Aalborg East, Denmark; Omar Ellabban, Texas A&M University at Qatar, Qatar Foundation, Doha, Qatar, Helwan University, Cairo, Egypt; Poh Chiang Loh, Aalborg University, Aalborg East, Denmark 0002732136

Call Number: TK7872.C8

Algorithms for sensor systems : 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised selected papers

Marek Chrobak, Antonio Fernández Anta, Leszek G̨asieniec, Ralf Klasing (eds.)

Call Number: TK7872.D48

Embedded sensor systems

Dharma Prakash Agrawal

Call Number: TK7872.D48

Sensor, circuits and instrumentation systems

edited by Olfa Kanoun, Faouzi Derbel and Nabil Derbel

Call Number: TK7872.D48 .S46 2017

Advances in memristors, memristive devices and systems

Sundarapandian Vaidyanathan, Christos Volos, editors

Call Number: TK7872.R4

Power management techniques for integrated circuit design

Ke-Horng Chen

Call Number: TK7872.V55

Parallel sparse direct solver for integrated circuit simulation

Xiaoming Chen, Yu Wang, Huazhong Yang

Call Number: TK7874

3D microelectronic packaging : from fundamentals to applications

Yan Li, Deepak Goyal, editors

Call Number: TK7874

Silicon earth : introduction to microelectronics and nanotechnology

John D. Cressler

Call Number: TK7874 .C746 2016

Well-organized inorganic nanowire films : assemblies and functionalities

Jian-Wei Liu

Call Number: TK7874.85

Photoactive semiconductor nanocrystal quantum dots : fundamentals and applications [electronic resource]

Alberto Credi, editor ; with contributions from Jaume Garcia-Amoros... [et al.]

Call Number: TK7874.88

Synthesized transmission lines : design, circuit implementation, and phased array applications

Tzyh-Ghuang Ma, Chao-Wei Wang, Chi-Hui Lai, Ying-Cheng Tseng

Call Number: TK7876

Electronic control fires : a design, manufacturing and forensic technical perspective

James E. Small

Call Number: TK7881.2

Intelligent visual surveillance : 4th Chinese Conference, IVS 2016, Beijing, China, October 19, 2016, Proceedings

Zhang Zhang, Kaiqi Huang (eds.)

Call Number: TK7882.E2

Pattern recognition and information processing : 13th International Conference, PRIP 2016, Minsk, Belarus, October 3-5, 2016, Revised selected papers

Viktor V. Krasnoproshin, Sergey V. Ablameyko (eds.)

Call Number: TK7882.P3

Advances in Visual Cocmputing : 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I [electronic resource]

edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Fatih Porikli, Sandra Skaff, Alireza Entezari, Jianyuan Min, Daisuke Iwai, Amela Sadagic, Carlos Scheidegger, Tobias Isenberg

Call Number: TK7882.P3

Normally-off computing

Takashi Nakada, Hiroshi Nakamura, editors

Call Number: TK7885

Practical ELK Stack : build actionable insights and business metrics using the combined power of Elasticsearch, Logstash, and Kibana

Gurpreet S. Sachdeva

Call Number: TK7895.D28

More-than-Moore 2.5D and 3D SiP integration [electronic resource]

Riko Radojcic

Call Number: TK7895.E42

Flash memory integration : performance and energy issues

Jalil Boukhobza, Pierre Olivier

Call Number: TK7895.M4 B685 2017

Introduction to magnetic random-access memory

edited by Bernard Dieny, Ronald B. Goldfarb, Kyung-Jin Lee

Call Number: TK7895.M4 I62 2017eb

Smart card research and advanced applications : 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised selected papers

Kerstin Lemke-Rust, Michael Tunstall (eds.)

Call Number: TK7895.S62

Proceedings of the 20th Pacific Basin Nuclear Conference. Volume 3

Hong Jiang, editor

Call Number: TK9006

Proceedings of the 20th Pacific Basin Nuclear Conference. Volume 2

Hong Jiang, editor

Call Number: TK9006

Nuclear power plant emergencies in the USA : managing risks, demographics and response

Dean Kyne

Call Number: TK9152.13

Development of an ultrasonic sensing technique to measure lubricant viscosity in engine journal bearing in-situ

Michele Schirru

Call Number: TL153.5

The Dieselgate : a legal perspective

Call Number: TL215.V6

Thermal management of electric vehicle battery systems

İbrahim Dinçer, Halil S. Hamut, Nader Javani

Call Number: TL220 .D56 2017

Proceedings of SAE-China Congress 2016 : selected papers

Society of Automative Engineers of China (SAE-China), editor

Call Number: TL240

Computer vision for driver assistance : simultaneous traffic and driver monitoring

Mahdi Rezaei, Reinhard Klette

Call Number: TL272.57

Collection de mémoires sur la locomotion aérienne sans ballons

publiée par le v[icom]te de Ponton d'Amécourt

Call Number: TL507 .P6

... Petite encyclopédie aéronautique.

Illustrations de E. Roux

Call Number: TL509 .V4

Celebrating a century of flight

Call Number: TL521 .A337

My airships; : the story of my life.

With a new introd. by Sir Peter Wykeham

Call Number: TL540.S25 A3 1973

Traité d'aérostation; : théorique et pratique; construction des ballons et des engins accessoires--appareils à gaz hydrogène--manœuvres à terre et en l'air--ascensions captives--appareils d'aérostation militaire--navigation aérienne avec aéroplanes,

par Henry de Graffigny ... Guide complet à l'usage des sociétés d'aérostation françaises et étrangères, des aéronautes professionnels, des aérostiers militaires, des élèves, des amateurs et de toutes les personnes s'intéressant à l'aérostation et à la navigation aérienne. Ouvrage illustré de 77 figures dessinées par l'auteur

Call Number: TL544 .M36

The aero manual; : a manual of mechanically-propelled human flight, covering the history of the work of early investigators, and of the pioneer work of the last century. Recent successes, and the reasons therefor, are dealt with, together with many constructive details con

Call Number: TL545 .A3 1910

La route de l'air; : aéronatique, aviation; histoire--théorie--pratique.

82 diagrammes explicatifs, 66 gravures tirées hors texte ..

Call Number: TL545 .B44 1909

ABC of aviatio : a complete, practical treatise outlining clearly the elements of aeronautical engineering, with special reference to simplified explanations of the theory of flight, aerodynamics and basic principles underlying the action of balloons and airplanes of all

by Lt. Col. Victor W. Pagbe... A simplified text suitable for school or home study

Call Number: TL545 .P15 1918

L'aéronautique

Ct. Paul Renard

Call Number: TL545 .R5

The resistance of the air and aviation experiments conducted at the Champ-de-Mars laboratory

by G. Eiffel

Call Number: TL570 .E5513 1913

Aerodynamics : constituting the first volume of a complete work on aerial flight

by F. W. Lanchester ; with appendices on the velocity and momentum of sound waves, on the theory of soaring flight, etc

Call Number: TL570 .L24

Langley memoir on mechanical flight;

by Samuel Pierpont Langley [and] Charles M. Manly

Call Number: TL570 .L3

A mathematical perspective on flight dynamics and control

Andrea L'Afflitto

Call Number: TL573

Aerospace navigation systems

[edited by] Alexander V. Nebylov, Joseph Watson

Call Number: TL586

The Balloon : a bicentennial exhibition

Call Number: TL615 .B34 1983

Who's who of ballooning

by Robert J. Rechs

Call Number: TL615 .R43 1983

The war balloon Santiago

Bruce L. Ullman

Call Number: TL616 .U445 1985

The Montgolfier brothers and the invention of aviation, 1783-1784 : with a word on the importance of ballooning for the science of heat and the art of building railroads

by Charles Coulston Gillispie

Call Number: TL617.M66 G48 1983

Travels in the air.

By James Glaisher, Camille Flammarion, W. de Fonvielle, and Gaston Tissandier. Ed. by James Glaisher. With one hundred and eighteen illustrations

Call Number: TL620.A1 G6 1871

Les aéronautes, les colombophiles du siège de Paris

Call Number: TL620.A1 M3

The first air voyage in America : the times, the place, and the people of the Blanchard balloon voyage of January 9, 1793, Philadelphia to Woodbury, together with a fac simile reprinting of the Journal of my forty- fifth ascension and the first in America

by Jean Pierre Blanchard

Call Number: TL620.B6 P43

Lighter than air : Sophie Blanchard, the first woman pilot

Matthew Clark Smith ; illustrated by Matt Tavares

Call Number: TL620.B62 S65 2017

Voyages aériens; : impressions et études; journal de bord de douze voyages scientifiques en ballon; avec plans topographiques

Call Number: TL620.F6 A45 1881

Un pioniere dell'aeronautica, Vincenzo Lunardi;

documenti inediti e saggio iconografico, raccolti da G. Morazzoni

Call Number: TL620.L8 M6

Pratique des ascensions aérostatiques,

par le commandant Georges Espitallier

Call Number: TL626 .E75

The science and the art of hot air ballooning

John P. Jackson and Rudolph J. Dichtl

Call Number: TL638 .J3

The story of the airship (non-rigid) : a study of one of America's lesser known defense weapons

by Hugh Allen

Call Number: TL650 .A62

La navigation aérienne par ballons dirigeables. : 40 illustrations et figures

Call Number: TL650 .B6

Famous aircraft : the LZ 129 "Hindenburg,"

by Douglas H. Robinson ; scale drawings, Richard Groh

Call Number: TL659.H5 R6

Airplanes and elementary engineering

by Daniel J. Brimm and H.G. Wintersteen

Call Number: TL670 .B84

L'aviation; : ses débuts--son développement; de crête à crête, de ville à ville, de continent à continent

Call Number: TL670 .F4 1908b

Éléments d'aviation,

par Victor Tatin

Call Number: TL670 .T3 1908

Progress in flying machines,

by O. Chanute, C. E

Call Number: TL670.5 .C5 1894

Le vol naturel et vol artificiel,

par Sir Hiram S. Maxim; traduit par le lt-colonel G. Espitallier

Call Number: TL670.7.M3 A32

Aeroplane design,

by F.S. Barnwell and A simple explanation of inherent stability, by W.H. Sayers

Call Number: TL671.2 .B34 1917a

Comment on construit un aéroplane,

par Robert Petit. Ouvrage illustré de 93 gravures

Call Number: TL671.2 .P4

Aeroplane structures

by A.J. Sutton Pippard and Captain J. Laurence Pritchard, with an introduction by L. Bairstow

Call Number: TL671.2 .P56 1919

Aviation engines : design, construction, operation and repair : a complete, practical treatise outlining clearly the elements of internal combustion engineering with special reference to the design, construction, operation and repair of airplane power plants also the auxili

by Victor W. Pagé

Call Number: TL701 .P3

Drones in society : exploring the strange new world of unmanned aircraft

Ron Bartsch, James Coyne and Katherine Gray

Call Number: TL718 .B37 2017

La traversée de la Manche en aéroplane, 1785-1909, de Blanchard à Blériot;

avec une préface de Louis Blériot

Call Number: TL721.B5 S6

Air traffic management and systems II : selected papers of the 4th ENRI International Workshop, 2015 [electronic resource]

Electronic Navigation Research Institute, editors

Call Number: TL725.3.T7

Le constructeur d'appareils aériens; : fabrikation des ballons de papier ou montgolfières, construction, agencement, gonflement des ballons en étoffe au gaz hydrogène et au gaz d'éclairage, construction de petits modèles de ballons dirigeables, cerfs-volants de toutes formes, petits appar

par H. de Graffigny; Ouvrage illustré de 107 figures explicatives dessinées par l'auteur

Call Number: TL770 .M3

Internal combustion processes of liquid rocket engines

Zhen-Guo Wang

Call Number: TL783.4

Women spacefarers : sixty different paths to space

Umberto Cavallaro

Call Number: TL789.85.A1

Dynamics and design of space nets for orbital capture

Leping Yang, Qingbin Zhang, Ming Zhen, Haitao Liu

Call Number: TL790

Mit Raketenkraft ins Weltenall; : vom Feuerwagen zum Raumschiff.

Mit einem Vorwort von Max Valier und vielen Bildern, Zeichnungen und Originalphotographien

Call Number: TL790 .G3

Small spacecraft development project-based learning : implementation and assessment of an academic program

Jeremy Straub, Ronald Arthur Marsh, David J. Whalen

Call Number: TL795.4

Les cerfs-volants,

par J. Lecornu

Call Number: TL800 .L4 1902

Les cerfs-volants,

par J. Lecornu

Call Number: TL800 .L4 1902

An assessment of mine legacies and how to prevent them : a case study from Latin America

Vladimir Pacheco Cueva

Call Number: TN27.5

EPD congress 2015 : proceedings of a symposia sponsored by the Extraction & Processing Division (EPD) of The Minerals, Metals & Materials Society (TMS) held during TMS 2015, 144th Annual Meeting & Exhibition, March 15-19, 2015, Walt Disney World, Orlando, Florida, USA

edited by James Yurko [and more]

Call Number: TN275

Essential readings in light metals. Volume 1, Alumina and bauxite

edited by Don Donaldson and Benny E. Raahauge

Call Number: TN490.A5

Paste tailings management

Erol Yilmaz, Mamadou Fall, editors

Call Number: TN535

Celebrating the megascale : proceedings of the Extraction and Processing Division Symposium on Pyrometallurgy in Honor of David G.C. Robertson : proceedings of a symposium sponsored by the Extraction and Processing Division of the Minerals, Metals & Materials Society (TMS) held duri

edited by Phillip J. Mackey, Eric J. Grimsey, Rodney T. Jones, Geoffrey A. Brooks

Call Number: TN688.5

Proceedings of the 2013 International Symposium on Liquid Metal Processing & Casting : sponsored by The Minerals, Metals & Materials Society (TMS) held September 22-25, 2013, AT&T Executive Education & Conference Center, Austin, Texas

edited by Matthew J. M. Krane, Alain Jardy, Rodney L. Williamson, Joseph J. Beaman

Call Number: TN689.2

Fe-based bulk metallic glasses : understanding the influence of impurities on glass formation

Mihai Stoica

Call Number: TN693.M4

Proceedings of the 13th World Conference on Titanium : sponsored by Titanium Committee of the Structural Materials Division of the Minerals, Metals & Materials Society (TMS), held August 16-20, 2015, Manchester Grand Hyatt, San Diego, California, USA

edited by Vasisht Venkatesh, Adam L. Pilchak, John E. Allison, Sreeramamurthy Ankem, Rodney Boyer, Julie Christodoulou, Hamish L. Fraser, M. Ashraf Imam, Yoji Kosaka, Henry J. Rack, Amit Chatterjee, and Andy Woodfield

Call Number: TN693.T5

Advances in molten slags, fluxes, and salts : proceedings of the 10th International Conference on Molten Slags, Fluxes and Salts 2016 : sponsored by Extraction & Processing Division and Materials Processing and Manufacturing Division of The Minerals, Metals & Materials Society (TMS) ; held May 22-25,

edited by Ramana G. Reddy, Pinakin Chaubal, P. Chris Pistorius, Uday Pal

Call Number: TN707

Rare metal technology 2017

Hojong Kim [and others], editors

Call Number: TN758 .M56 2017eb

Light metals 2017

Arne P. Ratvik, editor

Call Number: TN773

Light Metals 2016 : proceedings of the symposia sponsored by the Aluminum Committee of the Light Metals Division of The Minerals, Metals & Materials Society (TMS) held during TMS 2016, 145th Annual Meeting & Exhibition, February 14-18 Downtown Nashville, Tennessee, Music Cit [electronic resource]

edited by Edward Williams

Call Number: TN773

Light metals 2014 : proceedings of the symposia sponsored by the TMS Aluminum Committee at the TMS 2014 Annual Meeting & Exhibition, February 16-20, 2014, San Diego, California, USA [electronic resource]

edited by John Grandfield

Call Number: TN773