Skip to main content

University Libraries

Science & Technology (General)

Items Acquired in June 2018 for the University Libraries

A final story : science, myth, and beginnings

Nasser Zakariya

Call Number: Q125 .Z353 2017

Subalternity vs. hegemony, Cuba's outstanding achievements in science and biotechnology, 1959-2014

Angelo Baracca, Rosella Franconi

Call Number: Q127.C8

Creatively undecided : toward a history and philosophy of scientific agency

Menachem Fisch

Call Number: Q175 .F5452 2017eb

Idealization and the aims of science

Angela Potochnik

Call Number: Q175 .P88155 2017

Natural complexity : a modeling handbook

Paul Charbonneau

Call Number: Q175.32.C65 C43 2017

Trustworthy open self-organising systems

Wolfgang Reif, Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Elisabeth André, Jörg Höhner, Christian Müller-Schloer, Theo Ungerer, editors

Call Number: Q325

Deep learning with TensorFlow : explore neural networks and build intelligent systems with Python

Giancarlo Zaccone, Md. Rezaul Karim

Call Number: Q325.5

TensorFlow for deep learning : from linear regression to reinforcement learning

Bharath Ramsundar and Reza Bosagh Zadeh

Call Number: Q325.5

Trends in applied knowledge-based systems and data science : 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEAAIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings

Hamido Fujita, Moonis Ali, Ali Selamat, Jun Sasaki, Masaki Kurematsu (eds.)

Call Number: Q334

Intelligent computing methodologies : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016. Proceedings.

De-Shuang Huang, Kyungsook Han, Abir Hussain (eds.)

Call Number: Q334

Introduction to artificial intelligence

Mariusz Flasiński

Call Number: Q335 .F53 2016eb

Advances in neural networks -- ISNN 2016 : 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings

Long Cheng, Qingshan Liu, Andrey Ronzhin (eds.)

Call Number: Q337.5

Pattern recognition : 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings

Bodo Rosenhahn, Bjoern Andres (eds.)

Call Number: Q337.5

Intelligent computing theories and technology : 12th International Conference, ICIC 2016, Lanzhou, China, July 28-31, 2013. Proceedings.

De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne (eds.)

Call Number: Q342

Intelligent computing theories and technology : 12th International Conference, ICIC 2016, Lanzhou, China, July 28-31, 2013. Proceedings.

De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne (eds.)

Call Number: Q342

Transactions on computational collective intelligence XXIII

Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jacek Mercik (eds.)

Call Number: Q342

Intelligent systems and applications : Extended and Selected Results from the SAI Intelligent Systems Conference (IntelliSys) 2015

Yaxin Bi, Supriya Kapoor, Rahul Bhatia, editors

Call Number: Q342

Scalable uncertainty management : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, proceedings

Steven Schockaert, Pierre Senellart (eds.)

Call Number: Q375

Domain-specific conceptual modeling : concepts, methods and tools

Dimitris Karagiannis, Heinrich C. Mayr, John Mylopoulos

Call Number: Q387.2

Making and breaking mathematical sense : histories and philosophies of mathematical practice

Roi Wagner

Call Number: QA8.4 .W334 2017

Dependence logic : theory and applications

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors

Call Number: QA9

Feferman on foundations : logic, mathematics, philosophy

Gerhard Jäger, Wilfried Sieg, editors

Call Number: QA9.2

Space in weak propositional proof systems

Ilario Bonacina

Call Number: QA9.54

Innovative algorithms and analysis

Laurent Gosse, Roberto Natalini, editors

Call Number: QA9.58 .I56 2017

Mathematics Education in a Context of Inequity, Poverty and Language Diversity : Giving Direction and Advancing the Field

Mamokgethi Phakeng, Stephen Lerman, editors

Call Number: QA12 .M38 2016

Masters of mathematics : the problems they solved, why these are important, and what you should know about them

Robert A. Nowlan

Call Number: QA21 .N69 2017

Sourcebook in the mathematics of medieval Europe and North Africa

edited by Victor J. Katz, Menso Folkerts, Barnabas Hughes, Roi Wagner, J. Lennart Berggren

Call Number: QA23 .S68 2016

Mathematics in ancient Egypt : a contextual history

Annette Imhausen

Call Number: QA27.E3 I43 2015eb

Mathematics without apologies : portrait of a problematic vocation

Michael Harris

Call Number: QA28 .H37 2015eb

Nigel J. Kalton selecta. Volume 1

Fritz Gesztesy, Gilles Godefroy, Loukas Grafakos, Igor Verbitsky, editors

Call Number: QA29.K35

Nigel J. Kalton selecta. Volume 2

Fritz Gesztesy, Gilles Godefroy, Loukas Grafakos, Igor Verbitsky, editors

Call Number: QA29.K35

Geometry, algebra and applications : from mechanics to cryptography ; in honor of Jaime Muñoz Masqué

Marco Castrillón López, Luis Hernández Encinas, Pedro Martínez Gadea, Ma Eugenia Rosado María, editors

Call Number: QA39.3

Enlightening symbols : a short history of mathematical notation and its hidden powers

Joseph Mazur

Call Number: QA41 .M39 2014eb

Computational science and its applications -- ICCSA 2016 : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings.

Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang (eds.)

Call Number: QA75.5 .I22 2016eb

Computational science and its applications -- ICCSA 2016 : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings.

Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang (eds.)

Call Number: QA75.5 .I22 2016eb

Computational science and its applications -- ICCSA 2016 : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings.

Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang (eds.)

Call Number: QA75.5 .I22 2016eb

Computational science and its applications -- ICCSA 2016 : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings.

Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang (eds.)

Call Number: QA75.5 .I22 2016eb

Computational science and its applications -- ICCSA 2016 : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings.

Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang (eds.)

Call Number: QA75.5 .I22 2016eb

Introduction to the history of computing : a computing history primer

Gerard O'Regan

Call Number: QA76.17

Invasive tightly coupled processor arrays

Vahid Lari

Call Number: QA76.5

IBM z14 model ZR1 technical introduction

Bill White [and five others]

Call Number: QA76.5

Parallel problem solving from nature -- PPSN XIV : 14th international conference, Edinburgh, UK, September 17-21, 2016, proceedings

Julia Handl, Emma Hart. Peter R> Lewis, Manuel López-Ibáñez, Gabriela Ochoa, Ben Paechter (eds.)

Call Number: QA76.58

Elements of cloud computing security : a survey of key practicalities

Mohammed M. Alani

Call Number: QA76.585

Service-oriented and cloud computing : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, proceedings

Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski (eds.)

Call Number: QA76.585

Content distribution for mobile internet : a cloud-based approach

Zhenhua Li, Yafei Dai, Guihai Chen, Yunhao Liu

Call Number: QA76.585

Hybrid cloud for developers : develop and deploy cost-effective applications on the AWS and OpenStack platforms with ease

Manoj Hirway

Call Number: QA76.585

Cloud security automation : get to grips with automating your cloud security on AWS and OpenStack

Prashant Priyam

Call Number: QA76.585

Google Cloud Platform cookbook : implement, deploy, maintain, and migrate applications on Google Cloud Platform

Legorie Rajan P.S

Call Number: QA76.585

Hands-on cloud development with WildFly : develop, deploy, and configure cloud-based, enterprise Java applications with WildFly Swarm and OpenShift

Tomasz Adamski

Call Number: QA76.585

Integrated security technologies and solutions. Volume I, Cisco Security Solutions for advanced threat protection with next generation firewall, intrusion prevention, AMP, and content security

Aaron Woland, Vivek Santuka, Mason Harris, Jamie Sanbower

Call Number: QA76.585

Cloud computing : principles, systems and applications

Nick Antonopoulos, Lee Gillam, editors

Call Number: QA76.585 .C582 2017

Connectivity frameworks for smart devices : the internet of things from a distributed computing perspective

Zaigham Mahmood, editor

Call Number: QA76.5915

Low level X Window programming : an introduction by examples

Ross J. Maloney

Call Number: QA76.6

Static analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings

Xavier Rival (ed.)

Call Number: QA76.6

Principles and practice of constraint programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Michel Rueher (eds.)

Call Number: QA76.612

Oracle WebCenter 11g handbook : build rich, customizable enterprise 2.0 applications

Frédéric Desbiens, Peter Moskovits, Philipp Weckerle

Call Number: QA76.625 .D495 2010

Rust standard library cookbook : over 75 recipes to leverage the power of Rust

Jan Nils Ferner, Daniel Durante

Call Number: QA76.7

Rust high performance : learn to skyrocket the performance of your Rust applications

Iban Eguia Moraza

Call Number: QA76.7

Beginning DAX with Power BI : the SQL pro's guide to better business intelligence

Philip Seamark

Call Number: QA76.7

C++ data structures and algorithms : learn how to write efficient code to build scalable and robust applications in C++

Wisnu Anggoro

Call Number: QA76.73.C153

Expert C++ programming : leveraging the power of modern C++ to build scalable modular applications

Jeganathan Swaminathan, Maya Posch, Jacek Galowicz

Call Number: QA76.73.C153

Hands-on GUI programming with C++ and Qt 5 : build stunning cross-platform applications and widgets with the most powerful GUI framework

Lee Zhi Eng

Call Number: QA76.73.C153

Design patterns in modern C++ : reusable approaches for object-oriented software design

Dmitri Nesteruk

Call Number: QA76.73.C153

C# data structures and algorithms : explore the possibilities of C# for developing a variety of efficient applications

Marcin Jamro

Call Number: QA76.73.C154

C# 7 and .NET Core 2.0 high performance : build highly performant, multi-threaded, and concurrent applications using C# 7 and .NET Core 2.0

Ovais Mehboob Ahmed Khan

Call Number: QA76.73.C154

Essential C# 7.0

Mark Michaelis ; with Eric Lippert, technical editor

Call Number: QA76.73.C154

Pro C# 7 : with .NET and .NET Core

Andrew Troelsen, Philip Japikse

Call Number: QA76.73.C154

Programming Clojure

Alex Miller with Stuart Halloway and Aaron Bedra

Call Number: QA76.73.C565

Adopting Elixir : from concept to production

by Ben Marx, José Valim, Bruce Tate

Call Number: QA76.73.E44

Get programming with F# : a guide to .NET developers

Isaac Abraham

Call Number: QA76.73.F163

Java 9 : building robust modular applications : master advanced Java features and implement them to build amazing projects

Dr. Edward Lavieri, Peter Verhas, Jason Lee

Call Number: QA76.73.J38

Java 9 dependency injection : write loosely coupled code with Spring 5 and Guice

Krunal Patel, Nilang Patel

Call Number: QA76.73.J38

Java by comparison : become a Java craftsman in 70 examples

by Simon Harrer, Jörg Lenhard, Linus Dietz

Call Number: QA76.73.J38

ECMAScript cookbook : over 70 recipes to help you learn the new ECMAScript (ES6ES8) features and solve common JavaScript problems

Ross Harrison

Call Number: QA76.73.J39

Advanced Node.js development : master Node.js by building real-world applications

Andrew Mead

Call Number: QA76.73.J39

Learn Node.js by building 6 projects : build six practical and instructive Node.js projects

Eduonix Learning Solutions

Call Number: QA76.73.J39

PHP development tool essentials

Chad Russell

Call Number: QA76.73.P224

Matplotlib for Python developers : effective techniques for data visualization with Python

Aldrin Yim, Claire Chung, Allen Yu

Call Number: QA76.73.P48

A primer on scientific programming with Python

Hans Petter Langtangen

Call Number: QA76.73.P98

Python for offensive PenTest : a practical guide to ethical hacking and penetration testing using Python

Hussam Khrais

Call Number: QA76.73.P98

Hands-on automated machine learning : a beginner's guide to building automated machine learning systems using AutoML and Python

Sibanjan Das, Umit Mert Cakmak

Call Number: QA76.73.P98

Function Python programming : discover the power of functional programming, generator functions, lazy evaluation, the built-in itertools library, and monads

Steven F. Lott

Call Number: QA76.73.P98

What is Python?

Jake VanderPlas and Matt Harrison

Call Number: QA76.73.P98

Practical web scraping for data science : best practices and examples with Python

Seppe vanden Broucke, Bart Baesens

Call Number: QA76.73.P98

Introduction to Python 2018 Edition

Mark Lassoff and Julius Hernandez

Call Number: QA76.73.P98

Beginning Ruby : from novice to professional

Peter Cooper

Call Number: QA76.73.R83

Learn Rails 5.2 : Accelerated Web Development with Ruby on Rails

Stefan Wintermeyer

Call Number: QA76.73.R83

Scala design patterns : design modular, clean, and scalable applications by applying proven design patterns in Scala

Ivan Nikolov

Call Number: QA76.73.S28

Oracle SQL revealed : executing business logic in the database engine

Alex Reprintsev

Call Number: QA76.73.S67

Hands-on full-stack development with Swift : develop full-stack web and native mobile applications using Swift and Vapor

Ankur Patel

Call Number: QA76.73.S95

Classic computer science problems in Swift : essential techniques for practicing programmers

David Kopec

Call Number: QA76.73.S95

Pro PowerShell desired state configuration : an in-depth guide to Windows PowerShell DSC

Ravikanth Chaganti

Call Number: QA76.73.W56

Architectural coordination of enterprise transformation

Henderik A. Proper, Robert Winter, Stephan Aier, Sybren de Kinderen, editors

Call Number: QA76.754

Pro Entity Framework Core 2 for ASP.NET Core MVC

Adam Freeman

Call Number: QA76.754

Perspectives of system informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised selected papers

Manuel Mazzara, Andrei Voronkov (eds.)

Call Number: QA76.758

Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Ivica Crnkovic, Elena Troubitsyna (eds.)

Call Number: QA76.758

Modelling foundations and applications : 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Andrzej Wąsowski, Henrik Lönn (eds.)

Call Number: QA76.758 .E24 2016eb

Architecting Angular applications with Redux, RxJS, and NgRx : learn to build Redux style high-performing applications with Angular 6

Christoffer Noring

Call Number: QA76.76.A54

Craft GraphQL APIs in Elixir with Absinthe : flexible, robust services for queries, mutations, and subscriptions

by Bruce Williams, Ben Wilson

Call Number: QA76.76.A63

Building a virtual assistant for Raspberry Pi : the practical guide for constructing a voice-controlled virtual assistant

Tanay Pant

Call Number: QA76.76.A65

Test-driven Java development : invoke TDD principles for end-to-end application development

Alex Garcia, Viktor Farcic

Call Number: QA76.76.A65

Odoo 11 development essentials : develop and customize business applications with Odoo 11

Daniel Reis

Call Number: QA76.76.A65

Expert AWS development : efficiently develop, deploy, and manage your enterprise apps on the Amazon Web Services platform

Atul V. Mistry

Call Number: QA76.76.A65

Full stack development with JHipster : build modern web applications and microservices with Spring and Angular

Deepu K. Sasidharan, Sendil Kumar N

Call Number: QA76.76.A65

Mastering Spring Cloud : build self-healing, microservices-based, distributed systems using Spring Cloud

Piotr Mińkowski

Call Number: QA76.76.A65

Learning robotic process automation : create software robots and automate business processes with the leading RPA tool, UiPath

Alok Mani Tripathi

Call Number: QA76.76.A65

Java EE 8 cookbook : build reliable applications with the most robust and mature technology for enterprise development

Elder Moraes

Call Number: QA76.76.A65

Mastering Xamarin.Forms : build rich, maintainable, multi-platform, native mobile apps with Xamarin.Forms

Ed Snider

Call Number: QA76.76.A65

Environmental software systems : computer science for environmental protection : 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

edited by Jiří Hřebíček, Ralf Denzer, Gerald Schimak, Tomáš Pitner

Call Number: QA76.76.A65

Pro Android apps performance optimization

Hervé Guihot

Call Number: QA76.76.A65 G85 2012

Polished game development : from first steps to final release

Steven Goodwin

Call Number: QA76.76.C672

Getting started with Unity 2018 : a beginner's guide to 2D and 3D game development with Unity

Dr. Edward Lavieri

Call Number: QA76.76.C672

System Center Configuration Manager Current Branch unleashed

Kerrie Meyler [and five others], with Byron Holt & Garth Jones

Call Number: QA76.76.C69

Theory and practice of model transformations : 9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings

edited by Pieter Van Gorp, Gregor Engels

Call Number: QA76.76.D47

.NET development using the compiler API

Jason Bock

Call Number: QA76.76.D47

Learn Docker : fundamentals of Docker 18.x : everything you need to know about containerizing your applications and running them in production

Gabriel N. Schenker

Call Number: QA76.76.D47

Docker for serverless applications : containerize and orchestrate functions using OpenFaas, OpenWhisk, and Fn

Chanwit Kaewkasi

Call Number: QA76.76.D47

Kubernetes for developers : use Kubernetes to develop, test, and deploy your applications with the help of containers

Joseph Heck

Call Number: QA76.76.D47

Mobile DevOps : deliver continuous integration and deployment within your mobile applications

Rohin Tak, Jhalak Modi

Call Number: QA76.76.D47

Building serverless applications with Python : develop fast, scalable, and cost-effective web applications that are always available

Jalem Raj Rohit

Call Number: QA76.76.D47

Software design X-Rays : fix technical debt with behavioral code analysis

Adam Tornhill

Call Number: QA76.76.D47

SAFe reference guide : scaled Agile Framework for lean enterprises

Dean Leffingwell ; with Richard Knaster, Inbar Oren, and Drew Jemilo

Call Number: QA76.76.D47

Lean architecture for agile software development

James Coplien, Gertrud Bjørnvig

Call Number: QA76.76.D47 C66 2010

The software project manager's bridge to agility

Michele Sliger, Stacia Broderick

Call Number: QA76.76.D47 S563 2008

HTML5 quick markup reference

Wallace Jackson

Call Number: QA76.76.H94

Coordination, organizations, institutions, and norms in agent systems XI : COIN 2015 International Workshops, COIN AAMAS, Istanbul, Turkey, May 4, 2015, COIN IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised selected papers

Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman (eds.)

Call Number: QA76.76.I58

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

Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin (eds.)

Call Number: QA76.76.I59

Pro ASP.NET Core MVC 2 : develop cloud-ready web applications using Microsoft's latest framework, ASP.NET Core MVC 2

Adam Freeman

Call Number: QA76.76.M52

Writing high-performance .NET code

Ben Watson

Call Number: QA76.76.M52

ABCs of IBM z/OS system programming. Volume 2

Guillermo Cosimo, Lutz Kuehner

Call Number: QA76.76.O63

Serverless design patterns and best practices : build, secure, and deploy enterprise ready serverless applications with AWS to improve developer productivity

Brian Zambrano

Call Number: QA76.76.P37

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.

Swarat Chaudhuri, Azadeh Farzan(eds.)

Call Number: QA76.76.V47

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.

Swarat Chaudhuri, Azadeh Farzan(eds.)

Call Number: QA76.76.V47

Type systems for distributed programs : components and sessions

Ornela Dardha

Call Number: QA76.76.V47

IBM z/OS management facility V2R3

Redelf Janssen, Tobias Rotthove

Call Number: QA76.77

Mastering Linux shell scripting : a practical guide to Linux command- line, Bash scripting, and Shell programming

Mokhtar Ebrahim, Andrew Mallett

Call Number: QA76.774.L46

Teach yourself visually macOS High Sierra : the fast and easy way to learn

Paul McFedries

Call Number: QA76.774.M33

Exam ref 70-697 : configuring Windows devices

Andrew Bettany, Andrew Warren

Call Number: QA76.774.M435

Neural networks for electronics hobbyists : a non-technical project-based introduction

Richard McKeon

Call Number: QA76.87

Deep Belief Nets in C++ and CUDA C. Volume 1, Restricted Boltzmann machines and supervised feedforward networks

Timothy Masters

Call Number: QA76.87 .M368 2018

High performance computing and applications : third International Conference, HPCA 2015, Shanghai, China, July 26-30, 2015, Revised selected papers

Jiang Xie, Zhangxin Chen, Craig C. Douglas, Wu Zhang, Yan Chen (eds.)

Call Number: QA76.88

Quantum dots for quantum information technologies

Peter Michler, editor

Call Number: QA76.889 .Q83 2017

Data and applications security and privacy XXX : 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2015. Proceedings

Silvio Ranise, Vipin Swarup (eds.)

Call Number: QA76.9.A25

Privacy and identity management : time for a revolution? : 10th IFIP WG 9.2, 9.5, 9.611.7, 11.4, 11.6SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers

David Aspinall, Jan Camenisch, Marit Hansen, Simone Fischer-Hübner, Charles Raab (eds.)

Call Number: QA76.9.A25

Preserving privacy against side-channel leaks : from data publishing to web applications

Wen Ming Liu, Lingyu Wang

Call Number: QA76.9.A25

Computer safety, reliability, and security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings

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

Call Number: QA76.9.A25

Availability, reliability, and security in information systems : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2016, and Workshop on Privacy Aware Machine Learning for Health Data Science, PAML 2016, Salzburg, Austria, August 31 - September 2, 2016, Proceedings

Francesco Buccafurri, Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl (eds.)

Call Number: QA76.9.A25

Trust and trustworthy computing : 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings

Michael Franz, Panos Papadimitratos (eds.)

Call Number: QA76.9.A25

Information security : 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings

Matt Bishop, Anderson C.A. Nascimento (eds.)

Call Number: QA76.9.A25

Fast software encryption : 23rd International Workshop, FSE 2016, Bochum, Germany, March 20-23, 2016. Revised selected papers

Thomas Peyrin (ed.)

Call Number: QA76.9.A25

Financial cryptography and data security : FC 2016, International Workshops BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, revised selected papers

Jeremy Clark, Sarah Meiklejohn, Peter Y.A. Ryan, Dan Wallach, Michael Brenner, Kurt Rohloff (eds.)

Call Number: QA76.9.A25

Watermarking security : fundamentals, secure designs and attacks

Patrick Bas, Teddy Furon, François Cayre, Gwenaël Doërr, Benjamin Mathon

Call Number: QA76.9.A25

Penetration testing basics : a quick-start guide to breaking into systems

Ric Messier

Call Number: QA76.9.A25

Cyber deception : building the scientific foundation

Sushil Jajodia, V.S. Subrahmanian, Vipin Swarup, Cliff Wang, editors

Call Number: QA76.9.A25

Human aspects of information security, privacy, and trust : 4th international conference, HAS 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings

Theo Tryfonas (eds.)

Call Number: QA76.9.A25

Information security and privacy : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings,

Joseph K. Liu, Ron Steinfeld (eds.)

Call Number: QA76.9.A25 A23 2016eb

Information security and privacy : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings.

Joseph K. Liu, Ron Steinfeld (eds.)

Call Number: QA76.9.A25 A23 2016eb

Trust management X : 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings

Sheikh Mahbub Habib, Julita Vassileva, Sjouke Mauw, Max Mühlhäuser (eds.)

Call Number: QA76.9.A25 T78 2016eb

Algorithmic aspects in information and management : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings

Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri (eds.)

Call Number: QA76.9.A43

Working with Odoo 11 : configure, manage, and customize your Odoo system

Greg Moss

Call Number: QA76.9.A73

IBM DS8880 and z/OS DFSMS : transparent cloud tiering

Jose Gilberto Biondo Jr. [and three others]

Call Number: QA76.9.A73

Learn ARCore : fundamentals of Google ARCore : learn to build augmented reality apps for Android, Unity, and the web with Google ARCore 1.0

Michael Lanham

Call Number: QA76.9.A94

Solving large scale learning tasks : challenges and algorithms : essays dedicated to Katharina Morik on the occasion of her 60th birthday

Stefan Michaelis, Nico Piatkowski, Marco Stolpe (eds.)

Call Number: QA76.9.B45

Big data computing and communications : second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016, Proceedings

Yu Wang, Ge Yu, Yanyong Zhang, Zhui Han, Guoren Wang (eds.)

Call Number: QA76.9.B45

Data science and big data computing : frameworks and methodologies

Zaigham Mahmood, editor

Call Number: QA76.9.B45

Enhancing the IBM Power Systems Platform with IBM Watson Services

Ahmed Azraq [and four others]

Call Number: QA76.9.C55

The essentials of computer organization and architecture

Linda Null, Julia Lobur

Call Number: QA76.9.C643

Digital human modeling : applications in health, safety, ergonomics, and risk management : 7th International Conference, DHM 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Vincent G. Duffy (ed.)

Call Number: QA76.9.C65

Space and time visualisation

Maria Boştenaru Dan, Cerasella Crăciun, editors

Call Number: QA76.9.C65

Seminal contributions to modelling and simulation : 30 years of the European Council of Modelling and Simulation

Khalid Al-Begain, Andrzej Bargiela, editors

Call Number: QA76.9.C65

DevOps for the modern enterprise : winning practices to transform legacy IT organizations

Mirco Hering

Call Number: QA76.9.C68

Biomedical data management and graph online querying : VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31-September 4, 2015, Revised selected papers

Fusheng Wang, Gang Luo, Chunhua Weng, Arijit Khan, Prasenjit Mitra, Cong Yu (eds.)

Call Number: QA76.9.D3

Implementing IBM FlashSystem V9000 AE3

Detlef Helmbrecht [and seven others]

Call Number: QA76.9.D3

Beginning PostgreSQL on the cloud : simplifying database as a service on cloud platforms

Baji Shaik, Avinash Vallarapu

Call Number: QA76.9.D3

Privacy in statistical databases : UNESCO Chair in Data Privacy International Conference, PSD 2016, Dubrovnik, Croatia, September 14-16, 2016, proceedings

Josep Domingo-Ferrer, Mirjana Pejić-Bach (eds.)

Call Number: QA76.9.D314

Databases and information systems : 12th International Baltic Conference, DB & IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings

Guntis Arnicans, Vineta Arnicane, Juris Borzovs, Laila Niedrite (eds.)

Call Number: QA76.9.D32

Implementing Splunk 7 : effective operational intelligence to transform machine-generated data into valuable business insight

James D. Miller

Call Number: QA76.9.D32

Seven NoSQL databases in a week : get up and running with the fundamentals and functionalities of seven of the most popular NoSQL databases

Aaron Ploetz [and three others]

Call Number: QA76.9.D32

Trends and applications in knowledge discovery and data mining : PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers

edited by Huiping Cao, Jinyan Li, Ruili Wang

Call Number: QA76.9.D343

Sentiment analysis in the bio-medical domain : techniques, tools, and applications

Ranjan Satapathy, Erik Cambria, Amir Hussain

Call Number: QA76.9.D343

Data analytics : models and algorithms for intelligent data analysis

Thomas A. Runkler

Call Number: QA76.9.D343

Mastering the SAS DS2 procedure : advanced data-wrangling techniques

Mark Jordan

Call Number: QA76.9.D343

Redescription mining

Esther Galbrun, Pauli Miettinen

Call Number: QA76.9.D343

Practical Hive : a guide to Hadoop's data warehouse system

Scott Shaw, Andreas François Vermeulen, Ankur Gupta, David Kjerrumgaard

Call Number: QA76.9.D37

Economics of grids, clouds, systems, and services : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015. Revised selected papers

Jörn Altmann, Gheorghe Cosmin Silaghi, Omer F. Rana (eds.)

Call Number: QA76.9.D5

Principles of imprecise-information processing : a new theoretical and technological system

Shiyou Lian

Call Number: QA76.9.D5

Modern big data processing with Hadoop : expert techniques for architecting end-to-end big data solutions to get valuable insights

V. Naresh Kumar, Prashant Shindgikar

Call Number: QA76.9.D5

Descriptional complexity of formal systems : 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit (eds.)

Call Number: QA76.9.F67 D34 2016eb

Human interface and the management of information : applications and services : 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016. Proceedings.

Sakae Yamamoto (ed.)

Call Number: QA76.9.H85

Human interface and the management of information : applications and services : 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016. Proceedings.

Sakae Yamamoto (ed.)

Call Number: QA76.9.H85

HCI International 2016 -- Posters' extended abstracts : 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016 Proceedings.

Constantine Stephanidis (ed.)

Call Number: QA76.9.H85

HCI International 2016 -- Posters' extended abstracts : 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings.

Constantine Stephanidis (eds.)

Call Number: QA76.9.H85

Haptics : perception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings.

Fernando Bello, Hiroyuki Kajimoto, Yon Visell (eds.)

Call Number: QA76.9.H85

Haptics : perception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings.

Fernando Bello, Hiroyuki Kajimoto, Yon Visell (eds.)

Call Number: QA76.9.H85

Technology and intimacy : choice or coercion : 12th IFIP TC 9 International Conference on Human Choice and Computers, HCC12 2016, Salford, UK, September 7-9, 2016, Proceedings

David Kreps, Gordon Fletcher, Marie Griffiths (eds.)

Call Number: QA76.9.H85

On the perception of dynamic emotional expressions : a cross-cultural comparison

Maria Teresa Riviello, Anna Esposito

Call Number: QA76.9.H85

Emotions and personality in personalized services : models, evaluation and applications

Marko Tkalčič, Berardina De Carolis, Marco de Gemmis, Ante Odić, Andrej Košir, editors

Call Number: QA76.9.H85

HCI in business, government, and organizations : eCommerce and innovation : third International Conference, HCIBGO 2016, held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings.

Fiona Fui-Hoon Nah, Chuan-Hoo Tan (eds.)

Call Number: QA76.9.H85

HCI in business, government, and organizations : eCommerce and innovation : third International Conference, HCIBGO 2016, held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings.

Fiona Fui-Hoon Nah, Chuan-Hoo Tan (eds.)

Call Number: QA76.9.H85

Human-computer interaction : theory, design, development and practice : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings.

Masaaki Kurosu (ed.)

Call Number: QA76.9.H85

Human-computer interaction : theory, design, development and practice : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings.

Masaaki Kurosu (ed.)

Call Number: QA76.9.H85

Human-computer interaction : theory, design, development and practice : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings.

Masaaki Kurosu (ed.)

Call Number: QA76.9.H85

Cross-cultural design : 8th International Conference, CCD 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

edited by Pei-Luen Patrick Rau

Call Number: QA76.9.H85

Distributed, ambient, and pervasive interactions : 4th International Conference, DAPI 2016, held as a part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings

Norbert Streitz, Panos Markopoulos (eds.)

Call Number: QA76.9.H85 D57 2016eb

Universal access in human-computer interaction : users and context diversity : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings.

Margherita Antona, Constantine Stephanidis (eds.)

Call Number: QA76.9.H85 I58 2016eb

Universal access in human-computer interaction : methods, techniques, and best practices : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings.

Margherita Antona, Constantine Stephanidis (eds.)

Call Number: QA76.9.H85 I58 2016eb

Universal access in human-computer interaction : methods, techniques, and best practices : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings.

Margherita Antona, Constantine Stephanidis (eds.)

Call Number: QA76.9.H85 I58 2016eb

Human aspects of IT for the aged population : design for aging : second International Conference, ITAP 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings.

Jia Zhou, Gavriel Salvendy (eds.)

Call Number: QA76.9.H85 I58 2016eb

Human aspects of IT for the aged population : healthy and active aging : second International Conference, ITAP 2016, held as part of HCI International 2016 Toronto, ON, Canada, July 17-22, 2016, Proceedings.

Jia Zhou, Gavriel Salvendy (eds.)

Call Number: QA76.9.H85 I58 2016eb

Foundations of augmented cognition : neuroergonomics and operational neuroscience : 10th international conference, AC 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings ;

Dylan D. Schmorrow, Cali M. Fidopiastis(eds.)

Call Number: QA76.9.H85 I58 2016eb

Foundations of augmented cognition : neuroergonomics and operational neuroscience : 10th international conference, AC 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings ;

Dylan D. Schmorrow, Cali M. Fidopiastis (eds.)

Call Number: QA76.9.H85 I58 2016eb

Social computing and social media : human behavior : 9th International Conference, SCSM 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings.

Gabriele Meiselwitz (editor)

Call Number: QA76.9.H85 S375 2017

Practical D3.js

Tarek Amr, Rayna Stamboliyska

Call Number: QA76.9.I52

Visual data storytelling with Tableau

Lindy Ryan

Call Number: QA76.9.I52

Reversible computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

edited by Simon Devitt, Ivan Lanese

Call Number: QA76.9.L63

The logician and the engineer : how George Boole and Claude Shannon created the information age

Paul J. Nahin

Call Number: QA76.9.L63 N34 2012eb

Microsoft Operations Management Suite cookbook : enhance your management experience and capabilities across your cloud and on-premises environments with Microsoft OMS

Chiyo Odika

Call Number: QA76.9.M3

Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers

edited by Ichiro Hasuo

Call Number: QA76.9.M35

Programming for computations -- Python : a gentle introduction to numerical simulations with Python

Svein Linge, Hans Petter Langtangen

Call Number: QA76.9.M35

Scientific computing. Vol. I, Linear and nonlinear equations / John A. Trangenstein

Call Number: QA76.9.M35

Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.)

Call Number: QA76.9.M35 I58 2016eb

Controlled natural language : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings

Brian Davis, Gordon J. Pace, Adam Wyner (eds.)

Call Number: QA76.9.N38

Automatic processing of natural-language electronic texts with NooJ : 9th International Conference, NooJ 2015, Minsk, Belarus, June 11-13, 2015, Revised selected papers

Tatsiana Okrut, Yuras Hetsevich, Max Silberztein, Hanna Stanislavenka (eds.)

Call Number: QA76.9.N38

Human language technology challenges for computer science and linguistics : 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013, Revised selected papers

Zygmunt Vetulani, Hans Uszkoreit, Marek Kubis (eds.)

Call Number: QA76.9.N38

Social computing : second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings.

Wanxiang Che, Qilong Han, Hongzhi Wang, Weipeng Jing, Shaoliang Peng, Junyu Lin, Guanglu Sun, Xianhua Song, Hongtao Song, Zeguang Lu (eds.)

Call Number: QA76.9.N38

Social computing : second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings.

Wanxiang Che, Qilong Han, Hongzhi Wang, Weipeng Jing, Shaoliang Peng, Junyu Lin, Guanglu Sun, Xianhua Song, Hongtao Song, Zeguang Lu (eds.)

Call Number: QA76.9.N38

Hybrid approaches to machine translation

Marta R. Costa-jussà, Reinhard Rapp, Patrik Lambert, Kurt Eberle, Rafael E. Banchs, Bogdan Babych, editors

Call Number: QA76.9.N38

Learning regular expressions

Ben Forta

Call Number: QA76.9.T48

Tkinter GUI application development blueprints : build nine projects by working with widgets, geometry management, event handling, and more

Bhaskar Chaudhary

Call Number: QA76.9.U83

Tkinter GUI programming by example : learn to create modern GUIs using Tkinter by building real-world projects in Python

David Love

Call Number: QA76.9.U83

Tkinter GUI application development cookbook : a practical solution to your GUI development problems with Python and Tkinter

Alejandro Rodas de Paz

Call Number: QA76.9.U83

Design, user experience, and usability : novel user experiences : 5th International Conference, DUXU 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings.

edited by Aaron Marcus

Call Number: QA76.9.U83 D89 2016eb

Design, user experience, and usability : novel user experiences : 5th International Conference, DUXU 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings.

Aaron Marcus (ed.)

Call Number: QA76.9.U83 D89 2016eb

Design, user experience, and usability : design thinking and methods : 5th International Conference, DUXU 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings.

Aaron Marcus (ed.)

Call Number: QA76.9.U83 D89 2016eb

Nordic contributions in IS research : 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016, Proceedings

edited by Ulrika Lundh Snis

Call Number: QA76.9.U83 S22 2016

Mastering vRealize operations manager : analyze and optimize your IT environment by gaining a practical understanding of vRealize Operations 6.6

Spas Kaloferov, Scott Norris, Christopher Slater

Call Number: QA76.9.V5

VMware cross-cloud architecture : automate and orchestrate your software-defined data center on AWS

Ajit Pratap Kundan

Call Number: QA76.9.V5

VMware NSX cookbook : over 70 recipes to master the network virtualization skills to implement, validate, operate, upgrade, and automate VMware NSX for vSphere

Bayu Wibowo, Tony Sangha

Call Number: QA76.9.V5

Virtual, augmented and mixed reality : 8th International Conference, VAMR 2016, held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings

Stephanie Lackey, Randall Shumaker (eds.)

Call Number: QA76.9.V5 V35 2016eb

Women and underrepresented minorities in computing : a historical and social study

William Aspray

Call Number: QA76.9.W65

Mathematical software -- ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese (eds.)

Call Number: QA76.95

Diagrammatic representation and inference : 9th international conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings

Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz (eds.)

Call Number: QA90 .D53 2016eb

The mathematics of various entertaining subjects. Volume 2 : : research in games, graphs, counting, and complexity

edited by Jennifer Beineke & Jason Rosenhouse ; with a foreword by Ron Graham

Call Number: QA95 .M36874 2017

Computing and combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

Thang N. Dinh, My T. Thai (eds.)

Call Number: QA164 .C63 2016eb

The fascinating world of graph theory

Arthur Benjamin, Gary Chartrand, Ping Zhang

Call Number: QA166 .B385 2015eb

Generalized connectivity of graphs

Xueliang Li, Yaping Mao

Call Number: QA166.243

Lattices applied to coding for reliable and secure communications

Sueli I.R. Costa [and others]

Call Number: QA171.5

The congruences of a finite lattice : a "Proof-by-Picture" approach

George Grätzer

Call Number: QA171.5

Kazhdan-Lusztig cells with unequal parameters

Cédric Bonnafé

Call Number: QA174.2

Numerical semigroups and applications

Abdallah Assi, Pedro A. García-Sánchez

Call Number: QA182

Office hours with a geometric group theorist

edited by Matt Clay and Dan Margalit

Call Number: QA183 .O44 2017

Linear algebra for computational sciences and engineering

Ferrante Neri ; foreword by Alberto Grasso

Call Number: QA184.2

Scientific computing. Vol. II, Eigenvalues and optimization

John A. Trangenstein

Call Number: QA193

Numerical approximation of the magnetoquasistatic model with uncertainties : applications in magnet design

Ulrich Römer

Call Number: QA221

Approximation theory XV : San Antonio 2016

Gregory E. Fasshauer, Larry L. Schumaker, editors

Call Number: QA221

Scientific computing. Approximation and integration : Vol. III,

John A. Trangenstein

Call Number: QA221

Fast radial basis functions for engineering applications

Marco Evangelos Biancolini

Call Number: QA223

Number theory : an approach through history from Hammurapi to Legendre

André Weil

Call Number: QA241 .W3418 2007

Pi : the next generation : a sourcebook on the recent history of Pi and its computation

David H. Bailey, Jonathan M. Borwein

Call Number: QA251

Multiplicative ideal theory and factorization theory : commutative and non-commutative perspectives

Scott Chapman, Marco Fontana, Alfred Geroldinger, Bruce Olberding, editors

Call Number: QA251.38

Implementation and application of automata : 21st International Conference, Proceedings, CIAA 2016, Seoul, South Korea, July 19-22, 2016. Proceedings

Yo-Sub Han, Kai Salomaa (ed.)

Call Number: QA267 .C53 2016eb

Developments in language theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Srečko Brlek, Christophe Reutenauer (eds.)

Call Number: QA267.3

Cellular automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016. Fez, Morocco, September 5-8, 2016, proceedings

Samira El Yacoubi, Jarosław W̨as, Stefania Bandini (eds.)

Call Number: QA267.5.C45

Cellular automata and discrete complex systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Matthew Cook, Turlough Neary (eds.)

Call Number: QA267.5.C45 I58 2016eb

The golden ticket : P, NP, and the search for the impossible

Lance Fortnow

Call Number: QA267.7 .F67 2013eb

Algorithmic game theory : 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, proceedings

Martin Gairing, Rahul Savani (eds.)

Call Number: QA269

Open problems in mathematics

John Forbes Nash, Jr., Michael Th. Rassias, editors

Call Number: QA269

Generalized Nash equilibrium problems, bilevel programming and MPEC

Didier Aussel, C.S. Lalitha, editors

Call Number: QA269

Quantal response equilibrium : a stochastic theory of games

Jacob K. Goeree, Charles A. Holt, Thomas R. Palfrey

Call Number: QA269 .G64 2016

Noncooperative game theory : an introduction for engineers and computer scientists

João P. Hespanha

Call Number: QA272.5 .H47 2017eb

Probability. 1

Alʹbert N. Shiriaev ; translated by R.P. Boas and D.M. Chibisov

Call Number: QA273

Uncertainty : the soul of modeling, probability & statistics

William Briggs

Call Number: QA273

Stochastic models with power-law tails : the equation X = AX + B

Dariusz Buraczewski, Ewa Damek, Thomas Mikosch

Call Number: QA274

Stochastic analysis for Poisson point processes : Malliavin calculus, Wiener-Itô chaos expansions and stochastic geometry

Giovanni Peccati, Matthias Reitzner, editors

Call Number: QA274.2

Stochastic analysis for finance with simulations

Geon Ho Choe

Call Number: QA274.2

Rabi N. Bhattacharya : selected papers

Manfred Denker, Edward C. Waymire, editors

Call Number: QA274.7

Piecewise deterministic processes in biological models

Ryszard Rudnicki, Marta Tyran-Kamińska

Call Number: QA274.7 .R83 2017

Empirical modeling and data analysis for engineers and applied scientists

Scott A. Pardo ; with contributions by Yehudah A. Pardo

Call Number: QA276

JSL companion : applications of the JMP scripting language

Theresa L. Utlaut, Georgia Z. Morgan, Kevin C. Anderson

Call Number: QA276.3

An introduction to statistics with Python : with applications in the life sciences

Thomas Haslwanter

Call Number: QA276.4

Estimation and testing under sparsity : École d'été de probabilités de Saint-Flour XLV -- 2015

Sara van de Geer

Call Number: QA276.8

Introduction to nonparametric statistics for the biological sciences using R

Thomas W. MacFarland, Jan M. Yates

Call Number: QA278.8

Prior processes and their applications : nonparametric bayesian estimation

Eswar G. Phadia

Call Number: QA278.8

Random-like bi-level decision making

Jiuping Xu, Zongmin Li, Zhimiao Tao

Call Number: QA279.4

Fuzzy statistical decision-making : theory and applications

Cengiz Kahraman, Özgür Kabak, editors

Call Number: QA279.6

Advanced analysis and learning on temporal data : first ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised selected papers

Ahlame Douzal-Chouakria, José A. Vilar, Pierre-François Marteau (eds.)

Call Number: QA280

Divergent series, summability and resurgence. I, Monodromy and resurgence

Claude Mitschi, David Sauzin

Call Number: QA295

Divergent series, summability and resurgence. III, Resurgent methods and the first Painlevé equation

Eric Delabaere

Call Number: QA295

Divergent series, summability and resurgence. II, Simple and multiple summability

Michèle Loday-Richaud

Call Number: QA295

Analysis 1

Terence Tao

Call Number: QA300

Amazing and aesthetic aspects of analysis

Paul Loya

Call Number: QA300

Extensions of positive definite functions : applications and their harmonic analysis

Palle Jorgensen, Steen Pedersen, Feng Tian

Call Number: QA311

The early period of the calculus of variations

Paolo Freguglia, Mariano Giaquinta

Call Number: QA315

Linear functional analysis : an application-oriented introduction

Hans Wilhelm Alt ; translated by Robert Nürnberg

Call Number: QA320

Spectral theory of infinite-area hyperbolic surfaces

David Borthwick

Call Number: QA320

Topics in Banach space theory

Fernando Albiac, Nigel J. Kalton

Call Number: QA322.2

Hasse-Schmidt derivations on Grassmann algebras : with applications to vertex operators

Letterio Gatto, Parham Salehyan

Call Number: QA325

Application of holomorphic functions in two and higher dimensions

Klaus Gürlebeck, Klaus Habetha, Wolfgang Sprößig

Call Number: QA331

Symmetries and integrability of difference equations : lecture notes of the Abecederian School of SIDE 12, Montreal 2016

Decio Levi, Raphaël Rebelo, Pavel Winternitz (editors)

Call Number: QA370

Fractional elliptic problems with critical growth in the whole of Rn

Serena Dipierro, María Medina and Enrico Valdinoci

Call Number: QA371

Green's functions : potential fields on surfaces

Yuri A. Melnikov, Volodymyr N. Borodin

Call Number: QA371

The method of rigged spaces in singular perturbation theory of self-adjoint operators

Volodymyr Koshmanenko, Mykola Dudkin

Call Number: QA372

From particle systems to partial differential equations III : Particle Systems and PDEs III, Braga, Portugal, December 2014

Patrícia Gonçalves, Ana Jacinta Soares, editors

Call Number: QA374

The symbolic computation of integrability structures for partial differential equations

Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo

Call Number: QA377

Numerical methods for Eulerian and Lagrangian conservation laws

Bruno Després

Call Number: QA377 .D47 2017

Moving interfaces and quasilinear parabolic evolution equations

Jan Prüss, Gieri Simonett

Call Number: QA379

Scientific models : red atoms, white lies and black boxes in a yellow book

Philip Gerlee, Torbjörn Lundh

Call Number: QA401

Mathematical modelling

Seppo Pohjolainen, editor ; Matti Heiliö [and more], authors

Call Number: QA401

Analyzing time interval data : introducing an information system for time interval data analysis

Philipp Meisen

Call Number: QA402

Polynomial fuzzy model-based control systems : stability analysis and control synthesis using membership function dependent techniques

Hak-Keung Lam

Call Number: QA402.3

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

Stefka Fidanova, editor

Call Number: QA402.5

Search and optimization by metaheuristics : techniques and algorithms inspired by nature

Ke-Lin Du, M.N.S. Swamy

Call Number: QA402.5

Non-convex multi-objective optimization

by Panos M. Pardalos, Antanas Žilinskas, Julius Žilinskas

Call Number: QA402.5

An introductory course in Lebesgue spaces

Rene Erlin Castillo, Humberto Rafeiro

Call Number: QA403

What is the genus?

Patrick Popescu-Pampu

Call Number: QA611

Configuration spaces : geometry, topology and representation theory

Filippo Callegaro, Frederick Cohen, Corrado De Concini, Eva Maria Feichtner, Giovanni Gaiffi, Mario Salvetti, editors

Call Number: QA611

Topological methods in data analysis and visualization. IV : : theory, algorithms, and applications

Hamish Carr, Christoph Garth, Tino Weinkauf, editors

Call Number: QA611.A1 T67 2017eb

Homotopical topology

Anatoly Fomenko, Dmitry Fuchs

Call Number: QA612.7

The Callias index formula revisited

Fritz Gesztesy, Marcus Waurick

Call Number: QA614.92

Lorentzian geometry and related topics : GeLoMa 2016, Málaga, Spain, September 20-23

María A. Cañadas-Pinedo, José Luis Flores, Francisco J. Palomo, editors

Call Number: QA649

Metric diffusion along foliations

Szymon M. Walczak

Call Number: QA649 .W35 2017

Hyperbolicity of projective hypersurfaces

Simone Diverio, Erwan Rousseau

Call Number: QA685

Theoretical physics. 1, Classical mechanics

Wolfgang Nolting

Call Number: QA805

Theoretical physics, 2, Analytical mechanics

Wolfgang Nolting

Call Number: QA805

Physical fundamentals of oscillations : frequency analysis of periodic motion stability

Leonid Chechurin, Sergej Chechurin

Call Number: QA865

Geophysical fluid dynamics : understanding (almost) everything with rotating shallow water models

Vladimir Zeitlin

Call Number: QA911

Proceedings of the 5th International Conference on Jets, Wakes and Separated Flows (ICJWSF2015)

Antonio Segalini, editor

Call Number: QA911

Nonlinear water waves : Cetraro, Italy 2013

Adrian Constantin, Joachim Escher, Robin Stanley Johnson, Gabriele Villari ; Adrian Constantin, editor

Call Number: QA927

Global well-posedness and asymptotic behavior of the solutions to non-classical thermo(visco)elastic models

Yuming Qin, Zhiyong Ma

Call Number: QA933

The pursuit of harmony : Kepler on cosmos, confession, and community

Aviva Rothman

Call Number: QB36.K44 R68 2017eb

Astronomy at high angular resolution : a compendium of techniques in the visible and near-Infrared

Henri M.J. Boffin, Gaitee Hussain, Jean-Philippe Berger, Linda Schmidtobreick, editors

Call Number: QB51.3.I45

Science, culture and the search for life on other worlds

John W. Traphagan

Call Number: QB54

Finding a million-star hotel : an astro-tourist's guide to dark sky places

Bob Mizon

Call Number: QB63 .M589 2016

Celestial mechanics and astrodynamics : theory and practice

Pini Gurfil, P. Kenneth Seidelmann

Call Number: QB351

Globular cluster binaries and gravitational wave parameter estimation : challenges and efficient solutions

Carl-Johan Haster

Call Number: QB461

Baryonic processes in the large-scale structuring of the universe

by Jean-Baptiste Durrive

Call Number: QB461

A history of the solar system

Claudio Vita-Finzi

Call Number: QB501

From dust to life : the origin and evolution of our solar system

John Chambers, Jacqueline Mitton

Call Number: QB503 .C43 2017

Asteroseismic data analysis : foundations and techniques

Sarbani Basu and William J. Chaplin

Call Number: QB539.I5

The telescopic tourist's guide to the Moon

Andrew May

Call Number: QB581 .M39 2017

Rock legends : the asteroids and their discoverers

Paul Murdin

Call Number: QB651

Search for dark matter with ATLAS : using events with a highly energetic jet and missing transverse momentum in proton-proton collisions at s = 8 TeV

Ruth Pöttgen

Call Number: QB791.3

Dark energy and the formation of the large scale structure of the universe

Jérôme Gleyzes

Call Number: QB791.3

Manifestations of dark matter and variations of the fundamental constants in atoms and astrophysical phenomena

Yevgeny V. Stadnik

Call Number: QB791.3 .S73 2017

Radial-velocity searches for planets around active stars

Raphaëlle D. Haywood

Call Number: QB820

Astrophysics of black holes : from fundamental aspects to latest developments

Cosimo Bambi, editor

Call Number: QB843.B55

Theoretical frontiers in black holes and cosmology : theoretical perspective in high energy physics

Renata Kallosh, Emanuele Orazi, editors

Call Number: QB843.B55

From the realm of the nebulae to populations of galaxies : dialogues on a century of research

Mauro D'Onofrio, Roberto Rampazzo, Simone Zaggia, editors

Call Number: QB857

Outskirts of galaxies

Johan H. Knapen, Janice C. Lee, Armando Gil de Paz, editors

Call Number: QB858.3 .O88 2017

The amazing unity of the universe : and its origin in the Big Bang

Edward van den Heuvel

Call Number: QB991.B54

No-nonsense physicist : an overview of Gabriele Giuliani's work and life

edited by Marco Polini, Giovanni Vignale, Vittorio Pellegrini and Jainendra K. Jain

Call Number: QC16.G58

Numerical simulation in physics and engineering : lecture notes of the XVI 'Jacques-Louis Lions' Spanish-French School

Inmaculada Higueras, Teo Roldán, Juan José Torrens, editors

Call Number: QC19.2

Rays, waves, and scattering : topics in classical mathematical physics

John A. Adam

Call Number: QC20

Lectures on hyperhamiltonian dynamics and physical applications

Giuseppe Gaeta, Miguel A. Rodriguez

Call Number: QC20.7.H35 G34 2017

Gas dynamics : an introduction with examples from astrophysics and geophysics

Abraham Achterberg

Call Number: QC168

Transport processes at fluidic interfaces

Dieter Bothe, Arnold Reusken, editors

Call Number: QC173.4.I57 T73 2017

Shape dynamics : relativity and relationalism

Flavio Mercati

Call Number: QC173.55 .M47 2018

The formative years of relativity : the history and meaning of Einstein's Princeton lectures

Hanoch Gutfreund and Jürgen Renn

Call Number: QC173.6 .G878 2017

The road to relativity : the history and meaning of Einstein's "The foundation of general relativity" featuring the original manuscript of Einstein's masterpiece

Hanoch Gutfreund & Jürgen Renn

Call Number: QC173.6 .G88 2015eb

Effective spacetime : understanding emergence in effective field theory and quantum gravity

Karen Crowther

Call Number: QC173.7

Ultracold atoms for foundational tests of quantum mechanics

Robert J. Lewis-Swan

Call Number: QC174.12

Advanced quantum mechanics : materials and photons

Rainer Dick

Call Number: QC174.12 .D53 2016eb

Finite and profinite quantum systems

Apostolos Vourdas

Call Number: QC174.12 .V68 2017

Geometric methods in physics : XXXIV Workshop, Białowieża, Poland, June 28-July 4, 2015

Piotr Kielanowski ... [and 5 more], editors

Call Number: QC174.17.G46

Three body dynamics and its applications to exoplanets

Zdzislaw Musielak, Billy Quarles

Call Number: QC174.17.P7 M87 2017

The statistical physics of fixation and equilibration in individual-based models

Peter Ashcroft

Call Number: QC174.8

Statistical physics of wave interactions : a unified approach to mode-locking and random lasers

Fabrizio Antenucci

Call Number: QC174.8

Kinetic Theory of Nonequilibrium Ensembles, Irreversible Thermodynamics, and Generalized Hydrodynamics. Volume 2, Relativistic Theories

Byung Chan Eu

Call Number: QC174.86.N65 E83 2016 v.2

Spin glasses : criticality and energy landscapes

Marco Baity Jesi

Call Number: QC176.8.S68

Variational approach to gravity field theories : from Newton to Einstein and beyond

Alberto Vecchiato

Call Number: QC178 .V43 2017

Fast scanning calorimetry

Christoph Schick, Vincent Mathot, editors

Call Number: QC291

Information thermodynamics on causal networks and its application to biochemical signal transduction

Sosuke Ito

Call Number: QC318.M35

Black-body radiative, thermodynamic, and chromatic functions : tables in finite spectral ranges

Anatoliy I. Fisenko, Vladimir F. Lemberg

Call Number: QC484

Encyclopedia of color science and technology

Ming Ronnier Luo, editor

Call Number: QC494.2 E525 2016

Cooperative interactions in lattices of atomic dipoles

by Robert Bettles

Call Number: QC585

Weak-coupling theory of topological superconductivity : the case of strontium ruthenate

by Thomas Scaffidi

Call Number: QC611.92

Phase diagram and magnetic excitations of BaFe2-xNixAs2 : a neutron scattering study

Xingye Lu

Call Number: QC611.98.I7 L8 2017

Spin and charge ordering in the quantum hall regime

Benedikt Frieß

Call Number: QC612.H3

Theoretical physics. 3, Electrodynamics

Wolfgang Nolting

Call Number: QC631

Ultrafast strong field dynamics in dielectrics

Annkatrin Madlen Sommer

Call Number: QC689.5.L37

Ultrafast biophotonics

P. Vasa, D. Mathur

Call Number: QC689.5.L37

Ion beam modification of solids : ion-solid interaction and radiation damage

Werner Wesch, Elke Wendler, editors

Call Number: QC702.7.B65

A course in classical physics. 3, Electromagnetism

Alessandro Bettini

Call Number: QC760

Nuclear fusion with polarized fuel

Giuseppe Ciullo, Ralf Engels, Markus Büscher, Alexander Vasilyev, editors

Call Number: QC791

Heavy quarkonium production phenomenology and automation of one-loop scattering amplitude computations

Hua-Sheng Shao

Call Number: QC793.3.Q35

Search for new physics in t̄t final states with additional heavy-flavor jets with the ATLAS detector

Javier Montejo Berlingen

Call Number: QC793.3.Q37

Electron spin interactions in chemistry and biology : fundamentals, methods, reactions mechanisms, magnetic phenomena, structure investigation

Gertz Likhtenshtein

Call Number: QC793.3.S6

Study of quark gluon plasma by particle correlations in heavy ion collisions

Yi Li

Call Number: QC793.5.Q252

Electromagnetic interactions

Slobodan Danko Bosanac

Call Number: QC794.8.E4

Carbon emissions in China

Zhu Liu

Call Number: QC879.8

Talking climate : from research to practice in public engagement

Adam Corner, Jamie Clarke

Call Number: QC902.9 .C67 2017

Global climate change policy and carbon markets : transition to a new era

Richard H. Rosenzweig

Call Number: QC903

The securitization of climate change : Australian and United States' military responses (2003 - 2013)

Michael Durant Thomas

Call Number: QC903.2.A8 T46 2017

Climate change, energy use, and sustainability : diagnosis and prescription after the Great East Japan earthquake

Yoshitsugu Hayashi, Tetsuzo Yasunari, Hiroshi Kanzawa, Hirokazu Kato, editors

Call Number: QC903.2.J3

North Sea Region climate change assessment

Markus Quante, Franciscus Colijn, editors

Call Number: QC903.2.N77

Implications and consequences of anthropogenic pollution in Polar environments

Roland Kallenborn, editor

Call Number: QC903.2.P65

Climate change in wildlands : pioneering approaches to science and management

edited by Andrew J. Hansen, William B. Monahan, S. Thomas Olliff and David M. Theobald

Call Number: QC981.8.G56 C65 2016

Two-dimensional transition-metal dichalcogenides

Alexander V. Kolobov, Junji Tominaga

Call Number: QD169.C5

Thermal transport in strongly correlated rare-earth intermetallic compounds

Heike Pfau

Call Number: QD171

Reaction mechanisms in carbon dioxide conversion

Michele Aresta, Angela Dibenedetto, Eugenio Quaranta

Call Number: QD181.C1

Endohedral fullerenes : electron transfer and spin

Alexey A. Popov, editor

Call Number: QD181.C1 E53 2017

Progress in the chemistry of organic natural products. Volume 102

A. Douglas Kinghorn, Heinz Falk, Simon Gibbons, Jun'ichi Kobayashi, editors ; with contributions by G. Appendino [and 3 others]

Call Number: QD251.3

Topological interactions in ring polymers

Davide Michieletto

Call Number: QD281.R5

Computer simulation of polymeric materials : applications of the OCTA system

Japan Association for Chemical Innovation, editor

Call Number: QD381.9.E4

Electronic properties of organic conductors

Takehiko Mori

Call Number: QD382.C66

Au-catalyzed synthesis and functionalization of heterocycles

Marco Bandini, editor ; with contributions by N. Ahlsten [and more]

Call Number: QD400.5.S95

Supported layered double hydroxides as CO2 adsorbents for sorption-enhanced H2 production

Diana Iruretagoyena Ferrer

Call Number: QD474

The sol to gel transition

Plinio Innocenzi

Call Number: QD549

Phosphate based cathodes and reduced graphene oxide composite anodes for energy storage applications

Abdulrahman Shahul Hameed

Call Number: QD571

Handbook of ultrasonics and sonochemistry

Muthupandian Ashokkumar, editor-in-chief ; Francesca Cavalieri, Farid Chemat, Kenji Okitsu, Anandan Sambandam, Kyuichi Yasui, Bogdan Zisu, section editors

Call Number: QD801

Main tectonic events and metallogeny of the North China Craton

Mingguo Zhai, Yue Zhao, Taiping Zhao, editors

Call Number: QE364.2.M37

Geodynamic evolution of the Southernmost Andes : connections with the Scotia Arc

Matías C. Ghiglione, editor

Call Number: QE501

The tectonic plates are moving!

Roy Livermore

Call Number: QE511.4 .L58 2018

Geoheritage of volcanic harrats in Saudi Arabia

Mohammed Rashad Moufti, Károly Németh

Call Number: QE526.2.S33

Coral reefs at the crossroads

Dennis K. Hubbard, Caroline S. Rogers, Jere H. Lipps, George D. Stanley, Jr. editors

Call Number: QE565

Atlas of taphonomic identifications : 1001+ images of fossil and recent mammal bone modification

Yolanda Fernandez-Jalvo, Peter Andrews

Call Number: QE721.2.F6

Pathways of a cell biologist : through yet another eye

Shinya Inoué

Call Number: QH31.I56 I56 2016

Physical principles of electron microscopy : an introduction to TEM, SEM, and AEM

Ray F. Egerton

Call Number: QH212.E4 E354 2016eb

The gestation of German biology : philosophy and physiology from Stahl to Schelling

John H. Zammito

Call Number: QH320.G3 Z355 2018

Discriminative learning in biometrics

David Zhang, Yong Xu, Wangmeng Zuo

Call Number: QH323.5

A quest toward a mathematical theory of living systems

by Nicola Bellomo, Abdelghani Bellouquid, Livio Gibelli, Nisrine Outada

Call Number: QH323.5

Communication and Bioethics at the End of Life : Real Cases, Real Dilemmas

by Lori A. Roscoe, David P. Schenck

Call Number: QH332

How science works : evolution : the nature of science & the science of nature

John Ellis

Call Number: QH366.2

Eco-evolutionary dynamics

Andrew P. Hendry

Call Number: QH366.2 .H455 2016

Phylogenies in ecology : a guide to concepts and methods

Marc W. Cadotte and T. Jonathan Davies

Call Number: QH367.5 .C33 2016eb

Evolutionary community ecology

Mark A. McPeek

Call Number: QH380 .M37 2017eb

Epigenetics and neuroendocrinology : clinical focus on psychiatry.

Dietmar Spengler, Elisabeth Binder, editors

Call Number: QH450

Bionanomaterials for skin regeneration

Mihaela D. Leonida, Ish Kumar

Call Number: QH499

An introduction to disturbance ecology : a road map for wildlife management and conservation

Corrado Battisti, Gianluca Poeta, Giuliano Fanelli

Call Number: QH541

The new ecology : rethinking a science for the Anthropocene

Oswald J. Schmitz

Call Number: QH541.13 .S356 2017

Coral reef science : strategy for ecosystem symbiosis and coexistence with humans under multiple stresses

Hajime Kayanne, editor

Call Number: QH541.5.C7

The biology of Mediterranean-type ecosystems

Karen J. Esler, Anna L. Jacobsen, R. Brandon Pratt

Call Number: QH543

Essential stem cell methods

edited by Robert Lanza, Irina Klimanskaya

Call Number: QH588.S83 E87 2009

Biomedical odysseys : fetal cell experiments from cyberspace to China

Priscilla Song

Call Number: QH588.S83 S665 2017

Vascular ion channels in physiology and disease

Irena Levitan, Alex M. Dopico, editors ; foreword by Mark T. Nelson

Call Number: QH603.I54

Plant omics : trends and applications

Khalid Rehman Hakeem, Hüseyin Tombuloğlu, Güzin Tombuloğlu, editors

Call Number: QK45.2

Mycorrhiza : nutrient uptake, biocontrol, ecorestoration

Ajit Varma, Ram Prasad, Narendra Tuteja, editors

Call Number: QK604.2.M92 M93 2017

Freshwater crustacean zooplankton of Europe : cladocera & copepoda (calanoida, cyclopoida) key to species identification, with notes on ecology, distribution, methods and introduction to data analysis

Leszek A. Błędzki, Jan Igor Rybak

Call Number: QL143

Avian brood parasitism : behaviour, ecology, Evolution and Coevolution

edited by Manuel Soler

Call Number: QL698.3

Stable isotopes to trace migratory birds and to identify harmful diseases : an introductory guide

G.J. Viljoen, A.G. Luckins, I. Naletoski

Call Number: QL698.9

Panda nation : the construction and conservation of China's modern icon

E. Elena Songster

Call Number: QL737.C27 S66 2018

Bats : in a world of echoes

Johan Eklöf, Jens Rydell

Call Number: QL737.C5

Ethnoprimatology : primate conservation in the 21st century

Michel T. Waller, editor

Call Number: QL737.P9

The Rasputin effect : when commensals and symbionts become parasitic

Christon J. Hurst, editor

Call Number: QL757

Junqueira's basic histology : text and atlas

Anthony L. Mescher

Call Number: QL807 .J86 2018eb

A brief history of blood and lymphatic vessels

Andreas Bikfalvi

Call Number: QM178

Reviews of physiology, biochemistry and pharmacology. 170

Bernd Nilius, Pieter de Tombe, Thomas Gudermann, Reinhard Jahn, Roland Lill, Ole H. Petersen, editors

Call Number: QP34.5 .R48 2016

Physiology question-based learning : neurophysiology, gastrointestinal and endocrine systems

Hwee Ming Cheng, editor

Call Number: QP40 .C44 2016eb

Cardiovascular physiology

David E. Mohrman, Lois Jane Heller

Call Number: QP101 .M64 2018eb

The enteric nervous system : 30 years later

Stuart Brierley, Marcello Costa, editors

Call Number: QP145

Comparative physiology of the vertebrate kidney

William H. Dantzler

Call Number: QP249

Nonlinear dynamics in biological systems

Jorge Carballido-Landeira, Bruno Escribano, editors

Call Number: QP303

Form versus function : theory and models for neuronal substrates

Mihai Alexandru Petrovici

Call Number: QP357.5

Neuroeconomics

Martin Reuter, Christian Montag, editors

Call Number: QP360.5

Sleeplessness : assessing sleep need in society today

Jim Horne

Call Number: QP425 .H67 2016

Nanoscale imaging and characterisation of amyloid-[beta]

Claire Louisa Tinker-Mill

Call Number: QP552.A45

Enzyme regulation in metabolic pathways

Lloyd Wolfinbarger, Jr., Ph. D., professor emeritus, Old Dominion University, Norfolk, Virginia, USA

Call Number: QP601.4

Modified nucleic acids in biology and medicine

Stefan Jurga, Volker A. Erdmann, Jan Barciszewski, editors

Call Number: QP620

Advances in microbiology, infectious diseases and public health. Volume 2

Gianfranco Donelli, editor

Call Number: QR46

Viruses in foods

edited by Sagar M. Goyal, Jennifer L. Cannon, editors

Call Number: QR201.F62 V57 2016eb

Current research topics in plant virology

Aiming Wang, Xueping Zhou, editors

Call Number: QR351

The unreliable nation : hostile nature and technological failure in the Cold War

Edward Jones-Imhotep

Call Number: T23.A1 J66 2017eb

Model design and simulation analysis : 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised selected papers

Syng Yup Ohn, Sung Do Chi (eds.)

Call Number: T57.62

Advanced multimedia and ubiquitous engineering : FutureTech & MUE

James J. (Jong Hyuk) Park, Hai Jin, Young-Sik Jeong, Muhammad Khurram Khan, editors

Call Number: T58.5

The great formal machinery works : theories of deduction and computation at the origins of the digital age

Jan von Plato

Call Number: T58.5 .V66 2017

Information and communication technologies in organizations and society : past, present and future issues

Francesca Ricciardi, Antoine Harfouche, editors

Call Number: T58.64 .I458 2016eb

Biomimetic and biohybrid systems : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016 : proceedings

Nathan F. Lepora, Anna Mura, Michael Mangan, Paul F.M.J. Verschure, Marc Desmulliez, Tony J. Prescott (eds.)

Call Number: T173.8

Global perspectives of nanoscience and engineering education

Kurt Winkelmann, Bharat Bhushan, editors

Call Number: T174.7 .G56 2016eb

Sams teach yourself Unity 2018 game development in 24 hours

Mike Geig

Call Number: T385

Articulated motion and deformable objects : 9th international conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, proceedings

Francisco J. Perales, Josef Kittler (eds.)

Call Number: T385 .A486 2016eb

Illustrator CS4 bible

Ted Alspach

Call Number: T385.I5 A47 2009

Advances in physical ergonomics and human factors : proceedings of the AHFE 2016 International Conference on Physical Ergonomics and Human Factors, July 27-31, 2016, Walt Disney World®, Florida, USA

Ravindra Goonetilleke, Waldemar Karwowski, editors

Call Number: TA166

Advances in ergonomics of manufacturing : managing the enterprise of the future : proceedings of the AHFE 2016 International Conference on Human Aspects of Advanced Manufacturing, July 27-31, 2016, Walt Disney World®, Florida, USA

Christopher Schlick, Stefan Trzcieliński, editors

Call Number: TA166

Advances in safety management and human factors : proceedings of the AHFE 2016 International Conference on Safety Management and Human Factors, July 27-31, 2016, Walt Disney World®, Florida, USA

Pedro Arezes, editor

Call Number: TA166

Advances in Human Factors in Cybersecurity : Proceedings of the AHFE 2016 International Conference on Human Factors in Cybersecurity, July 27-31, 2016, Walt Disney World®, Florida, USA

edited by Denise Nicholson

Call Number: TA166

Advances in human factors, software, and systems engineering : proceedings of the AHFE 2016 International Conference on Human Factors, Software, and Systems Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA

Ben Amaba, editor

Call Number: TA166

Advances in human factors and sustainable infrastructure : proceedings of the AHFE 2016 International Conference on Human Factors and Sustainable Infrastructure, July 27-31, 2016, Walt Disney World®, Florida, USA

Jerzy Charytonowicz, editor

Call Number: TA166

Advances in design for inclusion : proceedings of the AHFE 2016 International Conference on Design for Inclusion, July 27-31, 2016, Walt Disney World®, Florida, USA

edited by Giuseppe Di Bucchianico, Pete Kercher

Call Number: TA166

Advances in ergonomics in design : proceedings of the AHFE 2016 International Conference on Ergonomics in Design, July 27-31, 2016, Walt Disney World®, Florida, USA

Francisco Rebelo, Marcelo Soares, editors

Call Number: TA166

Engineering psychology and cognitive ergonomics : 13th International Conference, EPCE 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Don Harris (ed.)

Call Number: TA166 .I58 2016eb

Man-machine-environment system engineering : proceedings of the 16th International Conference on MMESE

Shengzhao Long, Balbir S. Dhillon, editor

Call Number: TA167

Neural engineering : from advanced biomaterials to 3D fabrication techniques

Lijie Grace Zhang, David L. Kaplan, editors

Call Number: TA167.5

Reliability is a new science : Gnedenko was right

Paolo Rocchi ; with an appendix by Gurami Sh. Tsitsiashvili

Call Number: TA169 .R68 2017

New developments in engineering education for sustainable development

Walter Leal Filho, Susan Nesbit, editors

Call Number: TA170

Bridging the gap between requirements engineering and software architecture : a problem-oriented and quality-driven method

Azadeh Alebrahim ; with a foreword by Maritta Heisel

Call Number: TA180

Excel 2016 for engineering statistics : a guide to solving practical problems

Thomas J. Quirk

Call Number: TA340

Deep learning quick reference : useful hacks for training and optimizing deep neural networks with TensorFlow and Keras

Mike Bernico

Call Number: TA347.A78

What is AI?

Mike Loukides and Ben Lorica

Call Number: TA347.A78

IUTAM : a short history

Peter Eberhard, Stephen Juhasz, editors

Call Number: TA349

Recent advances in fluid dynamics with environmental applications

Jaime Klapp, Leonardo Di G. Sigalotti, Abraham Medina, Abel López, Gerardo Ruiz-Chavarría, editors

Call Number: TA357

Fluid and thermodynamics. Volume 2, Advanced fluid mechanics and thermodynamic fundamentals

Kolumban Hutter, Yongqi Wang

Call Number: TA357

Simulation based engineering in fluid flow design

J.S. Raso

Call Number: TA357.5.D37

Turbulence : introduction to theory and applications of turbulent flows

Jerry Westerweel, Bendiks J. Boersma, Frans T.M. Nieuwstadt

Call Number: TA357.5.T87

Mathematical challenges in a new phase of materials science : Kyoto, Japan, August 2014

Yasumasa Nishiura, Motoko Kotani, editors

Call Number: TA403.6

Chitosan based nanomaterials in plant growth and protection

Vinod Saharan, Ajay Pal

Call Number: TA418.9.N35

Nanomaterials for security

edited by Janez Bonča, Sergei Kruchinin

Call Number: TA418.9.N35

Nanomaterials for fuel cell catalysis

Kenneth I. Ozoemena, Shaowei Chen, editors

Call Number: TA418.9.N35

Self-healing materials

Martin D. Hager, Sybrand van der Zwaag, Ulrich S. Schubert, editors ; with contributions by M. AbdolahZadeh [and more]

Call Number: TA418.9.S62

Performance assessment of concrete structures and engineered barriers for nuclear applications : conclusions of RILEM TC 226-CNM

Valérie L'Hostis, Robert Gens, editors

Call Number: TA440 .P47 2016

Mechanical properties of polymers measured through AFM force-distance curves

Brunero Cappella

Call Number: TA455.P58

Photoptics 2015 : revised selected papers

Paulo Ribeiro, Maria Raposo, editors

Call Number: TA1505

Biophotonics : concepts to applications

Gerd Keiser

Call Number: TA1520

Technology for advanced focal plane arrays of HgCdTe and AlGaN

Li He, Dingjiang Yang, Guoqiang Ni ; with contributiuons by Lu Chen [and more]

Call Number: TA1573

Image Analysis and Recognition : 13th International Conference, ICIAR 2016, in Memory of Mohamed Kamel, Póvoa de Varzim, Portugal, July 13-15, 2016, Proceedings

edited by Aurélio Campilho, Fakhri Karray

Call Number: TA1634

Single frequency semiconductor lasers

Zujie Fang, Haiwen Cai, Gaoting Chen, Ronghui Qu

Call Number: TA1700

Sustainable water management : new perspectives, design, and practices

Ken'ichi Nakagami, Jumpei Kubota, Budi Indra Setiawan, editors

Call Number: TC513.I55

Springer handbook of ocean engineering

Manhar R. Dhanak, Nikolaos I. Xiros (eds.)

Call Number: TC1645

Strategic environmental assessment : integrating landscape and urban planning

Fabio Cutaia

Call Number: TD194.6

Sustainable aviation : energy and environmental issues

T. Hikmet Karakoc, M. Baris Ozerdem, M. Ziya Sogut, Can Ozgur Colpan, Onder Altuntas, Emin Açıkkalp, editors

Call Number: TD195.A27

Urban street stormwater guide

National Association of City Transportation Officials

Call Number: TD657 .N37 2017eb

Methods for measuring greenhouse gas balances and evaluating mitigation options in smallholder agriculture

Todd S. Rosenstock, Mariana C. Rufino, Klaus Butterbach-Bahl, Lini Wollenberg, Meryl Richards, editors

Call Number: TD885.5.G73

8th RILEM international conference on mechanisms of cracking and debonding in pavements : symposium, Nantes, June 7-9, 2016

Armelle Chabot [and 4 others], eds

Call Number: TE210

ZEMCH : toward the delivery of zero energy mass custom homes

Masa Noguchi, editor

Call Number: TH880

Historical earthquake-resistant timber framing in the Mediterranean area : HEaRT 2015

[edited by] Helena Cruz, José Saporiti Machado, Alfredo Campos Costa, Paulo Xavier Candeias, Nicola Ruggieri, José Manuel Catarino

Call Number: TH1111

Energy, complexity and wealth maximization

Robert Ayres

Call Number: TJ163.2

ROMANSY 21 -- Robot design, dynamics and control : proceedings of the 21st CISM-IFToMM Symposium, June 20-23, Udine, Italy

Vincenzo Parenti-Castelli, Werner Schiehlen, editors

Call Number: TJ210.3 .R66 2016eb

Building smart LEGO Mindstorms EV3 robots : leverage the LEGO Mindstorms EV3 platform and program intelligent robots

Kyle Markland

Call Number: TJ211

Beginning robotics with Raspberry Pi and Arduino : using Python and OpenCV

Jeff Cicolani

Call Number: TJ211.15

Robotics in STEM education : redesigning the learning experience

Myint Swe Khine, editor

Call Number: TJ211.26 .R636 2017

Whole-body impedance control of wheeled humanoid robots

Alexander Dietrich

Call Number: TJ211.35

ROS programming : build powerful robots : design, build, and simulate complex robots using the Robot Operating System

Anil Mahtani, Luis Sanchez, Enrique Fernandez, Aaron Martinez, Lentin Joseph

Call Number: TJ211.45

Robo sapiens japanicus : robots, gender, family, and the Japanese nation

Jennifer Robertson

Call Number: TJ211.4963 .R63 2018eb

Real time modeling, simulation and control of dynamical systems

Asif Mahmood Mughal

Call Number: TJ217.7

Junk box Arduino : ten projects in upcycled electronics

James R. Strickland

Call Number: TJ223.P76

A thermochemical heat storage system for households : combined investigations of thermal transfers coupled to chemical reactions

Armand Fopah Lele

Call Number: TJ260

Geoenergy modeling I : geothermal processes in fractured porous media

Norbert Böttcher, Norihiro Watanabe, Uwe-Jens Görke, Oalf Kolditz

Call Number: TJ280.7 .B677 2016

Ending Africa's energy deficit and the law : achieving sustainable energy for all in Africa

edited by Yinka Omorogbe and Ada Okoye Ordor

Call Number: TJ807.9.A35

Waste energy for life cycle assessment

Ayhan Demirbas

Call Number: TJ808 .D449 2016

Handbook of Solar Energy : Theory, Analysis and Applications

G.N. Tiwari, Arvind Tiwari, Shyam

Call Number: TJ810.5 .H359 2016

Triboluminescence : theory, synthesis, and application

David O. Olawale, Okenwa O.I. Okoli, Ross S. Fontenot, William A. Hollerman, editors

Call Number: TJ1075

Machining, joining and modifications of advanced materials

Andreas Öchsner, Holm Altenbach, editors

Call Number: TJ1180

Proceedings of the 5th International Conference on Electrical Engineering and Automatic Control

Bo Huang, Yufeng Yao, editors

Call Number: TK5

Practical electrical engineering

Sergey N. Makarov, Reinhold Ludwig, Stephen J. Bitar

Call Number: TK145

Nuclear energy for hydrogen generation through intermediate heat exchangers : a renewable source of energy

Bahman Zohuri

Call Number: TK1078

Organic-inorganic halide perovskite photovoltaics : from fundamentals to device architectures

Nam-Gyu Park, Michael Grätzel, Tsutomu Miyasaka, editors

Call Number: TK1087

Operation and maintenance of thermal power stations : best practices and health monitoring

Pradip Chanda, Suparna Mukhopaddhyay

Call Number: TK1191

Control of permanent magnet synchronous motors

Sadegh Vaez-Zadeh

Call Number: TK2537 .V349 2018

Fuel cells, solar panels and storage devices : materials and methods

Johannes Karl Fink

Call Number: TK2896 .F56 2018

Nanomaterials in advanced batteries and supercapacitors

Kenneth I. Ozoemena, Shaowei Chen, editors

Call Number: TK2901

Microgrid dynamics and control

by Hassan Bevrani, Bruno Francois, Toshifumi Ise

Call Number: TK3105

Analog and digital signal analysis : from basics to applications

Frédéric Cohen Tenoudji

Call Number: TK5102.9

Computational information geometry : for image and signal processing

Frank Nielsen, Frank Critchley, Christopher T.J. Dodson, editors

Call Number: TK5102.9

Statistical analysis of noise in MRI : modeling, filtering and estimation

Santiago Aja-Fernández, Gonzalo Vegas-Sánchez-Ferrero

Call Number: TK5102.9

Toward 5G software defined radio receiver front-ends

Silvian Spiridon

Call Number: TK5103.4875

Satellite communications payload and system

Teresa M. Braun

Call Number: TK5104 .B765 2012

Data stream management : processing high-speed data streams

Minos Garofalakis, Johannes Gehrke, Rajeev Rastogi, editors

Call Number: TK5105.386

HCNA networking study guide

Huawei Technologies Co., Ltd

Call Number: TK5105.5

Communication, devices, and computing : Proceedings of ICCDC 2017

Jaydeb Bhaumik, Indrajit Chakrabarti, Bishnu Prasad De, Banibrata Bag, Surajit Mukherjee, editors

Call Number: TK5105.5

Management and security in the age of hyperconnectivity : 10th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, Munich, Germany, June 20-23, 2016, Proceedings

Rémi Badonnel, Robert Koch, Aiko Pras, Martin Drašar, Burkhard Stiller (eds.)

Call Number: TK5105.5 .I58 2016eb

Network analysis using Wireshark 2 cookbook : practical recipes to analyze and secure your network using Wireshark 2

Nagendra Kumar Nainar, Yogesh ramdoss, Yoram Orzach

Call Number: TK5105.55

Advanced Internet protocols, services, and applications

Eiji Oki, Roberto Rojas-Cessa, Mallik Tatipamula, and Christian Vogt

Call Number: TK5105.55 .O54 2012

Cybersecurity lexicon

Luis Ayala

Call Number: TK5105.59

Internet science : third international conference, INSCI 2016, Florence, Italy, September 12-14, 2016, proceedings

Franco Bagnoli, Anna Satsiou, Ioannis Stavrakakis, Paolo Nesi, Giovanna Pacini, Yanina Welp, Thanassis Tiropanis, Dominic DiFranzo (eds.)

Call Number: TK5105.875.I57

DNS in action : a detailed and practical guide to DNS implementation, configuration, and administration

Libor Dostalek, Alena Kabelova ; technical editors, Darshan Parekh, Abhishek Shirodkar

Call Number: TK5105.8835 .D67 2006

CSS mastery : advanced web standards solutions

Andy Budd, Emil Björklund

Call Number: TK5105.888

Elm Web development : an introductory guide to building functional web apps using Elm

Ajdin Imsirovic

Call Number: TK5105.888

Phoenix web development : create rich web applications using functional programming techniques with Phoenix and Elixir

Brandon Richey

Call Number: TK5105.888

CSS pocket reference

Eric A. Meyer

Call Number: TK5105.888

Deploying to OpenShift : a guide for busy developers

Graham Dumpleton

Call Number: TK5105.888

AWS administration : the definitive guide : design, build, and manage your infrastructure on Amazon Web Services

Yohan Wadia

Call Number: TK5105.88813

Amazon Web Services bootcamp : develop a scalable, reliable, and highly available cloud environment with AWS

Sunil Gulabani

Call Number: TK5105.88813

Web reasoning and rule systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

Magdalena Ortiz, Stefan Schlobach (eds.)

Call Number: TK5105.88815 .R7 2016eb

ZK developer's guide : developing responsive user interfaces for web applications using AJAX, XUL, and the open-source ZK rich web client development framework

Markus Stäble, Hans-Jürgen Schumacher ; reviewers, Razvan Remus Popovici, Christianto Sahat Kurniawan Hutasoit

Call Number: TK5105.8885.A52 S73 2008eb

Building Django 2.0 web applications : create enterprise-grade, scalable Python web applications easily with Django 2.0

Tom Aratyn

Call Number: TK5105.8885.D54

Mastering Microsoft Power BI : expert techniques for effective data analytics and business intelligence

Brett Powell

Call Number: TK5105.8885.M543

Learning Jakarta Struts 1.2 : a concise and practical tutorial

Stephan Wiesner ; technical editor, Richard Deeson

Call Number: TK5105.8885.S76 W5413 2005

Electronics, communications and networks V : proceedings of the 5th International Conference on Electronics, Communications and Networks (CECNet 2015)

Amir Hussain, editor

Call Number: TK6570.M6

Basic prediction techniques in modern video coding standards

Byung-Gyu Kim, Kalyan Goswami

Call Number: TK6680.5

Springer handbook of electronic and photonic materials

Safa Kasap, Peter Capper (eds.)

Call Number: TK7871 .S65 2017

Field emission electronics

Nikolay Egorov, Evgeny Sheshin

Call Number: TK7871.7

Using imperfect semiconductor systems for unique identification

Jonathan Roberts

Call Number: TK7871.85

Silicon light-emitting diodes and lasers : photon breeding devices using dressed photons

Motoichi Ohtsu

Call Number: TK7871.89.L53

Practical lighting design with LEDs

Ron Lenk, Carol Lenk

Call Number: TK7871.89.L53 L46 2017

Study of electronic properties of 122 Iron Pnictide through structural, carrier-doping, and impurity-scattering effects

by Tatsuya Kobayashi

Call Number: TK7872.S8

THz technology applied to cultural heritage in practice

Kaori Fukunaga

Call Number: TK7877

Handbook of iris recognition

Kevin W. Bowyer, Mark J. Burge, editors

Call Number: TK7882.B56 H36 2016eb

IBM Z connectivity handbook

Bill White [and seven others]

Call Number: TK7887.5

System level design from HW/SW to memory for embedded systems : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings

Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg (eds.)

Call Number: TK7895.E42

Emerging resistive switching memories

Jianyong Ouyang

Call Number: TK7895.M4

Application of compact heat exchangers for combined cycle driven efficiency in next generation nuclear power plants : a novel approach

Bahman Zohuri

Call Number: TK9145

Road vehicle automation 3

Gereon Meyer, Sven Beiker, editors

Call Number: TL152.8 .R63 2016eb

Illustrated international aircraft guide

Bill Gunston

Call Number: TL501 .I57

Illustrated international aircraft guide

Bill Gunston

Call Number: TL501 .I57

Illustrated international aircraft guide

Bill Gunston

Call Number: TL501 .I57

Illustrated international aircraft guide

Bill Gunston

Call Number: TL501 .I57

Wings

Call Number: TL501 .W52

Warbirds over Wanaka : the official record of the ... airshow

Call Number: TL506.N452 W376

Discovery and renewal on Huffman Prairie : where aviation took wing

David Nolin

Call Number: TL506.U6 N65 2018

Aviation history

Call Number: TL515 .A94

The longest flight : Yuma's quest for the future

Shirley Woodhouse Murdock, James A. Gillaspie

Call Number: TL522.A6 M87 1999

The longest flight : Yuma's quest for the future

Shirley Woodhouse Murdock, James A. Gillaspie

Call Number: TL522.A6 M87 2009

Wings over Washington

by David G. Gordon

Call Number: TL522.W2 G67 1989

Aviation turbulence : processes, detection, prediction

Robert Sharman, Todd Lane, editors

Call Number: TL556

A field guide to airplanes of North America

M.R. Montgomery and Gerald L. Foster ; illustrated by Gerald L. Foster

Call Number: TL671 .M64 1992

Mystery ship! : a history of the Travel Air type R monoplanes

Edward H. Phillips

Call Number: TL671.2 .P48 1999

Brace by wire to fly by wire : 75 years of the Royal Air Force : compiled to commemorate the 75th anniversary of The Royal Air Force Benevolent Fund

[editor Peter R. March]

Call Number: TL685.3 .B73 1993

Wanaka warbirds : Sir Tim Wallis's alpine fighter collection

Gerard S. Morris & Warren P. Russell

Call Number: TL685.3 .M697 1998

The "C" planes : U.S. cargo aircraft, 1925-to the present

Bill Holder & Scott Vadnais

Call Number: TL685.7 .H575 1996

Sixty glorious years : a tribute to the Douglas DC-3 Dakota

Arthur Pearcy

Call Number: TL686.D65 P39 1995

A celebration of the DC3

Arthur Pearcy

Call Number: TL686.D65 P43 1995

Douglas propliners DC-1--DC-7

Arthur Pearcy

Call Number: TL686.D65 P43d 1995

Women of Waco

by Andy Heins

Call Number: TL686.W3 .H45 2008

Waco sites tour of Troy, Ohio

by James C. Kessler, Pat Wagner, Ken Davis, Joe Balmer

Call Number: TL686.W3 .K47 1995

Tornado : Wright Aero's last liquid-cooled piston engine

Kimble D. McCutcheon

Call Number: TL703.W7 M38 2001

Silent ones : World War II invasion glider test & experiment, Clinton County army air field, Wilmington, Ohio

written by Charles L. Day, edited by Kenneth Fulton and James L. Mitchell

Call Number: TL765 .D39 2001

Faith 7 : L. Gordon Cooper, Jr., and the final Mercury mission

Colin Burgess

Call Number: TL789.85.C66

The FLP microsatellite platform : flight operations manual

Jens Eickhoff, editor

Call Number: TL795.4

Mineral deposits of North Africa

Mohammed Bouabdellah, John F. Slack, editors

Call Number: TN72.A2

Uranium deposits of the world. Europe

Franz J. Dahlkamp

Call Number: TN490.U7

Basic physics of functionalized graphite

Pablo D. Esquinazi, editor

Call Number: TN845

Fractured vuggy carbonate reservoir simulation

Jun Yao, Zhao-Qin Huang

Call Number: TN870.57

Physics and mechanics of primary well cementing

Alexandre Lavrov, Malin Torsæter

Call Number: TN871.2 .L383 2016

Sustainability engineering : a design guide for the chemical process industry

Jeffery Perl

Call Number: TP155.2.E58

Encyclopedia of membranes

Enrico Drioli, Lidietta Giorno, editors

Call Number: TP159.M4

Biosurfactants in food

Deepansh Sharma

Call Number: TP248.B57

Metabolic engineering for bioprocess commercialization

Stephen Van Dien, editor

Call Number: TP248.3

Nanozymes : next wave of artificial enzymes

Xiaoyu Wang, Wenjing Guo, Yihui Hu, Jiangjiexing Wu, Hui Wei

Call Number: TP248.65.E59

The chemistry of thermal food processing procedures

Maria Micali, Marco Fiorino, Salvatore Parisi

Call Number: TP371

Creative composition : digital photography tips & techniques

Harold Davis

Call Number: TR179 .D378 2010

Fujifilm X series unlimited : mastering techniques and maximizing creativity with your FujiFilm camera

Dan Bailey

Call Number: TR263.F85

Adobe Photoshop Lightroom Classic CC classroom in a book 2018 release : the official training workbook from Adobe

John Evans & Katrin Straub

Call Number: TR267.5.A355

Chroma : a photographer's guide to lighting with color

Nick Fancher

Call Number: TR510

The grip book : the studio grip's essential guide

Michael G. Uva

Call Number: TR850

Statistics for process control engineers : a practical approach

Myke King

Call Number: TS156.8

Optimization and management in manufacturing engineering : resource collaborative optimization and management through the Internet of Things

Xinbao Liu, Jun Pei, Lin Liu, Hao Cheng, Mi Zhou, Panos M. Pardalos

Call Number: TS176 .L58 2017

Electrospun biomaterials and related technologies

Jorge Almodovar, editor

Call Number: TS1548.5

Compression garments in sports : athletic performance and recovery

Florian Engel, Billy Sperlich, editors

Call Number: TT649

Declutter your life : how outer order leads to inner calm

Gill Hasson

Call Number: TX309

Food trucks, cultural identity, and social justice : from loncheras to lobsta love

edited by Julian Agyeman, Caitlin Matthews, and Hannah Sobel

Call Number: TX360.U6 F6844 2017eb

Food and power : a culinary ethnography of Israel

Nir Avieli ; drawings by Heimo Wallner

Call Number: TX724 .A925 2018

The craft cocktail compendium : contemporary interpretations and inspired twists on time-honored classics

Warren Bobrow, "The Cocktail Whisperer.

Call Number: TX951