Science & Technology (General)

Items Acquired in August 2017 for the University Libraries

A history of technoscience : erasing the boundaries between science and technology

David F. Channell

Call Number: Q125 .C437 2017

Successful careers beyond the lab

edited by David J. Bennett, St. Edmunds College, University of Cambridge, UK, Richard Jennings, Department of History and Philosophy of Science, University of Cambridge, UK

Call Number: Q147 .B455 2017

ReSearch : a career guide for scientists

Teresa M. Evans, Natalie Lundsteen, Nathan L. Vanderford

Call Number: Q147 .E92 2017

Music and the making of modern science

Peter Pesic

Call Number: Q172.5.M87 P47 2014eb

The idea of nature

Call Number: Q175 .C65 1976

Observation and experiment : an introduction to causal inference

Paul R. Rosenbaum

Call Number: Q175.32.C38 R67 2017

Exploring inductive risk : case studies of values in science [electronic resource]

edited by Kevin C. Elliott, Ted Richards

Call Number: Q175.32.I54

Science is not what you think : how it has changed, why we can't trust it, how it can be fixed

Henry H. Bauer

Call Number: Q175.5 .B393 2017

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

David J. Hess

Call Number: Q175.5 .H473 2017

Analysis and presentation of experimental results : with examples, problems and programs

Costas Christodoulides, George Christodoulides

Call Number: Q180.55.E4

Science and technology education promoting wellbeing for individuals, societies and environments : STEPWISE

Larry Bencze, editor

Call Number: Q181

Teaching gifted learners in STEM subjects : developing talent in science, technology, engineering and mathematics

edited by Keith S. Taber, Manabu Sumida and Lynne McClure

Call Number: Q183.A1 T43 2017

Science writing in Greco-Roman antiquity

Liba Taub, University of Cambridge

Call Number: Q225.5 .T38 2017

Understanding support vector machines

Aurélien Géron

Call Number: Q325.5

Getting started with TensorFlow

Aurélien Géron

Call Number: Q325.5

Hybrid artificial intelligent systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Francisco Javier Martínez de Pisón, Rubén Urraca, Héctor Quintián, Emilio Corchado (eds.)

Call Number: Q334

Advances in artificial intelligence : from theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEAAIE 2017, Arras, France, June 27-30, 2017, Proceedings.

Salem Benferhat, Karim Tabia, Moonis Ali (eds.)

Call Number: Q334

Advances in artificial intelligence : from theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEAAIE 2017, Arras, France, June 27-30, 2017, Proceedings.

Salem Benferhat, Karim Tabia, Moonis Ali (eds.)

Call Number: Q334

Trends in artificial intelligence : PRICAI 2016 Workshops : PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised selected papers

Masayuki Numao, Thanaruk Theeramunkong, Thepchai Supnithi, Mahasak Ketcham, Narit Hnoohom, Patiyuth Pramkeaw (eds.)

Call Number: Q334

Beginning artificial intelligence with the Raspberry Pi

Donald J. Norris

Call Number: Q335

Description logics in multimedia reasoning [electronic resource]

Leslie F. Sikos

Call Number: Q335

Beginning Artificial Intelligence with the Raspberry Pi

Donald J. Norris

Call Number: Q335 .N677 2017

Advances in neural networks -- ISNN 2017 : 14th International Symposium, ISNN 2017, Sapporo-shi, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings.

Fengyu Cong, Andrew Leung, Qinglai Wei (eds.)

Call Number: Q337.5

Pattern Recognition and Image Analysis : 8th Iberian Conference, IbPRIA 2017, Faro, Portugal, June 20-23, 2017, Proceedings [electronic resource]

edited by Luís A. Alexandre, José Salvador Sánchez, João M. F. Rodrigues

Call Number: Q337.5

Case-based reasoning research and development : 25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings

David W. Aha, Jean Lieber (eds.)

Call Number: Q338.8

Advances in computational intelligence : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings.

Ignacio Rojas, Gonzalo Joya, Andreu Catala (eds.)

Call Number: Q342

Advances in computational intelligence : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings.

Ignacio Rojas, Gonzalo Joya, Andreu Catala (eds.)

Call Number: Q342

Transactions on computational collective intelligence XXVI

Ngoc Thanh Nguyen, Ryszard Kowalczyk, Alexandre Miguel Pinto, Jorge Cardoso (eds.)

Call Number: Q342

Simplicity : ideals of practice in mathematics and the arts [electronic resource]

Roman Kossak, Philip Ording, editors

Call Number: QA8

Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings [electronic resource]

edited by Jarkko Kari, Florin Manea, Ion Petre

Call Number: QA9.59

Fuzzy logic and mathematics : a historical perspective

Radim Belohlávek, Joseph W. Dauben, George J. Klir

Call Number: QA9.64 .B4525 2017eb

What is a mathematical concept?

edited by Elizabeth de Freitas, Manchester Metropolitan University ; Nathalie Sinclair, Simon Fraser University ; Alf Coles, University of Bristol

Call Number: QA10.7 .W43 2017

Competitions for young mathematicians : perspectives from five continents

edited by Alexander Soifer ; with the foreword by Gabriele Kaiser

Call Number: QA20.3

A mind at play : how Claude Shannon invented the information age

Jimmy Soni and Rob Goodman

Call Number: QA29.S423 S66 2017

Essentials of precalculus with calculus previews

Dennis G. Zill, Jacqueline M. Dewar

Call Number: QA39.3

Undergraduate mathematics competitions (1995-2016) : Taras Shevchenko National University of Kyiv

Volodymyr Brayman, Alexander Kukush

Call Number: QA43

How to pass numerical reasoning tests

Heidi Smith

Call Number: QA43

Reckoning with matter : calculating machines, innovation, and thinking about thinking from Pascal to Babbage

Matthew L. Jones

Call Number: QA75 .J66 2016eb

Innovations in computer science and engineering : proceedings of the fourth ICICSE 2016

H.S. Saini, Rishi Sayal, Sandeep Singh Rawat, editors

Call Number: QA75.5 .I58 2016eb

IBM GDPS family : an introduction to concepts and capabilities

David Clitherow, Sim Schindel, John Thompson, Marie-France Narbey

Call Number: QA76

CCIE routing and switching v5.1 foundations

Narbik Kocharians, CCIE #12410 (R&S, Security, SP)

Call Number: QA76.3

MCSA 70-741 cert guide

Michael S. Schulz

Call Number: QA76.3

Linux shell scripting cookbook : over 110 incredibly effective recipes to solve real-world problems, automate tedious tasks, and take advantage of Linux's newest features

Clif Flynt, Sarath Lakshman, Shantanu Tushar

Call Number: QA76.3 .T384

Designing agentive technology : AI that works for people

Christopher Noessel

Call Number: QA76.5

Python web scraping : fetching data from the web

Katharine Jarmul, Richard Lawson

Call Number: QA76.55

Cloud computing [electronic resource]

Nick Antonopoulos, Lee Gillam, editors

Call Number: QA76.585

Oracle IaaS : quick reference guide to cloud solutions

Okcan Yasin Saygili

Call Number: QA76.585

Cloud Foundry : the definitive guide : develop, deploy, and scale

Duncan C.E. Winn

Call Number: QA76.585

Implementing Azure solutions : eliminate the pain point of implementation

Florian Klaffenbach, Jan-Henrik Damaschke, Oliver Michalski

Call Number: QA76.585

Cloud broker and cloudlet for workflow scheduling

Chan-Hyun Youn, Min Chen, Patrizio Dazzi

Call Number: QA76.585

Cloud object storage as a service : IBM Cloud Object Storage from theory to practice

Anil Patil [and thirteen others]

Call Number: QA76.585

Moving Hadoop to the cloud : harnessing cloud features and flexibility for Hadoop Clusters

Bill Havanki

Call Number: QA76.585

Learning SAP Analytics Cloud : discover, plan, predict, collaborate, visualize, and extend all in one solution

Riaz Ahmed

Call Number: QA76.585

Reactive Android programming : learn to build Android application using RxJava

Tadas Subonis

Call Number: QA76.59

Ionic : hybrid mobile app development : create cutting-edge, hybrid mobile applications using the Ionic framework : a course in three modules

Call Number: QA76.59

Models to code : with no mysterious gaps

Leon Starr, Andrew Mangogna, Stephen Mellor

Call Number: QA76.6

Chef : powerful infrastructure automation : deploy software, manage hosts, and scale your infrastructure with Chef : a course in three modules

Call Number: QA76.6

Low-level programming : C, Assembly, and program execution on Intel® 64 architecture

Igor Zhirkov

Call Number: QA76.6

Migration to IBM CICS Transaction Server for z/VSE

Klaus Wacker, Ingolf Salm

Call Number: QA76.6

Practical Amazon EC2, SQS, Kinesis, and S3 : a hands-on approach to AWS

Sunil Gulabani

Call Number: QA76.625

Flexbox in CSS : understanding CSS flexible box layout

Estelle Weyl

Call Number: QA76.625

Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings [electronic resource]

edited by Wil van der Aalst, Eike Best

Call Number: QA76.63

Logic programming and nonmonotonic reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Marcello Balduccini, Tomi Janhunen (eds.)

Call Number: QA76.63

Practical data science cookbook : practical recipes on data pre-processing, analysis and visualization using R and Python

Prabhanjan Tattar, Tony Ojeda, Sean Patrick Murphy, Benjamin Bengfort, Abhijit Dasgupta

Call Number: QA76.64

Mastering Rust : write safe, concurrent and reliable programs without compromising on performance

Vesa Kaihlavirta

Call Number: QA76.7

Object-oriented design with ABAP : a practical approach

James E. McDonough

Call Number: QA76.73.A125

Modern C++ programming cookbook : over 100 recipes to help you overcome your difficulties with C++ programming and gain deeper understanding of the working of modern C++

Marius Bancila

Call Number: QA76.73.C153

C++ 17 STL cookbook : over 90 recipes that leverage the powerful features of the standard library in C++ 17

Jacek Galowicz

Call Number: QA76.73.C153

The C# programmer's study guide (MCSD) : exam 70-483

Ali Asad, Hamza Ali

Call Number: QA76.73.C154

Computing with C# and the .NET Framework

Art Gittleman

Call Number: QA76.73.C154

C# 7.0 pocket reference : instant help for C# 7.0 programmers

Joseph Albahari and Ben Albahari

Call Number: QA76.73.C154

Gray hat C# : a hacker's guide to creating and automating security tools

Brandon Perry

Call Number: QA76.73.C154

Introduction to JVM languages : Java, Scala, Clojure, Kotlin, and Groovy

Vincent van der Leuni

Call Number: QA76.73.C565

Dart : scalable application development : master the art of designing web client and server with Google's bold productive language--Dart : a course in three modules

Call Number: QA76.73.D23

Beginning F# 4.0

Robert Pickering, Kit Eason ; foreword by Don Syme

Call Number: QA76.73.F163

Go cookbook : build modular, readable, and testable applications in Go

Aaron Torres

Call Number: QA76.73.G63

Go : design patterns for real-world projects : building production-ready solutions in Go using cutting-edge technology and techniques

Vladimir Vivien, Mario Castro Contreras, Mat Ryer

Call Number: QA76.73.G63

Java 9 for programmers

Paul Deitel, Harvey Deitel

Call Number: QA76.73.J38

Think data structures : algorithms and information retrieval in Java

Allen B. Downey

Call Number: QA76.73.J38

Java : data science made easy : data collection, processing, analysis, and more : a course in two modules

Call Number: QA76.73.J38

JavaScript essentials for SAP ABAP developers : a guide to mobile and desktop application development

Rehan Zaidi

Call Number: QA76.73.J39

Data science with Java : practical methods for scientists and engineers

Michael R. Brzustowicz

Call Number: QA76.73.J39

Learning jQuery 3 : build interesting, interactive sites using jQuery by automating common tasks and simplifying the complicated ones

Adam Boduch, Jonathan Chaffer, Karl Swedberg

Call Number: QA76.73.J39

Mastering reactive JavaScript : create applications empowered with real-time data without compromising performance

Erich de Souza Oliveira

Call Number: QA76.73.J39

Practical modern JavaScript

Nicolás Bevacqua

Call Number: QA76.73.J39

Interpreting LISP : programming and data structures

Gary D. Knott

Call Number: QA76.73.L23

PHP 7 data structures and algorithms : leverage the power of PHP data structures and crucial algorithms to build high-performance applications

Mizanur Rahman

Call Number: QA76.73.P224

Mastering PHP 7 : design, configure, build, and test professional web appilcations in PHP 7

Branko Ajzele

Call Number: QA76.73.P224

Mastering machine learning with Python in six steps : a practical implementation guide to predictive data analytics using Python

Manohar Swamynathan

Call Number: QA76.73.P98

Python machine learning by example : easy-to-follow examples that get you up and running with machine learning

Yuxi (Hayden) Liu

Call Number: QA76.73.P98

Python data structures and algorithms : improve the performance and speed of your applications

Benjamin Baka

Call Number: QA76.73.P98

Python high performance : build robust application by implementing concurrent and distributed processing techniques

Gabriele Lanaro

Call Number: QA76.73.P98

Learn Python in 7 days : get up-and-running with Python

Mohit, Bhaskar N. Das

Call Number: QA76.73.P98

The Python 3 standard library by example

Doug Hellmann

Call Number: QA76.73.P98

Learn Python 3 the hard way : a very simple introduction to the terrifyingly beautiful world of computers and code

Zed A. Shaw

Call Number: QA76.73.P98

Mastering Python networking : advanced networking with Python

Eric Chou

Call Number: QA76.73.P98

Learning pandas : high-performance data manipulation and analysis in Python

Michael Heydt

Call Number: QA76.73.P98

Python for finance : financial modeling and quantitative analysis explained

Yuxing Yan

Call Number: QA76.73.P98

Daniel Arbuckle's Mastering Python : building powerful Python applications

Daniel Arbuckle

Call Number: QA76.73.P98

The Python apprentice : a practical and thorough introduction to the Python programming language

Robert Smallshire, Austin Bingham

Call Number: QA76.73.P98

R for everyone : advanced analytics and graphics

Jared P. Lander

Call Number: QA76.73.R3

Comprehensive Ruby programming : go from beginner to confident programmer

Jordan Hudgens

Call Number: QA76.73.R83

Akka cookbook : make your application fast, concurrent, and reactive through exciting recipes

Héctor Veiga Ortiz, Piyush Mishra

Call Number: QA76.73.S28

Coding iPhone apps for kids : a playful introduction to swift

Gloria Winquist and Matt McCarthy

Call Number: QA76.73.S95

Swift style : an opinionated guide to an opinionated language

by Erica Sadun

Call Number: QA76.73.S95

Enterprise PowerShell scripting bootcamp : focused, intensive, and effective enterprise PowerShell scripting

Brenton J.W. Blawat

Call Number: QA76.73.W56

Advanced microservices : a hands-on approach to microservice infrastructure and tooling

Thomas Hunter II

Call Number: QA76.754

Automotive software architectures : an introduction

Miroslaw Staron

Call Number: QA76.754

Coordination models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

edited by Jean-Marie Jacquet, Mieke Massink

Call Number: QA76.758

Grand timely topics in software engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures

Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev (eds.)

Call Number: QA76.758

Software architecture for big data and the cloud

[edited by] Ivan Mistrik [and 4 others]

Call Number: QA76.758

Building modern web applications using Angular : Learn how to create rich and compelling web applications with Angular

Shravan Kumar Kasagoni

Call Number: QA76.76.A54

Essential Angular : an overview of the key aspects written by two of the Angular core contributors

Victor Savkin, Jeff Cross

Call Number: QA76.76.A54

Spring Boot messaging : messaging APIs for enterprise and integration solutions

Felipe Gutierrez

Call Number: QA76.76.A63

Mastering Spring 5.0 : a comprehensive guide to becoming an expert in the Spring Framework

Ranga Rao Karanam

Call Number: QA76.76.A63

Business Information Systems : 20th International Conference, BIS 2017, Poznan, Poland, June 28-30, 2017, Proceedings [electronic resource]

edited by Witold Abramowicz

Call Number: QA76.76.A65

Smart Cities : Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings [electronic resource]

edited by Enrique Alba, Francisco Chicano, Gabriel Luque

Call Number: QA76.76.A65

Xamarin continuous integration and delivery : team services, test cloud, and HockeyApp : optimizing your mobile software development process

Gerald Versluis ; foreword by Donovan Brown

Call Number: QA76.76.A65

Mastering Kubernetes : automating container deployment and management

Gigi Sayfan

Call Number: QA76.76.A65

Learning Docker : faster app development and deployment with Docker containers

Jeeva S. Chelladhurai, Vinod Singh, Pethuru Raj

Call Number: QA76.76.A65

Essentials of cloud application development on IBM Bluemix : presentations guide

Hala A. Aziz [and four others]

Call Number: QA76.76.A65

Cross-platform desktop applications : using Node, Electron, and NW.js

Paul B. Jensen

Call Number: QA76.76.A65

Building microservices with .NET Core : transitioning monolithic architecture using microservices with .NET Core

Gaurav Kumar Aroraa, Lalit Kale, Kanwar Manish

Call Number: QA76.76.A65

Learning RxJava : build concurrent, maintainable, and responsive Java in less time

Thomas Nield

Call Number: QA76.76.A65

Microservices with Azure : software architecture patterns to build enterprise-grade microservices using Microsoft Azure Service Fabric

Namit Tanasseri, Rahul Rai

Call Number: QA76.76.A65

HoloLens blueprints : experience the virtual and real worlds coming together with HoloLens

Abhijit Jana, Manish Sharma, Mallikarjuna Rao

Call Number: QA76.76.A65

Getting started with Kubernetes : harness the power of Kubernetes to manage Docker deployments with ease

Jonathan Baier

Call Number: QA76.76.A65

Mastering Java EE development with WildFly : create enterprise-grade Java applications with Wildfly

Luca Stancapiano

Call Number: QA76.76.A65

Building voice-enabled apps with Alexa

by Kory Becker

Call Number: QA76.76.A65

CCNA routing and switching 200-125

Anthony Sequeira

Call Number: QA76.76.C47

Mastering Android game development with Unity : exploit the advanced concepts of Unity to develop intriguing, high-end Android games

Siddharth Shekar, Wajahat Karim

Call Number: QA76.76.C672

Unreal Engine 4 for design visualization : developing stunning interactive visualizations, animations, and renderings

Tom Shannon

Call Number: QA76.76.C672

Practical game AI programming : create game AI and implement cutting edge AI algorithms from scratch

Micael DaGraça

Call Number: QA76.76.C672

Game audio development with Unity 5.X : design a blockbuster game soundtrack with Unity 5.X

Micheal Lanham

Call Number: QA76.76.C672

DevOps bootcamp : a fast-paced guide to implement DevOps with ease

Mitesh Soni

Call Number: QA76.76.D47

The DevOps 2.1 toolkit : Docker Swarm : building, testing, deploying, and monitoring services inside Docker Swarm clusters

Viktor Farcic

Call Number: QA76.76.D47

Managing systems and IT projects

Frank Tsui

Call Number: QA76.76.D47

Expert Delphi : robust and fast cross-platform application development

Paweł Głowacki

Call Number: QA76.76.D47

Domain-driven design in PHP : a highly practical guide

Carlos Buenosvinos, Christian Soronellas, Keyvan Akbary

Call Number: QA76.76.D7

Foundations of intelligent systems : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings

Marzena Kryszkiewicz, Annalisa Appice, Dominik Ślęzak, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Raś (eds.)

Call Number: QA76.76.E95

JSON at work : practical data integration for the web

Tom Marrs

Call Number: QA76.76.H94

Advances in practical applications of cyber-physical multi-agent systems : the PAAMS collection : 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

Yves Demazeau, Paul Davidsson, Javier Bajo, Zita Vale (eds.)

Call Number: QA76.76.I58

Multi-agent systems and agreement technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Natalia Criado Pacheco, Carlos Carrascosa, Nardine Osman, Vicente Julián Inglada (eds.)

Call Number: QA76.76.I58

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems : International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings [electronic resource]

edited by Javier Bajo, Zita Vale, Kasper Hallenborg, Ana Paula Rocha, Philippe Mathieu, Pawel Pawlewski, Elena Del Val, Paulo Novais, Fernando Lopes, Nestor D. Duque Méndez, Vicente Julián, Johan Holmgren

Call Number: QA76.76.I58

Rx.NET in action

Tamir Dresher

Call Number: QA76.76.M52

Jenkins essentials : setting the stage for a DevOps culture

Mitesh Soni

Call Number: QA76.76.Q35

The expert test manager : guide to the ISTQB expert level certification

Rex Black, Leo van der Aalst, James L. Rommens

Call Number: QA76.76.T48

iOS code testing : test-driven development and behavior-driven development with Swift [electronic resource]

Abhishek Mishra

Call Number: QA76.76.T48

Agile testing foundations : an ISTQB Foundation level agile tester guide

edited by Rex Black, with contributions from Gerry Coleman [and five others]

Call Number: QA76.76.T48

Mobile test automation with Appium : comprehensive guide to build mobile test automation solution using Appium

Nishant Verma

Call Number: QA76.76.T48

Windows memory dump analysis : advanced : with data structures

Dmitry Vostokov

Call Number: QA76.76.T48

Learning Android game development : Android game development simplified!

Nikhil Malankar

Call Number: QA76.774.A53

Android system programming : porting, customizing, and debugging Android HAL

Roger Ye

Call Number: QA76.774.A53

Take control of Calendar and Reminders [electronic resource]

by Scholle McFarland

Call Number: QA76.774.I67

Enterprise Docker : the future of containers in business

Christopher Tozzi

Call Number: QA76.774.L46

Mastering embedded Linux programming : unleash the full potential of embedded Linux

Chris Simmonds

Call Number: QA76.774.L46

Mastering macOS programming : combine macOS programming with Cocoa and Swift 3 to build powerful applications

Stuart Grimshaw

Call Number: QA76.774.M33

Getting started with Nano Server : transform your Datacenter into headless servers with Microsoft Nano Server

Charbel Nemnom

Call Number: QA76.774.M434

Programming for the Internet of Things : using Windows 10 IoT core and Azure IoT Suite

Dawid Borycki

Call Number: QA76.774.M435

Mastering Bash : automate daily tasks with Bash

Giorgio Zarrelli

Call Number: QA76.774.U64

ENIAC in action : making and remaking the modern computer

Thomas Haigh, Mark Priestley, and Crispin Rope

Call Number: QA76.8.E53 H34 2016eb

IBM zPDT guide and reference : System z Personal Development Tool

Bill Ogden

Call Number: QA76.8.I13

Raspberry Pi 3 projects for Java programmers : get the most out of your Raspberry Pie 3 with Java

Pradeeka Seneviratne, John Sirach

Call Number: QA76.8.R15

Neuro-inspired computing using resistive synaptic devices

Shimeng Yu, editor

Call Number: QA76.87

Deep learning : practical neural networks with Java : build and run intelligent applications by leveraging key Java machine learning libraries : a course in three modules

Call Number: QA76.87

IBM POWER8 high-performance computing guide : IBM Power System S822LC (8335-GTB) edition

Dino Quintero [and seven others]

Call Number: QA76.88

Quantum dots for quantum information technologies [electronic resource]

Peter Michler, editor

Call Number: QA76.889

Quantum continuous variables : a primer of theoretical methods

Alessio Serafini

Call Number: QA76.889 .S47 2017

Advanced persistent training : take your security awareness program to the next level

Jordan Schroeder

Call Number: QA76.9.A25

Security of industrial control systems and cyber-physical systems : second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised selected papers

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

Call Number: QA76.9.A25

Post-quantum cryptography : 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings

Tanja Lange, Tsuyoshi Takagi (eds.)

Call Number: QA76.9.A25

Cyber security cryptography and machine learning : first International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings

Shlomi Dolev, Sachin Lodha (eds.)

Call Number: QA76.9.A25

Applications and techniques in information security : 8th International Conference, ATIS 2017, Auckland, New Zealand, July 6-7, 2017, Proceedings

Lynn Batten, Dong Seong Kim, Xuyun Zhang, Gang Li (eds.)

Call Number: QA76.9.A25

Preventing digital extortion : mitigate ransomware, DDoS, and other cyber-extortion attacks

Dhanya Thakkar

Call Number: QA76.9.A25

Kali Linux network scanning cookbook : take your penetration-testing skills to the next level

Michael Hixon, Justin Hutchens

Call Number: QA76.9.A25

Metasploit bootcamp : a fast-paced guide to enhance your pentesting skills

Nipun Jaswal

Call Number: QA76.9.A25

Open source intelligence investigation

Babak Akhgar, P. Saski Bayerl, Fraser Sampson, editors

Call Number: QA76.9.A25

CompTIA cybersecurity analyst (CSA+) cert guide

Troy McMillan

Call Number: QA76.9.A25

Cyber security : a practitioner's guide

David Sutton

Call Number: QA76.9.A25

Mastering Kali Linux for Web penetration testing : test and evaluate all aspects of the design and implementation

Michael McPhee

Call Number: QA76.9.A25

Mastering Kali Linux for advanced penetration testing : secure your network with Kali Linux, the ultimate hackers' arsenal

Vijay Kumar Velu

Call Number: QA76.9.A25

Computer and information security handbook [electronic resource]

edited by John R. Vacca

Call Number: QA76.9.A25 C627 2017

Detection of intrusions and malware, and vulnerability assessment : 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings

Michalis Polychronakis, Michael Meier (eds.)

Call Number: QA76.9.A25 D55 2017eb

Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Eric Bodden, Mathias Payer, Elias Athanasopoulos (eds.)

Call Number: QA76.9.A25 E77 2017eb

Frontiers in algorithmics : 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings

Mingyu Xiao, Frances Rosamond (eds.)

Call Number: QA76.9.A43

Ambient intelligence : software and applications -- 8th International Symposium on Ambient Intelligence (ISAmI 2017)

Juan F. De Paz, Vicente Julian, Gabriel Villarrubia, Goreti Marreiros, Paulo Novais, editors

Call Number: QA76.9.A48

Implementing DevOps with Microsoft Azure : leverage Visual Studio Team Services to automate Microsoft Azure deployments and incorporate the DevOps culture

Mitesh Soni

Call Number: QA76.9.A73

Augmented reality, virtual reality, and computer graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings.

Lucio Tommaso De Paolis, Patrick Bourdot, Antonio Mongelli (eds.)

Call Number: QA76.9.A94

Augmented reality, virtual reality, and computer graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings.

Lucio Tommaso De Paolis, Patrick Bourdot, Antonio Mongelli (eds.)

Call Number: QA76.9.A94

Big data technologies and applications : 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, Proceedings

Jason J. Jung, Pankoo Kim (eds.)

Call Number: QA76.9.B45

Big data analytics using multiple criteria decision-making models

edited by Ramakrishnan Ramanathan, Muthu Mathirajan, A. Ravi Ravindran

Call Number: QA76.9.B45 B5535 2017

SQL Server 2017 Integration Services cookbook : ETL techniques to load and transform data from various sources using SQL Server 2017 Integration Services

Christian Cote, Matija Lah, Dejan Sarka

Call Number: QA76.9.C55

Cisco ACI cookbook : accelerating application deployment and IT processes

Stuart Fordham

Call Number: QA76.9.C55

Modeling and Using Context : 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings [electronic resource]

edited by Patrick Brézillon, Roy Turner, Carlo Penco

Call Number: QA76.9.C65

Digital human modeling Part II : applications in health, safety, ergonomics, and risk management : health and safety : 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Vincent G. Duffy (ed.)

Call Number: QA76.9.C65

Digital human modeling Part I : applications in health, safety, ergonomics, and risk management : health and safety : 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Vincent G. Duffy (ed.)

Call Number: QA76.9.C65

Mastering PostgreSQL 9.6 : a comprehensive guide for PostgreSQL 9.6 developers and administrators

Hans-Jürgen Schönig

Call Number: QA76.9.D3

PostgreSQL 9.6 high performance : optimize, troubleshoot, and benchmark your PostgreSQL database

Ibrar Ahmed, Gregory Smith

Call Number: QA76.9.D3

Implementing the IBM Storwize V7000 and IBM Spectrum Virtualize V7.8

Jon Tate [and five others]

Call Number: QA76.9.D3

IBM DB2 Web Query for i : the nuts and bolts

Hernando Bedoya [and eight others]

Call Number: QA76.9.D3

Oracle on LinuxONE

Lydia Parziale [and six others]

Call Number: QA76.9.D3

Oracle on IBM z Systems

Lydia Parziale [and six others]

Call Number: QA76.9.D3

DAMA-DMBOK : data management body of knowledge

DAMA International

Call Number: QA76.9.D3

Data analytics : 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017, Proceedings

Andrea Calì, Peter Wood, Nigel Martin, Alexandra Poulovassilis (eds.)

Call Number: QA76.9.D32

Advances in data mining : applications and theoretical aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

edited by Petra Perner

Call Number: QA76.9.D343

High performance Spark : best practices for scaling and optimizing Apache Spark

Holden Karau and Rachel Warren

Call Number: QA76.9.D343

Agile data science 2.0 : building full-stack data analytics applications with Spark

Russell Jurney

Call Number: QA76.9.D343

Advanced analytics with Spark : patterns from learning from data at scale

Sandy Ryza, Uri Laserson, Sean Owen and Josh Wills

Call Number: QA76.9.D343

Data strategy and the enterprise data executive : ensuring that business and IT are in synch in the post-big data era

Peter Aiken, Todd Harbour ; foreword by Micheline Casey

Call Number: QA76.9.D343

Learning social media analytics with R : transform data from social media platforms into actionable insights

Raghav Bali, Dipanjan Sarkar, Tushar Sharma

Call Number: QA76.9.D343

Building cognitive applications with IBM Watson Services. Volume 2 : : conversation

Ahmed Azraq [and four others]

Call Number: QA76.9.D343

Building cognitive applications with IBM Watson Services. Volume 3, Visual recognition

Azeddine Elhassouny [and four others]

Call Number: QA76.9.D343

Building cognitive applications with IBM Watson Services. Volume 5, Language translator

Valerie Lampkin [and three others]

Call Number: QA76.9.D343

Building cognitive applications with IBM Watson Services. Volume 6, Speech to text and text to speech

Felipe Santiago, Pallavi Singh, Lak Sri

Call Number: QA76.9.D343

Building cognitive applications with IBM Watson Services. Volume 7, Natural language understanding

Sebastian Vergara [and four others]

Call Number: QA76.9.D343

Building cognitive applications with IBM Watson services. Volume 1, Getting started

Alfio Gliozzo [and eleven others]

Call Number: QA76.9.D343

Frank Kane's Taming big data with Apache Spark and Python : real-world examples to help you analyze large datasets with Apache Spark

Frank Kane

Call Number: QA76.9.D343

R : mining spatial, text, web, and social media data : create and customize data mioning algorithms : a course in three modules

Call Number: QA76.9.D343

Principles of data wrangling : practical techniques for data preparation [electronic resource]

Tye Rattenbury, Joseph M. Hellerstein, Jeffrey Heer, Sean Kandel and Connor Carreras

Call Number: QA76.9.D345 R38 2017eb

IBM PowerHA SystemMirror 7.2.1 for IBM AIX updates

Dino Quintero [and eight others]

Call Number: QA76.9.D348

Innovations for community services : 17th International Conference, I4CS 2017, Darmstadt, Germany, June 26-28, 2017, Proceedings

Gerald Eichler, Christian Erfurth, Günter Fahrnberger (eds.)

Call Number: QA76.9.D5

Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Ahmed Bouajjani, Alexandra Silva (eds.)

Call Number: QA76.9.D5

Hadoop 2.x administration cookbook : administer and maintain large Apache Hadoop clusters

Gurmukh Singh

Call Number: QA76.9.D5

Data Lake for enterprises : leveraging Lambda architecture for building Enterprise Data Lake

Tomcy John, Pankaj Misra

Call Number: QA76.9.D5

Distributed computing in Java 9 : make the best of Java for distributed applications

Raja Malleswara Rao Pattamsetti

Call Number: QA76.9.D5

Distributed applications and interoperable systems : 17th IFIP WG 6.1 International Conference, DAIS 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Lydia Y. Chen, Hans P. Reiser (eds.)

Call Number: QA76.9.D5 D35 2017eb

High Performance Computing : 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings [electronic resource]

edited by Julian M. Kunkel, Rio Yokota, Pavan Balaji, David Keyes

Call Number: QA76.9.E94

Incident management for operations

Rob Schnepp, Ron Vidal, and Chris Hawley

Call Number: QA76.9.F34

Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Giovanni Pighizzini, Cezar Câmpeanu (eds.)

Call Number: QA76.9.F67 D34 2017eb

Virtual, augmented and mixed reality : 9th International Conference, VAMR 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings [electronic resource]

edited by Stephanie Lackey, Jessie Chen

Call Number: QA76.9.H85

Engineering psychology and cognitive ergonomics Part II : cognition and design : 14th International Conference, EPCE 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

edited by Don Harris (ed.)

Call Number: QA76.9.H85

Human aspects of IT for the aged population Part I : aging, design and user experience : third International Conference, ITAP 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Jia Zhou, Gavriel Salvendy (eds.)

Call Number: QA76.9.H85

Universal access in human-computer interaction Part III : designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Margherita Antona, Constantine Stephanidis (eds.)

Call Number: QA76.9.H85

Engineering psychology and cognitive ergonomics Part I : performance, emotion and situation awareness: 14th International Conference, EPCE 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Don Harris (ed.)

Call Number: QA76.9.H85

Universal access in human-computer interaction Part II : designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Margherita Antona, Constantine Stephanidis (eds.)

Call Number: QA76.9.H85

HCI in business, government and organizations Part II : interacting with information systems : 4th International Conference, HCIBGO 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan

Call Number: QA76.9.H85

Cross-cultural design : 9th International Conference, CCD 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings [electronic resource]

Pei-Luen Patrick Rau (ed.)

Call Number: QA76.9.H85

Universal access in human-computer interaction Part I : designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Margherita Antona, Constantine Stephanidis (eds.)

Call Number: QA76.9.H85

Augmented cognition Part I : enhancing cognition and behavior in complex human environments : 11th International Conference, AC 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

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

Call Number: QA76.9.H85

Augmented cognition Part II : enhancing cognition and behavior in complex human environments : 11th International Conference, AC 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

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

Call Number: QA76.9.H85

Social computing and social media Part II : applications and analytics : 9th International Conference, SCSM 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Gabriele Meiselwitz (ed.)

Call Number: QA76.9.H85

Human-computer interaction Part II : interaction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Masaaki Kurosu (ed.)

Call Number: QA76.9.H85

Human aspects of IT for the aged population Part II : aging, design and user experience : third International Conference, ITAP 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Jia Zhou, Gavriel Salvendy (eds.)

Call Number: QA76.9.H85

HCI in business, government and organizations Part I : interacting with information systems : 4th International Conference, HCIBGO 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan

Call Number: QA76.9.H85

Human-computer interaction Part I : user interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Masaaki Kurosu (ed.)

Call Number: QA76.9.H85

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 (ed.)

Call Number: QA76.9.H85

Social signal processing

[edited by] Judee K. Burgoon, Nadia Magnenat-Thalmann, Maja Pantic, Alessandro Vinciarelli

Call Number: QA76.9.H85

Python : end-to-end data analysis : leverage the power of Python to clean, scrape, analyze, and visualize your data : a course in three modules

Call Number: QA76.9.I52

Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings [electronic resource]

edited by Iain Phillips, Hafizur Rahaman

Call Number: QA76.9.L63

Formal concept analysis : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings

Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré (eds.)

Call Number: QA76.9.M35 I58 2017eb

Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke (eds.)

Call Number: QA76.9.M35 I58 2017eb

Memory dump analysis anthology. Volume 9a

Dmitry Vostokov

Call Number: QA76.9.M45

Natural and artificial computation for biomedicine and neuroscience : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings.

José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Javier Toledo Moreo, Hojjat Adeli (eds.)

Call Number: QA76.9.N37

Natural and artificial computation for biomedicine and neuroscience : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings.

José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Javier Toledo Moreo, Hojjat Adeli (eds.)

Call Number: QA76.9.N37

Language, data, and knowledge : first International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings

Jorge Gracia, Francis Bond, John P. McCrae, Paul Buitelaar, Christian Chiarcos, Sebastian Hellmann (eds.)

Call Number: QA76.9.N38

Building bots with Microsoft Bot Framework : build intelligent and smart conversational interfaces using Microsoft Bot Framework

Kishore Gaddam

Call Number: QA76.9.N38

Natural language processing and information systems : 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings

Flavius Frasincar, Ashwin Ittoo, Le Minh Nguyen, Elisabeth Métais (eds.)

Call Number: QA76.9.N38 I58 2017eb

Flexible query answering systems : 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017, Proceedings

Henning Christiansen, Hélène Jaudoin, Panagiotis Chountas, Troels Andreasen, Henrik Legind Larsen (eds.)

Call Number: QA76.9.Q4

Design, user experience, and usability Part III : theory, methodology, and management : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

Aaron Marcus, Wentao Wang (eds.)

Call Number: QA76.9.U83

Design, user experience, and usability Part II : theory, methodology, and management : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

edited by Aaron Marcus, Wentao Wang

Call Number: QA76.9.U83

Designing bots : creating conversational experiences

Amir Shevat

Call Number: QA76.9.U83

Python GUI programming cookbook : develop beautiful and powerful GUIs using the Python programming language

Burkhard A. Meier

Call Number: QA76.9.U83

Design, user experience, and usability Part I : theory, methodology, and management : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. [electronic resource]

edited by Aaron Marcus, Wentao Wang

Call Number: QA76.9.U83

IBM z/OS V2R2 communications server TCP/IP implementation. Volume 4, Security and policy-based networking

Bill White, Octavio Ferreira, Teresa Missawa, Teddy Sudewo

Call Number: QA76.9.U83

Storage design and implementation in vSphere 6 : a technology deep dive

Mostafa Khalil

Call Number: QA76.9.V5

KVM virtualization cookbook : learn how to effectively use KVM in production

Konstantin Ivanov

Call Number: QA76.9.V5

Children's reasoning while building fraction ideas

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

Call Number: QA137 .C455 2017

College algebra

Dennis G. Zill, Jacqueline M. Dewar

Call Number: QA154.3

Surveys in combinatorics 2017

edited by Anders Claesson [and four others]

Call Number: QA164

Notes on counting : an introduction to enumerative combinatorics

Peter J. Cameron

Call Number: QA164 .C36 2017

Regular graphs : a spectral approach

Zoran Stanić

Call Number: QA166 .S7325 2017

Generating random networks and graphs

A.C.C. Coolen, A. Annibale, E.S. Roberts

Call Number: QA166.17

Systems for big graph analytics [electronic resource]

Da Yan, Yuanyuan Tian, James Cheng

Call Number: QA166.245

Monoidal categories and topological field theory

Vladimir Turaev, Alexis Virelizier

Call Number: QA169

Groups, modules, and model theory -- surveys and recent developments : in memory of Rüdiger Göbel

edited by Manfred Droste, László Fuchs, Brendan Goldsmith, Lutz Strüngmann, editors

Call Number: QA174

From groups to categorial algebra : introduction to protomodular and Mal'tsev categories

Dominique A. Bourn

Call Number: QA174.2

Linear response theory : an analytic-algebraic approach

Giuseppe De Nittis, Max Lein

Call Number: QA184.2

Linear algebra : theory and applications

Ward Cheney, David Kincaid

Call Number: QA184.2

Generalized locally toeplitz sequences : theory and applications.

Carlo Garoni, Stefano Serra-Capizzano

Call Number: QA188

Exterior algebras : elementary tributes to Grassman's ideas

Vincent Pavan

Call Number: QA205 .P38 2017

Approximation with positive linear operators and linear combinations

Vijay Gupta, Gancho Tachev

Call Number: QA221

Sequential experiments with primes

Mihai Caragiu

Call Number: QA241

Goldbach's problem : selected topics

Michael Th. Rassias

Call Number: QA241

Rough sets : International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, Proceedings.

Lech Polkowski, Yiyu Yao, Piotr Artiemjew, Davide Ciucci, Dun Liu, Dominik Śl̨ezak, Beata Zielosko (eds.)

Call Number: QA248

Rough sets : International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, Proceedings.

Lech Polkowski, Yiyu Yao, Piotr Artiemjew, Davide Ciucci, Dun Liu, Dominik Śl̨ezak, Beata Zielosko (eds.)

Call Number: QA248

Understanding and using rough set based feature selection : concepts, techniques and applications

Muhammad Summari Raza, Usman Qamar

Call Number: QA248

Implementation and application of automata : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Arnaud Carayol, Cyril Nicaud (eds.)

Call Number: QA267 .C53 2017eb

Stochastic optimal control in infinite dimension : dynamic programming and HJB equations

Giorgio Fabbri, Fausto Gozzi, Andrezej Święch ; with a contribution by Marco Fuhrman and Gianmario Tessitore

Call Number: QA274

Groups, graphs, and random walks

edited by Tullio Ceccherini-Silberstein, Maura Salvatori, Ecaterina Sava-Huss

Call Number: QA274.73

The statistical stability phenomenon

Igor I. Gorban

Call Number: QA276 .G67 2017

Advanced Object-Oriented Programming in R : Statistical Programming for Data Science, Analysis and Finance

Thomas Mailund

Call Number: QA276.45.R3

Text mining with R : a tidy approach

Julia Silge and David Robinson

Call Number: QA276.45.R3

Metaprogramming in R : advanced statistical programming for data science, analysis, and finance [electronic resource]

Thomas Mailund

Call Number: QA276.45.R3

Practical predictive analytics : back to the future with R, Spark, and more!

Ralph Winters

Call Number: QA276.45.R3

Metaprogramming in R : advanced statistical programming for data science, analysis and finance

by Thomas Mailund

Call Number: QA276.45.R3 M35 2017

Biased sampling, over-identified parameter problems and beyond

Jing Qin

Call Number: QA276.6

Handbook of uncertainty quantification

Roger Ghanem, David Higdon, Houman Owhadi, editors

Call Number: QA276.8

Fundamentals of nonparametric Bayesian inference

Subhashis Ghosal, Aad van der Vaart

Call Number: QA278.8

Anomalies in net present value, returns and polynomials, and regret theory in decision-making

Michael C.I. Nwogugu

Call Number: QA279.4 .N86 2016eb

Design and Analysis of Time Series Experiments [electronic resource]

Richard McCleary, David McDowall, and Bradley Bartos

Call Number: QA280

Dynamical and geometric aspects of Hamilton-Jacobi and linearized Monge-Ampère equations : VIASM 2016

Nam Q. Le, Hiroyoshi Mitake, Hung V. Tran ; edited by Hiroyoshi Mitake, Hung V. Tran

Call Number: QA316

Actual causality

Joseph Y. Halpern

Call Number: QA320 .H325 2016eb

Tensor valuations and their applications in stochastic geometry and imaging

Eva B. Vedel Jensen, Markus Kiderlen, editors

Call Number: QA322

Free probability and random matrices

James A. Mingo, Roland Speicher

Call Number: QA326

Ramanujan's theta functions

Shaun Cooper

Call Number: QA345

Fractal zeta functions and fractal drums : higher-dimensional theory of complex dimensions

Michel L. Lapidus, Goran Radunović, Darko Žubrinić

Call Number: QA351

Periodic feedback stabilization for linear periodic evolution equations

Gengsheng Wang, Yashan Xu

Call Number: QA353.P4

Analytic, algebraic and geometric aspects of differential equations : B̜dlewo, Poland, September 2015

Galina Filipuk, Yoshishige Haraoka, Sławomir Michalik, editors

Call Number: QA370

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

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

Call Number: QA370

Dynamic data analysis : modeling data with differential equations

James Ramsay, Giles Hooker

Call Number: QA371

From ordinary to partial differential equations

Giampiero Esposito

Call Number: QA371

Elliptic differential equations : theory and numerical treatment

Wolfgang Hackbusch

Call Number: QA377

Grid generation methods

Vladimir D. Liseikin

Call Number: QA377

Finite difference computing with PDEs : a modern software approach

Hans Petter Langtangen, Svein Linge

Call Number: QA377

Mathematics of epidemics on networks : from exact to approximate models

István Z. Kiss, Joel C. Miller, Péter L. Simon

Call Number: QA401

The 3-D global spatial data model : principles and applications

Earl F. Burkholder

Call Number: QA402 .B866 2018

Deterministic global optimization : an introduction to the diagonal approach

Yaroslav D. Sergeyev, Dmitri E. Kvasov

Call Number: QA402.5

Optimization in engineering : models and algorithms

Ramteen Sioshansi, Antonio J. Conejo

Call Number: QA402.5

Frames and other bases in abstract and function spaces : novel methods in harmonic analysis.

Isaac Pesenson, Quoc Thong Le Gia, Azita Mayeli, Hrushikesh Mhaskar, Ding-Xuan Zhou, editors

Call Number: QA403

Excursions in harmonic analysis. Volume 5 : : the February Fourier Talks at the Norbert Wiener Center

Radu Balan, John J. Benedetto, Wojciech Czaja, Matthew Dellatorre, Kasso A. Okoudjou, editors

Call Number: QA403 .E928 2017 v. 5eb

Lectures on geometry

Edward Witten, Martin Bridson, Helmut Hofer, Marc Lackenby, Rahul Pandharipande ; N.M.J. Woodhouse, editor

Call Number: QA445

Trigonometry

Dennis G. Zill, Jacqueline M. Dewar

Call Number: QA531

A study in derived algebraic geometry

Dennis Gaitsgory, Nick Rozenblyum

Call Number: QA564 .G35 2017

Meanders : Sturm global attractors, seaweed lie algebras and classical Yang-Baxter equation

Anna Karnauhova

Call Number: QA567 .K284 2017

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

Hamish Carr, Christoph Garth, Tino Weinkauf, editors

Call Number: QA611.A1

Flows of non-smooth vector fields and degenerate elliptic equations : with applications to the Vlasov-Poisson and semigeostrophic systems

Maria Colombo

Call Number: QA613.619

Differential geometry : connections, curvature, and characteristic classes

Loring W. Tu

Call Number: QA641

Introduction to Symplectic Topology [electronic resource]

Call Number: QA649

Minkowski space : the spacetime of special relativity

Joachim Schröter ; translator, Christian Pfeifer

Call Number: QA685 .S37 2017

The lazy universe : an introduction to the principle of least action

by Jennifer Coopersmith

Call Number: QA871 .C66 2017

Progress in turbulence VII : proceedings of the iTi Conference in Turbulence 2016

Ramis Örlü, Alessandro Talamelli, Martin Oberlack, Joachim Peinke, editors

Call Number: QA913

Symmetry, phase modulation and nonlinear waves

Thomas J. Bridges, University of Surrey

Call Number: QA927 .B75 2017

Spectroscopy and radiative transfer of planetary atmospheres

Kelly Chance (Smithsonian Astrophysical Observatory, Harvard-Smithsonian Center for Astrophysics, USA), Randall V. Martin (Dalhousie University, Canada, Smithsonian Astrophysical Observatory, Harvard-Smithsonian Center for Astrophysics, USA)

Call Number: QB465 .C43 2017eb

Galactic radio astronomy

Yoshiaki Sofue

Call Number: QB476.5

The telescopic tourist's guide to the Moon [electronic resource]

Andrew May

Call Number: QB581

Bode's Law and the discovery of Juno : historical studies in asteroid research

Clifford J. Cunningham

Call Number: QB653.J86

Black holes : a laboratory for testing strong gravity

Cosimo Bambi

Call Number: QB843.B55

The second physicist : on the history of theoretical physics in Germany

Christa Jungnickel, Russell McCormmach

Call Number: QC9.G4

Concepts of mathematical physics in chemistry : a tribute to Frank E. Harris.

edited by John R. Sabin, Remigio Cabrera-Trujillo

Call Number: QC19.2

Quantum isometry groups

Debashish Goswami, Jyotishman Bhowmick

Call Number: QC20.7.G76

Collision phenomena in liquids and solids

Alexander L. Yarin, Ilia V. Roisman, Cameron Tropea

Call Number: QC145.2

Lectures on general quantum correlations and their applications

Felipe Fernandes Fanchini, Diogo de Oliveira Soares Pinto, Gerardo Adesso, editors

Call Number: QC174.12

Twenty-first century quantum mechanics : Hilbert Space to quantum computers : mathematical methods and conceptual foundations

Guido Fano, S M Blinder

Call Number: QC174.12

Rigorous time slicing approach to Feynman path integrals

Daisuke Fujiwara

Call Number: QC174.17.F45

Search for supersymmetry in pp Collisions at s = 8 TeV with a photon, lepton, and missing transverse energy

Yutaro Iiyama

Call Number: QC174.17.S9

Operational symmetries : basic operations in physics

Heinrich Saller

Call Number: QC174.17.S9

From classical to quantum fields [electronic resource]

Laurent Baulieu, John Iliopoulos, and Roland Sénéor

Call Number: QC174.45

Metastable glassy states under external perturbations : monitoring the effects of compression and shear-strain

Corrado Rainone

Call Number: QC176.8.P45

Zapped : from infrared to X-rays, the curious history of invisible light

Bob Berman

Call Number: QC352 .B46 2017

Fiber-optic Fabry-Perot sensors : an introduction

Yun-Jiang Rao, Zeng-Ling Ran, Yuan Gong

Call Number: QC411.4 .R36 2017

Nonlinear optical polarization analysis in chemistry and biology

Garth J. Simpson

Call Number: QC441

Colour and light : spatial experience

edited by Karin Fridell Anter and Ulf Klarén

Call Number: QC495.7 .C65 2017

Impact of ion implantation on quantum dot heterostructures and devices [electronic resource]

Arjun Mandal, Subhananda Chakrabarti

Call Number: QC611.6.Q35

Electromagnetic fluctuations at the nanoscale : theory and applications

Aleksandr I. Volokitin, Bo N.J. Persson

Call Number: QC665.E4

Theoretical Modeling of Organohalide Perovskites for Photovoltaic Applications

edited by Giacomo Giorgi, Koichi Yamashita

Call Number: QC715.4 .T47 2017

Atomistic spin dynamics : foundations and applications [electronic resource]

Olle Eriksson, Anders Bergman, Lars Bergqvist, and Johan Hellsvik

Call Number: QC754.2.M34

Their day in the sun : women of the Manhattan Project [electronic resource]

Ruth H. Howes and Caroline L. Herzenberg ; foreword by Ellen C. Weaver

Call Number: QC773.3.U5

Search for new physics in mono-jet final states in pp collisions : at sqrt(s)=13 TeV with the ATLAS Experiment at the LHC

Giuliano Gustavino

Call Number: QC787.P73

TCP 2014 : proceedings of the 6th International Conference on Trapped Charged Particles and Fundamental Physics, held in Takamatsu, Japan, 1-5, December 2014

Michiharu Wada, Peter Schury, Yuichi Ichikawa, editors

Call Number: QC793

Particle technology and engineering : an engineer's guide to particles and powders: fundamentals and computational approaches

Jonathan Seville, Chuan-Yu Wu

Call Number: QC793.2

Neutron scattering : applications in biology, chemistry, and materials science

edited by Felix Fernandez-Alonso and David L. Price

Call Number: QC793.5.N4628 N49718 2017

Study of the electroweak symmetry breaking sector for the LHC

Rafael Delgado López

Call Number: QC794.8.E44

Climate change research at universities : addressing the mitigation and adaptation challenges

Walter Leal Filho, editor

Call Number: QC981.8.C5

Mass spectrometry : a textbook

Jürgen H. Gross

Call Number: QD96.M3

Novel Bismuth-Oxyhalide-based materials and their applications

Mohammed A. Gondal, Chang Xiaofeng, Mohamed A. Dastageer

Call Number: QD181.B5

Chemistry of carbon nanostructures

edited by Klaus Müllen, Xinliang Feng

Call Number: QD181.C1 C454 2017

Solid-phase synthesis of nitrogenous heterocycles

Viktor Krchňák, editor ; with contributions by C.M.L. Delpiccolo [and more]

Call Number: QD262

Polymer science dictionary

Mark Alger

Call Number: QD380.3

Synthesis of functionalized organoboron compounds through copper(I) catalysis

Koji Kubota

Call Number: QD412.B1

Concepts of mathematical physics in chemistry : a tribute to Frank E. Harris.

John R. Sabin, Remigio Cabrera-Trujillo, [editors]

Call Number: QD462.A1

Advances in physical organic chemistry. Volume forty-nine

editors, Ian H. Williams, Nicholas H. Williams

Call Number: QD476

Advances in physical organic chemistry. Volume fifty

editors, Ian H. Williams, Nicholas H. Williams

Call Number: QD476

Mechanistic studies on transition metal-catalyzed C-H activation reactions using combined mass spectrometry and theoretical methods

Gui-Juan Cheng

Call Number: QD505

Construction and reactivity of Pt-based bi-component catalytic systems

Rentao Mu

Call Number: QD505

Catalysis for green energy and technology [electronic resource]

Samira Bagheri

Call Number: QD505

Encapsulated catalysts

edited by Samahe Sadjadi

Call Number: QD505 .E53 2017

Strategies for palladium-catalyzed non-directed and directed C-H bond functionalization

edited by Anant R. Kapdi, Debabrata Maiti

Call Number: QD505 .S76 2017

Electrochemical science for a sustainable society : a tribute to John O'M Bockris

Kohei Uosaki, editor

Call Number: QD553

Satellite Earth observations and their impact on society and policy

Masami Onoda, Oran R. Young, editors

Call Number: QE33.2.R4

Geoscientists at crime scenes : a companion to forensic geoscience

Rosa Maria Di Maggio, Pier Matteo Barone, editors

Call Number: QE38.5

The mountains that remade America : how Sierra Nevada geology impacts modern life

Craig H. Jones

Call Number: QE90.S5 J66 2017

Advancing culture of living with landslides. Volume 2, Advances in landslide science

Matjaž Mikoš, Binod Tiwari, Yueping Yin, Kyoji Sassa, editors

Call Number: QE599.A2

Terrestrial depositional systems : deciphering complexities through multiple stratigraphic methods

edited by Kate E. Zeigler (Zeigler Geologic Consulting, Albuquerque, NM, United States), William G. Parker (Petrified Forest National Park, Petrified Forest, AZ, United States)

Call Number: QE651 .T43 2017

Species and speciation in the fossil record

edited by Warren D. Allmon and Margaret M. Yacobucci

Call Number: QE721.2.E85 S64 2016eb

Freshwater fishes : 250 million years of evolutionary history

Lionel Cavin

Call Number: QE851 .C38 2017

Genealogies of environmentalism : the lost works of Clarence Glacken

edited by S. Ravi Rajan with Adam Romero and Michael Watts

Call Number: QH15 .G53 2017

The interconnected Arctic -- UArctic Congress 2016

Kirsi Latola, Hannele Savela, editors

Call Number: QH77.A68

Habitats and biota of the Gulf of Mexico : before the Deepwater Horizon oil spill.

edited by C. Herb Ward

Call Number: QH92.3

Habitats and biota of the Gulf of Mexico : before the Deepwater Horizon oil spill.

edited by C. Herb Ward

Call Number: QH92.3

The prairie peninsula

Gary Meszaros, Guy L. Denny

Call Number: QH104.5.M47 M47 2017

A natural history of California

Allan A. Schoenherr

Call Number: QH105.C2 S36 2017

Lung epithelial biology in the pathogenesis of pulmonary disease

edited by Venkataramana K. Sidhaye, Michael Koval

Call Number: QH308.2 .L86 2017

11th International Conference on Practical Applications of Computational Biology & Bioinformatics

Florentino Fdez-Riverola, Mohd Saberi Mohamad, Miguel P. Rocha, Juan F. De Paz, Tiago Pinto, editors

Call Number: QH324.2

Data-centric biology : a philosophical study

Sabina Leonelli

Call Number: QH331 .L5283 2016eb

Planning later life : bioethics and public health in ageing societies

edited by Mark Schweda, Larissa Pfaller, Kai Brauer, Frank Adloff, and Silke Schicktanz

Call Number: QH332 .P57 2017

To fix or to heal : patient care, public health, and the limits of biomedicine

edited by Joseph E. Davis and Ana Marta González

Call Number: QH332 .T62 2016eb

Invasive species : risk assessment and management

edited by Andrew P. Robinson, School of Mathematics and Statistics, University of Melbourne, Victoria Australia, Terry Walshe, Australian Institute of Marine Science, Australia, Mark A. Burgman, Centre for Environmental Policy, Imperial College, London, United Kingdom, Mike Nunn, Australian Centre for International Agricultural Research, Australian Capital Territory, Australia

Call Number: QH353 .I58285 2017

Chance in evolution

edited by Grant Ramsey and Charles H. Pence

Call Number: QH360.5 .C474 2016eb

Evolutionary theory : a hierarchical perspective

edited by Niles Eldredge, Telmo Pievani, Emanuele Serrelli, and Ilya Tëmkin

Call Number: QH360.5 .E97 2016eb

Phylogenomics : an introduction

Christoph Bleidorn

Call Number: QH367.5

Introduction to coevolutionary theory

Scott Nuismer

Call Number: QH372 .N85 2017

Crumbling genome : the impact of deleterious mutations on humans

Alexey S. Kondrashov

Call Number: QH390 .K66 2017

Statistical approaches to gene-environment interactions for complex phenotypes

Windle, Michael, ed

Call Number: QH438.5 .S73 2016eb

Biobanking of human biospecimens : principles and practice

edited by Pierre Hainaut, Jim Vaught, Kurt Zatloukal, Markus Pasterk

Call Number: QH441.2

Genetically modified organisms in developing countries : risk analysis and governance

edited by Ademola A. Adenle, E. Jane Morris, Denis J. Murphy

Call Number: QH442.6 .G475 2017

Genome analysis and human health

Leena Rawal, Sher Ali, editors

Call Number: QH447

Introduction to genomics

Arthur Lesk

Call Number: QH447 .L47 2017

Rapid cell magnetisation using cationised magnetoferritin

Sara Correia Carreira

Call Number: QH505

Computational bioacoustics : biodiversity monitoring and assessment

Todor Dimitrov Ganchev

Call Number: QH541.15.B56 G 2017

Spatializing the history of ecology : sites, journeys, mappings

edited by Raf de Bont and Jens Lachmund

Call Number: QH541.15.S62 S636 2017

Exploring the marine ecology from space : experience from Russian-Norwegian cooperation

Dmitry V. Pozdnyakov, Lasse H. Pettersson, Anton A. Korosov

Call Number: QH541.5.S3

Bioassays with arthropods

Jacqueline L. Robertson [and three others]

Call Number: QH545.P4 R478 2017

Pancreas, kidney and skin regeneration

Phuc Van Pham, editor

Call Number: QH588.S83

Nuclear receptors in development and disease

edited by Douglas Forrest, Sophia Tsai

Call Number: QH603.C43 2017

Cell division machinery and disease

Monica Gotta, Patrick Meraldi, editors

Call Number: QH605

Medicinally important trees

Aisha Saleem Khan

Call Number: QK99.A1

Biogeography of mycorrhizal symbiosis

Leho Tedersoo, editor

Call Number: QK604.2.M92

The geometrical beauty of plants

Johan Gielis

Call Number: QK640

Plant stress tolerance : an integrated omics approach

Kareem A. Mosa

Call Number: QK754

Sulfur metabolism in higher plants : fundamental, environmental and agricultural aspects

Luit J. De Kok, Malcolm J. Hawkesford, Silvia H. Haneklaus, Ewald Schnug, editors

Call Number: QK898.S8

Pollen tip growth : from biophysical aspects to systems biology

Gerhard Obermeyer, José Feijó, editors

Call Number: QK926

Plant gene silencing : mechanisms and applications

edited by Tamas Dalmay

Call Number: QK981.4 .P5794 2017

Displaying death and animating life : human-animal relations in art, science, and everyday life

Jane C. Desmond

Call Number: QL85 .D485 2016eb

Physiology of the Cladocera

Nikolai N. Smirnov

Call Number: QL444.B83 S645 2017

Global Diversity and Ecological Function of Parasites of Euphausiids [electronic resource]

Call Number: QL444.M338

Why every fly counts : a documentation about the value and endangerment of insects

Hans-Dietrich Reckhaus

Call Number: QL463

Bugged : the insects who rule the world and the people obsessed with them

David MacNeal

Call Number: QL463 .M1988 2017

Genetic resources of neotropical fishes

Alexandre W. S. Hilsdorf, Eric M. Hallerman

Call Number: QL628.5

Fishes out of water : biology and ecology of mudskippers

edited by Zeehan Jaafar, Edward O. Murdy

Call Number: QL638.G7 Z44 2017

Ecology and management of blackbirds (Icteridae) in North America

edited by George M. Linz, Michael L. Avery, Richard A. Dolbeer

Call Number: QL696.P2475 E25 2017

The Sensory Ecology of Birds [electronic resource]

Graham R. Martin

Call Number: QL698.3 .M357 2017

Marine mammal welfare : human induced change in the marine environment and its impacts on marine mammal welfare

Andy Butterworth, editor

Call Number: QL713.2

Kalahari cheetahs : adaptations to an arid region

by M.G.L. Mills, Lewis Foundation, South Africa; Wildlife Conservation Research Unit, Department of Zoology, University of Oxford, and M.E.J. Mills, Lewis Foundation, South Africa ; in collaboration with C. T.T. Edwards - statistics, NIWA, Wellington, New Zealand, D. Gottelli - genetics, Institute of Zoology, Zoological Society of London, D.M. Scantlebury - energetics, Queen's University Belfast

Call Number: QL737.C23 M55 2017

Photographic and descriptive musculoskeletal atlas of bonobos : with notes on the weight, attachments, variations, and innervation of the muscles and comparisons with common chimpanzees and humans

Rui Diogo, Brian Shearer, Josep M. Potau, Juan F. Pastor, Felix J. de Paz, Julia Arias-Martorell, Cassandra Turcotte, Ashley Hammond, Evie Vereecke, Marie Vanhoof, Sandra Nauwelaerts, Bernard Wood

Call Number: QL737.P94

Great Plains bison

Dan O'Brien

Call Number: QL737.U53 O27 2017

Zebra stripes

Tim Caro

Call Number: QL737.U62 C38 2016eb

Malleable Anatomies : Models, Makers, and Material Culture in Eighteenth-Century Italy

Lucia Dacome

Call Number: QM11

Atlas of the human body : central nervous system and vascularization

Branislav Vidić, Milan Milisavljević, Aleksandar Maliković

Call Number: QM25 .A85 2017

Computational anatomy based on whole body imaging : basic principles of computer-assisted diagnosis and therapy

Hidefumi Kobatake, Yoshitaka Masutani, editors

Call Number: QM28

Atlas of lymphatic anatomy in the head, neck, chest and limbs

Wei-Ren Pan

Call Number: QM197

Breathing on the roof of the world : memoir of a respiratory physiologist

John B. West

Call Number: QP26.W47

Biology of vascular smooth muscle : vasoconstriction and dilatation

Yuansheng Gao

Call Number: QP110.V37

Impact of survivin acetylation on its biological function

David Dannheisig

Call Number: QP171

Reproductive ethics : new challenges and conversations

Lisa Campo-Engelstein, Paul Burcher, editors

Call Number: QP251

Cognitive informatics in health and biomedicine : understanding and modeling health behaviors

Vimla L. Patel, Jose F. Arocha, Jessica S. Ancker, editors

Call Number: QP357.5

The neuroscience of adolescence

Adriana Galván

Call Number: QP360.5 .G35 2017

Modern concepts of peripheral nerve repair

Kirsten Haastert-Talini, Hans Assmus, Gregor Antoniadis, editors

Call Number: QP365.5

Neuroscience basics : a guide to the brain's involvement in everyday activities

Jennifer L. Larimore

Call Number: QP376 .L37 2017

The secret life of the mind : how your brain thinks, feels, and decides

Mariano Sigman

Call Number: QP376 .S58713 2017

Designing EEG experiments for studying the brain : design code and example datasets

Aamir Saeed Malik, Hafeez Ullah Amin

Call Number: QP376.5 .M35 2017

Fearful asymmetry : Bouillaud, Dax, Broca, and the localization of language, Paris 1825-1879

Richard Leblanc

Call Number: QP399 .L43 2017

The Oxford compendium of visual illusions

Arthur G. Shapiro and Dejan Todorović

Call Number: QP495 .O94 2017

Biochemistry

Roger L. Miesfeld, Megan M. McEvoy

Call Number: QP514.2 .M54 2017

Cellular signal processing : an introduction to the molecular mechanisms of signal transduction

Friedrich Marks, Ursula Klingmüller, Karin Müller-Decker

Call Number: QP517.C45 M37 2017

Calcium entry channels in non-excitable cells

edited by Juliusz Ashot Kozak and James W. Putney, Jr

Call Number: QP535.C2 C35 2017

Reactivity of nitric oxide on copper surfaces : elucidated by direct observation of valence orbitals

Akitoshi Shiotari

Call Number: QP535.N1

The CRF signal : uncovering an information molecule

Jay Schulkin

Call Number: QP572.C62

Glyceraldehyde-3-Phosphate Dehydrogenase (GAPDH) : the quintessential moonlighting protein in normal cell function and in human disease

Michael A. Sirover

Call Number: QP601 .S57 2017

RNA activation

Long-Cheng Li, editor

Call Number: QP623

The endocannabinoid system : genetics, biochemistry, brain disorders, and therapy

edited by Eric Murillo-Rodríguez

Call Number: QP801.C27 E53 2017

Catecholamines : physiology, pharmacology, and pathology for students and clinicians

Lewis Landsberg

Call Number: QP801.C33 L36 2017

The neuroscience of cocaine : mechanisms and treatment

edited by Victor R. Preedy

Call Number: QP801.C68 .N48 2017

Discovery and development of neuroprotective agents from natural products : natural product drug discovery

edited by Goutam Brahmachari

Call Number: QP905 .D57 2017

Microbial resources : from functional existence in nature to applications

edited by Ipek Kurtböke

Call Number: QR41.2 .M463 2017

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

Gianfranco Donelli, editor

Call Number: QR46

Bacillus thuringiensis and Lysinibacillus sphaericus : characterization and use in the field of biocontrol

Lidia Mariana Fiuza, Ricardo Antonio Polanczyk, Neil Crickmore, editors

Call Number: QR82.B3

Microbes from hell

Patrick Forterre ; translated by Teresa Lavender Fagan

Call Number: QR84.8 .F6713 2016eb

Diversity and benefits of microorganisms from the tropics

João Lucio de Azevedo, Maria Carolina Quecine, editors

Call Number: QR100

Comparative ecology of microorganisms and macroorganisms

John H. Andrews

Call Number: QR100

Microbial biofilms : omics biology, antimicrobials and clinical implications

edited by Chaminda Jayampath Seneviratne

Call Number: QR100.8.B55 M53 2017

Psychrophiles : from biodiversity to biotechnology

Rosa Margesin, editor

Call Number: QR100.9

Antimicrobial drug resistance. Volume 1, Mechanisms of drug resistance

Douglas Mayers, Jack D. Sobel, Marc Ouellette, Keith S. Kaye, Dror Marchaim, editors

Call Number: QR177

Antimicrobial drug resistance. Volume 2, Clinical and epidemiological aspects

Douglas Mayers, Jack D. Sobel, Marc Ouellette, Keith S. Kaye, Dror Marchaim, editors,

Call Number: QR177

Milestones in immunology : based on collected papers

Domenico Ribatti

Call Number: QR181.5 .R53 2017

MIF family cytokines in innate immunity and homeostasis

Richard Bucala, Jürgen Bernhagen, editors

Call Number: QR185.8.C95

Foodborne pathogens : virulence factors and host susceptibility

Joshua B. Gurtler, Michael P. Doyle, Jeffrey L. Kornacki, editors

Call Number: QR201.F62

Probiotics and plant health [electronic resource]

Vivek Kumar... [et al.], editors

Call Number: QR351

Using words and things : language and philosophy of technology

Mark Coeckelbergh

Call Number: T10.6 .C636 2017

How to prepare defense-related scientific and technical reports : guidance for government, academia, and industry

Walter W. Rice

Call Number: T11 .R54 2007eb

Men, machines, and modern times

Elting E. Morison

Call Number: T14 .M59 2017

Gender and innovation in the new economy : women, identity, and creative work [electronic resource]

Seppo Poutanen, Anne Kovalainen

Call Number: T36

Integer Programming and Combinatorial Optimization : 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings [electronic resource]

edited by Friedrich Eisenbrand, Jochen Koenemann

Call Number: T57.74

Models, Algorithms, and Technologies for Network Analysis : NET 2016, Nizhny Novgorod, Russia, May 2016

Valery A. Kalyagin, Alexey I. Nikolaev, Panos M. Pardalos, Oleg A. Prokopyev, editors

Call Number: T57.85

The lessons school forgot : how to hack your way through the technology revolution

Steve Sammartino

Call Number: T58.5

Reclaiming information and communication technologies for development [electronic resource]

Call Number: T58.5

Information systems and management in media and entertainment industries

Artur Lugmayr [and others], 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

Advanced information systems engineering workshops : CAiSE 2017 International Workshops, Essen, Germany, June 12-16, 2017, Proceedings

Andreas Metzger, Anne Persson (eds.)

Call Number: T58.6

Enterprise information systems : 18th International Conference, ICEIS 2016, Rome, Italy, April 25?28, 2016, Revised selected papers

Slimane Hammoudi, Leszek A. Maciaszek, Michele M. Missikoff, Olivier Camp, José Cordeiro (eds.)

Call Number: T58.6

Nanotechnology : an agricultural paradigm

Ram Prasad, Manoj Kumar, Vivek Kumar, editors

Call Number: T174.7

Nanotechnology and scientific communication : ways of talking about emerging technologies and their impact on society (2004-2008)

Deborah R. Bassett

Call Number: T174.7 .B37 2017

Nanotechnology for microelectronics and photonics

Raúl J. Martín-Palma and José M. Martínez-Duart

Call Number: T174.7 .M378 2017

OpenGL : build high performance graphics : assimilate the ideas shared in the course to utilize the power of OpenGL for performing a wide variety of tasks : a course in three modules

Call Number: T385

The Blender Python API : precision 3D modeling and add-on development

Chris Conlan

Call Number: T385

Human mental workload : models and applications : first International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised selected papers

Luca Longo, M. Chiara Leva (eds.)

Call Number: TA166

Interactive granular computations in networks and systems engineering : a practical perspective

Andrzej Jankowski

Call Number: TA168

Mathematics applied to engineering

edited by Mangey Ram, J. Paulo Davim

Call Number: TA330 .M38 2017

MATLAB deep learning : with machine learning, neural networks and artificial intelligence

Phil Kim

Call Number: TA345.5.M42

Fundamentals of deep learning : designing next-generation machine intelligence algorithms

Nikhil Buduma ; with contributions by Nicholas Locascio

Call Number: TA347.A78

Nonlinear computational solid mechanics

Jamshid Ghaboussi, David A. Pecknold, Xiping Steven Wu

Call Number: TA350 .G454 2017

Mechanics of flow-induced sound and vibration. Volume 1, General concepts and elementary sources

William K. Blake

Call Number: TA357 .B56 2017

Numerical modelling of wave energy converters : state-of-the-art techniques for single devices and arrays

edited by Matt Folley

Call Number: TA357.5.D37

The theory of laser materials processing : heat and mass transfer in modern technology

John Dowden, Wolfgang Schulz, editors

Call Number: TA367.5 .T44 2017eb

Probabilistic mechanics of quasibrittle structures : strength, lifetime, and size effect

Zdeněk P. Bažant, Northwestern University ; Jia-Liang Le, University of Minnesota

Call Number: TA409 .B39 2017

Transient electromagnetic-thermal nondestructive testing : pulsed eddy current and transient eddy current thermography

Yunze He, Bin Gao, Ali Sophian, Ruizhen Yang

Call Number: TA417.36 .H49 2017

Ultrasonic spectroscopy : applications in condensed matter physics and materials science

Robert G. Leisure, Colorado State University

Call Number: TA417.4 .L45 2017

Nanomaterials in daily life : compounds, synthesis, processing and commercialization

Zhypargul Abdullaeva

Call Number: TA418.9.N35

Natural nanogold

Boris Osovetsky

Call Number: TA418.9.N35

Polymer-engineered nanostructures for advanced energy applications

Zhiqun Lin, Yingkui Yang, Aiqing Zhang, editors

Call Number: TA418.9.N35

Ultrathin carbon-based overcoats for extremely high density magnetic recording

Reuben Jueyuan Yeo

Call Number: TA418.9.T45

Smart and multifunctional concrete toward sustainable infrastructures

Baoguo Han, Liqing Zhang, Jinping Ou

Call Number: TA439

Durability of concrete : design and construction

Mark Alexander, Arnon Bentur, and Sidney Mindess

Call Number: TA440 .A44 2017

Steel Fiber Reinforced Concrete : Behavior, Modelling and Design [electronic resource]

Call Number: TA444.S564 2017

2D materials : properties and devices

[edited by] Phaedon Avouris (IBM T.J. Watson Research Center, New York), Tony F. Heinz, Stanford University and SLAC National Accelerator Laboratory, Tony Low, University of Minnesota

Call Number: TA455.G65 A15 2017

Dynamics of civil structures. Volume 2 : : proceedings of the 35th IMAC, a Conference and Exposition on Structural Dynamics, 2017

Juan Caicedo, Shamim Pakzad, editors

Call Number: TA654

Model validation and uncertainty quantification. Volume 3 : : proceedings of the 35th IMAC, a Conference and Exposition on Structural Dynamics 2017

Robert Barthorpe, Roland Platz, Israel Lopez, Babak Moaveni, Costas Papadimitriou, editors

Call Number: TA654

Operational modal analysis : modeling, bayesian inference, uncertainty laws

Siu-Kui Au

Call Number: TA654.15

Load assumption for fatigue design of structures and components : counting methods, safety aspects, practical application

Michael Köhler, Sven Jenne, Kurt Pötter, Harald Zenner

Call Number: TA658.4

Image analysis and recognition : 14th International Conference, ICIAR 2017, Montreal, QC, Canada, July 5-7, 2017, Proceedings

Fakhri Karray, Aurélio Campilho, Farida Cheriet (eds.)

Call Number: TA1634

Information Processing in Medical Imaging : 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings [electronic resource]

edited by Marc Niethammer, Martin Styner, Stephen Aylward, Hongtu Zhu, Ipek Oguz, Pew-Thian Yap, Dinggang Shen

Call Number: TA1634

Representations, analysis and recognition of shape and motion from imaging data : 6th International Workshop, RFMI 2016, Sidi Bou Said Village, Tunisia, October 27-29, 2016, Revised selected papers

Boulbaba Ben Amor, Faten Chaieb, Faouzi Ghorbel (eds.)

Call Number: TA1634

Low-rank models in visual analysis : theories, algorithms, and applications

Zhouchen Lin, Hongyang Zhang

Call Number: TA1634 .L56 2017

Skeletonization : theory, methods and applications

edited by Punam K. Saha, Gunilla Borgefors, Gabriella Sanniti di Baja

Call Number: TA1634 .S54 2017

Passively mode-locked semiconductor lasers : dynamics and stochastic properties in the presence of optical feedback

Lina Jaurigue

Call Number: TA1688

Geoenvironmental practices and sustainability : linkages and directions

G.L. Sivakumar Babu, Krishna R. Reddy, Anirban De, Manoj Datta, editors

Call Number: TD171.9

Graphene oxide in environmental remediation process

Flavio Pendolino, Nerina Armata

Call Number: TD192.5

Electricity generation and the environment

Paul Breeze

Call Number: TD195.E4 B744 2017

Reviving the dying giant : integrated water resource management in the Zayandeh Rud Catchment, Iran

edited by Shahrooz Mohajeri, Lena Horlemann

Call Number: TD307

Challenges for sustainable solid waste management : Lessons from Thailand

Chanathip Pharino

Call Number: TD789.T5

Verifiable privacy protection for vehicular communication systems

David Förster

Call Number: TE228.37

Advances in solar heating and cooling

edited by R.Z. Wang and T.S. Ge

Call Number: TH7413

Global energy interconnection

Zhenya Liu

Call Number: TJ163.2

Smart energy : from fire-making to the post-carbon world

Jianping Liu, Shaoqiang Chen, and Tao Liu

Call Number: TJ163.2 .L587 2017

Energy management principles : applications, benefits, savings

Craig B. Smith, Kelly E. Parmenter

Call Number: TJ163.3

Energy storage for sustainable microgrid

David Wenzhong Gao

Call Number: TJ165

Storing energy : with special reference to renewable energy sources

Trevor M. Letcher

Call Number: TJ165 .L48 2016

Microbiorobotics : biologically inspired microscale robotic systems

Minjun Kim, Anak Agung Julius, U Kei Cheang

Call Number: TJ211.36

Winning design! : LEGO MINDSTORMS EV3 design patterns for fun and competition

James Jeffrey Trobaugh

Call Number: TJ211.45

Intelligent coordinated control of complex uncertain systems for power distribution network reliability

Xiangping Meng, Zhaoyu Pian

Call Number: TJ216

Trends in advanced intelligent control, optimization and automation : proceedings of KKA 2017 -- the 19th Polish Control Conference, Kraków, Poland, June 18-21, 2017

Wojciech Mitkowski, Janusz Kacprzyk, Krzysztof Oprz̨edkiewicz, Paweł Skruch, editors

Call Number: TJ217.5

Sliding mode control using MATLAB

Jinkun Liu

Call Number: TJ220.5 .L58 2017

The Arduino inventor's guid : learn electronics by making 10 awesome projects

Brian Huang and Derek Runberg

Call Number: TJ223.P76

Making things smart : easy embedded JavaScript programming for making everyday objects into intelligent machines

Gordon F. Williams

Call Number: TJ223.P76

Learn Arduino prototyping in 10 days : your crash course to build innovative devices

Kallol Bosu Roy Choudhuri

Call Number: TJ223.P76

Thermal power plant : pre-operational activities

Dipak K. Sarkar

Call Number: TJ395

Thermal power plant : design and operation

Dipak K. Sarkar

Call Number: TJ395

Apache Spark 2.x cookbook : Cloud-ready recipes to do analytics and data science on Apache Spark

Rishi Yadav

Call Number: TJ785

Towards nearly zero energy : urban settings in the Mediterranean climate

Annarita Ferrante

Call Number: TJ807.9.M43

Marketing renewable energy : concepts, business models and cases

Carsten Herbes, Christian Friege, editors

Call Number: TJ808

Electric renewable energy systems

Muhammad H. Rashid

Call Number: TJ808

Developing the global bioeconomy : technical, market, and environmental lessons from bioenergy

edited by Patrick Lamers, Erin Searcy, J. Richard Hess, Heinz Stichnothe

Call Number: TJ808

Clean energy for sustainable development : comparisons and contrasts of new approaches

editors Mohammad G. Rasul, Abul kalam Azad, Subhash Sharma

Call Number: TJ808

Integration of large-scale renewable energy into bulk power systems : from planning to operation

Pengwei Du, Ross Baldick, Aidan Tuohy, editors

Call Number: TJ808 .I58 2017

The performance of concentrated solar power (CSP) systems : analysis, measurement and assessment

edited by Peter Heller

Call Number: TJ810

Solar energy storage

edited by Bent Sørensen

Call Number: TJ810

Solar power generation

Paul Breeze

Call Number: TJ810

Large-scale wind power grid integration : technological and regulatory issues

editors, Ningbo Wang, Chongqing Kang, Dongming Ren

Call Number: TJ820

Wind power generation

Paul Breeze

Call Number: TJ820

Wind energy engineering : a handbook for onshore and offshore wind turbines [electronic resource]

edited by Trevor M. Letcher

Call Number: TJ820

CNC milling for makers : basics - techniques - applications

Christian Rattat ; translated by Jeremy Cloot

Call Number: TJ1189

The locomotive portraits = : Lokomotiven im Portrat = Portraits de Locomotives

by Dave Bohn and Rodolfo Petschek ; locomotive essays by John T. Labbe ; coordination and oral history by Mary Millman ; technical assistance by the Whatcom Museum of History and Art, Bellingham

Call Number: TJ6303.3.W37 .B64 1999

Circuit analysis laboratory workbook

Teri L. Piatt and Kyle E. Laferty, Wright State Univesity

Call Number: TK454 .P523 2017eb

Innovation and disruption at the grid's edge : how distributed energy resources are disrupting the utility business model

edited by Fereidoon P. Sioshanshi

Call Number: TK1005

Distributed generation systems : design, operation and grid integration

G.B. Gharehpetian, S. Mohammad Mousavi Agah

Call Number: TK1006

Power quality in power systems and electrical machines

Mohammad A.S. Masoum, Ewald F. Fuchs

Call Number: TK1010 .F87 2015eb

Fuel flexible energy generation : solid, liquid and gaseous fuels

editor John Oakey

Call Number: TK1041

Coal-fired generation

Paul Breeze

Call Number: TK1051

Geothermal power plants : principles, applications, case studies, and environmental impact

Ronald DiPippo

Call Number: TK1055

Gas-turbine power generation

Paul Breeze

Call Number: TK1076

Grid-connected photovoltaic power generation : technologies, engineering economics, and risk management

Peter Gevorkian

Call Number: TK1087

Solar photovoltaic technology production : potential environmental impacts and implications for governance

Senthilarasu Sundaram, David Benson, and Tapas Kumar Mallick

Call Number: TK1087

Three Mile Island : the meltdown crisis and nuclear power in American popular culture

Grace Halden

Call Number: TK1345.H37 H35 2017

Offshore wind farms : technologies, design and operation

edited by Chong Ng and Li Ran

Call Number: TK1541

Solar chimney power plant generating technology

edited by Tingzhen Ming

Call Number: TK1545

Multicomponent silicides for thermoelectric materials : phase stabilities, synthesis, and device tailoring [electronic resource]

Jean-Claude Tedenac

Call Number: TK2950

Electric energy storage systems : flexibility options for smart grids

Przemyslaw Komarnicki, Pio Lombardi, Zbigniew Styczynski

Call Number: TK2980

Active power line conditioners : design, simulation and implementation for improving power quality

Patricio Salmerón Revuelta, Salvador Pérez Litrán, Jaime Prieto Thomas

Call Number: TK3001

Energy positive neighborhoods and smart energy districts : methods, tools, and experiences from the field

edited by A. Monti, D. Pesch, K.A. Ellis, P. Mancarella

Call Number: TK3001

Superconductors in the power grid : materials and applications

editor Christopher Rey

Call Number: TK3001

Unified power flow controller technology and application

Yin Jijun [and five others]

Call Number: TK3070 .Y55 2017

Innovation and disruption at the grid's edge : how distributed energy resources are disrupting the utility business model

edited by Fereidoon P. Sioshansi

Call Number: TK3091 .I55 2017

Smart energy grid engineering

edited by Hossam A. Gabbar

Call Number: TK3105

Microgrid technology and engineering application

Fusheng Li, Li Ruisheng, Zhou Fengquan

Call Number: TK3105

Mathematical models of electrical network systems : theory and applications -- an introduction [electronic resource]

Andrej Kłos

Call Number: TK3226

Information theoretic security and privacy of information systems

[edited by] Rafael F. Schaefer, Holger Boche, Ashish Khisti, H. Vincent Poor

Call Number: TK5102.85

Information theoretic security and privacy of information systems

[edited by] Rafael F. Schaefer, Technische Universität Berlin, Holger Boche, Technische Universität München, Ashish Khisti, University of Toronto, H. Vincent Poor, Princeton University

Call Number: TK5102.85 .I534 2017

Digital Signal Processing 101 : Everything You Need to Know to Get Started

Michael Parker

Call Number: TK5102.9 .P385 2017eb

Wireless mobile communication and healthcare : 6th International Conference, MobiHealth 2016, Milan, Italy, November 14-16, 2016, Proceedings

Paolo Perego, Giuseppe Andreoni, Giovanna Rizzo (eds.)

Call Number: TK5103.2

Wireless algorithms, systems, and applications : 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings

Liran Ma, Abdallah Khreishah, Yan Zhang, Mingyuan Yan (eds.)

Call Number: TK5103.2

Mobility management in LTE heterogeneous networks

Abhay Karandikar, Nadeem Akhtar, Mahima Mehta

Call Number: TK5103.48325

Wired/wireless internet communications : 15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21-23, 2017, Proceedings

Yevgeni Koucheryavy, Lefteris Mamatas, Ibrahim Matta, Aleksandr Ometov, Panagiotis Papadimitriou (eds.)

Call Number: TK5103.4885

Visible light communications : theory and applications

edited by, Zabih Ghassemlooy, Luis Nero Alves, Stanislav Zvánovec, Mohammad-Ali Khalighi

Call Number: TK5103.59 .V57 2017

Synchronization in digital communication systems

Fuyun Ling, Twinclouds Consulting, LLC, San Diego

Call Number: TK5105.4 .L56 2017

Stochastic optimization for distributed energy resources in smart grids

Yuanxiong Guo, Yuguang Fang, Pramod P. Khargonekar

Call Number: TK5105.5

Working with Linux : quick hacks for the command line : shell scripting hacks for Linux developers

Petru Işfan, Bogdan Vaida

Call Number: TK5105.5

Building the network of the future : getting smarter, faster, and more flexible with a software centric approach

[edited] by John Donovan and Krish Prabhu

Call Number: TK5105.5 .B8454 2017

Security of networks and services in an all-connected world : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings

Daphne Tuncer, Robert Koch, Rémi Badonnel, Burkhard Stiller (eds.)

Call Number: TK5105.5 .I58 2017eb

CoreOS in action : running applications on Container Linux

Matt Bailey

Call Number: TK5105.52

IBM geographically dispersed resiliency for IBM power systems

Dino Quintero [and eight others]

Call Number: TK5105.548

Nmap : network exploration and security auditing cookbook : a complete guide to mastering Nmap and its scripting engine, covering practical tasks for penetration testers and system administrators

Paulino Calderon

Call Number: TK5105.5485

Mastering non-functional requirements : analysis, architecture, and assessment

Sameer Paradkar

Call Number: TK5105.5828

Learning OpenDaylight : the art of deploying successful networks

Reza Toghraee

Call Number: TK5105.5833

OpenDaylight cookbook : explore how to move from legacy networking to software-defined networking

Mathieu Leman [and five others]

Call Number: TK5105.5833

IPv6 fundamentals : a straightforward approach to understanding IPv6

Rick Graziani

Call Number: TK5105.585

Security and privacy in communication networks : 12th International Conference, SecureComm 2016, Guangzhou, China, October 10-12, 2016, Proceedings

Robert Deng, Jian Weng, Kui Ren, Vinod Yegneswaran (eds.)

Call Number: TK5105.59

Zero trust networks : building secure systems in untrusted networks

Evan Gilman and Doug Barth

Call Number: TK5105.59

Penetration testing bootcamp : quickly get up and running with pentesting techniques

Jason Beltrame

Call Number: TK5105.59

The cybersecurity dilemma : hacking, trust, and fear between nations

Ben Buchanan

Call Number: TK5105.59 .B83 2016eb

Mastering Active Directory : automate tasks by leveraging PowerShell for Active Directory Domain Services 2016

Dishan Francis

Call Number: TK5105.595

Learn Cisco network administration in a month of lunches

Ben Piper

Call Number: TK5105.8.C57

DS8000 copy services

Axel Westphal [and eight others]

Call Number: TK5105.86

Implementing the IBM system storage SAN volume controller with IBM Spectrum Virtualize V7.8

Jon Tate [and five others]

Call Number: TK5105.86

IBM sstem storage SAN Volume Controller and Storwize V7000 best practices and performance guidelines

Jon Tate [and six others]

Call Number: TK5105.86

Microsoft IIS 10.0 cookbook : task-oriented recipes to manage your web server with ease

Ashraf Khan

Call Number: TK5105.875.I57

Build applications with Meteor : full stack development

Dobrin Ganev

Call Number: TK5105.875.I6

Introduction to Google Analytics : a guide for absolute beginners

Todd Kelsey with Brabdon Lyon

Call Number: TK5105.885.G66

Business in real-time using Azure IoT and Cortana intelligence suite : driving your digital transformation

Bob Familiar, Jeff Barnes

Call Number: TK5105.8857

The Internet of Things : living in a connected world

BCS, the Chartered Institute for IT, [editor]

Call Number: TK5105.8857

Intel Edison projects : build exciting IoT projects with Intel Edison

Avirup Basu

Call Number: TK5105.8857

IoT fundamentals : networking technologies, protocols, and use cases for the Internet of Things

David Hanes [and four others]

Call Number: TK5105.8857

Android Things projects : efficiently build IoT projects with Android Things [electronic resource]

Francesco Azzola

Call Number: TK5105.8857 .A99 2017eb

Introduction to search engine optimization : a guide for absolute beginners

Todd Kelsey

Call Number: TK5105.888

Learning HTTP/2 : a practical guide for beginners

Stephen Ludin and Javier Garza

Call Number: TK5105.888

CORS essentials : Cross Origin Resource Sharing

Rajesh Gunasundaram, Randall Goya

Call Number: TK5105.888

User experience mapping : get closer to your users and create better products for them

Peter W. Szabo

Call Number: TK5105.888

Web Technologies and Applications : APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings

edited by Atsuyuki Morishima, Rong Zhang, Wenjie Zhang, Lijun Chang, Tom Z.J Fu, Kuien Liu, Xiaoyan Yang, Jia Zhu, Zhiwei Zhang

Call Number: TK5105.888

DEVOPS WITH OPENSHIFT : cloud deployments made easy [electronic resource]

Call Number: TK5105.888

Collaborative Web development

Adam D. Scott

Call Number: TK5105.888

Bootstrap 4 cookbook : over 75 recipes to help you build elegant and responsive web applications with Bootstrap 4

Ajdin Imsirovic

Call Number: TK5105.888

Web service implementation and composition techniques

Hye-young Paik, Angel Lagares Lemos, Moshe Chai Barukh, Boualem Benatallah, Aarthi Natarajan

Call Number: TK5105.88813

Reasoning web : semantic interoperability on the web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial lectures

Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab (eds.)

Call Number: TK5105.88815

Jump start Adobe XD

by Daniel Schwarz

Call Number: TK5105.8883

Serverless architectures on AWS : with examples using AWS Lambda

Peter Sbarski

Call Number: TK5105.8883

Learning Angular for .NET developers : build modern single-page web applications using Angular and rock-solid web services using ASP.NET Web API

Rajesh Gunasundaram

Call Number: TK5105.8885.A26

ASP.NET Core : cloud-ready, enterprise web application development : create fast, scalable, and high performance applications with C# and ASP.NET Core : a course in three modules

Call Number: TK5105.8885.A26

Beginning build and release management with TFS 2017 and VSTS : leveraging continuous delivery for your business

Chaminda Chandrasekara

Call Number: TK5105.8885.M57

Rails 5 revealed : discover what's new in the latest version of the Ruby on Rails web application framework

Alan Bradburne

Call Number: TK5105.8885.R83

WordPress web application development : build rapid web applications with cutting-edge technologies using WordPress

Rakhitha Nimesh Ratnayake

Call Number: TK5105.8885.W66

Electronics explained : fundamentals for engineers, technicians, and makers

Louis E. Frenzel, Jr

Call Number: TK7819

A handbook on electronics & communications engineering : IES, GATE, PSUs & other competitive exams

Call Number: TK7862 .H36 2013

Organic radical polymers : new avenues in organic electronics

Sanjoy Mukherjee, Bryan W. Boudouris

Call Number: TK7871.15.P6

Op amps for everyone

Bruce Carter, Ron Mancini

Call Number: TK7871.58.O6

Field emission electronics

Nikolay Egorov, Evgeny Sheshin

Call Number: TK7871.7

Ordering phenomena in rare-earth nickelate heterostructures

Matthias Hepting

Call Number: TK7871.85

Spacer engineered FinFET architectures : high-performance digital circuit applications

Brajesh Kumar Kaushik, Sudeb Dasgupta, Pankaj Kumar Pal

Call Number: TK7871.95 .D37 2017

The IGBT Device : Physics, Design and Applications of the Insulated Gate Bipolar Transistor

B. Jayant Baliga

Call Number: TK7871.96.B55

Power converters with digital filter feedback control

Keng Wu

Call Number: TK7872.C8

System reduction for nanoscale IC design [electronic resource]

Peter Benner, editor

Call Number: TK7874

Three-dimensional integrated circuit design

Vasilis F. Pavlidis, Ioannis Savidis, Eby G. Friedman

Call Number: TK7874

Mechatronics and control of electromechanical systems

Sergey Edward Lyshevski

Call Number: TK7875 .L959 2017

Design for living with smart products : the intelligent home

Simone Rebaudengo

Call Number: TK7881.25

Recording tips for engineers : for cleaner, brighter tracks

Tim Crich

Call Number: TK7881.4

Recording tips for engineers : for cleaner, brighter tracks

Tim Crich

Call Number: TK7881.4 .C745 2017

Visual pattern discovery and recognition

Hongxing Wang, Chaoqun Weng, Junsong Yuan

Call Number: TK7882.P3

Advances in Neural Networks - ISNN 2017 : 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part II [electronic resource]

edited by Fengyu Cong, Andrew Leung, Qinglai Wei

Call Number: TK7882.P3

Robust digital processing of speech signals

Branko Kovačević [and three others]

Call Number: TK7882.S65

IBM Z connectivity handbook

Bill White [and seven others]

Call Number: TK7887.5

Embedded computing for high performance : efficient mapping of computations using customization, code transformations and compilation

João M.P. Cardoso, José Gabriel F. Coutinho, Pedro C. Diniz

Call Number: TK7895.E42

Sustainable power technologies and infrastructure : energy sustainability and prosperity in a time of climate change

Galen J. Suppes, Truman S. Storvick

Call Number: TK9145

Magnetic fusion energy : from experiments to power plants

edited by George H. Neilson

Call Number: TK9204

The driving instructor's handbook

John Miller

Call Number: TL152.66.G8

Advances in battery technologies for electric vehicles

[edited by] Bruno Scrosati, Jürgen Garche, Werner Tillmetz

Call Number: TL220

Koku janaru = : Aviation journal

Call Number: TL504 .K794

Tips on fatigue

by Clarence R. Smith

Call Number: TL671.2 .S58 1974

Sport aircraft you can build

Call Number: TL671.2 .S76 1977

Flights of imagination : aviation, landscape, design [electronic resource]

Sonja Dümpelmann

Call Number: TL725.3.L6

Introduction to multicopter design and control

Quan Quan

Call Number: TL776

The Space Shuttle program : technologies and accomplishments

Davide Sivolella

Call Number: TL789.8.U6

To Mars and beyond, fast! : how plasma propulsion will revolutionize space exploration

Franklin Chang Diaz and Erik Seedhouse

Call Number: TL793

Linking the space shuttle and space stations : early docking technologies from concept to implementation

David J. Shayler

Call Number: TL1095

Minerals and allied natural resources and their sustainable development : principles, perspectives with emphasis on the Indian scenario

Mihir Deb, Sanjib Chandra Sarkar

Call Number: TN103

HSLA steels 2015, microalloying 2015 & offshore engineering steels 2015 : conference proceedings, held November 11-13th, 2015, Hangzhou, Zhejiang Province, China

Organized by: The Chinese Society for Metals (CSM) and Chinese Academy of Engineering (CAE) ; supported by: Companhia Brasileira de Metalurgia e Mineração (CBMM) and The Vanadium International Technical Committee (Vanitec)

Call Number: TN693.I7

Principles and applications of well logging

Hongqi Liu

Call Number: TN871.35

Human factors in the chemical and process industries : making it work in practice

edited by Janette Edmonds

Call Number: TP150.S24

Methods in chemical process safety. 1

[edited by] Faisal Khan

Call Number: TP150.S24

Multiscale modeling for process safety applications

Arnab Chakrabarty, Sam Mannan, Tahir Cagin

Call Number: TP150.S24

Production of platform chemicals from sustainable resources

Zhen Fang, Richard L. Smith, Jr., Xinhua Qi, editors

Call Number: TP155.7

Industrial chemical process analysis and design

Mariano Martín Martín

Call Number: TP155.7

Chemical process safety : learning from case histories

Roy E. Sanders

Call Number: TP155.7

Sustainability in the design, synthesis and analysis of chemical engineering processes

edited by Gerardo Ruiz-Mercado, Heriberto Cabezas

Call Number: TP155.7

Scaling chemical processes : practical guides in chemical engineering

Jonathan Worstell

Call Number: TP155.7

Fluid mechanics for chemical engineers : with microfluids, CFD, and COMSOL multiphysics 5

James O. Wilkes

Call Number: TP155.7

Dynamic risk analysis in the chemical and petroleum industry : evolution and interaction with parallel disciplines in the perspective of industrial application

editors, Nicola Paltrinieri, Faisal Khan

Call Number: TP201

Nitrogen fixation

edited by Yoshiaki Nishibayashi, editor ; with contributions by M.J. Bezdek [and more]

Call Number: TP245.N8

Extremophilic enzymatic processing of lignocellulosic feedstocks to bioenergy

Rajesh K. Sani, R. Navanietha Krishnaraj, editors

Call Number: TP248.27.M53

Plant biotechnology : recent advancements and developments [electronic resource]

Suresh Kumar Gahlawat, Raj Kumar Salar, Priyanka Siwach, Joginder Singh Duhan, Suresh Kumar, Pawan Kaur, editors

Call Number: TP248.27.P55

Biotechnology of yeasts and filamentous fungi

Andriy A. Sibirny, editor

Call Number: TP248.27.Y43

Handbook of biofuels production : processes and technologies

edited by Rafael Luque, Carol Sze Ki Lin, Karen Wilson and James Clark

Call Number: TP339

Biofuels for aviation : feedstocks, technology and implementation

edited by Christopher J. Chuck

Call Number: TP339

Advances in bioenergy. Volume one

edited by Yebo Li, Xumeng Ge

Call Number: TP339

Victorian glassworlds : glass culture and the imagination 1830-1880 [electronic resource]

Isobel Armstrong

Call Number: TP854.G7

The anatomy of colour : the story of heritage paints and pigments

Patrick Baty

Call Number: TP936 .B389 2017

Glycerol : a versatile renewable feedstock for the chemical industry

Claudio J.A. Mota, Bianca Peres Pinto, Ana Lúcia de Lima

Call Number: TP973

Handbook of epoxy blends

Jyotishkumar Parameswaranpillai, Nishar Hameed, Jürgen Pionteck, Eamor M. Woo, editors

Call Number: TP1180.E6

Mexicana : fotografia moderna en Mexico, 1923-1940 : IVAM Centre Julio Gonzalez, 29 Enero - 17 Mayo 1998

Call Number: TR28 .M49 1998

The Nikon autofocus system : mastering focus for sharp images every time

Mike Hagen

Call Number: TR263.N5

David Busch's Nikon D5600 guide to digital SLR photography

David D. Busch

Call Number: TR263.N53

Fine art inkjet printing : the craft and art of the fine digital print

Jim Nickelson

Call Number: TR267

Digital painting in Photoshop

Susan Ruddick Bloom

Call Number: TR267.5.A3

The dramatic portrait : the art of crafting light and shadow

Chris Knight

Call Number: TR575

The photographer's guide to posing : techniques to flatter everyone

Lindsay Adler

Call Number: TR577

The enthusiast's guide to exposure : 49 photographic principles you need to know

John Greengo

Call Number: TR591

The practical zone system for film and digital photography : classic tool, universal applications

Chris Johnson

Call Number: TR591

Outdoor flash photography

John Gerlach and Barbara Gerlach

Call Number: TR606

The enthusiast's guide to night and low-light photography : 50 photographic principles you need to know

Alan Hess

Call Number: TR610

The art of photography : a personal approach to artistic expression

Bruce Barnbaum

Call Number: TR642

Katharina Sieverding : art and capital

editor, Kunst- und Ausstellungshalle der Bundesrepublik Deutschland GmbH, Bonn ; concept, Susanne Kleine, Katharina Sieverding, Orson Sieverding ; authors, Thomas Ebers, Hans-Jürgen Hafner, Susanne Kleine, Gerald Schröder, Rein Wolfs

Call Number: TR647 .S474 2017

Ed van der Elsken : camera in love

content editors Hripsimé Visser, Sophie Tates ; authors Susan Aasman, David Campany, Nan Goldin, Colin van Heezik, Valérie Jouve, Paulien Oltheten, Hripsimé Visser ; translation into English Sue McDonnell ; new photography Wim Hanenberg

Call Number: TR655 .E44813 2017

Carlo Scarpa : La Tomba Brion San Vito d'Altivole

Fotografie/Photography: Klaus Kinold ; Text: Hans-Michael Koetzle ; Übersetzungen/Translation: Deutsch/Englisch, Germany/English: Russell Stockman, Deutsch/Italienisch, German/Italian: Lucia Luger-Stock

Call Number: TR659 .K56 2016

Roland Fischer : refugees

essays by Stephan Lessenich, Bernhard Waldenfels ; editor: Kunstverein Rosenheim e.V. ; English translation: Volker Ellerbeck

Call Number: TR681.R48 F57 2016

Documenting the world : film, photography, and the scientific record

Gregg Mitman and Kelley Wilder, editors

Call Number: TR692 .D63 2016eb

Making believe : screen performance and special effects in popular cinema

Lisa Bode

Call Number: TR858 .B63 2017

Amateur movie making : aesthetics of the everyday in New England film, 1915-1960

edited by Martha J. McNamara and Karan Sheldon ; foreword by Alice T. Friedman ; with contributions by Dino Everett

Call Number: TR896 .A43 2017

Final cut Pro X 10.3 : professional post-production

Brendan Boykin

Call Number: TR899

Editing and montage in international film and video : theory and technique

Luís Fernando Morales Morante

Call Number: TR899

3D printing for dummies

Richard Horne, Kalani Kirk Hausman

Call Number: TS171.95

An applied guide to process and plant design

Seán Moran

Call Number: TS177

Additive manufacturing of metals : from fundamental technology to rocket nozzles, medical implants, and custom jewelry

John O. Milewski

Call Number: TS205

Cold rolling precision forming of shaft parts : theory and technologies

Jianli Song, Zhiqi Liu, Yongtang Li

Call Number: TS207.3.C65

The casting powders book

Kenneth C. Mills, Carl-Åke Däcker

Call Number: TS236

Weapon of choice : small arms and the culture of military innovation

Matthew Ford

Call Number: TS535

Conversion of Lignin into bio-based chemicals and materials

Chunbao Xu, Fatemeh Ferdosian

Call Number: TS933.L5

The art of sound : a visual history for audiophiles

Terry Burrows ; in collaboration with EMI Archive Trust

Call Number: TS2301.S6 B87 2017

Sustainability in fashion : a cradle to upcycle approach

Claudia E. Henninger, Panayiota J. Alevizou, Helen Goworek, Daniella Ryding, editors

Call Number: TT515

Food analysis

edited by S. Suzanne Nielsen

Call Number: TX541

Food analysis laboratory manual

edited by S. Suzanne Nielsen

Call Number: TX541

Housekeeping by design : hotels and labor

David Brody

Call Number: TX928 .B764 2016eb