Skip to main content

University Libraries

Science & Technology (General)

Items Acquired in December 2017 for the University Libraries

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

Claudine Schmuck

Call Number: Q130 .S36 2017eb

An Accidental Brexit : New EU and Transatlantic Economic Perspectives

Paul J.J. Welfens

Call Number: Q162

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

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

Call Number: Q174 .I5625 2017eb

Technicity vs scientificity

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

Call Number: Q175

The new mechanical philosophy

Stuart Glennan

Call Number: Q175 .G584 2017

Scientific composition and metaphysical ground

Kenneth Aizawa, Carl Gillett, editors

Call Number: Q175 .S354 2016eb

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

Nachman Ben-Yehuda and Amalya Oliver-Lumerman

Call Number: Q175.37 .B46 2017

Citizen inquiry : synthesising science and inquiry learning

edited by Christothea Herodotou, Mike Sharples and Eileen Scanlon

Call Number: Q175.5 .C5287 2018

Academic & scientific poster presentation : a modern comprehensive guide

Nicholas Rowe

Call Number: Q179.94

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

Nicholas H. Woolf and Christina Silver

Call Number: Q180.55.E4 W56 2018

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

Deutsche Forschungsgemeinschaft

Call Number: Q180.55.G7

The strength in numbers : the new science of team science

Barry Bozeman and Jan Youtie

Call Number: Q180.55.G77 B69 2017

Interdisciplinarity and wellbeing : a critical realist general theory of interdisciplinarity

Roy Bhaskar, Berth Danermark, and Leigh Price

Call Number: Q180.55.I48 B495 2018

Reflexive governance for research and innovative knowledge

Marc Maesschalck

Call Number: Q180.55.M3

Managing applied social research : tools, strategies, and insights

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

Call Number: Q180.55.M3 R87 2017

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

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

Call Number: Q180.55.M4 C675 2018

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

Hub Zwart

Call Number: Q180.55.M67 Z83 2017eb

Smart decisions in complex systems

Pierre Massotte, Patrick Corsi

Call Number: Q295

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

Tatiana Tatarenko

Call Number: Q325.5

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

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

Call Number: Q334

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

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

Call Number: Q334

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

Tibor Bosse, Bert Bredeweg (eds.)

Call Number: Q334

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

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

Call Number: Q334

Predictive computing and information security [electronic resource]

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

Call Number: Q335

The sentient machine : the coming age of artificial intelligence

Amir Husain

Call Number: Q335 .H795 2017

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

edited by Samuel Szoniecky, Nasreddine Bouhaï

Call Number: Q337.3

Big mind : how collective intelligence can change our world

Geoff Mulgan

Call Number: Q337.3 .M84 2018

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

Volker Roth, Thomas Vetter (eds.)

Call Number: Q337.5

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

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

Call Number: Q342

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

Dimitar Trajanov, Verica Bakeva (ed.)

Call Number: Q342

Computational intelligence for network structure analytics [electronic resource]

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

Call Number: Q342

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

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

Call Number: Q342

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

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

Call Number: Q375

Ginzburg-Landau Vortices

Call Number: QA1-939

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

Clare Dixon, Marcelo Finger (eds.)

Call Number: QA9.A1

A course on basic model theory

Haimanti Sarbadhikari, Shashi Mohan Srivastava

Call Number: QA9.7

Advanced topics in relation algebras : relation algebras.

Steven Givant

Call Number: QA10

Introduction to Relation Algebras. Volume 1 : : Relation Algebras

by Steven Givant

Call Number: QA10

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

edited By Andreas Tolk, Tuncer Ören

Call Number: QA10.5

Mathematics for dyslexics and dyscalculics : a teaching handbook

Steve Chinn and Richard E. Ashcroft

Call Number: QA11.2 .C47 2016eb

Transitions in Mathematics Education

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

Call Number: QA11.2 .G84 2016

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

Jennifer D. Diaz

Call Number: QA13 .D525 2018

Grete Hermann - between physics and philosophy

Elise Crull, Guido Bacciagaluppi, editors

Call Number: QA29.H36 G74 2016eb

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

Roderick Melnik, Roman Makarov, Jacques Belair, editors

Call Number: QA39.3

Math tools : 500+ applications in science and arts

Georg Glaeser

Call Number: QA39.3

Putnam and beyond

Răzvan Gelca, Titu Andreescu

Call Number: QA43

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

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

Call Number: QA75.5

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

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

Call Number: QA76.58

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

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

Call Number: QA76.585

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

Brian T. O'Hara, Ben Malisow

Call Number: QA76.585

Evolutionary computation with biogeography-based optimization

Haiping Ma, Dan Simon

Call Number: QA76.618

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

edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Call Number: QA76.63

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

edited by Marco Bozzano, Yiannis Papadopoulos

Call Number: QA76.63

Programming multicore and many-core computing systems

edited by Sabri Pllana, Fatos Xhafa

Call Number: QA76.642 .P767 2017

Programming language concepts

Peter Sestoft ; with a chapter by Niels Hallenberg

Call Number: QA76.7 .S478 2017eb

Practical C++ design : from programming to architecture

Call Number: QA76.73.C153

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

Stephan Roth

Call Number: QA76.73.C153 R68 2017

Reactive with ClojureScript recipes : functional programming for the web

Nicolas Modrzyk

Call Number: QA76.73.C565

Practical concurrent Haskell : with big data applications

Stefania Loredana Nita, Marius Mihailescu

Call Number: QA76.73.H37

JavaFX 9 by example [electronic resource]

Carl Dea... [et al.]

Call Number: QA76.73.J38

Enhancing Adobe Acrobat DC Forms with Javascript [electronic resource]

Jennifer Harder

Call Number: QA76.73.J39 H37 2017eb

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

Rob Aley

Call Number: QA76.73.P224

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

Mark Edward Soper

Call Number: QA76.73.P98

Snake charming -- the musical Python

Iain Gray

Call Number: QA76.73.P98

Starting out with Python

Tony Gaddis, Haywood Community College

Call Number: QA76.73.P98 G34 2018

Software engineering : specification, implementation, verification

Suad Alagić

Call Number: QA76.758

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

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

Call Number: QA76.758

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

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

Call Number: QA76.758

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

edited by Tim Menzies, Justyna Petke

Call Number: QA76.758

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

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

Call Number: QA76.758

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

Sanjeev Sharma

Call Number: QA76.758

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

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

Call Number: QA76.758 .S65 2017eb

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

Sten Vesterli

Call Number: QA76.76.A65

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

Ali Shabdar

Call Number: QA76.76.A65

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

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

Call Number: QA76.76.A65

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

Hagop Panosian

Call Number: QA76.76.A65

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

K. Siva Prasad Reddy

Call Number: QA76.76.A65

Scaling a software business : the digitalization journey

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

Call Number: QA76.76.D47

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

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

Call Number: QA76.76.D47

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

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

Call Number: QA76.76.E95

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

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

Call Number: QA76.76.E95

Programming in HTML and PHP : coding for scientists and engineers

David R. Brooks

Call Number: QA76.76.H94

Cooperative control of multi-agent systems : theory and applications

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

Call Number: QA76.76.I58

Designing interactive hypermedia systems

edited by Everardo Reyes-Garcia, Nasreddine Bouhaï

Call Number: QA76.76.I59

Functional software size measurement methodology with effort estimation and performance indication

Jasveer Singh

Call Number: QA76.76.S65 S56 2017eb

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

Matthew Hague, Igor Potapov (eds.)

Call Number: QA76.76.V47

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

Shuvendu Lahiri, Giles Reger (eds.)

Call Number: QA76.76.V47

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

edited by Robert Brijder, Lulu Qian

Call Number: QA76.887 .I58 2017

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

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

Call Number: QA76.9.A25

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

Wieland Fischer, Naofumi Homma (eds.)

Call Number: QA76.9.A25

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

edited by Giovanni Livraga, Chris Mitchell

Call Number: QA76.9.A25

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

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

Call Number: QA76.9.A25

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

edited by Gilbert Peterson, Sujeet Shenoi

Call Number: QA76.9.A25

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

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

Call Number: QA76.9.A25

Guide to Digital Forensics : A Concise and Practical Introduction

by Joakim Kävrestad

Call Number: QA76.9.A25

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

Vicenc̦ Torra

Call Number: QA76.9.A25

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

Wil Allsopp

Call Number: QA76.9.A25

Wireshark for security professionals : using Wireshark and the Metasploit Framework

Jessey Bullock, Jeff T. Parker

Call Number: QA76.9.A25

DNS security management

Michael Dooley, Timothy Rooney

Call Number: QA76.9.A25

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

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

Call Number: QA76.9.A43

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

edited by Alessandro Abate, Gilles Geeraerts

Call Number: QA76.9.A43

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

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

Call Number: QA76.9.A43

Introduction to property testing

Oded Goldreich, Weizmann Institute of Science, Israel

Call Number: QA76.9.A43 G655 2018

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

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

Call Number: QA76.9.A96

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

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

Call Number: QA76.9.A96

Big data analytics : tools and technology for effective planning

edited by Arun K. Somani, Ganesh Chandra Deka

Call Number: QA76.9.B45 B548 2018

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

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

Call Number: QA76.9.C643

Computer organization and design : the hardware software interface

David A. Patterson, John L. Hennessy

Call Number: QA76.9.C643 P38 2017

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

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

Call Number: QA76.9.D3

Expert SQL Server in-memory OLTP [electronic resource]

Dmitri Korotkevitch

Call Number: QA76.9.D3

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

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

Call Number: QA76.9.D3

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

Deepak Vohra

Call Number: QA76.9.D3

Frontiers in data science

edited by Matthias Dehmer, Frank Emmert-Streib

Call Number: QA76.9.D3 F76 2018

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

Mark Conway Munro

Call Number: QA76.9.D32

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

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

Call Number: QA76.9.D32

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

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

Call Number: QA76.9.D32

The data science handbook

Field Cady

Call Number: QA76.9.D32

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

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

Call Number: QA76.9.D32 A98 2017eb

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

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

Call Number: QA76.9.D343

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

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

Call Number: QA76.9.D343

An Introduction to Machine Learning

by Miroslav Kubat

Call Number: QA76.9.D343

Transparent Data Mining for Big and Small Data

edited by Tania Cerquitelli, Daniele Quercia, Frank Pasquale

Call Number: QA76.9.D343

Text mining in practice with R

Ted Kwartler

Call Number: QA76.9.D343

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

Erik Ostermueller

Call Number: QA76.9.D43

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

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

Call Number: QA76.9.D5

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

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

Call Number: QA76.9.E57

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

edited by Nathalie Bertrand, Luca Bortolussi

Call Number: QA76.9.E94

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

edited by Philipp Reinecke, Antinisca Di Marco

Call Number: QA76.9.E94

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

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

Call Number: QA76.9.F67

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

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

Call Number: QA76.9.F67 I58 2017eb

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

Nadia Polikarpova, Steve Schneider (eds.)

Call Number: QA76.9.F67 I58 2017eb

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

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

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.M3

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

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

Call Number: QA76.9.N38

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

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

Call Number: QA76.9.N38

Handbook of hardware/software codesign

Soonhoi Ha, Jürgen Teich, editors

Call Number: QA76.9.S88

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

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

Call Number: QA76.9.S88 S35 2013

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

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

Call Number: QA76.9.T48

Children's reasoning while building fraction ideas

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

Call Number: QA137 .C455 2017

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

Sourav Chatterjee

Call Number: QA166.17

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

James B. Carrell

Call Number: QA174.2

Wagner's theory of generalised heaps

Christopher D. Hollings, Mark V. Lawson

Call Number: QA182

Refinement monoids, equidecomposability types, and Boolean inverse semigroups

Friedrich Wehrung

Call Number: QA182

Numerical linear algebra : theory and applications

Larisa Beilina, Evgenii Karchevskii, Mikhail Karchevskii

Call Number: QA184.2

Geometric invariant theory : over the real and complex numbers

Nolan R. Wallach

Call Number: QA201

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

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

Call Number: QA246

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

David Stipp

Call Number: QA255 .S75 2017

Transactions on petri nets and other models of concurrency XII

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

Call Number: QA267

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

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

Call Number: QA268

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

Vittorio Bilò, Michele Flammini (eds.)

Call Number: QA269

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

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

Call Number: QA269

Probability for statisticians

Galen R. Shorack

Call Number: QA273

Theory of probability : a critical introductory treatment

Bruno De Finetti ; translated by Antonio Machi, Adrian Smith

Call Number: QA273.A5

Ten great ideas about chance

Persi Diaconis, Brian Skyrms

Call Number: QA273 .D53 2018

Probability and conditional expectation : fundamentals for the empirical sciences

Rolf Steyer, Werner Nagel

Call Number: QA273 .S75325 2017eb

Research on teaching and learning probability

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

Call Number: QA273.2 .B38 2016

Equations involving malliavin calculus operators : applications and numerical approximation

Tijana Levajković, Hermann Mena

Call Number: QA274.2

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

Michael J. Panik

Call Number: QA274.23

Numerical methods for stochastic partial differential equations with white noise

Zhongqiang Zhang, George Em Karniadakis

Call Number: QA274.25

Nonlinearly perturbed semi-Markov processes [electronic resource]

Dmitrii Silvestrov, Sergei Silvestrov

Call Number: QA274.7

Semi-Markov migration models for credit risk

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

Call Number: QA274.7

Markov chains : from theory to implementation and experimentation

Paul A. Gagniuc

Call Number: QA274.7 .G34 2017

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

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

Call Number: QA274.8

Total survey error in practice

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

Call Number: QA275 .T685 2016eb

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

Manfred Denker, Wojbor Woyczynski

Call Number: QA276

Statistical intervals : a guide for practitioners and researchers

Call Number: QA276 .H22 2017eb

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

Call Number: QA276 .S635 2017

Teaching statistics : a bag of tricks

Andrew Gelman and Deborah Nolan

Call Number: QA276.18

Information geometry

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

Call Number: QA276.23

Non-standard parametric statistical inference

Russell Cheng

Call Number: QA276.8 .C465 2017

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

Mikhail S. Nikulin, Ekaterina V. Chimitova

Call Number: QA277.3

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

Chrysseis Caroni

Call Number: QA278.2

Advanced analysis of variance

Chihiro Hirotsu

Call Number: QA279 .H57 2017

Bayesian data analysis for animal scientists : the basics

by Agustín Blasco

Call Number: QA279.5

Introduction to Bayesian estimation and copula models of dependence

Arkady Shemyakin, Alexander Kniazev

Call Number: QA279.5 .S435 2017eb

Time series analysis : nonstationary and noninvertible distribution theory

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

Call Number: QA280

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

Giorgio Celant, Michel Broniatowski

Call Number: QA281

An introductory course in summability theory

Ants Aasma, Hemen Dutta, P.N. Natarajan

Call Number: QA292 .A27 2017

Ramanujan summation of divergent series

Bernard Candelpergher

Call Number: QA295

Computational methods for numerical analysis with R

James P. Howard, II

Call Number: QA297 .H67 2017

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

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

Call Number: QA300

Analysis meets geometry : the Mikael Passare memorial volume

Mats Andersson [and 4 others], editors

Call Number: QA300.5 .A53 2017

Algorithmic Differentiation in Finance Explained

Marc Henrard

Call Number: QA304 .H46 2017

Geometry of the generalized geodesic flow and inverse spectral problems

Vesselin M. Petkov, Luchezar N. Stoyanov

Call Number: QA320 .P435 2017

Banach, Fréchet, Hilbert and Neumann spaces

Jacques Simon

Call Number: QA322.2

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

Björn Gustafsson, Mihai Putinar

Call Number: QA329.2

Variational-hemivariational inequalities with applications

Mircea Sofonea, Stanisław Migórski

Call Number: QA329.9 .S64 2018

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

Franc Forstnerič

Call Number: QA331.7

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

Roman Cherniha, Vasyl' Davydovych

Call Number: QA377

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

William E. Schiesser

Call Number: QA377

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

Giovanni Falcone, editor

Call Number: QA387

Model reduction of parametrized systems

Peter Benner [and four others], editors

Call Number: QA401

Optimal control : novel directions and applications

Daniela Tonon, Maria Soledad Aronna, Dante Kalise, editors

Call Number: QA402.3

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

Alexander Y. Khapalov

Call Number: QA402.3

Optimization and approximation

Pablo Pedregal

Call Number: QA402.5

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

Eduardo Garibaldi

Call Number: QA402.5

Evolutionary algorithms

Alain Pétrowski, Sana Ben-Hamida

Call Number: QA402.5

Optimization and differentiation

Simon Serovajsky

Call Number: QA402.5 .S4335 2018

Harmonic and complex analysis in several variables [electronic resource]

Steven G. Krantz

Call Number: QA403

Lecture notes on wavelet transforms

Lokenath Debnath, Firdous A. Shah

Call Number: QA403.3

Fourier analysis

Roger Ceschi, Jean-Luc Gautier

Call Number: QA403.5

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

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

Call Number: QA431

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

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

Call Number: QA431 .I4954 2016eb

Selected works of Philip A. Griffiths with commentary

Robert L. Bryant, Mark L. Green, editors

Call Number: QA443 .G74 2017

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

Call Number: QA447

Analytic and algebraic geometry

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

Call Number: QA551

Algebraic theory of locally nilpotent derivations

Call Number: QA564

Euclidean distance geometry : an introduction

Leo Liberti, Carlile Lavor

Call Number: QA613

Shadowing and hyperbolicity

by Sergei Yu Pilyugin, Kazuhiro Sakai

Call Number: QA614.84

Willmore energy and Willmore conjecture

edited by Magdalena D. Toda

Call Number: QA643 .T63 2018

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

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

Call Number: QA649

Nearly pseudo-Kähler manifolds and related special holonomies

Lars Schäfer

Call Number: QA649

Movement equations. 2, Mathematical and methodological supplements

Michel Borel, Georges Vénizélos

Call Number: QA431 .I4954 2016eb

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

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

Call Number: QA911

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

Gary W. Kronk

Call Number: QB36.S95

Optical 3D-spectroscopy for astronomy

Roland Bacon and Guy Monnet

Call Number: QB465

Tim Peake and Britain's road to space

Erik Seedhouse

Call Number: QB498.2.G7

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

Clifford J. Cunningham

Call Number: QB651

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

Dominic M. Bowman

Call Number: QB812

Not-so-simple stellar populations in star clusters

Chengyuan Li

Call Number: QB853

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

Pramod V. Naik

Call Number: QC16.S24

Computational physics : simulation of classical and quantum systems

Philipp O.J. Scherer

Call Number: QC20

Practical finite element modeling in earth science using Matlab

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

Call Number: QC20.7.F56

Physics of atomic nuclei

Vladimir Zelevinsky, Alexander Volya

Call Number: QC173

Electromagnetic time reversal : application to electromagnetic compatibility and power systems

edited by Farhad Rachidi, Marcos Rubinstein, Mario Paolone

Call Number: QC173.59.T53

The development of elementary quantum theory

Herbert Capellmann

Call Number: QC174.12

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

Hanno Schmiedt

Call Number: QC174.17.S9

Hadamard states from light-like hypersurfaces [electronic resource]

Claudio Dappiaggi, Valter Moretti, Nicola Pinamonti

Call Number: QC174.45

Dynamics of lattice materials

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

Call Number: QC176.8.L3 D85 2017eb

Design of nanostructures : self-assembly of nanomaterials

Himadri B. Bohidar and Kamla Rawat

Call Number: QC176.8.N35

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

Edward Anderson

Call Number: QC178

Surface plasmon enhanced, coupled, and controlled fluorescence

edited by Chris D Geddes

Call Number: QC477 .S87 2017eb

Dielectrophoresis : theory, methodology, and biological applications

Ronald Pethig

Call Number: QC585.7.D5 P48 2017eb

Ferroelectrics

Ashim Kumar Bain, Pren Chand

Call Number: QC596.5

Amorphous semiconductors : structural, optical and electronic properties

Kazuo Morigaki, Sandor Kugler and Koichi Shimakawa

Call Number: QC611.8.A5 M 2017eb

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

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

Call Number: QC611.8.W53

Modern electromagnetic scattering theory with applications

Andrey V. Osipov, Sergei A. Tretyakov

Call Number: QC665.S3 .O85 2017eb

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

Joseph Weston

Call Number: QC688

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

Alexander Piel

Call Number: QC718

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

Pierre Schnizer

Call Number: QC760

Space charge physics for particle accelerators

Ingo Hofmann

Call Number: QC787.P3

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

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

Call Number: QC787.S9 N48 2017

The H Boson [electronic resource]

Costas Bachas, Bertrand Duplantier, Vincent Rivasseau, editors

Call Number: QC793.5.B62

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

Kristy Elizabeth Duffy

Call Number: QC793.5.N42

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

Mark Bowen

Call Number: QC793.5.N42 B69 2017

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

written by Kevin Anthony Teague & Nicole Gallicchio

Call Number: QC855

Submerged landscapes of the European continental shelf : Quaternary paleoenvironments

edited by Nicholas C. Flemming [and four others]

Call Number: QC884.5.E87 S83 2017eb

Post-2020 climate action : global and Asian perspectives

Shinichiro Fujimori, Mikiko Kainuma, Toshihiko Masui, editors

Call Number: QC903

Coastal storms : processes and impacts

edited by Paolo Ciavola, Giovanni Coco

Call Number: QC941 .C64 2017

Hurricane Monitoring With Spaceborne Synthetic Aperture Radar

edited by Xiaofeng Li

Call Number: QC944

Climate extremes : patterns and mechanisms

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

Call Number: QC981.8.C53

Meteorology of Tropical West Africa : the forecasters' handbook

edited by Douglas J. Parker, Mariane Diop-Kane

Call Number: QC991.A358

Tutorials in chemoinformatics

edited by Alexandre Varnek

Call Number: QD39.3.E46

Reviews in computational chemistry. Volume 30

edited by Abby L. Parrill, Kenny B. Lipkowitz

Call Number: QD39.3.E46

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

Lucy T. Eubanks, I. Dwaine Eubanks

Call Number: QD42 .E83 1998

Limits of detection in chemical analysis

Edward Voigtman

Call Number: QD75.22

Charged aerosol detection for liquid chromatography and related separation techniques

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

Call Number: QD79.C454

Targeted biomarker quantitation by LC-MS

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

Call Number: QD79.C454

The HPLC-MS handbook for practitioners

edited by Stavros Kromidas

Call Number: QD79.C454

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

edited by Stavros Kromidas

Call Number: QD79.C454 H65 2017eb

Interpretation of MS-MS mass spectra of drugs and pesticides

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

Call Number: QD96.M3

Electrochemical impedance spectroscopy

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

Call Number: QD116.I57

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

Inga Lilge

Call Number: QD139.P6

Graphene : fabrication, characterizations, properties and applications

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

Call Number: QD181.C1 G737 2017

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

Dongyang Wan

Call Number: QD181.N3

Asymmetric synthesis of three-membered rings

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

Call Number: QD262

Chiral Lewis acids in organic synthesis

edited by Jacek Mlynarski

Call Number: QD262

Preparative chromatography for separation of proteins

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

Call Number: QD272.C4 P75 2017eb

Cyclodextrins : properties and applications

Wanda Sliwa and Tomasz Girek

Call Number: QD321

Metallabenzenes : an expert view

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

Call Number: QD341.H9 M51278 2017

Polymers for biomedicine : synthesis, characterization, and applications

edited by Carmen Scholz

Call Number: QD381

Responsive polymer surfaces : dynamics in surface topography

edited by Danqing Liu and Dirk J. Broer

Call Number: QD381.9.S97

Synthetic methods for conjugated polymer and carbon materials

edited by Mario Leclerc and Jean-Francois Morin

Call Number: QD382.C66

Main group metal coordination polymers : structures and nanostructures

Lida Hashemi and Ali Morsali

Call Number: QD382.C67 H37 2017eb

The organometallic chemistry of N-heterocyclic carbenes

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

Call Number: QD411

Oxidation of C-H bonds

Wenjun Lu, Lihong Zhou

Call Number: QD411 .L848 2017eb

Applications of quantum dynamics in chemistry [electronic resource]

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

Call Number: QD462

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

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

Call Number: QD469

Solid state properties of pharmaceutical materials

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

Call Number: QD478

Chemical reaction kinetics : concepts, methods, and case studies

Prof. Jorge Ancheyta

Call Number: QD502 .A53 2017

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

editors: Marcel Van de Voorde, Bert Sels

Call Number: QD505

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

Adriano Zecchina, Salvatore Califano

Call Number: QD505 .Z43 2017eb

Sustainable and green electrochemical science and technology

Keith Scott

Call Number: QD551 .S38 2017eb

Fundamentals of ionic liquids

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

Call Number: QD561

Electrodeposition from ionic liquids

edited by Frank Endres, Andrew Abbott, and Douglas MacFarlane

Call Number: QD561 .E44 2017eb

Modern nuclear chemistry

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

Call Number: QD601.3 .L68 2017eb

Nanocomposites for visible light-induced photocatalysis [electronic resource]

Mohammad Mansoob Khan, Debabrata Pradhan, Youngku Sohn, editors

Call Number: QD716.P45

Geometry of crystals, polycrystals and phase transfomations

Harshad K. D. H. Bhadeshia

Call Number: QD911 .B47 2018

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

Shang Yuan Ren

Call Number: QD939

Earth observation for land and emergency monitoring

Heiko Balzter

Call Number: QE33.2.R4

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

edited by Sisir K. Mondal, William L. Griffin

Call Number: QE390 .P763 2018

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

Philip A. Allen, Imperial College, London

Call Number: QE471.2 .A43 2017

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

Rodolfo Console, Maura Murru, Giuseppe Falcone

Call Number: QE534.3

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

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

Call Number: QE606

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

Ibrahim Çemen, Yücel Yilmaz

Call Number: QE633.M43

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

Hou Xian-guang [and eight others]

Call Number: QE756.C6

Graptolite paleobiology

Jörg Maletz

Call Number: QE840.5

Genetic management of fragmented animal and plant populations

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

Call Number: QH75 .F73 2017

Sustaining wildlands : integrating science and community in Prince William Sound

edited by Aaron J. Poe and Randy Gimblett

Call Number: QH76.5.A4 S87 2017

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

Pedro M. Costa

Call Number: QH90.8.T68 C67 2018

Fluorescence microscopy : from principles to biological applications

edited by Ulrich Kubitscheck,

Call Number: QH212.A25

Visualising the charge and Cooper-pair density waves in cuprates

Stephen Edkins

Call Number: QH212.S35

Modeling life : the mathematics of biological systems

Alan Garfinkel, Jane Shevtsov, Yina Guo

Call Number: QH323.5

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

Peter J. Costa

Call Number: QH323.5 .C683 2016eb

Discriminative pattern discovery on biological networks

Fabio Fassetti, Simona E. Rombo, Cristina Serrao

Call Number: QH324.2

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

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

Call Number: QH324.2

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

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

Call Number: QH324.2

Bioinformatics in aquaculture : principles and methods

edited by Zhanjiang (John) Liu

Call Number: QH324.2

Systems biology

edited by Jens Nielsen and Stefan Hohmann

Call Number: QH324.2

Basic applied bioinformatics : a beginner's guide for students

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

Call Number: QH324.2 .M85 2017

Algorithms for next-generation sequencing

Wing-Kin Sung

Call Number: QH324.2 .S85 2017

A guide to bioethics

Emmanuel A. Kornyo

Call Number: QH332 .K67 2018

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

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

Call Number: QH353 .E33 2018

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

Philip Lieberman

Call Number: QH365.O8 L54 2018

Challenging the modern synthesis : adaptation, development, and inheritance

edited by Philippe Huneman and Denis M. Walsh

Call Number: QH366.2

Crumbling genome : the impact of deletrious mutations on humans

Alexey S. Kondrashov

Call Number: QH390 .K66 2017eb

Genetic data analysis for plant and animal breeding

Fikret Isik, James Holland, Christian Maltecca

Call Number: QH430 .I85 2017e

The AGT cytogenetics laboratory manual

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

Call Number: QH441

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

Joao Meidanis, Luay Nakhleh (eds.)

Call Number: QH447

Somatic genome variation in animals, plants, and microorganisms

edited by Xiu-Qing Li

Call Number: QH447

Clinical genomics : practical applications in adult patient care

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

Call Number: QH447 .C55 2014eb

Gene regulation, epigenetics and hormone signaling

edited by Subhrangsu S. Mandal

Call Number: QH450

Animal models and human reproduction

edited by Heide Schatten, Gheorghe M. Constantinescu

Call Number: QH481

Periconception in physiology and medicine

Alireza Fazeli, William V. Holt, editors

Call Number: QH485

Dictionary of stem cells, regenerative medicine, and translational medicine

Frank J. Dye

Call Number: QH491

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

Gauri Misra, editor

Call Number: QH505

Compendium of biophysics

Andrey B. Rubin

Call Number: QH505 .R776 2017

Molecular data analysis using R

Csaba Ortutay, Zsuzsanna Ortutay

Call Number: QH506 .O78 2016eb

Biomechanics : optimization, uncertainties and reliability

Ghias Kharmanda, Abdelkhalak El Hami

Call Number: QH513

Railway ecology

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

Call Number: QH541

Habitat suitability and distribution models : with applications in R

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

Call Number: QH541.15.H34 G85 2017

Ecoacoustics : the ecological role of sounds

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

Call Number: QH541.15.L35

Deep-sea ecosystems off Mauritania

Call Number: QH541.5.D35

Ecology of high altitude waters

Dean Jacobsen and Olivier Dangles

Call Number: QH541.5.F7 J33 2017

Radiation biology for medical physicists

C.S. Sureka and C. Armpilia

Call Number: QH543.5 .S87 2017

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

edited by Stefan Przyborski

Call Number: QH585.2

The biology and therapeutic application of mesenchymal cells

edited by Kerry Atkinson

Call Number: QH588.S83

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

Richard M. Epand, Jean-Marie Ruysschaert, editors

Call Number: QH601

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

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

Call Number: QH603.C4 C455 2017

Molecular basis for mitochondrial signaling

Tatiana K. Rostovtseva, editor

Call Number: QH603.M5 M65 2017

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

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

Call Number: QK99.A35

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

Christoph Leuschner, Heinz Ellenberg

Call Number: QK281

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

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

Call Number: QK281

The vegetation of the Iberian Peninsula. Volume 2

Javier Loidi, editor

Call Number: QK328

The vegetation of the Iberian Peninsula. Volume 1

Javier Loidi, editor

Call Number: QK328

Flowering plants : structure and industrial products

Dr. Aisha S. Khan

Call Number: QK495.A1

Harmal : the genus Peganum

Ephraim Shmaya Lansky, Shifra Lansky, Helena Maaria Paavilainen

Call Number: QK495.Z9 L36 2017

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

Sharon Lafferty Doty, editor

Call Number: QK604.2.E53 F86 2017e

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

Shafiquzzaman Siddiquee

Call Number: QK625.M7

Plant minds : a philosophical defense

by Chauncey Maher ; illustrated by Jim Sias

Call Number: QK714.4 .M34 2017

Plant cells and their organelles

edited by William V. Dashek, Gurbachan S. Miglani

Call Number: QK725

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

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

Call Number: QK753.M56

Mechanism of plant hormone signaling under stress

edited by Girdhar K. Pandey

Call Number: QK754

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

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

Call Number: QK757 .M36 2017eb

Recent advances in polyphenol research. Volume 5

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

Call Number: QK898.P764

Obligate Pollination Mutualism

edited by Makoto Kato, Atsushi Kawakita

Call Number: QK926

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

Atsushi Hagiwara, Tatsuki Yoshinaga, editors

Call Number: QL391.R8

Insect biodiversity : science and society

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

Call Number: QL463 .I57 2017

Diversity and evolution of butterfly wing patterns : an integrative approach

Toshio Sekimura, H. Frederik Nijhout, editors

Call Number: QL541

Birds : the art of ornithology

by Jonathan Elphick

Call Number: QL674.4 .E47 2017

Why penguins communicate : the evolution of visual and vocal signals

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

Call Number: QL696.S473 J68 2017

Beyond sex differences : genes, brains, and matrilineal evolution

Eric B. Keverne, University of Cambridge

Call Number: QL708.5 .K48 2017

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

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

Call Number: QL757 .U53 2017

Junqueira's basic histology : text and atlas

Anthony L. Mescher

Call Number: QL807 .H57 2016eb

Clinical neuroanatomy

Stephen G. Waxman

Call Number: QM451 .W39 2017eb

Compendium of histology : a theoretical and practical guide

Anders Rehfeld, Malin Nylander, Kirstine Karnov

Call Number: QM551

Ganong's review of medical physiology

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

Call Number: QP34.5 .G15 2016eb

Ganong's medical physiology examination and board review

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

Call Number: QP40

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

edited by Andrew W. Wood, Ken Karipidis

Call Number: QP82.2.N64

Evolution, the logic of biology

John S. Torday, Virender K. Rehan

Call Number: QP90.4

Heart rate variability analysis with the R package RHRV

Constantino Antonio Garcia Martinez [and six others]

Call Number: QP113

Flavor, satiety and food intake

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

Call Number: QP136 .F54 2017eb

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

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

Call Number: QP144.F85

New polymers for encapsulation of nutraceutical compounds

edited by Jorge Carlos Ruiz Ruiz, Maira Rubi Segura Campos

Call Number: QP144.F85

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

edited by Paul Kiritsakis, Fereidoon Shahidi

Call Number: QP144.F85

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

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

Call Number: QP144.G45

Biomechanics of the human stomach [electronic resource]

Roustem N. Miftahof

Call Number: QP151

Human reproduction : updates and new horizons

edited by Heide Schatten

Call Number: QP251 .H845 2017eb

Endocrinology of the testis and male reproduction [electronic resource]

Manuela Simoni, Ilpo T. Huhtaniemi, editors

Call Number: QP252

Protocols in semen biology (comparing assays)

N. Srivastava, Megha Pande, editors

Call Number: QP255

Neurobiology of motor control : fundamental concepts and new directions

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

Call Number: QP301

The Wiley handbook of evolutionary neuroscience

edited Stephen V. Shepherd

Call Number: QP355.2 .W55 2017eb

Genome editing in neurosciences

Rudolf Jaenisch, Feng Zhang, Fred Gage, editors

Call Number: QP356.22

Handbook of neurobehavioral genetics and phenotyping

[edited by] Valter Tucci

Call Number: QP356.22

Computational models of brain and behavior

edited by Dr Ahmed A. Moustafa

Call Number: QP357.5 .C627 2018

Principles of computational modelling in neuroscience

David Sterratt [and others]

Call Number: QP357.5 .P75 2011

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

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

Call Number: QP376

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

Claude Frasson, George Kostopoulos (eds.)

Call Number: QP385

Why we sleep : unlocking the power of sleep and dreams

Matthew Walker, PhD

Call Number: QP425 .W44 2017

Time-dependent measures of perception in sensory evaluation

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

Call Number: QP435 .K442 2016eb

Primate hearing and communication

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

Call Number: QP461

Recovering bioactive compounds from agricultural wastes

edited by Van Tang Nguyen

Call Number: QP517.B44

Chemoselective and bioorthogonal ligation reactions : concepts and applications

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

Call Number: QP517.B49

Protein carbonylation : principles, analysis, and biological implications

edited by Joaquim Ros

Call Number: QP517.P76

Mass spectrometry and stable isotopes in nutritional and pediatric research

edited by Henk Schierbeek

Call Number: QP519.9.M3 M3158 2017eb

Photoaffinity labeling for structural probing within protein [electronic resource]

Yasumaru Hatanaka, Makoto Hashimoto, editors

Call Number: QP519.9.P48

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

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

Call Number: QP535.C2

Calcium signaling : from physiology to diseases

Senthilkumar Rajagopal, Murugavel Ponnusamy

Call Number: QP535.C2

Reactive oxygen species : signaling between hierarchical levels in plants

edited by Franz-Josef Schmitt and Suleyman I. Allakhverdiev

Call Number: QP535.O1

Protein deimination in human health and disease

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

Call Number: QP551

Chemical ligation : tools for biomolecule synthesis and modification

edited by Luca D. D'Andrea, Alessandra Romanelli

Call Number: QP551

Protein Analysis using Mass Spectrometry [electronic resource]

Call Number: QP551

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

edited by Mike S. Lee and Qin C. Ji

Call Number: QP551 .P748 2017eb

Transporters as Drug Targets

Call Number: QP552.C34

Enzyme kinetics : principles and methods

Hans Bisswanger

Call Number: QP601.3

Enzyme regulation in metabolic pathways

Lloyd Wolfinbarger

Call Number: QP601.4

Beta-Lactams : Novel Synthetic Pathways and Applications

edited by Bimal K. Banik

Call Number: QP609.B46

Phosphodiesterases : CNS functions and diseases [electronic resource]

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

Call Number: QP609.P53

Proteases in physiology and pathology [electronic resource]

Sajal Chakraborti, Naranjan S. Dhalla, editors

Call Number: QP609.P78

Drebrin : from structure and function to physiological and pathological roles

Tomoaki Shirao, Yuko Sekino, editors

Call Number: QP624.75.P74

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

Mourad Elloumi, editor

Call Number: QP625.N89

Selective glycosylations : synthetic methods and catalysts

edited by Clay S. Bennett

Call Number: QP702.G577

Vitamin D. Volume 1, Biochemistry, physiology and diagnostics

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

Call Number: QP772.V53 V58 2018eb

Vitamin D. Volume 2, Health, disease and therapeutics

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

Call Number: QP772.V53 V582 2018eb

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

Victor Pylro, Luiz Roesch, editors

Call Number: QR41.2

Forensic microbiology

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

Call Number: QR41.2

Jawetz, Melnick & Adelberg's medical microbiology

Karen C. Carroll [and others]

Call Number: QR46 .J39 2016eb

Review of medical microbiology and immunology

Warren Levinson

Call Number: QR46 .L64 2016eb

Sherris medical microbiology

editor, Kenneth J. Ryan

Call Number: QR46 .M465 2018eb

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

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

Call Number: QR51

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

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

Call Number: QR51 .A447 2017e

Probiotics in agroecosystem

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

Call Number: QR51 .P76 2017e

The dark art of blood cultures

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

Call Number: QR66 .D37 2017

MALDI-TOF and tandem MS for clinical microbiology

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

Call Number: QR67

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

Gerald E. McDonnell

Call Number: QR69.S75 M33 2017

Biocommunication of Archaea [electronic resource]

Guenther Witzany, editor

Call Number: QR82.A69

Molecular tools for the detection and quantification of toxigenic cyanobacteria

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

Call Number: QR99.63

Handbook of cyanobacterial monitoring and cyanotoxin analysis

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

Call Number: QR99.63 .H3594 2016eb

Biofilms in plant and soil health

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

Call Number: QR111

Rhizobium biology and biotechnology [electronic resource]

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

Call Number: QR113

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

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

Call Number: QR115

Immune metabolism in health and tumor

Bin Li, Fan Pan, editors

Call Number: QR182

Immunohistochemistry and immunocytochemistry : essential methods

edited by Simon Renshaw

Call Number: QR183.6

Regulation of inflammatory signaling in health and disease

Dakang Xu, editor

Call Number: QR185.2

Foodborne pathogens and antibiotic resistance

[edited by] Om V. Singh

Call Number: QR201.F62

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

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

Call Number: QR351

Reading and writing knowledge in scientific communities : digital humanities and knowledge construction

edited by Gérald Kembellec, Evelyne Broudoux

Call Number: T11

Evaluating measurement accuracy : a practical approach [electronic resource]

Semyon G. Rabinovich

Call Number: T50

Integrating program management and systems engineering : methods, tools, and organizational systems for improving performance

Eric S. Rebentisch, editor ; with foreword by Larry Prusak

Call Number: T57.6 .I534 2017eb

Robust control optimization with metaheuristics

Philippe Feyel

Call Number: T57.84

Web information systems and technologies : 12th International Conference, WEBIST 2016, Rome, Italy, April 23-25, 2016, Revised selected papers

Valérie Monfort, Karl-Heinz Krempels, Tim A. Majchrzak, Paolo Traverso (eds.)

Call Number: T58.5

Recent advances in information technology

editors, Waldemar Wójcik & Jan Sikora

Call Number: T58.5 R43 2018

Innovation, between science and science fiction

Thomas Michaud

Call Number: T173.8

The innovator's imperative : rapid technology adoption for digital transformation

Stephen J. Andriole, Thomas Cox, Kaung M. Khin

Call Number: T174.3 .A53 2018

Nanophysics, Nanomaterials, Interface Studies, and Applications : Selected Proceedings of the 4th International Conference Nanotechnology and Nanomaterials (NANO2016), August 24-27, 2016, Lviv, Ukraine [electronic resource]

Olena Fesenko, Leonid Yatsenko, editors

Call Number: T174.7

Nanotechnology : food and environmental paradigm [electronic resource]

Ram Prasad, Vivek Kumar, Manoj Kumar, editors

Call Number: T174.7

Metrology and standardization of nanotechnology : protocols and industrial innovations

edited by Elisabeth Mansfield, Debra L. Kaiser, Daisuke Fujita, and Marcel Van de Voorde

Call Number: T174.7

Nanotechnology for energy sustainability

edited by Baldev Raj, Marcel Van de Voorde, and Yashwant Mahajan

Call Number: T174.7

Nanotechnology : delivering on the promise

H.N. Cheng, U.S. Department of Agriculture, Agricultural Research Service, New Orleans, Louisiana [and three others], editor

Call Number: T174.7 .N37364 2016

Mathematics for Computer Graphics

by John Vince

Call Number: T385

Mastering AutoCAD 2018 and AutoCAD LT 2018

George Omura, with Brian C. Benton

Call Number: T385

AutoCAD® 2018 and AutoCAD LT® 2018 essentials

Scott Onstott

Call Number: T385

Civil engineering structures according to the Eurocodes : inspection and maintenance

Xavier Lauzin

Call Number: TA55

Applied bioengineering : innovations and future directions

edited by Toshiomi Yoshida

Call Number: TA164

Cognitive systems engineering : the future for a changing world

edited by Philip J. Smith, Robert R. Hoffman

Call Number: TA168 .C597 2017

Evolutionary multi-objective system design : theory and applications

edited by Nadia Nedjah, Luiza de Macedo Mourelle, Heitor Silverio Lopes

Call Number: TA168 .E985 2018

Analysis of step-stress models : existing results and some recent developments [electronic resource]

Debasis Kundu and Ayon Ganguly

Call Number: TA169.3 .K86 2017

Probabilistic physics of failure approach to reliability : modeling, accelerated testing, prognosis and reliability assessment

Mohammad Modarres, Center for Risk and Reliability, University of Maryland, College Park, U.S.A., Mehdi Amiri, Department of Mechanical Engineering, George Mason University, Fairfax, U.S.A., Christopher Jackson, Henry Samueli School of Engineering and Applied Science, University of California, Los Angeles, U.S.A

Call Number: TA169.5

Cooperative design, visualization, and engineering : 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings

Yuhua Luo (ed.)

Call Number: TA174

Progress in Industrial Mathematics at ECMI 2014

Giovanni Russo, Vincenzo Capasso, Giuseppe Nicosia, Vittorio Romano, editors

Call Number: TA329 .E87 2014eb

Classification, parameter estimation, and state estimation : an engineering approach using MATLAB

Bangjun Lei, Guangzhu Xu, Ming Feng, Yaobing Zou, Ferdinand van der Heijden, Dick de Ridder, David M. Tax

Call Number: TA331

Equilibrium finite element formulations

J. P. Moitinho de Almeida, Edward A. W. Maunder

Call Number: TA347.F5

Mechanical vibrations : applications to equipment

Yvon Mori

Call Number: TA355

Harnessing bistable structural dynamics for vibration control, energy harvesting and sensing

Ryan L. Harne, K.W. Wang

Call Number: TA355 .H345 2017eb

Vibration with control

Daniel John Inman

Call Number: TA355 .I523 2017eb

Mathematical problems of the dynamics of incompressible fluid on a rotating sphere [electronic resource]

Yuri N. Skiba

Call Number: TA357

Fluid mechanics : analytical methods

Michel Ledoux, Abdelkhalak El Hami

Call Number: TA357

Compressible flow propulsion and digital approaches in fluid mechanics

Michel Ledoux, Abdelkhalak El Hami

Call Number: TA357 .L43 2017eb

Fluid-structure interactions and uncertainties : Ansys and fluent tools

Abdelkhalak El Hami, Bouchain Radi

Call Number: TA357.5.F58

Particles in flows [electronic resource]

Tomáš Bodnár, Giovanni P. Galdi, Šárka Bečasová, editors

Call Number: TA357.5.G47

Piezoelectric materials : applications in SHM, energy harvesting and bio-mechanics

Suresh Bhalla, Sumedha Moharana, Visalakshi Talakokula, and Naveet Kaur

Call Number: TA404

Cyclic plasticity of engineering materials : experiments and models

Guozheng Kang and Qianhua Kan

Call Number: TA418.5

Corrosion engineering and cathodic protection handbook : with extensive question and answer section

Volkan Cicek

Call Number: TA418.74

Fatigue of textile and short fiber reinforced composites

Valter Carvelli, Atul Jain, Stepan Lomov

Call Number: TA418.9.C6

Magnetoelectric polymer-based composites : fundamentals and applications

edited by Senentxu Lanceros-Méndez and Pedro Martins

Call Number: TA418.9.C6

Handbook of composites from renewable materials. Volume 1, Structure and chemistry

edited by Vijay Kumar Thakur, Manju Kumari Thakur and Michael R. Kessler

Call Number: TA418.9.C6 H335 2017

Solubilization and dispersion of carbon nanotubes

Oxana Vasilievna Kharissova, Boris Ildusovich Kharisov

Call Number: TA418.9.N35

Carbon-related materials in recognition of Nobel Lectures by Prof. Akira Suzuki in ICCE

Satoru Kaneko, Paolo Mele, Tamio Endo, Tetsuo Tsuchiya, Katsuhisa Tanaka, Masahiro Yoshimura, David Hui, editors

Call Number: TA418.9.N35

From polyphenylenes to nanographenes and graphene nanoribbons

Klaus Müllen, Xinliang Feng, editors ; with contributions by K. Amsharov [and more]

Call Number: TA418.9.N35

Advanced nanomaterials in biomedical, sensor and energy applications

Jayeeta Chattopadhyay, Rohit Srivastava, editors

Call Number: TA418.9.N35

Gas-phase synthesis of nanoparticles

edited by Yves Huttel

Call Number: TA418.9.N35

Handbook of nanocellulose and cellulose nanocomposites. Volume 1

edited by Hanieh Kargarzadeh, Ishak Ahmad, Sabu Thomas, and Alain Dufresne

Call Number: TA418.9.N35

Hybrid nanomaterials : advances in energy, environment and polymer nanocomposites

edited by Suneel Kumar Srivastava and Vikas Mittal

Call Number: TA418.9.N35

Magnetic nanomaterials : fundamentals, synthesis and applications

editors: Yanglong Hou, David J. Sellmyer

Call Number: TA418.9.N35

Nano- and biomaterials : compounds, properties, characterization, and applications

Zhypargul Abdullaeva

Call Number: TA418.9.N35

Photomechanical materials, composites, and systems : wireless transduction of light into work

edited by Timothy J. White

Call Number: TA418.9.S62

Adhesion in pharmaceutical, biomedical and dental fields

edited by K. L. Mittal and F. M. Etzler

Call Number: TA455.A34

Progress in adhesion and adhesives. Volume 2

edited by K.L. Mittal

Call Number: TA455.A34

GraphITA : selected papers from the Workshop on Synthesis, Characterization and Technological Exploitation of Graphene and 2D Materials Beyond Graphene

Vittorio Morandi, Luca Ottaviano, editors

Call Number: TA455.G65

Polymer blends and composites : chemistry and technology

Muralisrinivasan Natamai Subramanian

Call Number: TA455.P58 M867 2017eb

Flexible pipes

Qiang Bai, Yong Bai, and Weidong Ruan

Call Number: TA492.P6

Handbook of structural life assessment

Raouf A. Ibrahim

Call Number: TA645

Dynamics of large structures and inverse problems

Abdelkhalak El Hami, Bouchaib Radi

Call Number: TA654

Design of joints in steel structures : Eurocode 3, Design of steel structures, part 1-8 : Design of joints

Jean-Pierre Jaspart, Klaus Weynand ; adapted for the UK by Graham Couchman, Ana M. Girão Coelho

Call Number: TA684

Smart solutions in today's transport : 17th International Conference on Transport Systems Telematics, TST 2017, Katowice -- Ustroń, Poland, April 5-8, 2017, Selected papers

Jerzy Mikulski (ed.)

Call Number: TA1145

Free space optical systems engineering : design and analysis

Larry B. Stotts

Call Number: TA1520

Theory and applications of image registration

by Arthur Ardeshir Goshtasby

Call Number: TA1632

Domain adaptation in computer vision applications [electronic resource]

Gabriela Csurka, editor

Call Number: TA1634

Handbook of machine and computer vision : the guide for developers and users

edited by Alexander Hornberg

Call Number: TA1634

Computational color science : variational Retinex-like methods

Edoardo Provenzi

Call Number: TA1637

Discrete geometry for computer imagery : 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19-21, 2017, Proceedings

Walter G. Kropatsch, Nicole M. Artner, Ines Janusch (eds.)

Call Number: TA1637 .D43 2017eb

Nonlinear photonics in mid-infrared quantum cascade lasers

Louise Jumpertz ; doctoral thesis accepted by Télécom Paris Tech and mirSense, Paris, France

Call Number: TA1675

Advances in optical science and engineering : proceedings of the third International Conference, OPTRONIX 2016

Indrani Bhattacharya, Satyajit Chakrabarti, Haricharan Singh Reehal, Vasudevan Lakshminarayanan, editors

Call Number: TA1750

Shaping light in nonlinear optical fibers

edited by Sonia Boscolo, Christophe Finot

Call Number: TA1800 .S46 2017eb

Swelling concrete in dams and hydraulic structures : DSC 2017

edited by Alain Sellier, Étienne Grimal, Stéphane Multon, Éric Bourdarot

Call Number: TC5

Hydrodynamics and water quality : modeling rivers,lakes, and estuaries

Zhen-Gang Ji

Call Number: TC175

Nature-based solutions to climate change adaptation in urban areas : linkages between science, policy and practice

Nadja Kabisch, Horst Korn, Jutta Stadler, Aletta Bonn, editors

Call Number: TD168.5

Chemical processes for pollution prevention and control

by Paul Mac Berthouex, Linfield C. Brown

Call Number: TD191.5 .B47 2018

Environmental aspects of oil and gas production

John O. Robertson and George V. Chilingar

Call Number: TD195.P4

When the hills are gone : frac sand mining and the struggle for community

Thomas W. Pearson

Call Number: TD195.S3 P43 2017

Water resources : a new water architecture

by Alexander Lane, Michael Norton, Sandra Ryan

Call Number: TD215 .L36 2017

The protection and conservation of water resources

by Hadrian F. Cook

Call Number: TD257 .C66 2017eb

Water and sanitation in the new millennium [electronic resource]

K. J. Nath, Vinod Prakash Sharma, editors

Call Number: TD365

Water wells and boreholes

Bruce Misstear, David Banks, Lewis Clark

Call Number: TD405

Groundwater remediation : a practical guide for environmental engineers and scientists

edited by Nicholas P. Cheremisinoff

Call Number: TD426

Sustainable membrane technology for water and wastewater treatment [electronic resource]

Alberto Figoli, Alessandra Criscuoli, editors

Call Number: TD745

Bioremediation of selenium contaminated wastewater

Eric D. van Hullebusch, editor

Call Number: TD758.5.S45

Process systems and materials for CO₂ capture : modelling, design, control and integration

edited by Athanasios I. Papadopoulos and Panos Seferlis

Call Number: TD885.5.C3

Carbon dioxide capture and acid gas injection

edited by Ying Wu, John J. Carroll, and Weiyao Zhu

Call Number: TD885.5.C3

Networking simulation for intelligent transportation systems : high mobile wireless nodes

edited by Benoit Hilt, Marion Berbineau, Alexey Vinel, Alain Pirovano

Call Number: TE228.3

Big data and differential privacy : analysis strategies for railway track engineering

Nii O. Attoh-Okine

Call Number: TF241 .A88 2017

Integrating project delivery

Martin Fischer, Atul Khanzode, Dean Reed, Howard W. Ashcraft

Call Number: TH438 .F556 2017eb

Building sustainability in East Asia : policy, design, and people

Vincent S Cheng, Jimmy C Tong

Call Number: TH880 .C464 2017

Fire performance analysis for buildings

Robert W. Fitzgerald, Brian J. Meacham

Call Number: TH1065

Structural design for fire safety

Andrew H. Buchanan, Anthony K. Abu

Call Number: TH1065 .B89 2017eb

Guidelines for combustible dust hazard analysis

Center for Chemical Process Safety

Call Number: TH9446.D86

Robot learning by visual observation

Aleksandar Vakanski, Farrokh Janabi-Sharifi

Call Number: TJ211.3 .V35 2017eb

Control of Multiple Robots Using Vision Sensors

by Miguel Aranda, Gonzalo López-Nicolás, Carlos Sagüés

Call Number: TJ211.35

Interactive Collaborative Robotics : Second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017, Proceedings

edited by Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov

Call Number: TJ211.49

Robot ethics 2.0 : from autonomous cars to artificial intelligence

edited by Patrick Lin, Ryan Jenkins, and Keith Abney

Call Number: TJ211.49 .R6222 2017eb

Signals and control systems : application for home health monitoring

Smain Femmam

Call Number: TJ213

Distributed cooperative control : emerging applications

Yi Guo

Call Number: TJ215 .G86 2017eb

Robust adaptive dynamic programming

Yu Jiang, Zhong-Ping Jiang

Call Number: TJ217

Iterative learning control for multi-agent systems coordination

by Shiping Yang, Jian-Xin Xu, Xuefang Li, Dong Shen

Call Number: TJ217.5

Aerospace actuators 2 : signal-by-wire and power-by-wire

Jean-Charles Maré

Call Number: TJ223.A25 M37 2017eb

Liquid piston engines

Aman Gupta, Shubham Sharma, and Sunny Narayan

Call Number: TJ765 .G87 2017

Microfluidics for advanced functional polymeric materials

Liang-Yin Chu and Wei Wang

Call Number: TJ853.4.M53

Lubricants and lubrication

edited by Theo Mang and Wilfried Dresel

Call Number: TJ1075

Principles of tribology

Wen Shizhu, Huang Ping

Call Number: TJ1075

Advances in electric power and energy systems : load and price forecasting

edited by Mohamed E. El-Hawary

Call Number: TK1001

Power system dynamics and stability : with synchrophasor measurement and power system toolbox

Peter W Sauer, M. A. Pai, University of Illinois at Urbana-Champaign, United States, Joe H. Chow, Rensselaer Polytechnic Institute, Troy, New York, United States

Call Number: TK1010

Protection of substation critical equipment against intentional electromagnetic threats

Vladimir Igorevich Gurevich

Call Number: TK1025 .G87 2017eb

Combined cooling, heating, and power systems : modeling, optimization, and operation

Yang Shi, Mingxi Liu, Fang Fang

Call Number: TK1041

Photovoltaic sources modeling

Giovanni Petrone, University of Salerno, Italy, Carlos Andrés Ramos-Paja, Universidad Nacional de Colombia, Giovanni Spagnuolo, University of Salerno, Italy

Call Number: TK1087

Photovoltaic power system : modelling, design and control

Weidong Xiao, University of Sydney Australia

Call Number: TK1087

Photovoltaic solar energy : from fundamentals to applications

edited by Angele Reinders, Pierre Verlinden, Wilfried van Sark, Alexandre Freundlich

Call Number: TK1087 .P466 2017

Wind farm noise : measurement, assessment and control

Colin H. Hansen, Con J. Doolan, Kristy L. Hansen

Call Number: TK1541 .H26 2017eb

Electrocatalysts for low temperature fuel cells : fundamentals and recent trends

edited by Thandavarayan Maiyalagan and Viswanathan S. Saji

Call Number: TK2931

Hybrid systems based on solid oxide fuel cells : modelling and design

Mario L. Ferrari, University of Genoa, Genoa, Italy, Usman M. Damo, University of Manchester, Manchester, UK, Ali Turan, University of Manchester, Manchester, UK, David Sánchez, University of Seville, Seville, Spain

Call Number: TK2933.S65

Reuse and recycling of lithium-ion power batteries

Guangjin Zhao

Call Number: TK2945.L58

Printable solar cells

edited by Nurdan Demirci Sankir and Mehmet Sankir

Call Number: TK2960

Foundations of pulsed power technology

Janet Lehr and Pralhad Ron

Call Number: TK2986

Circuit oriented electromagnetic modeling using the PEEC techniques

Albert E. Ruehli, Giulio Antonini, Lijun Jiang

Call Number: TK3001

From smart grids to smart cities : new challenges in optimizing energy grids

edited by Massimo La Scala

Call Number: TK3001 .F76 2017eb

Wireless power transfer for electric vehicles and mobile devices

Chun T. Rim, Chris Mi

Call Number: TK3091

Smart grid using big data analytics

Robert C. Qiu, Paul Antonik

Call Number: TK3105 .Q25 2017eb

Live-line operation and maintenance of power distribution networks

Tianyou Li, Qiujin Lin, Genghuang Chen

Call Number: TK3226

Color quality of semiconductor and conventional light sources

Tran Quoc Khanh, Peter Bodrogi, and Trinh Quang Vinh

Call Number: TK4161

Human bond communication : the holy grail of holistic communication and immersive experience

edited by Sudhir Dixit, Ramjee Prasad

Call Number: TK5102.5

FPGA-based implementation of signal processing systems

Roger Woods, John McAllister, Gaye Lightbody, Ying Yi

Call Number: TK5102.5 .F647 2017eb

Fundamentals of signals and control systems

Smain Femmam

Call Number: TK5102.9

Digital signal processing with Python programming

Maurice Charbit

Call Number: TK5102.9

Distributed source coding : theory and practice

Shuang Wang, Yong Fang, Samuel Cheng

Call Number: TK5102.92

Bandwidth efficient coding

John B. Anderson

Call Number: TK5102.92

Signals and systems

Hwei P. Hsu

Call Number: TK5102.92 .H78 2014

Self-healing control technology for distribution networks

Xinxin Gu, Ning Jiang

Call Number: TK5103.2

Green Mobile networks : a networking perspective

Nirwan Ansari and Tao Han

Call Number: TK5103.2

Digital services in the 21st Century : a strategic and business perspective

Antonio Sánchez, Belén Carro

Call Number: TK5103.2

New directions in wireless communications systems : from mobile to 5G

edited by Athanasios G. Kanatas, Konstantina S. Nikita, Panagiotis Mathiopoulos

Call Number: TK5103.2 .N4836 2018

Fundamentals of cognitive radio

Peyman Setoodeh, Simon Haykin

Call Number: TK5103.4815

Introduction to cognitive radio networks and applications

edited by Geetam Tomar, Ashish Bagwari, Jyotshana Kanti

Call Number: TK5103.4815 .I58 2017

Network performance and fault analytics for LTE wireless service providers [electronic resource]

Deepak Kakadia, Jin Yang, Alexander Gilgur

Call Number: TK5103.48325

Quantum communications in new telecommunications systems

Malek Benslama, Achour Benslama, Skander Aris

Call Number: TK5103.592.Q83 B46 2017eb

The Emerging WDM EPON

by Mirjana Radivojević, Petar Matavulj

Call Number: TK5103.592.W38

Digital communications with emphasis on data modems : theory, analysis, design, simulation, testing, and applications

Richard W. Middlestead

Call Number: TK5103.7

Satellite communications systems engineering : atmospheric effects, satellite link design and system performance

Louis J. Ippolito

Call Number: TK5104 .I674 2017eb

Frequency-domain receiver design for doubly selective channels

Paulo Montezuma, Fabio Silva, Rui Dinis

Call Number: TK5105 .M667 2017

Communication systems and networks : 9th International Conference, COMSNETS 2017, Bengaluru, India, January 4-8, 2017, Revised selected papers and invited papers

Nishanth Sastry, Sandip Chakraborty (eds.)

Call Number: TK5105.5

Enterprise Interoperability [electronic resource]

Call Number: TK5105.5

Content delivery networks : fundamentals, design, and evolution

by Dom Robinson

Call Number: TK5105.5

From prognostics and health systems management to predictive maintenance 2 : knowledge, traceability and decision

Brigitte Chebel-Morello, Jean-Marc Nicod, Christophe Varnier

Call Number: TK5105.5

Network routing : fundamentals, applications, and emerging technologies

Sudip Misra, Sumit Goswami

Call Number: TK5105.5487 .M57 2017eb

Network traffic anomaly detection and prevention : concepts, techniques, and tools

Monowar H. Bhuyan, Dhruba K. Bhattacharyya, Jugal K. Kalita

Call Number: TK5105.59

Network forensics

Ric Messier

Call Number: TK5105.59

Mobile positioning and tracking : from conventional to cooperative techniques

[edited by] Simone Frattasi, Francescantonio Della Rosa

Call Number: TK5105.65

Mobile ad hoc network protocols based on dissimilarity metrics

M. Güneş, D. G. Reina, J. M. Garcia Campos, S. L. Toral

Call Number: TK5105.77

Digital communication : towards a smart and secure future internet : 28th International Tyrrhenian Workshop, TIWDC 2017, Palermo, Italy, September 18-20, 2017, Proceedings

Alessandro Piva, Ilenia Tinnirello, Simone Morosi (eds.)

Call Number: TK5105.875.I57

Secure connected objects

Dominique Paret, Jean-Paul Huon

Call Number: TK5105.8857

The internet of things and business

Martin De Saulles

Call Number: TK5105.8857 .D47 2017

Beginning Adobe experience design : quickly design and prototype websites and mobile apps

Rob Huddleston

Call Number: TK5105.888

Social networks with rich edge semantics

Quan Zheng, David Skillicorn

Call Number: TK5105.88815 .Z54 2017

ASP.NET core recipes : a problem-solution approach

John Ciliberti

Call Number: TK5105.8885.A26

Antenna design for mobile devices

Zhijun Zhang

Call Number: TK6565.A6

Ad-hoc, mobile, and wireless networks : 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017, Messina, Italy, September 20-22, 2017, Proceedings

Antonio Puliafito, Dario Bruneo, Salvatore Distefano, Francesco Longo (eds.)

Call Number: TK6570.M6

The art and science of NFC programming

Anne-Marie Lesas, Serge Miranda

Call Number: TK6570.N43

Analog electronics for measuring systems

Davide Bucci

Call Number: TK7867

Practical lighting design with LEDs

Ron Lenk, Carol Lenk

Call Number: TK7871.89.L53

Organic semiconductor heterojunctions and its application in organic light-emitting diodes

Dongge Ma, Yonghua Chen

Call Number: TK7871.99.O74

Supercapacitors based on carbon or pseudocapacitive materials

Patrice Simon, Thierry Brousse, Frédéric Favier

Call Number: TK7872.C65

Wireless sensor systems for extreme environments : space, underwater, underground and industrial

[edited by] Habib F. Rashvand, Ali Abedi

Call Number: TK7872.D48

Building wireless sensor networks : application to routing and data diffusion

Edited by Smain Femmam

Call Number: TK7872.D48 B85 2017

Magnetic sensors and devices : technologies and applications

edited by Kirill Poletkin and Laurent A. Francis ; managing editor, Krzysztof Iniewski

Call Number: TK7872.D48 M335 2018

Instantaneous power theory and applications to power conditioning

Hirofumi Akagi, Edson Hirokazu Watanbe, Maurício Aredes

Call Number: TK7872.F5 A334 2017eb

SiP-system in package design and simulation : Mentor EE Flow Advanced Design Guide

Suny Li

Call Number: TK7874

Smart Energy Research : At the Crossroads of Engineering, Economics, and Computer Science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers

edited by Christian Derksen, Christoph Weber

Call Number: TK7874.6

Nanoelectronics : materials, devices, applications

edited by Robert Puers, Livio Baldi, Marcel Van de Voorde, and Sebastiaan E. van Nooten

Call Number: TK7874.84

Audio engineering 101 : a beginner's guide to music production

Tim Dittmar

Call Number: TK7881.4 .D596 2018

JavaScript for sound artists : learn to code with the Web Audio API

authored by William Turner ; edited by Steve Leonard

Call Number: TK7881.4 .T87 2017

Under surveillance : being watched in modern America

Randolph Lewis

Call Number: TK7882.E2 L49 2017

OLED display fundamentals and applications

Takatoshi Tsujimura

Call Number: TK7882.I6 T84 2017eb

Understanding Delta-Sigma Data Converters

Call Number: TK7887.6

Advanced multicore systems-on-chip : architecture, on-chip network, design

Abderazek Ben Abdallah

Call Number: TK7895.E42

Real-time embedded systems

by Jiacun Wang

Call Number: TK7895.E42

Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

edited by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller

Call Number: TK7895.M5

Resurgence of nuclear power : challenges and opportunities for Asia [electronic resource]

Nandakumar Janardhanan, Girijesh Pant, Ravi B. Grover, editors

Call Number: TK9099

Eco-driving : from strategies to interfaces

Rich C. McIlroy and Neville A. Stanton

Call Number: TL151.5 .M35 2018

Thermal management of electric vehicle battery systems

Ibrahim Dincer, Halil S. Hamut, Nader Javani.

Call Number: TL220 .D56 2017eb

Hybrid electric vehicle system modeling and control

Wei (Kevin) Liu

Call Number: TL221.15

8th International Munich Chassis Symposium 2017 : chassis.tech plus

Prof. Dr. Peter E. Pfeffer, editor

Call Number: TL255

Computer vision in vehicle technology : land, sea & air

Antonio M. Lopez, Atsushi Imiya, Tomas Pajdla, Jose M. Alvarez

Call Number: TL272.53

Wall turbulence control

Sedat Tardu

Call Number: TL545

Mechanics of aeronautical solids, materials and structures

Christophe Bouvet

Call Number: TL545

Introduction to nonlinear aeroelasticity

Dr. Grigorios Dimitriadis

Call Number: TL574.A37

Advanced UAV aerodynamics, flight stability, and control : novel concepts, theory and applications

edited by Pascual Marques, Andrea Da Ronch

Call Number: TL685.35

Airdrop recovery systems with self-inflating airbag

Hongyan Wang, Qiang Rui, Huangjie Hong, and Jianyang Li

Call Number: TL711.D7

The Cheyenne Airport and the Wyoming Aviation Hall of Fame

William D. "Billy" Walker, Jr. ; with contributions by the Cheyenne Airport Board and the Cheyenne Corral of the Westerners

Call Number: TL726.4.C42 W34 1996

Kites;

an historical survey

Call Number: TL759.3 .H3 1967

Fault-tolerance techniques for spacecraft control computers

Mengfei Yang, Gengxin Hua, Yanjun Feng, Jian Gong

Call Number: TL3250

Ancient mines and quarries : a trans-Atlantic perspective

edited by Margaret Brewer-LaPorta, Adrian Burke and David Field

Call Number: TN16 .A53 2010

Seismic data interpretation using digital image processing

Abdullatif A. Al-Shuhail, Saleh A. Al-Dossary, Saudi Aramco, Wail A. Mousa

Call Number: TN269.84 .A425 2017

Relative fidelity processing of seismic data : methods and applications

Professor Xiwen Wang, Petrochina, Lanzhou, Gansu [Province], CH [China]

Call Number: TN271.P4

Oil and gas exploration : methods and application

edited by Said Gaci, Olga Hachay

Call Number: TN271.P4

Rules of thumb for petroleum engineers

James G. Speight

Call Number: TN870

Bentonite handbook : lubrication for pipe jacking

Steffen Praetorius, Britta Schößer

Call Number: TN948.B4

Chemical engineering for non-chemical engineers

John W. Hipple

Call Number: TP155 .H56 2017eb

Process modeling and simulation for chemical engineers : theory and practice

Simant Ranjan Upreti

Call Number: TP155.7 .U67 2017eb

Advances in distillation retrofit [electronic resource]

Nguyen Van Duc Long, Moonyong Lee

Call Number: TP156.D5

Understanding membrane distillation and osmotic distillation

Robert A. Johnson, Minh H. Nguyen

Call Number: TP156.D5

Sustainable flow chemistry : methods and applications

edited by Luigi Vaccaro

Call Number: TP156.F6

Iridium (III) : in optoelectronic and photonics applications

edited by Eli Zysman-Colman

Call Number: TP245.I7

Bio-based solvents

edited by François Jerome, National Higher Engineering School of Poitiers (ENSIP), University of Poitiers, France, Rafael Luque, Departament of Quimica Organica, University of Cordoba, Spain

Call Number: TP247.5

The chemostat : mathematical theory of microorganism cultures

Jérôme Harmand, Claude Lobry, Alain Rapaport, Tewfik Sari

Call Number: TP248.25.B55

Membrane materials for gas and vapor separation : synthesis and application of silicon-containing polymers

edited by Yuri Yampolskii, E. Finkelshtein

Call Number: TP248.25.M46 I35 2017eb

Science and technology of separation membranes

Tadashi Uragami

Call Number: TP248.25.M46 U73 2017eb

Bionanocomposites : integrating biological processes for bioinspired nanotechnologies

edited by Carole Aimé, Centre National de la Recherche Scientifique, Paris, France, Thibaud Coradin, Centre National de la Recherche Scientifique, Paris, France

Call Number: TP248.25.N35

Nanocellulose and nanohydrogel matrices : biotechnological and biomedical applications

edited by Mohamad Jawaid and Faruq Mohammad

Call Number: TP248.25.N35

Industrial biotechnology. Volume 1, Microorganisms

edited by Christoph Wittmann and James C. Liao

Call Number: TP248.27.M53

Industrial biotechnology : products and processes

edited by Christoph Wittmann and James C. Liao

Call Number: TP248.27.M53

Plant-based natural products : derivatives and applications

edited by Shahid-ul-Islam

Call Number: TP248.27.P55 P524 2017

Cellulose nanocrystals : properties, production, and applications

Wadood Y. Hamad

Call Number: TP248.65.C45 H36 2017eb

Lignocellulosic biomass production and industrial applications

edited by Arindam Kuila and Vinay Sharma

Call Number: TP248.65.L54 L5383 2017

Process scale purification of antibodies

edited by Uwe Gottschalk

Call Number: TP248.65.M65

Sustainable polymers from biomass

edited by Chuanbing Tang and Chang Y. Ryu

Call Number: TP248.65.P62

Hydrogen production technologies

[edited by] Mehmet Sankir and Nurdan Demirci Sankir

Call Number: TP261.H9

Advances in biofeedstocks and biofuels. Volume 1, Biofeedstocks and their processing

edited by Lalit Kumar Singh, Gaurav Chaudhary

Call Number: TP339

Biofuels and bioenergy

[edited by] John Love

Call Number: TP339

Fuels, chemicals and materials from the oceans and aquatic sources

edited by Francesca M. Kerton, Ning Yan

Call Number: TP339

Biogas systems in China [electronic resource]

Bin Chen, Tasawar Hayat, Ahmed Alsaedi

Call Number: TP359.B48

Multiphase reactor engineering for clean and low-carbon energy applications

edited by Yi Cheng, Yong Jin

Call Number: TP360 .M79 2017eb

Ultrasound in food processing

edited by Mar Villamiel and Antonia Montilla

Call Number: TP372.4

Glass transition and phase transitions in food and biological materials

edited by Jasim Ahmed, Yrjo Roos, Mohammad Rahman, Suprakas Sinha Ray

Call Number: TP372.5 .G56 2017eb

Food safety, risk intelligence and benchmarking

by Dr. Sylvain Charlebois

Call Number: TP373.5

Food authentication : management, analysis and regulation

[edited by] Constantinos A. Georgiou

Call Number: TP373.5 .F6635 2017eb

Natural food flavors and colorants

Mathew Attokaran

Call Number: TP418

Dictionary of flavors

Dolf De Rovira

Call Number: TP418 .D4 2017eb

Starter cultures in food production

edited by Barbara Speranza, University of Foggia, Italy, Antonio Bevilacqua, University of Foggia, Italy, Maria Rosaria Corbo, University of Foggia, Italy, Milena Sinigaglia, University of Foggia, Italy

Call Number: TP456.B32

Refrigeration systems and applications

İbrahim Dinçer, University of Ontario Institute of Technology, Canada

Call Number: TP495

Beckett's industrial chocolate manufacture and use

edited by Stephen T Beckett, Mark Fowler, Prof Gregory Ziegler

Call Number: TP640 .I53 2017eb

Troubleshooting process plant control

Norman P. Lieberman

Call Number: TP690.3 .L534 2017eb

77th Conference on Glass Problems : a collection of papers presented at the 77th Conference on Glass Problems, Greater Columbus Convention Center, Columbus, Ohio, November 7-9, 2016

edited by S. K. Sundaram

Call Number: TP845

Primary and secondary manufacturing of polymer matrix composites

edited by Kishore Debnath, Inderdeep Singh

Call Number: TP1177 .P75 2018

IN THE SHADOW OF THE RAJ DERRY MOO

Call Number: TR

Love, Cecil : a journey with Cecil Beaton

Lisa Immordino Vreeland

Call Number: TR140.B4 V74 2017

Sarah Charlesworth

Rochelle Steiner with contributions by Eric Crosby, Mark Godfrey, Thomas Lawson, Rebecca Morse

Call Number: TR140.C454 S37 2017

Photographic possibilities : the expressive use of concepts, ideas, materials, and processes

Robert Hirsch

Call Number: TR145 .H54 2017

From photon to pixel : the digital camera handbook

Henri Maitre

Call Number: TR256

Walker Evans

edited by Clément Chéroux

Call Number: TR647 .E9 2017

HIROSHI SUGIMOTO GATES OF PARADISE

Call Number: TR647 .S895 2017

West/East

Harry Gruyaert

Call Number: TR654 .G792 2018

LA NY : aerial photographs of Los Angeles and New York

Jeffrey Milstein ; foreword by Jay Maisel ; introduction by Owen Hopkins

Call Number: TR659 .M554 2017

Lost in L.A.

Christopher Thomas ; edited by Ira Stehmann

Call Number: TR659 .T46 2017

Street photography : creative vision behind the lens

Valérie Jardin

Call Number: TR659.8 .J37 2018

Petra Collins : coming of age

Petra Collins, Laurie Simmons and Marilyn Minter

Call Number: TR680 .C65 2017

Portraits

Duane Michals

Call Number: TR681.F3 M53 2017

Shifting horizons : urban space and social difference in contemporary Brazilian documentary and photography

Alice Louisa Allen

Call Number: TR820.5 .A4545 2017

Synchronization and title sequences : audio-visual semiosis in motion graphics

Michael Betancourt

Call Number: TR897 .B47 2018

Multi-agent based production planning and control

Jie Zhang, Shanghai Jiao Tong University, China

Call Number: TS155

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II

edited by Hermann Lödding, Ralph Riedel, Klaus-Dieter Thoben, Gregor von Cieminski, Dimitris Kiritsis

Call Number: TS155.6

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I

edited by Hermann Lödding, Ralph Riedel, Klaus-Dieter Thoben, Gregor von Cieminski, Dimitris Kiritsis

Call Number: TS155.6

Managing packaging design for sustainable development : a compass for strategic directions

Daniel Hellström and Annika Olsson with contributions from Fredrik Nilsson

Call Number: TS195.4 .M354 2017eb

Large and middle-scale aperture aspheric surfaces : lapping, polishing and measurement

Shengyi Li, Yifan Dai, National University of Defense Technology, China

Call Number: TS517.5.A86

Plasma surface metallurgy : with double glow discharge technology -- Xu-Tec process

Zhong Xu, Frank F. Xiong

Call Number: TS655

Polypropylene nanofibers : melt electrospinning versus meltblowing [electronic resource]

Rajkishore Nayak

Call Number: TS1548.7.P6

LEGO and philosophy : constructing reality brick by brick

edited by Roy T. Cook, University of Minnesota - Twin Cities, US; Sondra Bacharach, Victoria University of Wellington, NZ

Call Number: TS2301.T7

Androgyne : fashion + gender

Patrick Mauriès

Call Number: TT506 .M38 2017

Food safety in China : science, technology, management and regulation

edited by Joseph Jwu-Shan Jen, U.S. Department of Agriculture, Las Vegas, USA, Junshi Chen, China National Center for Food Safety Risk Assessment, Bejing, China

Call Number: TX531

Analysis of food toxins and toxicants

edited by Yiu-chung Wong and Richard J. Lewis

Call Number: TX531

Advances in food diagnostics

edited by Fidel Toldrá, Leo M.L. Nollet

Call Number: TX541

Bitterness : perception, chemistry and food processing

edited by Michel Aliani, Manitoba, Canada; N Michael Eskin, Manitoba, Canada

Call Number: TX546

Confectionery and chocolate engineering : principles and applications

Ferenc Á. Mohos

Call Number: TX783 .M58 2017eb

Coming to my senses : the making of a counterculture cook

Alice Waters, with Cristina Mueller & Bob Carrau

Call Number: TX910.5.W38 A3 2017