Skip to main content

University Libraries

Science & Technology (General)

Items Acquired in January 2018 for the University Libraries

Before nature : cuneiform knowledge and the history of science

Francesca Rochberg

Call Number: Q125 .R716 2016eb

Information and the world stage : from philosophy to science, the world of forms and communications [electronic resource]

Bernard Dugué

Call Number: Q175

Neo-Aristotelian perspectives on contemporary science

edited by William M.R. Simpson, Robert C. Koons, and Nicholas J. Teh

Call Number: Q175 .N3875 2018

Exact thinking in demented times : the Vienna Circle and the epic quest for the foundations of science

Karl Sigmund

Call Number: Q175 .S5554 2017

Commonsense pluralism about truth : an empirical defence

Joseph Ulatowski

Call Number: Q175.32.T78

Who speaks for nature? : on the politics of science

Laura Ephraim

Call Number: Q175.5 .E64 2018

Managing scientific information and research data

Svetla Baykoucheva

Call Number: Q180.55.M3

Managing applied social research : tools, strategies, and insights

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

Call Number: Q180.55.M3 R87 2017

Global mobility of research scientists : the economics of who goes where and why

edited by Aldo Geuna

Call Number: Q180.55.S62

Studies in science education in the Asia-Pacific Region

edited by May May Hung Cheng, Alister Jones and Cathy Buntting

Call Number: Q183.4.A7 S78 2018

Scientific Computing and Algorithms in Industrial Simulations : Projects and Products of Fraunhofer SCAI

edited by Michael Griebel, Anton Schüller, Marc Alexander Schweitzer

Call Number: Q183.9

Introduction to Scilab : for engineers and scientists [electronic resource]

Sandeep Nagar

Call Number: Q183.9

Science in the archives : pasts, presents, futures

edited by Lorraine Daston

Call Number: Q224 .S35 2017eb

Machine learning using R : a comprehensive guide to machine learning

Karthik Ramasubramanian, Abhishek Singh

Call Number: Q325.5

Apache Spark 2.x machine learning cookbook : over 100 recipes to simplify machine learning model implementations with Spark

Siamak Amirghodsi [and three others]

Call Number: Q325.5

Learning and intelligent optimization : 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised selected papers

Roberto Battiti, Dmitri E. Kvasov, Yaroslav D. Sergeyev (eds.)

Call Number: Q325.5

Machine learning and cognition in enterprises : business intelligence transformed

Rohit Kumar

Call Number: Q325.5

Machine learning with R [electronic resource]

Abhijit Ghatak

Call Number: Q325.5

Practical reinforcement learning : develop self-evolving, intelligent agents with OpenAI Gym, Python, and Java

S.M. Farrukh Akhtar

Call Number: Q325.6

Intelligence science I : Second IFIP TC 12 International Conference, ICIS 2017, Shanghai, China, October 25-28, 2017, Proceedings

Zhongzhi Shi, Ben Goertzel, Jiali Feng (eds.)

Call Number: Q334

Modeling decisions for artificial intelligence : 14th International Conference, MDAI 2017, Kitakyushu, Japan, October 18-20, 2017, Proceedings

edited by Vicenç Torra, Yasuo Narukawa, Aoi Honda, Sozo Inoue

Call Number: Q334

AI*IA 2017 : Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi (eds.)

Call Number: Q334

Multi-disciplinary trends in artificial intelligence : 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings

Somnuk Phon-Amnuaisuk, Swee-Peng Ang, Soo-Young Lee (eds.)

Call Number: Q334 .M59 2017eb

Applications of cognitive computing systems and IBM Watson : 8th IBM Collaborative Academia Research Exchange

Danish Contractor, Aaditya Telang, editors

Call Number: Q335

Towards a code of ethics for artificial intelligence

Paula Boddington

Call Number: Q335

Bio-inspired computing : theories and applications : 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings

edited by Cheng He, Hongwei Mo, Linqiang Pan, Yuxin Zhao

Call Number: Q335

The digital mind : how science is redefining humanity

Arlindo Oliveira

Call Number: Q335 .O45 2017eb

Advances in intelligent data analysis XVI : 16th International Symposium, IDA 2017, London, UK, October 26-28, 2017, Proceedings

Niall Adams, Allan Tucker, David Weston (eds.)

Call Number: Q337.5

Neural information processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings.

Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy (eds.)

Call Number: Q337.5

Neural information processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings.

Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy (eds.)

Call Number: Q337.5

Neural information processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings.

Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy (eds.)

Call Number: Q337.5

Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings.

Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy (eds.)

Call Number: Q337.5

Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings.

edited by Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy

Call Number: Q337.5

Neural information processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings.

edited by Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy

Call Number: Q337.5

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

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

Call Number: Q342

Representing scientific knowledge : the role of uncertainty [electronic resource]

Chaomei Chen, Min Song

Call Number: Q375

Knowledge graphs and language technology : ISWC 2016 International Workshops: KEKI and NLP&DBpedia, Kobe, Japan, October 17-21, 2016, Revised selected papers

Marieke van Erp et al. (eds.)

Call Number: Q387

Spatial cognition X : 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised selected papers

Thomas Barkowsky, Heather Burte, Christoph Hölscher, Holger Schultheis (eds.)

Call Number: Q387

Conceptual modeling perspectives [electronic resource]

Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria Ribera Sancho, Ernest Teniente, editors

Call Number: Q387.2

Ontology-based data access leveraging subjective reports [electronic resource]

Gerardo I. Simari ... [et al.]

Call Number: Q387.4

Function spaces and inequalities : New Delhi, India, December 2015

Pankaj Jain, Hans-Jürgen Schmeisser, editors

Call Number: QA1

Humanizing mathematics and its philosophy : essays celebrating the 90th birthday of Reuben Hersh

Bharath Sriraman, editor

Call Number: QA8.4

An introduction to proof through real analysis

Daniel J. Madden, Jason A. Aubrey, The University of Arizona, Tucson, Arizona, USA

Call Number: QA9.54 .M335 2017

Mathematical modelling and applications : crossing and researching boundaries in mathematics education [electronic resource]

Gloria Ann Stillman, Werner Blum, Gabriele Kaiser, editors

Call Number: QA11.2

Research on Teaching and Learning Mathematics at the Tertiary Level : State-of-the-art and Looking Ahead

Irene Biza, Victor Giraldo, Reinhard Hochmuth, Azimehsadat Khakbaz, Chris Rasmussen

Call Number: QA11.2 .B5 2016

International perspectives on teaching and learning mathematics with virtual manipulatives

Patricia S. Moyer-Packenham, editor

Call Number: QA18 .I58 2016

Measured words : computation and writing in Renaissance Italy

Arielle Saiber

Call Number: QA27.I8 S25 2017

Understanding the mathematical way of thinking : the registers of semiotic representations

Raymond Duval ; edited by Tânia M. M. Campos

Call Number: QA36 .D88 2017

Industrial mathematics and complex systems : emerging mathematical models, methods and algorithms

Pammy Manchanda, René Lozi, Abul Hasan Siddiqi, editors

Call Number: QA37.2

Mathematical tapas. Volume 2, (From undergraduate to graduate level)

Jean-Baptiste Hiriart-Urruty

Call Number: QA39.3

Technologies and innovation : third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings

Rafael Valencia-García, Katty Lagos-Ortiz, Gema Alcaraz-Mármol, Javier Del Cioppo, Néstor Vera-Lucio, Martha Bucaram-Leverone (eds.)

Call Number: QA75.5

Theoretical computer science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

Dingzhu Du, Lian Li, En Zhu, Kun He (eds.)

Call Number: QA75.5

Topics in theoretical computer science : second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Mohammad Reza Mousavi, Jiří Sgall (eds.)

Call Number: QA75.5

Next Generation Computer Animation Techniques : Third International Workshop, AniNex 2017, Bournemouth, UK, June 22-23, 2017, Revised Selected Papers

edited by Jian Chang, Jian Jun Zhang, Nadia Magnenat Thalmann, Shi-Min Hu, Ruofeng Tong, Wencheng Wang

Call Number: QA75.5-76.95

Mobile payment systems : secure network architectures and protocols

Jesús Téllez, Sherali Zeadally

Call Number: QA75.59

Computer fundamentals and programming in C

Anita Goel, Ajay Mittal

Call Number: QA76

ICT education : 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017, Revised selected papers

Janet Liebenberg, Stefan Gruner (eds.)

Call Number: QA76.27

CompTIA A+ Certification Guide (220-901 and 220-902) : your IT career starts here

Matthew Bennett

Call Number: QA76.3

Certified information systems auditor (CISA) cert guide

Michael Gregg, Rob Johnson

Call Number: QA76.3

IBM z14 configuration setup

Octavian Lascu [and seven others]

Call Number: QA76.5

DataFlow supercomputing essentials : research, development and education

Veljko Milutinovic... [et al.]

Call Number: QA76.5

Parallel computational technologies : 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised selected papers

edited by Leonid Sokolinsky, Mikhail Zymbler

Call Number: QA76.58

Network and parallel computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

Xuanhua Shi, Hong An, Chao Wang, Mahmut Kandemir, Hai Jin (eds.)

Call Number: QA76.58

Mobile cloud computing : foundations and service models

Dijiang Huang, Huijun Wu

Call Number: QA76.585

Cloud native infrastructure : patterns for scalable infrastructure and applications in a dynamic environment

Justin Garrison and Kris Nova

Call Number: QA76.585

Working in the cloud : using web-based applications and tools to collaborate online

Jason R. Rich

Call Number: QA76.585

Learning Azure Functions : build scalable cloud systems with serverless architecture

Manisha Yadav, Mitesh Soni

Call Number: QA76.585

Azure for architects : implementing cloud design, DevOps, IoT, and serverless solutions on your public cloud

Ritesh Modi

Call Number: QA76.585

10 steps to a digital practice in the cloud : new levels of CPA firm workflow efficiency

John H. Higgins, Bryan L. Smith

Call Number: QA76.585

Combinatorial testing in cloud computing

Wei-Tek Tsai, Guanqiu Qi

Call Number: QA76.585

Cloud computing and security : third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised selected papers.

Xingming Sun, Han-Chieh Chao, Xingang You, Elisa Bertino (eds.)

Call Number: QA76.585

10 steps to a digital practice in the cloud

John H. Higgins, Bryan L. Smith

Call Number: QA76.585

Cloud computing and security : third international conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, revised selected papers.

Xingming Sun, Han-Chieh Chao, Xingang You, Elisa Bertino (eds.)

Call Number: QA76.585

Azure automation using the ARM Model : an in-depth guide to automation with Azure Resource Manager [electronic resource]

Shijimol Ambi Karthikeyan

Call Number: QA76.585

Take control of iCloud

by Joe Kissell

Call Number: QA76.585 .K57 2017

Learning React Native : building Native mobile apps with JavaScript

Bonnie Eisenman

Call Number: QA76.59

Semantic technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, proceedings

Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang (eds.)

Call Number: QA76.5913

Internet of things, smart spaces, and next generation networks and systems : 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings

Olga Galinina, Sergey Andreev, Sergey Balandin, Yevgeni Koucheryavy (eds.)

Call Number: QA76.5915

Ubiquitous computing and ambient intelligence : 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings

Sergio F. Ochoa, Pritpal Singh, José Bravo (eds.)

Call Number: QA76.5915

Ubiquitous networking : third International Symposium, UNet 2017, Casablanca, Morocco, May 9-12, 2017, Revised selected papers

Essaid Sabir, Ana García Armada, Mounir Ghogho, Mérouane Debbah (eds.)

Call Number: QA76.5915

Coding all-in-one

by Nikhil Abraham [and seven others]

Call Number: QA76.6

Mastering media with the Raspberry Pi : media centers, music, high end audio, video, and ultimate movie nights

Ralph Roberts

Call Number: QA76.6

Simulated evolution and learning : 11th international conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, proceedings

Yuhui Shi... [et al.] (eds.)

Call Number: QA76.618

AMP, building accelerated mobile pages : create lightning-fast mobile pages by leveraging AMP technology

Ruadhan O'Donoghue

Call Number: QA76.625

Pro ASP.NET Core MVC 2

Adam Freeman

Call Number: QA76.625

Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

edited by Dang Van Hung, Deepak Kapur

Call Number: QA76.63

ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday [electronic resource]

edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink

Call Number: QA76.63

Parallel architecture, Algorithm and Programming : 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings

Guoliang Chen, Hong Shen, Mingrui Chen (eds.)

Call Number: QA76.642

Windows PowerShell in action

Bruce Payette, Richard Siddaway

Call Number: QA76.66

Programming languages and systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Bor-Yuh Evan Chang (ed.)

Call Number: QA76.7

Mastering Assembly programming : from instruction set to kernel module with Intel processor

Alexey Lyashko

Call Number: QA76.73.A8

C++ templates : the complete guide

David Vandevoorde, Nicolai M. Josuttis, Douglas Gregor

Call Number: QA76.73.C153

C++ standard library quick reference

Peter Van Weert, Marc Gregoire

Call Number: QA76.73.C153

Mastering C++ programming : modern C++ at your fingertips

Jeganathan Swaminathan

Call Number: QA76.73.C153

Mastering the C++ 17 STL : make full use of the standard library components in C++ 17

Arthur O'Dwyer

Call Number: QA76.73.C153

C# and XML primer : XML essentials for C# and .NET development

Jonathan Hartwell

Call Number: QA76.73.C154

C# 7.0 in a nutshell : the definitive reference

Joseph Albahari & Ben Albahari

Call Number: QA76.73.C154

Learn C# in 7 days : Get up and running with C# 7 with async main, tuples, pattern matching, LINQ, regex, indexers, and more

Gaurav Aroraa

Call Number: QA76.73.C154

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

Andrew Troelsen, Philip Japikse

Call Number: QA76.73.C154

Network programming with Go : essential skills for using and securing networks

Jan Newmarch

Call Number: QA76.73.G63

Machine learning with Go : implement regression, classification, clustering, time-series models, neural networks, and more using the Go programming language

Daniel Whitenack

Call Number: QA76.73.G63

Go systems programming : master Linux and Unix system level programming with Go

Mihalis Tsoukalos

Call Number: QA76.73.G63

Haskell cookbook : build functional applications using Monads, Applicatives, and Functors

Yogesh Sajanikar

Call Number: QA76.73.H37

Sams teach yourself Java in 24 hours

Rogers Cadenhead

Call Number: QA76.73.J38

Pro Spring Boot : a no-nonsense guide containing case studies and best practices for Spring Boot

Felipe Gutierrez

Call Number: QA76.73.J38

Reactive programming with Java 9 : develop concurrent and asynchronous applications with Java 9

Tejaswini Mandar Jog

Call Number: QA76.73.J38

Mastering Java 9 : write reactive, modular, concurrent, and secure code

Dr. Edward Lavieri, Peter Verhas

Call Number: QA76.73.J38

Java data analysis : data mining, big data analysis, NoSQL, and data visualization

John R. Hubbard

Call Number: QA76.73.J38

Architecting modern Java EE applications : designing lightweight, business-oriented enterprise applications in the age of cloud, containers, and Java EE 8

Sebastian Daschner

Call Number: QA76.73.J38

Machine learning : end-to-end guide for Java developers : data analysis, machine learning and neural networks simplified

Richard M. Reese [and four others]

Call Number: QA76.73.J38

Java 9 modularity revealed : project Jigsaw and scalable Java applications [electronic resource]

Alexandru Jecan

Call Number: QA76.73.J38

Spring 5 recipes : a problem-solution approach

Marten Deinum, Daniel Rubio, Josh Long

Call Number: QA76.73.J38

Pro Spring 5 : an in-depth guide to the Spring framework and its tools

Iuliana Cosmina, Rob Harrop, Chris Schaefer, Clarence Ho

Call Number: QA76.73.J38

Beginning Java 9 fundamentals : arrays, objects, modules, JShell, and regular expressions

Kishori Sharan

Call Number: QA76.73.J38

Beginning jQuery : from the basics of jQuery to writing your own plug-ins [electronic resource]

Jack Franklin, Russ Ferguson

Call Number: QA76.73.J38

JavaScript : novice to ninja

by Darren Jones

Call Number: QA76.73.J39

Node.js in action

Alex Young, Bradley Meck, and Mike Cantelon

Call Number: QA76.73.J39

RxJS in action

Paul P. Daniels and Luis Atencio

Call Number: QA76.73.J39

Node.js, MongoDB and Angular web development

Brad Dayley, Brendan Dayley, Caleb Dayley

Call Number: QA76.73.J39

React for real : front-end code, untangled

by Ludovico Fischer

Call Number: QA76.73.J39

Isomorphic JavaScript web development : universal JavaScript with React and Node

Tomas Alabes, Konstantin Tarkus

Call Number: QA76.73.J39

Vue.js 2 and Bootstrap 4 web development : build responsive SPAs with Bootstrap 4, Vue.js 2, and Firebase

Olga Filipova

Call Number: QA76.73.J39

Web development with MongoDB and Node : build fast web applications for handling any kind of data

Bruno Joseph D'mello, Mithun Satheesh, Jason Krol

Call Number: QA76.73.J39

Mastering Immutable.js : better JavaScript development using immutable data

Adam Boduch

Call Number: QA76.73.J39

The CLI book : writing successful command line interfaces with Node.js [electronic resource]

Robert Kowalski

Call Number: QA76.73.J39

Introducing ArcGIS API 4 for JavaScript : turn awesome maps into awesome apps [electronic resource]

Rene Rubalcava

Call Number: QA76.73.J39

Learning Julia : abstract, concrete, and parametric types

Leah Hanson and Spencer Russell

Call Number: QA76.73.J8

Learning Julia : introduction to types

Leah Hanson and Spencer Russell

Call Number: QA76.73.J8

Beginning Julia programming : for engineers and scientists [electronic resource]

Sandeep Nagar

Call Number: QA76.73.J8

Nim in action

Dominik Picheta

Call Number: QA76.73.N55

PHP 7 Zend certification study guide : ace the ZCE 2017-PHP exam

Andrew Beak

Call Number: QA76.73.P224

Perl 6 deep dive : data manipulation, concurrency, functional programming, and more

Andrew Shitov

Call Number: QA76.73.P47

Python without fear : a beginner's guide that makes you feel smart

Brian Overland

Call Number: QA76.73.P98

Raspberry Pi for dummies

by Sean McManus and Mike Cook

Call Number: QA76.73.P98

Python for data analysis : data wrangling with Pandas, NumPy, and IPython

Wes McKinney

Call Number: QA76.73.P98

Programming with MicroPython : embedded programming with microcontrollers and Python

Nicholas H. Tollervey

Call Number: QA76.73.P98

Python machine learning : machine learning and deep learning with Python, scikit-learn, and TensorFlow

Sebastian Raschka & Vahid Mirjalili

Call Number: QA76.73.P98

Practical Python design patterns : Pythonic solutions to common problems

Wessel Badenhorst

Call Number: QA76.73.P98

Python machine learning case studies : five case studies for the data scientist

Danish Haroon

Call Number: QA76.73.P98

Python for R users : a data science approach

Ajay Ohri

Call Number: QA76.73.P98

MicroPython for the internet of things : a beginner's guide to programming with Python on microcontrollers [electronic resource]

Charles Bell

Call Number: QA76.73.P98

Python for the busy Java developer : the language, syntax, and ecosystem [electronic resource]

Deepak Sarda

Call Number: QA76.73.P98

Modern R programming cookbook : recipes to simplify your statistical applications

Jaynal Abedin

Call Number: QA76.73.R3

Neural networks with R : smart models using CNN, RNN, deep learning, and artificial intelligence principles

Giuseppe Ciaburro, Balaji Venkateswaran

Call Number: QA76.73.R3

Scala for machine learning : data processing, ML algorithms, smart analytics, and more

Patrick R. Nicolas

Call Number: QA76.73.S28

Programming with Scala : language exploration

Bhim P. Upadhyaya

Call Number: QA76.73.S28

SAS 9.4 SQL procedure user's guide

Call Number: QA76.73.S67

MySQL 8 for big data : effective data processing with MySQL 8, Hadoop, NoSQL APIs, and other big data tools

Shabbir Challawala [and three others]

Call Number: QA76.73.S67

Pro MySQL NDB Cluster

Jesper Wisborg Krogh, Mikiya Okuno

Call Number: QA76.73.S67

Swift 4 programming cookbook : 50 task-oriented recipes to make you productive with Swift 4

Keith Moon

Call Number: QA76.73.S95

Swift 4 protocol-oriented programming : bring predictability, performance, and productivity to your Swift applications

Jon Hoffman

Call Number: QA76.73.S95

Mastering Swift 4 : an in-depth and comprehensive guide on modern programming techniques with Swift

Jon Hoffman

Call Number: QA76.73.S95

Learning PowerShell DSC : automate deployment and configuration of your servers

James Pogran

Call Number: QA76.73.W56

Source code analytics with Roslyn and JavaScript data visualization

Sudipta Mukherjee ; foreword by Darius Blasband

Call Number: QA76.754

Reactive microsystems : the evolution of microservices at scale

Jonas Bonér

Call Number: QA76.754

Source code modularization : theory and techniques

Ayaz Isazadeh, Habib Izadkhah, Islam Elgedawy

Call Number: QA76.754

Software engineering

Chandramouli Subramanian [and three others]

Call Number: QA76.758

Fundamentals of software engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers

Mehdi Dastani, Marjan Sirjani (eds.)

Call Number: QA76.758

Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang

Call Number: QA76.758

Knowledge engineering and semantic web : 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings

Przemysław Różewski, Christoph Lange (eds.)

Call Number: QA76.758

Present and ulterior software engineering

Manuel Mazzara, Bertrand Meyer, editors

Call Number: QA76.758

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky

Call Number: QA76.758

The practice of enterprise modeling : 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings [electronic resource]

Geert Poels, Frederik Gailly, Estefania Serral Asensio, Monique Snoeck (eds.)

Call Number: QA76.758

Product-focused software process improvement : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Michael Felderer, Daniel MMéndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, Dietmar Winkler (eds.)

Call Number: QA76.758 .P76 2017eb

Building RESTful web services with PHP 7 : Lumen, Composer, API testing, microservices, and more

Haafiz Waheed-ud-din Ahmad

Call Number: QA76.76.A63

Spring 5 design patterns : master efficient application development with patterns such as proxy, singleton, the template method, and more

Dinesh Rajput

Call Number: QA76.76.A63

Beginning PowerApps : the non-developers guide to building business mobile applications [electronic resource]

Tim Leung

Call Number: QA76.76.A63

Stripes by example : a guide to the Java-based Stripes web framework

Brent Watson

Call Number: QA76.76.A65

ServiceNow application development : transform the way you build apps for enterprises

Sagar Gupta

Call Number: QA76.76.A65

Docker for developers

Chris Tankersley

Call Number: QA76.76.A65

MEAN cookbook : the meanest set of MEAN stack solutions around MongoDB, Express, AngularJS, and Node.js

Nicholas McClay

Call Number: QA76.76.A65

Progressive web apps with React : create lightning fast web apps with native power using React and Firebase

Scott Domes

Call Number: QA76.76.A65

Systems Practice: How to Act : In situations of uncertainty and complexity in a climate-change world [electronic resource]

by Ray Ison

Call Number: QA76.76.A65

Research in attacks, intrusions, and defenses : 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings

Marc Dacier, Michael Bailey, Michalis Polychronakis, Manos Antonakakis (eds.)

Call Number: QA76.76.A65

Decision and game theory for security : 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings

Stefan Rass, Bo An, Christopher Kiekintveld, Fei Fang, Stefan Schauer (eds.)

Call Number: QA76.76.A65

Beginning visual studio for Mac : build cross-platform apps with Xamarin and .NET Core

Alessandro Del Sole

Call Number: QA76.76.A65

The definitive guide to Firebase : build Android Apps on Google's mobile platform

Laurence Moroney

Call Number: QA76.76.A65

Electron : from beginner to pro : learn to build cross platform desktop applications using Github's electron [electronic resource]

Chris Griffith, Leif Wells

Call Number: QA76.76.A65

Beginning progressive web app development : creating a native app experience on the web [electronic resource]

Dennis Sheppard

Call Number: QA76.76.A65

Introduction to compiler design

Torben Ægidius Mogensen

Call Number: QA76.76.C65

Essential mathematics for games and interactive applications

James M. Van Verth, Lars M. Bishop

Call Number: QA76.76.C672

Advanced game design : a systems approach

Michael Sellers

Call Number: QA76.76.C672

Pro Java 9 games development : leveraging the JavaFX APIs

Wallace Jackson

Call Number: QA76.76.C672

Lean game development : apply lean frameworks to the process of game development [electronic resource]

Julia Naomi Rosenfield Boeira

Call Number: QA76.76.C672

Cross over to HTML5 game development : use your programming experience to create mobile games

Zarrar Chishti

Call Number: QA76.76.C672

Learn unity 2017 for iOS game development : create amazing 3D games for iphone and ipad [electronic resource]

Allan Fowler, Philip Chu

Call Number: QA76.76.C672

Serious games : third joint International Conference, JCSG 2017, Valencia, Spain, November 23-24, 2017, Proceedings

Mariano Alcañiz, Stefan Göbel, Minhua Ma, Manuel Fradinho Oliveira, Jannicke Baalsrud Hauge, Tim Marsh (eds.)

Call Number: QA76.76.C672 J65 2017eb

An architectural approach to level design

Christopher W. Totten

Call Number: QA76.76.C672 .T679 2014eb

Puppet 5 beginner's guide

John Arundel

Call Number: QA76.76.C69

Head first Agile

Andrew Stellman, Jennifer Greene

Call Number: QA76.76.D47

Agile automation and unified funtional testing

Rajeev Gupta

Call Number: QA76.76.D47

Agile approaches on large projects in large organizations

Brian Hobbs and Yvan Petit, School of Management, University of Quebec at Montreal

Call Number: QA76.76.D47

Implementing modern DevOps : enabling IT organizations to deliver faster and smarter

David Gonzalez

Call Number: QA76.76.D47

DevOps with Kubernetes : accelerating software delivery with container orchestrators

Hideto Saito, Hui-Chuan Chloe Lee, Cheng-Yang Wu

Call Number: QA76.76.D47

Understanding software : Max Kanat-Alexander on simplicity, coding, and how to suck less as a programmer

Max Kanat-Alexander

Call Number: QA76.76.D47

Mastering software variability with FeatureIDE

Jens Meinicke [and others]

Call Number: QA76.76.D47

Processing for Android : create mobile, sensor-aware, and VR applications using processing

Andrés Colubri

Call Number: QA76.76.D47

Oracle Application Express by design : managing cost, schedule, and quality

Patrick Cimolini

Call Number: QA76.76.D47

Software development, design and coding : with patterns, debugging, unit testing, and refactoring [electronic resource]

John F. Dooley

Call Number: QA76.76.D47

Failure-modes-based software reading [electronic resource]

Yang-Ming Zhu

Call Number: QA76.76.F34

HTML5 quick markup reference

Wallace Jackson

Call Number: QA76.76.H94

JSON quick syntax reference

Wallace Jackson

Call Number: QA76.76.H94

Using SVG with CSS3 and HTML5

Amelia Bellamy-Royds, Kurt Cagle, and Dudley Storey

Call Number: QA76.76.H94

Mastering CSS : a guided journey through modern CSS

Rich Finelli

Call Number: QA76.76.H94

Beginning XML with C# 7 : XML processing and data access for C# developers [electronic resource]

Bipin Joshi

Call Number: QA76.76.H94

Pro HTML5 Games : Learn to Build your Own Games using HTML5 and JavaScript

Aditya Ravi Shankar

Call Number: QA76.76.H94 .S384 2017

Multi-agent based simulation XVII : International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised selected papers

Luis Gustavo Nardin, Luis Antunes (eds.)

Call Number: QA76.76.I58

PRIMA 2017 : principles and practice of multi-agent systems : 20th International Conference, Nice, France, October 30-November 3, 2017, Proceedings

Bo An, Ana Bazzan, João Leite, Serena Villata, Leendert van der Torre (eds.)

Call Number: QA76.76.I58

Interactive storytelling : 10th International Conference on Interactive Digital Storytelling, ICIDS 2017 Funchal, Madeira, Portugal, November 14-17, 2017, Proceedings

Nuno Nunes, Ian Oakley, Valentina Nisi (eds.)

Call Number: QA76.76.I59

UNIX and Linux system administration handbook

Evi Nemeth, Garth Snyder, Trent R. Hein, Ben Whaley, Dan Mackin ; with James Garnett, Fabrizio Branca, and Adrian Mouat

Call Number: QA76.76.O63

Software testing automation tips : 50 things automation engineers should know

Gennadiy Alpaev

Call Number: QA76.76.T48

Java Unit Testing with JUnit 5 : Test Driven Development with JUnit 5 [electronic resource]

Shekhar Gulati, Rahul Sharma

Call Number: QA76.76.T48

Software testing and continuous quality improvement

William E. Lewis, [technical contributors], David Dobbs, Gunasekaran Veerapillai

Call Number: QA76.76.T48 L495 2009eb

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Ofer Strichman, Rachel Tzoref-Brill (eds.)

Call Number: QA76.76.V47

The Windows 10 Productivity Handbook : discover expert tips, tricks, and hidden features in Windows 10

Mike Halsey

Call Number: QA76.76.W56

Expert Android programming : master skills to build enterprise grade Android applications

Prajyot Mainkar

Call Number: QA76.774.A53

iOS 11 programming fundamentals with Swift : Swift, Xcode, and Cocoa basics

Matt Neuburg

Call Number: QA76.774.I67

Take control of iOS 11

by Josh Centers

Call Number: QA76.774.I67

Beginning iPhone development with Swift 4 : Exploring the iOS SDK

Molly K. Maskrey

Call Number: QA76.774.I67

Take control of upgrading to High Sierra

by Joe Kissell

Call Number: QA76.774.M33

Windows 10 for the internet of things

Charles Bell

Call Number: QA76.774.M435

Windows 10 for Enterprise administrators : modern administrators' guide based on Redstone 3 version

Jeff Stokes, Manuel Singer, Richard Diver

Call Number: QA76.774.M435

Windows server 2016 unleashed

Rand Morimoto, Jeffrey Shapiro, Guy Yardeni, Omar Droubi, Michael Noel, Andrew Abbate, Chris Amaris

Call Number: QA76.774.M55

Windows Server 2016 automation with PowerShell cookbook : automate manual administrative tasks with ease

Thomas Lee

Call Number: QA76.774.M55

bash cookbook : solutions and examples for bash users

Carl Albing and JP Vossen

Call Number: QA76.774.U64

IBM zPDT 2017 Sysplex extensions

Frank Kyne, Bill Ogden

Call Number: QA76.8.I

My iPhone

Brad Miser

Call Number: QA76.8.I64

iPad and iPhone tips and tricks

Jason R. Rich

Call Number: QA76.8.I863

Take control of High Sierra

by Scholle McFarland

Call Number: QA76.8.M3

The friendly orange glow : the untold story of the PLATO system and the dawn of cyberculture

Brian Dear

Call Number: QA76.8.P53 D43 2017

Jumpstarting the Raspberry Pi Zero W : control the world around you with a $10 computer

Akkana Peck

Call Number: QA76.8.R15

Artificial neural network for software reliability prediction

by Manjubala Bisi and Neeraj Kumar Goyal

Call Number: QA76.87

Artificial neural networks and machine learning -- ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings.

Alessandra Lintas, Stefano Rovetta, Paul F.M.J. Verschure, Alessandro E.P. Villa (eds.)

Call Number: QA76.87

Artificial neural networks and machine learning -- ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings.

Alessandra Lintas, Stefano Rovetta, Paul F.M.J. Verschure, Alessandro E.P. Villa (eds.)

Call Number: QA76.87

Brain informatics : International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings

Yi Zeng, Yong He, Jeanette Hellgren Kotaleski, Maryann Martone, Bo Xu, Hanchuan Peng, Qingming Luo (eds.)

Call Number: QA76.87

Recurrent neural networks for short-term load forecasting : an overview and comparative analysis [electronic resource]

Filippo Maria Bianchi, Enrico Maiorino, Michael C. Kampffmeyer, Antonello Rizzi, Robert Jenssen

Call Number: QA76.87

High performance computing : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P̂3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised selected papers

Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf (eds.)

Call Number: QA76.88

Modeling, simulation and optimization of complex processes HPSC 2015 : Proceedings of the Sixth International Conference on High Performance Scientific Computing, March 16-20, 2015, Hanoi, Vietnam

Hans Georg Bock, Hoang Xuan Phu, Rolf Rannacher, Johannes P. Schloder, editors

Call Number: QA76.88

Supercomputing : third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised selected papers

Vladimir Voevodin, Sergey Sobolev (eds.)

Call Number: QA76.88

High-fidelity quantum logic in Ca+

Christopher J. Ballance

Call Number: QA76.889

My iPad

Gary Rosenzweig

Call Number: QA76.893

Kali Linux cookbook : effective penetration testing solutions

Corey P. Schultz, Bob Perciaccante

Call Number: QA76.9.A25

CompTIA security+ SY0-501 cert guide

David L. Prowse

Call Number: QA76.9.A25

Ethical hacking and penetration testing guide

Rafay Baloch

Call Number: QA76.9.A25

Kali Linux, an ethical hacker's cookbook : end-to-end penetration testing solutions

Himanshu Sharma

Call Number: QA76.9.A25

OAuth 2.0 cookbook : protect your web applications using Spring Security

Adolfo Eloy Nascimento

Call Number: QA76.9.A25

Privacy technologies and policy : 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised selected papers

Erich Schweighofer, Herbert Leitold, Andreas Mitrakas, Kai Rannenberg (eds.)

Call Number: QA76.9.A25

Provable security : 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings

Tatsuaki Okamoto, Yong Yu, Man Ho Au, Yannan Li (eds.)

Call Number: QA76.9.A25

Selected areas in cryptography -- SAC 2016 : 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised selected papers

Roberto Avanzi, Howard Heys (eds.)

Call Number: QA76.9.A25

Cyberspace safety and security : 9th International Symposium, CSS 2017, Xi'an China, October 23-25, 2017, Proceedings

Sheng Wen, Wei Wu, Aniello Castiglione (eds.)

Call Number: QA76.9.A25

Innovative security solutions for information technology and communications : 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised selected papers

Pooya Farshim, Emil Simion (eds.)

Call Number: QA76.9.A25

Reporting on an entity's cybersecurity risk management program and controls : SOC for cybersecurity

AICPA Assurance Services Executive Committee (ASEC) Cybersecurity Working Group in conjunction with the Auditing Standards Board (ASB)

Call Number: QA76.9.A25

Secure IT systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017, Proceedings

Helger Lipmaa, Aikaterini Mitrokotsa, Raimundas Matulevičius (eds.)

Call Number: QA76.9.A25

Theory of cryptography : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings.

Yael Kalai, Leonid Reyzin (eds.)

Call Number: QA76.9.A25

Theory of cryptography : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings.

Yael Kalai, Leonid Reyzin (eds.)

Call Number: QA76.9.A25

Information security : 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings

Phong Q. Nguyen, Jianying Zhou (eds.)

Call Number: QA76.9.A25

Security in computing and communications : 5th International Symposium, SSCC 2017, Manipal, India, September 13-16, 2017, Proceedings

Sabu M. Thampi, Gregorio Martínez Pérez, Carlos Becker Westphall, Jiankun Hu, Chun I. Fan, Félix Gómez Mármol (eds.)

Call Number: QA76.9.A25

Compilation for secure multi-party computation [electronic resource]

Niklas Büscher, Stefan Katzenbeisser

Call Number: QA76.9.A25

Future data and security engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29-December 1, 2017, Proceedings

Tran Khanh Dang, Roland Wagner, Josef Küng, Nam Thoai, Makoto Takizawa, Erich J. Neuhold (eds.)

Call Number: QA76.9.A25

Financial cryptography and data security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised selected papers

edited by Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y.A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson

Call Number: QA76.9.A25

Trusted computing and information security : 11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings

Ming Xu, Zheng Qin, Fei Yan, Shaojing Fu (eds.)

Call Number: QA76.9.A25

Advances in cryptology -- ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings.

Tsuyoshi Takagi, Thomas Peyrin (eds.)

Call Number: QA76.9.A25

Advances in cryptology -- ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings.

Tsuyoshi Takagi, Thomas Peyrin (eds.)

Call Number: QA76.9.A25

Information theoretic security : 10th International Conference, ICITS 2017, Hong Kong, China, November 29-December 2, 2017, Proceedings

Junji Shikata (ed.)

Call Number: QA76.9.A25

Critical infrastructure protection XI : 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised selected papers

Mason Rice, Sujeet Shenoi (eds.)

Call Number: QA76.9.A25

Advances in cryptology -- ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings.

Tsuyoshi Takagi, Thomas Peyrin (eds.)

Call Number: QA76.9.A25

Security controls evaluation, testing, and assessment handbook

Leighton Johnson

Call Number: QA76.9.A25 J64 2016

Simulation Algorithms for Computational Systems Biology [electronic resource]

by Luca Marchetti, Corrado Priami, Vo Hong Thanh

Call Number: QA76.9.A43

Scala microservices : develop, deploy, and run microservices with Scala

Jatin Puri, Selvam Palanimalai

Call Number: QA76.9.A73

Computer architecture : a quantitative approach

John L. Hennessy, David A. Patterson ; with contributions by Krste Asanović́ [and others]

Call Number: QA76.9.A73 P377 2012eb

Augmented reality for developers : build practical augmented reality applications with Unity, ARCore, ARKit, and Vuforia

Jonathan Linowes, Krystian Babilinski

Call Number: QA76.9.A94

Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

edited by Deepak D'Souza, K. Narayan Kumar

Call Number: QA76.9.A96

Big Data Factories : Collaborative Approaches [electronic resource]

Sorin Adam Matei, Nicolas Jullien, Sean P. Goggins, editors

Call Number: QA76.9.B45

Distributed computing in big data analytics : concepts, technologies and applications

Sourav Mazumder, Robin Singh Bhadoria, Ganesh Chandra Deka, editors

Call Number: QA76.9.B45 D57 2017

The Packer book

James Turnbull

Call Number: QA76.9.C55

Implementing Cisco networking solutions : configure, implement, and manage complex network designs

Harpreet Singh

Call Number: QA76.9.C55

The art of capacity planning : scaling web resources in the cloud

Arun Kejariwal and John Allspaw

Call Number: QA76.9.C63

Guide to Modeling and Simulation of Systems of Systems [electronic resource]

by Bernard P. Zeigler, Hessam S. Sarjoughian

Call Number: QA76.9.C65

Learning Neo4j 3.x : effective data modeling, performance tuning and data visualization techniques in Neo4j

Jérôme Baton, Rik Van Bruggen

Call Number: QA76.9.D26

A data scientist's guide to acquiring, cleaning and managing data in R

by Samuel Buttrey, Lyn R. Whitaker

Call Number: QA76.9.D26

Conceptual modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, proceedings

Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor (eds.)

Call Number: QA76.9.D26

Advances in conceptual modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings

Sergio de Cesare, Ulrich Frank (eds.)

Call Number: QA76.9.D26

PostgreSQL : up and running : a practical guide to the advanced open source database

Regina O. Obe and Leo S. Hsu

Call Number: QA76.9.D3

Exam ref 70-764 administering a SQL database infrastructure

Victor Isakov

Call Number: QA76.9.D3

Database reliability engineering : designing and operating resilient database systems

Laine Campbell and Charity Majors

Call Number: QA76.9.D3

MongoDB administrator's guide : over 100 practical recipes to efficiently maintain and administer your MongoDB solution

Cyrus Dasadia

Call Number: QA76.9.D3

Information search, integration, and personlization : 11th International Workshop, ISIP 2016, Lyon, France, November 1-4, 2016, Revised selected papers

Dimitris Kotzinos, Dominique Laurent, Jean-Marc Petit, Nicolas Spyratos, Yuzuru Tanaka (eds.)

Call Number: QA76.9.D3

Preference query analysis and optimization

Yunjun Gao, Qing Liu

Call Number: QA76.9.D3

MariaDB and MySQL common table Expressions and Window functions revealed [electronic resource]

Daniel Batholomew

Call Number: QA76.9.D3

Transactions on large-scale data- and knowledge-centered systems XXXIV : special issue on consistency and inconsistency in data-centric applications

Abdelkader Hameurlain, Josef K赮g, Roland Wagner, Hendrik Decker (eds.)

Call Number: QA76.9.D32

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Sherif Sakr, Imran Razzak, Alshammari Riyad (eds.)

Call Number: QA76.9.D32

Blockchain enabled applications : understand the blockchain ecosystem and how to make it work for you [electronic resource]

Vikram Dhillon, David Metcalf, Max Hooper

Call Number: QA76.9.D32

Data integration in the life sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings

Marcos Da Silveira, Cédric Pruski, Reinhard Schneider (eds.)

Call Number: QA76.9.D338

The logstash book : log management made easy

James Turnbull

Call Number: QA76.9.D3385

Learning Spark SQL : architect streaming analytics and machine learning solutions

Aurobindo Sarkar

Call Number: QA76.9.D343

Jupyter for data science : exploratory analysis, statistical modeling, machine learning, and data visualization with Jupyter

Dan Toomey

Call Number: QA76.9.D343

Practical real-time data processing and analytics : distributed computing and event processing using Apache Spark, Flink, Storm, and Kafka

Shilpi Saxena, Saurabh Gupta

Call Number: QA76.9.D343

Multimodal Analysis of User-Generated Multimedia Content [electronic resource]

by Rajiv Shah, Roger Zimmermann

Call Number: QA76.9.D343

Handbook of statistical analysis and data mining applications [electronic resource]

Robert Nisbet, Gary Miner, Ken Yale ; guest authors of selected chapters, John Elder, Andy Peterson

Call Number: QA76.9.D343

Trends and applications in knowledge discovery and data mining : PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, Revised selected papers

edited by U Kang, Ee-Peng Lim, Jeffrey Xu Yu, Yang-Sae Moon

Call Number: QA76.9.D343

Intelligent data engineering and automated learning -- IDEAL 2017 : 18th International Conference, Guilin, China, October 30-November 1, 2017, Proceedings

edited by Hujun Yin, Yang Gao, Songcan Chen, Yimin Wen, Guoyong Cai, Tianlong Gu, Junping Du, Antonio J. Tallón-Ballesteros, Minling Zhang (eds.)

Call Number: QA76.9.D343

Advanced data mining and applications : 13th International Conference, ADMA 2017, Singapore, November 5-6, 2017, Proceedings

edited by Gao Cong, Wen-Chih Peng, Wei Emma Zhang, Chengliang Li, Aixin Sun

Call Number: QA76.9.D343

Towards integrative machine learning and knowledge extraction : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised selected papers

Andreas Holzinger, Randy Goebel, Massimo Ferri, Vasile Palade (eds.)

Call Number: QA76.9.D343

Knowledge and systems sciences : 18th International Symposium, KSS 2017, Bangkok, Thailand, November 17-19, 2017, Proceedings

edited by Jian Chen, Thanaruk Theeramunkong, Thepachai Supnithi, Xijin Tang

Call Number: QA76.9.D343

IBM Copy Services Manager implementation guide

William Rooney [and six others]

Call Number: QA76.9.D348

Data structures & algorithms in Java

Robert Lafore

Call Number: QA76.9.D35

IBM z/OS DFSMS : transparent cloud tiering

Keith Winnard, Jose Gilberto Biondo Jr., Glenn R. Wilcock, Andrew N. Wilt

Call Number: QA76.9.D37

The Biml book : business intelligence and data warehouse automation

Andy Leonard, Scott Currie, Jacob Alley, Martin Andersson, Peter Avenant, Bill Fellows, Simon Peck, Reeves Smith, Raymond Sondak, Benjamin Weissman, Cathrine Wilhelmsen

Call Number: QA76.9.D37

Economics of grids, clouds, systems, and services : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

Congduc Pham, Jörn Altmann, José Ángel Bañares (eds.)

Call Number: QA76.9.D5

Introducing ZFS on Linux : understand the basics of storage with ZFS [electronic resource]

Damian Wojsław

Call Number: QA76.9.F5

Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan, Luke Ong (eds.)

Call Number: QA76.9.F67

Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings

Simone Cavalheiro, José Fiadeiro (eds.)

Call Number: QA76.9.F67

Research methods in human-computer interaction

Jonathan Lazar, Jinjuan Heidi Feng, Harry Hochheiser

Call Number: QA76.9.H85

Smart Homes and Their Users [electronic resource]

by Tom Hargreaves, Charlie Wilson

Call Number: QA76.9.H85

Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments : Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22 - 27, 2015, Revised Contributions [electronic resource]

edited by Daniel Archambault, Helen Purchase, Tobias Hoßfeld

Call Number: QA76.9.H85

Discussions in user experience : healthcare for user frustration [electronic resource]

Dave Lull

Call Number: QA76.9.H85

Microsoft Power BI cookbook : creating business intelligence solutions of analytical data models, reports, and dashboards

Brett Powell

Call Number: QA76.9.I52

Unlocking financial data : a practical guide to technology for equity and fixed income analysts

Justin Pauley

Call Number: QA76.9.I52

A journey through discrete mathematics : a tribute to Ji鲢i Matou鳥k

Martin Loebl, Jaroslav Ne鳥t鲩l, Robin Thomas, editors

Call Number: QA76.9.M35

Chinese computational linguistics and natural language processing based on naturally annotated big data : 16th China National Conference, CCL 2017, and 5th International Symposium, NLP-NABD 2017, Nanjing, China, October 13-15, 2017, Proceedings

Maosong Sun, Xiaojie Wang, Baobao Chang, Deyi Xiong (eds.)

Call Number: QA76.9.N38

Future and emerging trends in language technology : machine learning and big data : second International Workshop, FETLT 2016, Seville, Spain, November 30-December 2, 2016, Revised selected papers

José F. Quesada, Francisco-Jesús Martín Mateos, Teresa López Soto (eds.)

Call Number: QA76.9.N38

My social media for seniors

Michael Miller

Call Number: QA76.9.O43

Theory of reversible computing [electronic resource]

Kenichi Morita

Call Number: QA76.9.R48

Stabilization, safety, and security of distributed systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings

Paul Spirakis, Philippas Tsigas (eds.)

Call Number: QA76.9.S54

Soft computing in data science : third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017, Proceedings

Azlinah Mohamed, Michael W. Berry, Bee Wah Yap (eds.)

Call Number: QA76.9.S63

Programming voice interfaces : giving connected devices a voice

Walter Quesada and Bob Lautenbach

Call Number: QA76.9.U83

Human centered software product lines

Jean-S⥢astien Sottet, Alfonso Garc⩡ Frey, Jean Vanderdonckt, editors

Call Number: QA76.9.U83

The image-interface : graphical supports for visual information

Everado Reyes-Garcia

Call Number: QA76.9.U83

ICTs for improving patients rehabilitation research techniques : third International Workshop, REHAB 2015, Lisbon, Portugal, October 1-2, 2015, Revised selected papers

Habib M. Fardoun, Victor M. R. Penichet, Daniyal M. Alghazzawi, M. Elena De la Guia (eds.)

Call Number: QA76.9.U83

Natural Interaction in Medical Training : Tools and Applications [electronic resource]

Alberto Del Bimbo [and 3 others]

Call Number: QA76.9.U83

React quickly : painless web apps with React, JSX, Redux, and GraphQL

Azat Mardan

Call Number: QA76.9.U83 M37 2017

Mastering Linux Kernel development : a kernel developer's reference manual

Raghu Bharadwaj

Call Number: QA76.9.V5

Practical LXC and LXD : Linux Containers for Virtualization and Orchestration

by Senthil Kumaran S

Call Number: QA76.9.V5

Introduction to MATLAB for engineers and scientists : solutions for numerical computation and modeling [electronic resource]

Sandeep Nagar

Call Number: QA76.95

Representation theory, number theory, and invariant theory : in honor of Roger Howe on the occasion of his 70th birthday

Jim Cogdell, Ju-Lee Kim, Chen-Bo Zhu, editors

Call Number: QA155

Combinatorial optimization and graph algorithms : communications of NII Shonan Meetings

Takuro Fukunaga, Ken-ichi Kawarabayashi, editors

Call Number: QA164

Introduction to enumerative and analytic combinatorics

Miklós Bóna, University of Florida, Gainesville, Florida, USA

Call Number: QA164.8 .B66 2016

Descriptive complexity, canonisation, and definable graph structure theory

Martin Grohe, Rheinisch-Westfälische Technische Hochschule, Aachen, Germany

Call Number: QA166

Graph-theoretic concepts in computer science : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised selected papers

Hans L. Bodlaender, Gerhard J. Woeginger (eds.)

Call Number: QA166

Combinatorial algebraic geometry : selected papers from the 2016 Apprenticeship Program

edited by Gregory G. Smith, Bernd Sturmfels

Call Number: QA167

Algorithmic and geometric topics around free groups and automorphisms [electronic resource]

Javier Aramayona... [et al.] ; editors for this volume: Juan González-Meneses, Martin Lustig, Enric Ventura

Call Number: QA174.2

The theory of nilpotent groups

Anthony E. Clement, Stephen Majewski, Marcos Zyman

Call Number: QA177

Linear algebra

Belkacem Said-Houari

Call Number: QA184.2

Matrix algebra : theory, computations and applications in statistics

James E. Gentle

Call Number: QA188

From natural numbers to quaternions

Jürg Kramer, Anna-Maria von Pippich

Call Number: QA241

Topics in computational number theory inspired by Peter L. Montgomery

edited by Joppe W. Bos, NXP Semiconductors, Belgium; Arjen K. Lenstra, EPFL, Lausanne, Switzerland

Call Number: QA241 .T657 2017eb

Theory and applications of ordered fuzzy numbers : a tribute to Professor Witold Kosiński

Piotr Prokopowicz, Jacek Czerniak, Dariusz Mikołajewski, Lukasz Apiecionek, Dominik Sļezak, editors

Call Number: QA248

Rings, polynomials, and modules [electronic resource]

Marco Fontana...[et al.], editors

Call Number: QA251.3

Homological and Computational Methods in Commutative Algebra : Dedicated to Winfried Bruns on the Occasion of his 70th Birthday [electronic resource]

Aldo Conca, Joseph Gubeladze, Tim Römer, editors

Call Number: QA251.3

Leavitt Path Algebras [electronic resource]

by Gene Abrams, Pere Ara, Mercedes Siles Molina

Call Number: QA251.5

Representations of Lie algebras and partial differential equations

Xiaoping Xu

Call Number: QA252.3

Complexity dichotomies for counting problems. Volume 1, Boolean domain

Jin-Yi Cai, Xi Chen

Call Number: QA267

Game theory and applications : 3rd Joint China-Dutch Workshop and 7th China Meeting, GTA 2016, Fuzhou, China, November 20-23, 2016, Revised selected papers

edited by Deng-Feng Li, Xiao-Guang Yang, Marc Uetz, Gen-Jiu Xu

Call Number: QA269

Generalized Jeffrey conditionalization : A Frequentist Semantics of Partial Conditionalization [electronic resource]

Dirk Draheim

Call Number: QA273

Copulas and dependence models with applications : contributions in honor of Roger B. Nelsen

Manuel Úbeda Flores, Enrique de Amo Artero, Fabrizio Durante, Juan Fernández Sánchez, editors

Call Number: QA273.6

Stochastic processes

Andrei N. Borodin

Call Number: QA274

Enlargement of filtration with finance in view [electronic resource]

Anna Aksamit, Monique Jeanblanc

Call Number: QA274

Stochastic analysis and related topics : a festschrift in honor of Rodrigo Bañuelos

Fabrice Baudoin, Jonathan Peterson, editors

Call Number: QA274.2

Stochastic calculus : an introduction through theory and exercises

Paolo Baldi

Call Number: QA274.2

A forward-backward SDEs approach to pricing in carbon markets [electronic resource]

Jean-François Chassagneux, Hinesh Chotai, Mirabelle Muûls

Call Number: QA274.25

Sample path analysis and distributions of boundary crossing times

Shelemyahu Zacks

Call Number: QA274.42

Lévy matters. VI, Lévy-type processes : moments, construction and heat Kernel estimates

Franziska Kühn

Call Number: QA274.73

Discrete Time Branching Processes in Random Environment

Gotz Kersting, Vladimir Vatutin

Call Number: QA274.76

Partial least squares path modeling : basic concepts, methodological issues and applications

Hengky Latan, Richard Noonan, editors

Call Number: QA275

Intuitive introductory statistics

Douglas A. Wolfe, Grant Schneider

Call Number: QA276

Growth curve models and applications : Indian Statistical Institute, Giridih, India, March 28-29, 2016

Ratan Dasgupta, editor

Call Number: QA276.A1

Measuring agreement : models, methods, and applications

by Pankaj K. Choudhary, Haikady N. Nagaraja

Call Number: QA276.A2

Mathematical statistics : essays on history and methodology

Johann Pfanzagl

Call Number: QA276.15

From statistics to mathematical finance : festschrift in honour of Winfried Stute

Dietmar Ferger, Wenceslao González Manteiga, Thorsten Schmidt, Jane-Ling Wang, editors

Call Number: QA276.16

SAS 9.4 intelligence platform : overview

Call Number: QA276.4

Exchanging data from SAS to Excel : the ODS Excel destination

William E. Benjamin, Jr

Call Number: QA276.4

Base SAS 9.4 procedures guide : statistical procedures

Call Number: QA276.4

Biostatistics using JMP : a practical guide

Trevor Bihl

Call Number: QA276.4

Basic elements of computational statistics

Wolfgang Karl H衲dle, Ostap Okhrin, Yarema Okhrin

Call Number: QA276.4

Base SAS 9.4 procedures guide


Call Number: QA276.4 .B3743 2014eb

An introduction to statistical analysis in research : with applications in the biological and life sciences

Kathleen F. Weaver [and four others]

Call Number: QA276.4.I65 2017

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

by Thomas Mailund

Call Number: QA276.45.R3

R data analysis cookbook : a journey from data computation to data-driven insights

Kuntal Ganguly

Call Number: QA276.45.R3

Machine learning with R cookbook : analyze data and build predictive models

AshishSingh Bhatia, Yu-Wei, Chiu (David Chiu)

Call Number: QA276.45.R3

Functional data structures in R : advanced statistical programming in R [electronic resource]

Thomas Mailund

Call Number: QA276.45.R3

Practical and efficient SAS programming : the insider's guide

Martha Messineo

Call Number: QA276.45.S27

Doubly classified model with R [electronic resource]

Teck Kiang Tan

Call Number: QA278

Robust multivariate analysis [electronic resource]

David J. Olive

Call Number: QA278

Designing experiments and analyzing data : a model comparison perspective

Scott E. Maxwell, Harold D. Delaney, and Ken Kelley

Call Number: QA279 .M384 2018

Algorithmic decision theory : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings

Jörg Rothe (ed.)

Call Number: QA279.4

Decision theory with a human face

Richard Bradley, London School of Economics and Political Science

Call Number: QA279.5 .B73 2018

Characterizing interdependencies of multiple time series : theory and applications

Yuzo Hosoya, Kosuke Oya, Taro Takimoto, Ryo Kinoshita

Call Number: QA280

Time series analysis in the social sciences : the fundamentals

Youseop Shin

Call Number: QA280 .S55 2017

Two-scale approach to oscillatory singularly perturbed transport equations

Emmanuel Frénod

Call Number: QA295

Matlab in quality assurance sciences

L. Burstein

Call Number: QA297

Advances in real and complex analysis with applications [electronic resource]

Michael Ruzhansky... [et al.], editors

Call Number: QA300

Essential real analysis

Michael Field

Call Number: QA300

Twenty-one lectures on complex analysis : a first course

Alexander Isaev

Call Number: QA300

Fundamentals of mathematics : differential calculus

Sanjay Mishra

Call Number: QA303.2

Recent Developments in Fractals and Related Fields : Conference on Fractals and Related Fields III, île de Porquerolles, France, 2015 [electronic resource]

edited by Julien Barral, Stéphane Seuret

Call Number: QA313

Variational analysis of regular mappings : theory and applications

Alexander D. Ioffe

Call Number: QA315

Functional analysis, spectral theory, and applications

Manfred Einsiedler, Thomas Ward

Call Number: QA320

Algebraic properties of generalized inverses [electronic resource]

Dragana S. Cvetkovic Ilic, Yimin Wei

Call Number: QA329.2

Nonlocal and nonlinear diffusions and interactions : new methods and directions : Cetraro, Italy 2016

Jos⥠Antonio Carrillo, Manuel del Pino, Alessio Figalli, Giuseppe Mingione, Juan Luis V⡺quez ; Matteo Bonforte, Gabriele Grillo, editors

Call Number: QA329.42

Metrical and dynamical aspects in complex analysis

Léa Blanc-Centi, editor

Call Number: QA331

Cauchy Problem for Differential Operators with Double Characteristics : Non-Effectively Hyperbolic Characteristics [electronic resource]

by Tatsuo Nishitani

Call Number: QA370-380

Topological structure of the solution set for evolution inclusions

Yong Zhou, Rong-Nian Wang, Li Peng

Call Number: QA371

Carleman estimates and applications to inverse problems for hyperbolic systems [electronic resource]

Mourad Bellassoued, Masahiro Yamamoto

Call Number: QA371

Painlevé III : a case study in the geometry of Meromorphic connections

Martin A. Guest, Claus Hertling

Call Number: QA372

Random ordinary differential equations and their numerical solution

Xiaoying Han, Peter E. Kloeden

Call Number: QA372

hp-Version discontinuous Galerkin methods on polygonal and polyhedral meshes [electronic resource]

Andrea Cangiani, Zhaonan Dong, Emmanuil H. Georgoulis, Paul Houston

Call Number: QA372

From particle systems to partial differential equations : PSPDE IV, Braga, Portugal, December 2015

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

Call Number: QA374

Non-instantaneous impulses in differential equations

Ravi Agarwal, Snezhana Hristova, Donal O'Regan

Call Number: QA377

Spectral and high order methods for partial differential equations ICOSAHOM 2016 : selected papers from the ICOSAHOM conference, June 27-July 1, 2016, Rio de Janeiro, Brazil [electronic resource]

Marco L. Bittencourt, Ney A. Dumont, Jan S. Hesthaven, editors

Call Number: QA377

Nonlinear reaction-diffusion-convection equations : Lie and conditional symmetry, exact solutions, and their applications

Roman Cherniha, Mykola Serov, Oleksii Pliukhin

Call Number: QA377 .C444 2018

Numerical models for differential problems

Alfio Quarteroni

Call Number: QA377 .Q83 2017eb

Solvability, regularity, and optimal control of boundary value problems for PDEs : in honour of Prof. Gianni Gilardi [electronic resource]

Pierluigi Colli...[et al.], editors

Call Number: QA379

Modeling, dynamics, optimization and bioeconomics II : DGS III, Porto, Portugal, February 2014, and Bioeconomy VII, Berkeley, USA, March 2014 -- selected contributions

Alberto A. Pinto, David Zilberman, editors

Call Number: QA401

Mathematical thermodynamics of complex fluids : Cetraro, Italy 2015 [electronic resource]

by John M. Ball, Eduard Feireisl, Felix Otto ; edited by Eduard Feireisl, Elisabetta Rocca

Call Number: QA401

Bayesian optimization for materials science [electronic resource]

Daniel Packwood

Call Number: QA402.5

Semi-infinite fractional programming

Ram U. Verma

Call Number: QA402.5

Optimization and decision science : methodologies and applications : ODS, Sorrento, Italy, September 4-7, 2017 [electronic resource]

Antonio Sforza, Claudio Sterle, editors

Call Number: QA402.5

Modeling and optimization : theory and applications : MOPTA, Bethlehem, PA, USA, August 2016 Selected Contributions

edited by Martin Takáč, Tamás Terlaky

Call Number: QA402.5

Meta-heuristic and evolutionary algorithms for engineering optimization

Omid Bozorg-Haddad, Mohammad Solgi, Hugo A. Loáiciga

Call Number: QA402.5 .B695 2017

Mathematics of optimization : how to do things faster

Steven J. Miller

Call Number: QA402.5 .M5534 2017

Wavelets in functional data analysis

Pedro A Morettin, Aluísio Pinheiro, Brani Vidakovic

Call Number: QA403.3

Applied Fourier analysis : from signal processing to medical imaging [electronic resource]

Tim Olson

Call Number: QA403.5

Fourier series, Fourier transform and their applications to mathematical physics [electronic resource]

Valery Serov

Call Number: QA404

Orthogonal designs : Hadamard matrices, quadratic forms and algebras [electronic resource]

Jennifer Seberry

Call Number: QA404.5

Mathematics for nonlinear phenomena -- analysis and computation : in honor of Yoshikazu Giga's 60th Birthday, Sapporo, Japan, August 2015

Yasunori Maekawa, Shuichi Jimbo, editors

Call Number: QA427

Advances in Difference Equations and Discrete Dynamical Systems : ICDEA, Osaka, Japan, July 2016 [electronic resource]

Saber Elaydi... [et al.], editors

Call Number: QA431

The moment problem

Konrad Schmüdgen

Call Number: QA432

Selected works of Philip A. Griffiths with commentary

Robert L. Bryant, Mark L. Green, editors

Call Number: QA443 .G74 2017

Aesthetics of Interdisciplinarity : art and mathematics

Kristóf Fenyvesi, Tuuli Lähdesmäki, editors

Call Number: QA447

Geometric science of information : third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings

Frank Nielsen, Frédéric Barbaresco (eds.)

Call Number: QA448.D38

Moduli of curves : CIMAT Guanajuato, Mexico 2016 [electronic resource]

Leticia Brambila Paz... [et al.], editors

Call Number: QA564

Canonical duality theory : unified methodology for multidisciplinary study

David Yang Gao, Vittorio Latorre, Ning Ruan, editors

Call Number: QA564

Algebraic geometry for coding theory and cryptography : IPAM, Los Angeles, CA, February 2016 [electronic resource]

Everett W. Howe, Kristin E. Lauter, Judy L. Walker, editors

Call Number: QA564

Mathematical methods for curves and surfaces : 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised selected papers

edited by Michael Floater, Tom Lyche, Marie-Laurence Mazure, Knut Mørken, Larry L. Schumaker (eds.)

Call Number: QA565

Quandles and topological pairs : symmetry, knots, and cohomology [electronic resource]

Takefumi Nosaka

Call Number: QA612.2

Properties of closed 3-braids and braid representations of links

Alexander Stoimenow

Call Number: QA612.23

K-theory for group C*-algebras and semigroup C*-algebras

Joachim Cuntz, Siegfried Echterhoff, Xin Li, Guoliang Yu

Call Number: QA612.33

Dynamical systems with applications using Mathematica

Stephen Lynch

Call Number: QA614.8

Modern approaches to discrete curvature

Laurent Najman, Pascal Romon, editors

Call Number: QA640.7

From Riemann to differential geometry and relativity [electronic resource]

Lizhen Ji, Athanase Papadopoulos, Sumio Yamada, editors

Call Number: QA641

Special metrics and group actions in geometry [electronic resource]

Simon G. Chiossi, Anna Fino, Emilio Musso, Fabio Podestà, Luigi Vezzoni, editors

Call Number: QA641

Subdivision surface modeling technology

Wenhe Liao, Hao Liu, Tao Li

Call Number: QA646

Riemannian geometry and geometric analysis

Jürgen Jost

Call Number: QA649

Complex and symplectic geometry [electronic resource]

Daniele Angella, Costantino Medori, Adriano Tomassini, editors

Call Number: QA665

Graph theory

by Reinhard Diestel

Call Number: QA766

Stochastic geometric mechanics : CIB, Lausanne, Switzerland, January-June 2015

Sergio Albeverio, Ana Bela Cruzeiro, Darryl Holm, editors

Call Number: QA845

Boundary and interior layers, computational and asymptotic methods : BAIL 2016

Zhongyi Huang, Martin Stynes, Zhimin Zhang, editor

Call Number: QA913

Nonlinear wave equations [electronic resource]

Tatsien Li, Yi Zhou

Call Number: QA927

Singular limits in thermodynamics of viscous fluids

Eduard Feireisl, Antonín Novotný

Call Number: QA929

Giovanni Domenico Cassini : a modern astromomer in the 17th Century [electronic resource]

Gabriella Bernardi

Call Number: QB36.C37

The cosmic zoo : complex life on many worlds

Dirk Schulze-Makuch, William Bains

Call Number: QB54

Building and using binoscopes

Norman Butler

Call Number: QB88

The NexStar user's guide II : for the LCM, SLT, SE, CPC, SkyProdigy, and Astro Fi [electronic resource]

Michael Swanson

Call Number: QB88

The emergence of astrophysics in Asia : opening a new window on the universe [electronic resource]

Tsuko Nakamura, Wayne Orchiston, editors

Call Number: QB461

Four pillars of radio astronomy : Mills, Christiansen, Wild, Bracewell

R.H. Frater, W.M. Goss, H.W. Wendt

Call Number: QB475.A25

Calling Taikong : a strategy report and study of China's future space science missions

Ji Wu

Call Number: QB498.2.C6

Sensory motor and behavioral research in space [electronic resource]

Reinhard Hilbig... [et al.]

Call Number: QB500

The structure and evolution of the Sun

Giuseppe Severino

Call Number: QB539.E8

Aspects of WIMP dark matter searches at colliders and other probes [electronic resource]

Enrico Morgante

Call Number: QB791.3

Aspects of wimp dark matter searches at colliders and other probes

Enrico Morgante

Call Number: QB791.3

Handbook of supernovae

Athem W. Alsabti, Paul Murdin, editors

Call Number: QB843.S95

Modelling pulsar wind nebulae [electronic resource]

Diego F. Torres, editor

Call Number: QB855

The nature of dusty star-forming galaxies [electronic resource]

William Cowley

Call Number: QB857

Secular evolution of self-gravitating systems over cosmic age [electronic resource]

Jean-Baptiste Fouvry

Call Number: QB857.5.E96

Statistical mechanics for athermal fluctuation [electronic resource]

Kiyoshi Kanazawa

Call Number: QC6.4.F58

Resurgence, physics and numbers [electronic resource]

edited by Frédéric Fauvet... [et al.]

Call Number: QC20

Quantum Triangulations : Moduli Space, Quantum Computing, Non-Linear Sigma Models and Ricci Flow [electronic resource]

by Mauro Carfora, Annalisa Marzuoli

Call Number: QC20.7.M24

The cosmological singularity

Vladimir Belinski, International Center for Relativistic Astrophysics Network, Italy, Marc Henneaux, Université Libre de Bruxelles

Call Number: QC20.7.S54 B45 2018

Computer simulation of liquids

Michael P. Allen and Dominic J. Tildesley

Call Number: QC145.2 .A43 2017

Shock Fitting : Classical Techniques, Recent Developments, and Memoirs of Gino Moretti [electronic resource]

Marcello Onofri, Renato Paciorri, editors

Call Number: QC168.85.S45

Soft interfaces : École de Physique des Houches : session XCVIII, 2-27 July 2012

edited by Lydéric Bocquet, David Quéré, Thomas A. Witten, and Leticia F. Cugliandolo

Call Number: QC173.4.I57 E286 2012

Generalized dynamics of soft-matter quasicrystals : mathematical models and solutions

Tian-You Fan

Call Number: QC173.4.Q36

The science of time 2016 : time in astronomy & society, past, present and future

Elisa Felicitas Arias, Ludwig Combrinck, Pavel Gabor, Catherine Hohenkerk, P. Kenneth Seidelmann, editors

Call Number: QC173.59.S65

Time in physics

Renato Renner, Sandra Stupar, editors

Call Number: QC173.59.S65

Quantum sense and nonsense

Jean Bricmont

Call Number: QC174.12

Theoretical physics 7 : quantum mechanics - methods and applications

by Wolfgang Nolting

Call Number: QC174.12

Quantum mechanics and electrodynamics

Jaroslav Zamastil, Jakub Benda ; translated with the assistance of Tereza Uhlířová

Call Number: QC174.12

Surfing the quantum world

Frank S. Levin

Call Number: QC174.12 .L46 2017eb

Geometry of quantum states : an introduction to quantum entanglement

Ingemar Bengtsson, Karol Życzkowski

Call Number: QC174.17.E58

Quantization, geometry and noncommutative structures in mathematics and physics

Alexander Cardona, Pedro Morales, Hernán Ocampo, Sylvie Paycha, Andres F. Reyes Lega, editors

Call Number: QC174.17.G46

Quantum theory, groups and representations : an introduction

Peter Woit

Call Number: QC174.17.M35

Quantum symmetries : Metabief, France 2014

Guillaume Aubrun, Adam Skalski, Roland Speicher ; edited by Uwe Franz

Call Number: QC174.17.S9

Dualities, helicity amplitudes, and little conformal symmetry [electronic resource]

Kitran Macey M. Colwell

Call Number: QC174.17.S9

Quantum statistics of dense gases and nonideal plasmas

Werner Ebeling, Vladimir E. Fortov, Vladimir Filinov

Call Number: QC174.43

Formulation of statistical mechanics based on thermal pure quantum states [electronic resource]

Sho Sugiura

Call Number: QC174.8

Classical statistical mechanics with nested sampling

Robert John Nicholas Baldock

Call Number: QC174.8

Progress in high-dimensional percolation and random graphs [electronic resource]

Markus Heydenreich, Remco van der Hofstad

Call Number: QC174.85.P45

Movement equations 3 : dynamics and fundamental principle

Michel Borel, Georges Vénizélos

Call Number: QC176

Layered two-dimensional heterostructures and their tunneling characteristics [electronic resource]

Sergio C. de la Barrera

Call Number: QC176.8.T8

Growth of high permittivity dielectrics by high pressure sputtering from metallic targets

by María Ángela Pampillón Arce

Call Number: QC176.84.S93

Exact solutions in three-dimensional gravity

Alberto A. García-Díaz (Center for Research and Advanced Studies of the National Polytechnic Institute, Mexico (CINVESTAV)

Call Number: QC178 .G365 2017

Materials and thermodynamics : living and economic systems

Pierre Delhaes

Call Number: QC311

The hologram : principles and techniques

Martin J. Richardson, John D. Wiltshire

Call Number: QC449

Static electricity : understanding, controlling, applying

Günter Lüttgens, Sylvia Lüttgens, and Wolfgang Schubert

Call Number: QC571

Electromagnetic wave propagation, radiation, and scattering

Akira Ishimaru

Call Number: QC665.T7

Electromagnetic reciprocity in antenna theory

Martin Štumpf

Call Number: QC670

Circuit cavity QED with macroscopic solid-state spin ensembles [electronic resource]

Stefan Putz

Call Number: QC680

Swift ion beam analysis in nanosciences

Denis Jalabert, Ian Vickridge, Amal Chabli

Call Number: QC702.7.B65

Plasma science and technology for emerging economies : an AAAPT experience [electronic resource]

Rajdeep Singh Rawat, editor

Call Number: QC718

Evanescent Waves in Optics : An Introduction to Plasmonics [electronic resource]

by Mario Bertolotti, Concita Sibilia, Angela M. Guzman

Call Number: QC718.5.W3 B47 2017

Signal processing for radiation detectors

Mohammad Nakhostin

Call Number: QC787.C6 N35 2018

Evolution of silicon sensor technology in particle physics

Frank Hartmann

Call Number: QC787.N83

Introduction to accelerator dynamics

Stephen Peggs (Brookhaven National Laboratory, New York), Todd Satogata (Jefferson Lab)

Call Number: QC787.P3 P44 2017

Lattice QCD study for the relation between confinement and chiral symmetry breaking

Takahiro Doi

Call Number: QC793.3.Q35

Searching for new physics in b --> sl+l- transitions at the LHCb experiment

Luca Pescatore

Call Number: QC793.3.Q37

Searching for new physics in b --> sl⁺l⁻ transitions at the LHCb experiment

by Luca Pescatore

Call Number: QC793.3.Q37

Skyrmions in condensed matter

Jung Hoon Han

Call Number: QC793.3.S8

Statistical methods for data analysis in particle physics

Luca Lista

Call Number: QC793.47.S83

Introduction to the Physics of Electron Emission : Theory and Simulation [electronic resource]

Call Number: QC793.5.E62

Dawn-dusk Asymmetries in Planetary Plasma Environments [electronic resource]

Stein Haaland, Andrei Runov, Colin Forsyth, editors

Call Number: QC809.M35

Energy balance climate models

Gerald R. North and Kwang-Yul Kim

Call Number: QC903

Carbon capitalism and communication : confronting climate crisis [electronic resource]

Benedetta Brevini, Graham Murdock, editors

Call Number: QC903

Make it rain : state control of the atmosphere in twentieth-century America

Kristine C. Harper

Call Number: QC928.7 .H37 2017

A complete resource book in chemistry for JEE Main 2017

Atul Singhal

Call Number: QD49.5

Fragmentation : toward accurate calculations on complex molecular systems

edited by Mark S. Gordon, Iowa State University, USA

Call Number: QD281.F7 F738 2017

Hydrocarbon chemistry

George A. Olah, Árpád Molnár, G.K. Surya Prakash, Loker Hydrocarbon Research Institute and Department of Chemistry, University of Southern California, Los Angeles, California, Department of Organic Chemistry, University of Szeged, Szeged, Hungary

Call Number: QD305.H5

Cyclodextrins : properties and industrial applications

Sahar Amiri, Sanam Amiri

Call Number: QD321

Durability of fiber-reinforced polymers

Yasushi Miyano, Masayuki Nakada

Call Number: QD381

Transport and NMR studies of charge glass in organic conductors with quasi-triangular lattices [electronic resource]

Takuro Sato

Call Number: QD382.C66

RNA Metabolism and Gene Expression in Archaea

Béatrice Clouet-d'Orval, editor

Call Number: QD433-436

Advances in chemical physics. Volume 162

Edited by Stuart A. Rice, Aaron R. Dinner

Call Number: QD453.3

Catalysis : an integrated textbook for students

edited by Ulf Hanefeld and Leon Lefferts

Call Number: QD505

Applied homogeneous catalysis with organometallic compounds : a comprehensive handbook in four volumes

edited by Boy Cornils, Wolfgang A. Herrmann, Matthias Beller, and Rocco Paciello

Call Number: QD505 .A67 2017eb

Solvents as reagents in organic synthesis : reactions and applications [electronic resource]

edited by Xiao-Feng Wu

Call Number: QD544

Physicochemical properties of ionic liquid mixtures

Suojiang Zhang, Qing Zhou, Xingmei Lu, Yuting Song, Xinxin Wang, editors

Call Number: QD561 .P53 2016eb

Nanocarbons for electroanalysis

edited by Sabine Szunerits, Rabah Boukherroub, Alison Downard, Jun-Jie Zhu

Call Number: QD572.C37 N36 2017

Dynamic covalent chemistry : principles, reactions, and applications

edited by Wei Zhang, University of Colorado, CO, US, Dr. Yinghua Jin, University of Colorado, CO, US

Call Number: QD878

Supramolecular chemistry of biomimetic systems [electronic resource]

Junbai Li, editor

Call Number: QD878

Beginner's guide to flux crystal growth

Makoto Tachibana

Call Number: QD921

Liquid crystal dimers

Santanu Kumar Pal, Sandeep Kumar

Call Number: QD923 .P35 2017

Modeling, analysis, and visualization of anisotropy [electronic resource]

Thomas Schultz, Evren 菺arslan, Ingrid Hotz, editors

Call Number: QD941

Scientific integrity and ethics in the geosciences : a handbook and history

edited by Linda C. Gundersen

Call Number: QE40

Till : a glacial process sedimentology

David J.A. Evans

Call Number: QE579 .E93 2018

Till : a glacial process sedimentology

by David J.A. Evans

Call Number: QE579 .E93 2018

Loess and loess geohazards in China

Yanrong Li, Jingui Zhao and Bin Li, Taiyuan University of Technology, PR China

Call Number: QE579 .L5325 2018

Atlas of natural and induced fractures in core

John C. Lorenz, Fracture Studies LLC, New Mexico, United States, Scott P. Cooper, Fracture Studies LLC, New Mexico, United States

Call Number: QE606 .L67 2018

Ordovician Rhynchonelliformean Brachiopods from Co. Waterford, SE Ireland : Palaeobiogeography of the Leinster Terrane [electronic resource]

Call Number: QE797.R5 L55 2017eb

Darwin and the making of sexual selection

Evelleen Richards

Call Number: QH31.D2 R45 2017eb

Charles Darwin : Victorian Mythmaker

A.N. Wilson

Call Number: QH31.D2 W55 2017

Biodiversity and conservation of woody plants

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

Call Number: QH75

Wildness : relations of people and place

edited by Gavin Van Horn and John Hausdoerffer

Call Number: QH75 .W5273 2017eb

Escaping the dark, gray city : fear and hope in Progressive-era conservation

Benjamin Heber Johnson

Call Number: QH76 .J645 2017eb

Soil biological communities and ecosystem resilience

Martin Lukac, Paola Grenni, Mauro Gamboni, editors

Call Number: QH84.8


Call Number: QH90.57.B5 B57 2018

The ecology and natural history of Chilean saltmarshes

José Miguel Fariña, Andrés Camaño, editors

Call Number: QH119

Super-resolution microscopy : a practical guide

Udo J. Birk

Call Number: QH207

Conductive atomic force microscopy : applications in nanomaterials [electronic resource]

edited by Mario Lanza

Call Number: QH212.A78

Perspectives in translational research in life sciences and biomedicine : translational outcomes research in life sciences and translational medicine.

Ena Ray Banerjee

Call Number: QH315

A practical guide to biomedical research : for the aspiring scientist

Peter Agger, Robert S. Stephenson, J. Michael Hasenkam

Call Number: QH315

Stepping in the same river twice : replication in biological research

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

Call Number: QH316.5

The Basic Approach to Age-Structured Population Dynamics : Models, Methods and Numerics [electronic resource]

by Mimmo Iannelli, Fabio Milner

Call Number: QH323.5

Frontiers of biostatistical methods and applications in clinical oncology [electronic resource]

Shigeyuki Matsui, John Crowley, editors

Call Number: QH323.5

Biometric recognition : 12th Chinese Conference, CCBR 2017, Shenzhen, China, October 28-29, 2017, Proceedings

Jie Zhou, Yunhong Wang, Zhenan Sun, Yong Xu, Linlin Shen, Jianjiang Feng, Shiguang Shan, Yu Qiao, Zhenhua Guo, Shiqi Yu (eds.)

Call Number: QH323.5

Stochastic processes, multiscale modeling, and numerical methods for computational cellular biology [electronic resource]

David Holcman, editor

Call Number: QH324.2

Temporal network epidemiology [electronic resource]

Naoki Masuda, Petter Holme, editors

Call Number: QH324.2

Computational intelligence methods for bioinformatics and biostatistics : 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised selected papers

Andrea Bracciali, Giulio Caravagna, David Gilbert, Roberto Tagliaferri (eds.)

Call Number: QH324.2

Data Analytics for Protein Crystallization [electronic resource]

Marc L. Pusey, Ramazan Savas Aygun

Call Number: QH324.2

Analyzing health data in R for SAS users

Monika Wahi, Peter Seebach

Call Number: QH324.2 .W34 2017

Life on ice : a history of new uses for cold blood

Joanna Radin

Call Number: QH324.9.C7 R33 2017

Standing on the shoulders of Darwin and Mendel : early views of inheritance

by David J. Galton

Call Number: QH361 .G35 2018

Evolutionary Biology: Self/Nonself Evolution, Species and Complex Traits Evolution, Methods and Concepts [electronic resource]

edited by Pierre Pontarotti

Call Number: QH366.2

Imaging genetics

edited by Adrain V. Dalca, Nematollah K. Batmanghelich, Li Shen, Mert R. Sabuncu

Call Number: QH430 .I43 2018

Functional metagenomics : tools and applications

Trevor C. Charles, Mark R. Liles, Angela Sessitsch, editors

Call Number: QH434

Mining of microbial wealth and metagenomics

Vipin Chandra Kalia... [et al.], editors

Call Number: QH434

Precision medicine, CRISPR, and genome engineering : moving from association to biology and therapeutics [electronic resource]

Stephen H. Tsang, editor

Call Number: QH442

Polyploidy : recent trends and future perspectives

Tanvir-Ul-Hassan Dar, Reiaz-Ul Rehman

Call Number: QH461

Theoretical molecular biophysics

Philipp O.J. Scherer, Sighart F. Fischer

Call Number: QH506

Numerical methods and advanced simulation in biomechanics and biological processes

edited by Miguel Cerrolaza, Sandra J. Shefelbine and Diego Garzón-Alvarado

Call Number: QH513 .N86 2018

Overflow metabolism : from yeast to marathon runners

Alexei Vazquez

Call Number: QH521 .V39 2018

Metacommunity ecology

Mathew A. Leibold and Jonathan M. Chase

Call Number: QH541 .L3743 2018

Messages from islands : a global biodiversity tour

Ilkka Hanski

Call Number: QH541.15.B56 H364 2016eb

Applying graph theory in ecological research

Mark R.T. Dale (University of Northern British Columbia)

Call Number: QH541.15.M34 D35 2017

The roles of remote sensing in nature conservation : a practical guide and case studies

Ricardo Díaz-Delgado, Richard Lucas, Clive Hurford, editors

Call Number: QH541.15.R4

Principles of terrestrial ecosystem ecology

F. Stuart Chapin, Pamela A. Matson, Peter M. Vitousek ; illustrated by Melissa C. Chapin

Call Number: QH541.29 .C43 2011

Deep-sea ecosystems off Mauritania : research of marine biodiversity and habitats in the Northwest African Margin

Ana Ramos, Fran Ramil, José Luis Sanz, editors

Call Number: QH541.5.D35

Life at vents and seeps

Jens Kallmeyer (ed.)

Call Number: QH541.5.D35 L54 2017

Mangrove ecosystems : structure, function, and services [electronic resource]

Victor H. Rivera-Monroy... [et al.], editors

Call Number: QH541.5.M27

Systems biology of marine ecosystems [electronic resource]

Manoj Kumar, Peter Ralph, editors

Call Number: QH541.5.S3

Seascape ecology

edited by Simon J. Pittman

Call Number: QH541.5.S3 S36 2018

Haploidentical Stem Cell Transplantation : an Emerging Treatment Modality

edited by Taner Demirer

Call Number: QH588.S83

Transport across natural and modified biological membranes and its implications in physiology and therapy

Julita Kulbacka, Saulius Satkauskas, editors

Call Number: QH601

Cell polarity in development and disease

volume editor, Douglas W. Houston

Call Number: QH604.3 .C45 2018

TCTP/Tpt1 : remodeling signaling from stem cell to disease

Adam Telerman, Robert Amson, editors

Call Number: QH607 .R4 v.64

Medicinal plants and environmental challenges [electronic resource]

Mansour Ghorbanpour, Ajit Varma, editors

Call Number: QK99.A1

Vegetation ecology of Central Europe. Volume I, Ecology of Central European forests

Christoph Leuschner, Heinz Ellenberg ; translated by Laura Sutcliffe

Call Number: QK281

Flora and vegetation of the Czech Republic

Milan Chytrý, Jiří Danihelka, Zdeněk Kaplan, Petr Pyšek, editors

Call Number: QK339.C8 F56 2017

Genetics and genomics of cucurbitaceae [electronic resource]

Rebecca Grumet, Nurit Katzir, Jordi Garcia-Mas, editors

Call Number: QK495.C96

Atlas of clinically important fungi

Carmen V. Sciortino, Jr

Call Number: QK603

What a plant knows : a field guide to the senses

Daniel Chamovitz

Call Number: QK725 .C436 2017

Glutathione in plant growth, development, and stress tolerance

Mohammad Anwar Hossain, Mohammad Golam Mostofa, Pedro Diaz-Vivancos, David J. Burritt, Masayuki Fujita, Lam-Son Phan Tran, editors

Call Number: QK898.G485

Salicylic acid : a multifaceted hormone

Rahat Nazar, Noushina Iqbal, Nafees A. Khan, editors

Call Number: QK898.H67

Reactive oxygen species in plants : boon or bane : revisiting the role of ROS

edited by Vijay Pratap Singh [and four others]

Call Number: QK898.O92 R43 2018

Fruit and vegetable phytochemicals : chemistry and human health

edited by Elhadi M Yahia, Facultad de Ciencias Naturales, Universidad Autónoma de Querétaro

Call Number: QK898.P764 F78 2018

Data analysis in vegetation ecology

Otto Wildi, WSL Swiss Federal Institute for Forest, Snow and Landscape Research, CH-8903 Birmensdorf, Switzerland

Call Number: QK911 .W523 2017

Anatomical adaptations of Halophytes : a review of classic literature and recent findings [electronic resource]

Marius-Nicuşor Grigore, Constantin Toma

Call Number: QK922

Plant responses to hyperarid desert environments [electronic resource]

Monier M. Abd El-Ghani... [et al.]

Call Number: QK938.D4

Introduction to the study of natural history

Louis Agassiz ; edited and annotated by Christoph Irmscher

Call Number: QL81

Beyond the human-animal divide : creaturely lives in literature and culture

Dominik Ohrem and Roman Bartosch, editors

Call Number: QL85

Climate change, ocean acidification and sponges : impacts across multiple levels of organization

Jose Luis Carballo, James J. Bell, editors

Call Number: QL374.2

Behaviour and ecology of spiders : contributions from the neotropical region [electronic resource]

Carmen Viera, Marcelo O. Gonzaga, editors

Call Number: QL458.4

Brown trout : biology, ecology and management

edited by Javier Lobón-Cervía, National Museum of Natural Sciences, Madrid, Spain; Nuria Sanz, University of Girona, Girona, Spain

Call Number: QL638.S2

Avian ecology in Latin American cityscapes [electronic resource]

Ian MacGregor-Fors, Juan F. Escobar-Ibáñez, editors

Call Number: QL685.7

Avian reproduction : from behavior to molecules

Tomohiro Sasanami, editor

Call Number: QL698.2

Methods for monitoring tiger and prey populations

K. Ullas Karanth, James D. Nichols, editors

Call Number: QL737.C23

Bats and human health : ebola, SARS, rabies and beyond

by Lisa A. Beltz

Call Number: QL737.C5

Chimpanzees and human evolution

edited by Martin N. Muller, Richard W. Wrangham, and David R. Pilbeam

Call Number: QL737.P94 C47 2017


Call Number: QL751 .H664 2017

Occupancy estimation and modeling : inferring patterns and dynamics of species occurrence

Darryl I. MacKenzie, Proteus, Dunedin, New Zealand, James D. Nichols, Crofton MD, USA, J. Andrew Royle, USGS Patuxent Wildlife Research Center, Laurel MD, USA, Kenneth H. Pollock, North Carolina State University, Raleigh, NC, USA, Larissa L. Bailey, Colorado State University, Fort Collins, CO, USA, James E. Hines, USGS Patuxent Wildlife Research Center, Laurel MD, USA

Call Number: QL752 .O23 2017

Rhetorical animals : boundaries of the human in the study of persuasion

edited by Kristian Bjørkdahl and Alex Parrish

Call Number: QL776 .R435 2017

Mechanosensory transduction in Drosophila melanogaster

Xin Liang, Landi Sun, Zhen Liu

Call Number: QL938.M4

The biology of mammalian spermatogonia

Jon M. Oately, Michael D. Griswold, editors

Call Number: QL966

Cajal's neuronal forest : science and art

Javier DeFelipe

Call Number: QM451 .D44 2018

Ultraviolet light in human health, diseases and environment [electronic resource]

Shamim I. Ahmad, editor

Call Number: QP82.2.U4

Circadian rhythms and their impact on aging [electronic resource]

S. Michal Jazwinski, Victoria P. Belancio, Steve M. Hill, editors

Call Number: QP84.6

Skin permeation and disposition of therapeutic and cosmeceutical compounds [electronic resource]

Kenji Sugibayashi, editor

Call Number: QP88.5

Hemomath : the mathematics of blood

Antonio Fasano, Adélia Sequeira

Call Number: QP91

Biochemical Basis and Therapeutic Implications of Angiogenesis [electronic resource]

edited by Jawahar L. Mehta, Pankaj Mathur, Naranjan S. Dhalla

Call Number: QP106.6 .B56

Pulmonary physiology

Michael G. Levitzky

Call Number: QP121 .L484 2018eb

Why you eat what you eat : the science behind our relationship with food

Rachel Herz, PhD

Call Number: QP136 .H47 2018

Understanding the gut-bone signaling axis : mechanisms and therapeutic implications

Laura R. McCabe, Narayanan Parameswaran, editors

Call Number: QP145

Bioenvironmental issues affecting men's reproductive and sexual health

edited by Suresh C. Sikka, Wayne J.G. Hellstrom

Call Number: QP253 .B56 2018

Advanced exercise physiology : essential concepts and applications

Jonathan K. Ehrman, Dennis J. Kerrigan, Steven J. Keteyian

Call Number: QP301 .E38 2018

Rebel genius : Warren S. McCulloch's transdisciplinary life in science

Tara H. Abraham

Call Number: QP353.4.M33 A27 2016eb

Pain and the conscious brain

Luis Garcia-Larrea, MD, PhD, Research Director at the INSERM Head, Central Integration of Pain-Lyon Centre for Neurosciences, Vice-Director, Human Biology Department, University Claude Bernard Lyon 1, University Hospitals of Lyon, Lyon, France, Philip L. Jackson, PhD, Full Professor, Social and Cognitive Neuroscience Lab, School of Psychology, Laval University, Quebec City, Canada

Call Number: QP355.2 .P35 2016

Computational models of brain and behavior

[edited by] Ahmed Moustafa

Call Number: QP357.5

Computational neuroscience : first Latin American Workshop, LAWCN 2017, Porto Alegre, Brazil, November 22-24, 2017, Proceedings

Dante Augusto Couto Barone, Eduardo Oliveira Teles, Christian Puhlmann Brackmann (eds.)

Call Number: QP357.5

The plastic brain

Rommy von Bernhardi, Jaime Eugenin, Kenneth J. Muller, editors

Call Number: QP363.3

Handbook of brain microcircuits

edited by Gordon M. Shepherd and Sten Grillner

Call Number: QP376 .H36 2018

The human frontal lobes : functions and disorders

edited by Bruce L. Miller, Jeffrey L. Cummings

Call Number: QP382.F7 H85 2018

Elements of neurogeometry : functional architectures of vision [electronic resource]

Jean Petitot

Call Number: QP383

Neural mechanisms of language

Maria Mody, editor

Call Number: QP399

Auditory development and plasticity : in honor of Edwin W Rubel

Karina S. Cramer, Allison B. Coffin, Richard R. Fay, Arthur N. Popper, editors

Call Number: QP461

Metabolic engineering for bioactive compounds : strategies and processes [electronic resource]

Vipin Chandra Kalia, Adesh Kumar Saini, editors

Call Number: QP517.B44

Protein reviews. Volume 18

M. Zouhair Atassi, editor

Call Number: QP551

DJ-1/PARK7 protein : Parkinson's disease, cancer and oxidative stress-induced diseases

Hiroyoshi Ariga, Sanae M.M. Iguchi-Ariga, editors

Call Number: QP551

Modelling proteasome dynamics in a Bayesian framework

Sabine Stübler

Call Number: QP551

Chromogranins : from cell biology to physiology and biomedicine [electronic resource]

Tommaso Angelone, Maria Carmela Cerra, Bruno Tota, editors

Call Number: QP552.C48

Peptides and peptide-based biomaterials and their biomedical applications

Anwar Sunna, Andrew Care, Peter L. Bergquist, editors

Call Number: QP552.P4

Natural products targeting clinically relevant enzymes

edited by Paula B. Andrade, Patrícia Valentão, David M. Pereira

Call Number: QP601

Pathophysiological aspects of proteases

Sajal Chakraborti, Naranjan S. Dhalla, editors

Call Number: QP609.P78

Mitochondrial DNA and diseases [electronic resource]

Hongzhi Sun, Xiangdong Wang, editors

Call Number: QP624.5.M58

Recent advances in applied microbiology

Pratyoosh Shukla, editor

Call Number: QR41.2

Exposure to microbiological agents in indoor and occupational environments

Carla Viegas, Susana Viegas, Anita Gomes, Martin Täubel, Raquel Sabino, editors

Call Number: QR46

Bio-pigmentation and biotechnological implementations

[edited by] Om V. Singh

Call Number: QR53

Microbiology of aerosols

edited by Anne-Marie Delort, Pierre Amato

Call Number: QR101

Yeasts in natural ecosystems : ecology

Pietro Buzzini, Marc-Andr⥠Lachance, Andrey Yurkov, editors

Call Number: QR151

Yeasts in natural ecosystems : diversity

Pietro Buzzini, Marc-André Lachance, Andrey Yurkov, editors

Call Number: QR151

Biology of microorganisms on grapes, in must and in wine

Helmut König, Gottfried Unden, Jürgen Fröhlich, editors

Call Number: QR151

The psychobiotic revolution : mood, food, and the new science of the gut-brain connection

Scott C. Anderson with John F. Cryan, Ph.D. & Ted Dinan, M.D., Ph.D

Call Number: QR171.G29 A53 2017

The complement factsbook

edited by Scott Barnum, Theresa Schein

Call Number: QR185.5.C6 .M67 2018

IgM and its receptors and binding proteins

Hiromi Kubagawa, Peter D. Burrows, editors

Call Number: QR186.8.M2

The natural anti-gal antibody as foe turned friend in medicine

Uri Galili

Call Number: QR187.A1 .G35 2018

Biology and biotechnology of actinobacteria

Joachim Wink, Fatemeh Mohammadipanah, Javad Hamedi, editors

Call Number: QR201.G76

Strain Variation in the Mycobacterium tuberculosis Complex : its role in biology, epidemiology and control [electronic resource]

Sebastien Gagneux, editor

Call Number: QR201.T6

Tuberculosis and the tubercle bacillus

edited by William R. Jacobs, Jr., Helen McShane, Valerie Mizrahi, Ian M. Orme

Call Number: QR201.T6 .T83 2018

Current progress in medical mycology

Hector M. Mora-Montes, Leila M. Lopes-Bezerra, editors

Call Number: QR245

Endophytes. Volume 1 : biology and biotechnology [electronic resource]

Dinesh K. Maheshwari, editor

Call Number: QR351

Endophytes : crop productivity and protection.

Dinesh K. Maheshwari, K. Annapurna, editors

Call Number: QR351

The IEEE guide to writing in the engineering and technical fields

David Kmiec, Bernadette Longo

Call Number: T11 .K55 2017eb

New romantic cyborgs : romanticism, information technology, and the end of the machine

Mark Coeckelbergh

Call Number: T14 .C5726 2017eb

Philosophy, technology, and the environment

edited by David M. Kaplan

Call Number: T14 .P5424 2017eb

Entanglements : conversations on the human traces of science, technology, and sound

Simone Tosoni and Trevor Pinch

Call Number: T14.5 .E57 2017

Zero to maker : a beginner's guide to the skills, tools, and ideas of the maker movement

David Lang

Call Number: T40

Foundations of info-metrics : modeling and inference with imperfect information

Amos Golan

Call Number: T50 .G64 2017

Linear programming using MATLAB®

Nikolaos Ploskas, Nikolaos Samaras

Call Number: T57.74

Foundations of information systems : research and practice

Andrew Basden

Call Number: T58.5 .B375 2018

Ethical IT innovation : a value-based system design approach

Sarah Spiekermann (Vienna University of Economics and Business Institute for Management Information Systems)

Call Number: T58.5 .S65 2016eb

Enterprise and organizational modeling and simulation : 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers

edited by Robert Pergl, Russell Lock, Eduard Babkin, Martin Molhanec

Call Number: T58.6

Automation solutions for analytical measurements : theory, concepts, and applications

editors: Heidi Fleischer, Kerstin Thurow

Call Number: T59.4

Prospective ergonomics

André Liem

Call Number: T59.7

Architect the industrial internet : the architect's guide to designing industrial internet solutions

Shyam Nath, Robert Stackowiak, Carla Romano

Call Number: T173.8

The ongoing technological system

Smaïl Aït-El-Hadjait

Call Number: T173.8

Springer handbook of nanotechnology

Bharat Bhushan (ed.)

Call Number: T174.7

Nanotechnology : delivering on the promise

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

Call Number: T174.7 .N37364 2016

Learn Autodesk Inventor 2018 basics : 3D modeling, 2D graphics, and assembly design

T. Kishore

Call Number: T353

Computer graphics for Java programmers

Leen Ammeraal, Kang Zhang

Call Number: T385

Fluid simulation for computer graphics

Robert Bridson

Call Number: T385 .B744 2016

Synthetic : how life got made

Sophia Roosth

Call Number: TA164 .R66 2017

Reliability and availability engineering : modeling, analysis, and applications

Kishor S. Trivedi, Andrea Bobbio

Call Number: TA169

Unit operations in environmental engineering

by Louis Theodore, R. Ryan Dupont and Kumar Ganesan

Call Number: TA170

Engineering mathematics

P. Sivaramakrishna Das, C. Vijayakumari

Call Number: TA330

Smooth Bézier surfaces over unstructured quadrilateral meshes

Michel Bercovier, Tanya Matskewich

Call Number: TA347.F5

Foundations of fluid mechanics with applications : problem solving using Mathematica®

Sergey P. Kiselev, Evgenii V. Vorozhtsov, Vasily M. Fomin

Call Number: TA357

Using HPC for computational fluid dynamics : a guide to high performance computing for CFD engineers

Shamoon Jamshed

Call Number: TA357 .J36 2015eb

Advances in high temperature ceramic matrix composites and materials for sustainable development : selected peer-reviewed papers from the 9th International Conference on High Temperature Ceramic Matrix Composites (HTCMC 9) and Global Forum on Advanced Materials and Technologies for Sustainable Development (GFMAT 2016) Toronto, Canada, June 26-30, 2016

edited by Mrityunjay Singh [and seven others]

Call Number: TA401.3

An introduction to the mathematical theory of dynamic materials

Konstantin A. Lurie

Call Number: TA403.6

Mechanics of dislocation fields

Claude Fressengeas

Call Number: TA409

Applied nanoindentation in advanced materials

edited by Atul Tiwari and Sridhar Natarajan

Call Number: TA410

Technology and practical use of strain gages : with particular consideration of stress analysis using strain gages

Stefan Keil

Call Number: TA413.5

Flexible glass : enabling thin, lightweight, and flexible electronics

Sean M. Garner

Call Number: TA418.T45

Structural integrity and durability of advanced composites : innovative modelling methods and intelligent design

editors P.W.R. Beaumont, C. Soutis, A. Hodzic

Call Number: TA418.9.C6

Composite magnetoelectrics : materials, structures, and applications

Gopalan Srinivasan, Shashank Priya, Nian X. Sun

Call Number: TA418.9.C6

Mechanics of aeronautical composite materials

Christopher Bouvet

Call Number: TA418.9.L3

Synthesis and applications of inorganic nanostructures [electronic resource]

Huaqiang Cao

Call Number: TA418.9.N35

Advanced Ceramic and Metallic Coating and Thin Film Materials for Energy and Environmental Applications [electronic resource]

edited by Jing Zhang, Yeon-Gil Jung

Call Number: TA418.9.T45

Theoretical modeling of epitaxial graphene growth on the Ir 111 surface [electronic resource]

Holly Alexandra Tetlow

Call Number: TA455.G65

Single-chain polymer nanoparticles : synthesis, characterization, simulations, and applications

edited by José A. Pomposo

Call Number: TA455.P58

Trends and applications in advanced polymeric materials

edited by Sanjay K. Nayak, Smita Mohanty and Lakshmi Unnikrishnan

Call Number: TA455.P58 T68 2017

Adjustment computations : spatial data analysis

Charles D. Ghilani

Call Number: TA556.M38

Dynamics of structures with MATLAB applications

Ashok K. Jain

Call Number: TA641

Modal testing : a practitioner's guide

Peter Avitabile

Call Number: TA654.15 .A95 2018

Structural reliability analysis and prediction

by Robert E. Melchers, University of Newcastle, AS, André T. Beck, University of Sao Paulo, BR

Call Number: TA656.5

Ground improvement case histories : embankments with special reference to consolidation and other physical methods

edited by Buddhima Indraratna, Jian Chu, Cholachat Rujikiatkamjorn

Call Number: TA760 .G76 2015eb

Recent trends in computational photonics

Arti Agrawal, Trevor Benson, Richard M. De La Rue, Gregory A. Wurtz, editors

Call Number: TA1520

Provisioning, recovery, and in-operation planning in elastic optical network

Luis Velasco and Marc Ruiz

Call Number: TA1520 .P765 2017

Green photonics and electronics [electronic resource]

Gadi Eisenstein, Dieter Bimberg, editors

Call Number: TA1522

Thermoplasmonics : heating metal nanoparticles using light

Guillaume Baffou, Institut Fresnel, CNRS, University of Aix-Marseille

Call Number: TA1530 .B34 2018

Envisioning holograms : design breakthrough experiences for mixed reality [electronic resource]

M. Pell ; foreword by Tony Parisi

Call Number: TA1540

A computational introduction to digital image processing

Alasdair McAndrew, Victoria University, Melbourne Australia

Call Number: TA1632 .M3638 2016

Computer vision systems : 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised selected papers

edited by Ming Liu, Haoyao Chen, Markus Vincze

Call Number: TA1634

Simulation and synthesis in medical imaging : second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings

edited by Sotirios A. Tsaftaris, Ali Gooya, Alejandro F. Frangi, Jerry L. Prince

Call Number: TA1634

Computer vision, graphics, and image processing : ICVGIP 2016 Satellite Workshops, WCVA, DAR, and MedImage, Guwahati, India, December 19, 2016 Revised selected papers

Snehasis Mukherjee, Suvadip Mukherjee, Dipti Prasad Mukherjee, Jayanthi Sivaswamy, Suyash Awate, Srirangaraj Setlur, Anoop M. Namboodiri, Santanu Chaudhury (eds.)

Call Number: TA1634

Advances in visual informatics : 5th International Visual Informatics Conference, IVIC 2017, Bangi, Malaysia, November 28-30, 2017, Proceedings

edited by Halimah Badioze Zaman, Peter Robinson, Alan F. Smeaton, Timothy K. Shih, Sergio Velastin, Tada Terutoshi, Azizah Jaafar, Nazlena Mohamad Ali

Call Number: TA1634

Advanced concepts for intelligent vision systems : 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017, Proceedings

Jacques Blanc-Talon, Rudi Penne, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.)

Call Number: TA1634

Computer vision : Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, proceedings.

Jinfeng Yang, Qinghua Hu, Ming-Ming Cheng, Liang Wang, Qingshan Liu, Xiang Bai, Deyu Meng (eds.)

Call Number: TA1634

Computer vision : Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, proceedings.

Jinfeng Yang, Qinghua Hu, Ming-Ming Cheng, Liang Wang, Qingshan Liu, Xiang Bai, Deyu Meng (eds.)

Call Number: TA1634

Digital image processing : a signal processing and algorithmic approach

D. Sundararajan

Call Number: TA1637

Image analysis and processing -- ICIAP 2017 : 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings.

Sebastiano Battiato, Giovanni Gallo, Raimondo Schettini, Filippo Stanco (eds.)

Call Number: TA1637

Image analysis and processing -- ICIAP 2017 : 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings.

Sebastiano Battiato, Giovanni Gallo, Raimondo Schettini, Filippo Stanco (eds.)

Call Number: TA1637

Handbook of convex optimization methods in imaging science

Vishal Monga, editor

Call Number: TA1637

Architecture-aware optimization strategies in real-time image processing

Chao Li, Souleymane Balla-Arabe, Fan Yang-Song

Call Number: TA1637

Hybrid intelligence for image analysis and understanding

edited by Siddhartha Bhattacharyya, Indrajit Pan, Anirban Mukherjee, Paramartha Dutta

Call Number: TA1637 .H93 2017

Raman fiber lasers

edited by Yan Feng

Call Number: TA1677

Environmental engineering principals and practices. Volume 1

N.S. Varandani

Call Number: TC405

Building smart cities : analytics, ICT, and design thinking

Carol L. Stimmel

Call Number: TD160

Environmental protection and transitions from conflict to peace

edited by Carsten Stahn, Jens Iverson and Jennifer S. Easterday

Call Number: TD170

Local action on climate change : opportunities and constraints

edited by Susie Moloney, Hartmut Fünfgeld and Mikael Granberg

Call Number: TD171.75 .C65 2018

Beyond politics : the private governance response to climate change

Michael P. Vandenbergh, Jonathan M. Gilligan

Call Number: TD171.75 .V36 2017

Energy sprawl solutions : balancing global development and conservation

edited by Joseph M. Kiesecker and David E. Naugle ; foreword by Peter Kareiva

Call Number: TD195.E49 E54 2017

The fracking debate : the risks, benefits, and uncertainties of the shale revolution

Daniel Raimi

Call Number: TD195.G3 R34 2018

Antimicrobial resistance in wastewater treatment processes

[edited] by Patricia L. Keen, Raphaël Fugère

Call Number: TD196.D78

Antimicrobial resistance in wastewater treatment processes

[edited] by Patricia L. Keen, Raphaël Fugère

Call Number: TD196.D78

Industrial water resource management : challenges and opportunities for corporate water stewardship

Pradip K Sengupta

Call Number: TD353 .S375 2018

High and dry : meeting the challenges of the world's growing dependence on groundwater

William M. Alley and Rosemarie Alley

Call Number: TD403 .A3954 2017

Replenish : the virtuous cycle of water and prosperity

Sandra Postel

Call Number: TD404

Urban street stormwater guide

National Association of City Transportation Officials

Call Number: TD657 .N37 2017

Urban street stormwater guide

National Association of City Transportation Officials

Call Number: TD657 .N37 2017

Advanced materials for wastewater treatment

edited by Shahid-ul-Islam

Call Number: TD745

Sustainable heavy metal remediation. Volume 2, Case studies

Eldon R. Rene, Erkan Sahinkaya, Alison Lewis, Piet N.L. Lens, editors

Call Number: TD758.5.H43

Fossil fuel emissions control technologies : stationary heat and power systems

Bruce Miller

Call Number: TD887.F69

Internet of vehicles : technologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

Sheng-Lung Peng, Guan-Ling Lee, Reinhard Klette, Ching-Hsien Hsu (eds.)

Call Number: TE228.38

Building construction materials and techniques

P. Purushothama Raj

Call Number: TH153

CPM scheduling for construction : best practices and guidelines

edited by Christopher Carson, Peter Oakander, Craig Relyea

Call Number: TH438.4

Sustainable built environments : principles and practice

edited by Miles Keeping, Hillbreak, Oxford; David Shiers, Oxford Brookes University, Oxford

Call Number: TH880

Building physics : heat, air and moisture : fundamentals and engineering methods with examples and exercises

Hugo Hens

Call Number: TH6021

The solar cooling design guide : case studies of successful solar air conditioning design

edited by Daniel Mugnier, Daniel Neyer and Stephen White

Call Number: TH7687.9

Black firefighters and the FDNY : the struggle for jobs, justice, and equity in New York City

David Goldberg

Call Number: TH9505.N5 G63 2017

Thermoelectric energy conversion : basic concepts and device applications

edited by Diana Dávila Pineda, Alireza Rezania

Call Number: TJ163.3

RoboCup 2016 : Robot World Cup XX

edited by Sven Behnke, Raymond Sheh, Sanem Sarıel, Daniel D. Lee

Call Number: TJ210.2-211.495

New Era for Robust Speech Recognition : Exploiting Deep Learning

edited by Shinji Watanabe, Marc Delcroix, Florian Metze, John R. Hershey

Call Number: TJ210.2-211.495

Social robotics : 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017, Proceedings

Abderrahmane Kheddar, Eiichi Yoshida, Shuzhi Sam Ge, Kenji Suzuki, John-John Cabibihan, Friederike Eyssel, Hongsheng He (eds.)

Call Number: TJ210.3 .I58 2017eb

The UBTECH Jimu Robots builder's guide : how to create and make them come to life

Mark Rollins

Call Number: TJ211

Robot manipulator redundancy resolution

Yunong Zhang, Long Jin, Sun Yatsen University

Call Number: TJ211.35

Fusion of hard and soft control strategies for the robotic hand

Cheng-Hung Chen, Desineni Subbaram Naidu

Call Number: TJ211.35

Secure and trustworthy transportation cyber-physical systems [electronic resource]

Yunchuan Sun, Houbing Song, editors

Call Number: TJ213

Robust adaptive control for fractional-order systems with disturbance and saturation

by Professor Mou Chen, Doctor Shuyi Shao, Professor Peng Shi

Call Number: TJ217

Multivariable predictive control : applications in industry

Sandip Kumar Lahiri

Call Number: TJ217.6 .L34 2017

Nonlinear systems tracking

Lyubomir T. Gruyitch

Call Number: TJ220.3 .G78 2017

Making things talk : practical methods for connecting physical objects

Tom Igoe

Call Number: TJ223.P76

Jumpstarting the Arduino 101 : interacting with a computer that learns

Yining Shi, Sagar Mohite

Call Number: TJ223.P76

Learn electronics with Arduino : an illustrated beginner's guide to physical computing

Jody Culkin and Eric Hagan

Call Number: TJ223.P76

The official BBC Micro:bit user guide

Gareth Halfacree

Call Number: TJ223.P76

Thermoacoustics : a unifying perspective for some engines and refrigerators

Gregory W. Swift

Call Number: TJ260

Finite time thermodynamics of power and refrigeration cycles [electronic resource]

Shubhash C. Kaushik, Sudhir K. Tyagi, Pramod Kumar

Call Number: TJ265

Non-conventional energy resources

Shobh Nath SIngh

Call Number: TJ808

Optofluidics, sensors and actuators in microstructured optical fibers

edited by Stavros Pissadakis and Stefano Selleri

Call Number: TJ853.4.O68

Applied tribology : bearing design and lubrication

Michael M. Khonsari, E. Richard Booser

Call Number: TJ1075

Reactive extrusion : principles and applications

edited by Günter Beyer and Christian Hopmann

Call Number: TJ1450

Synchronized phasor measurements and their applications

Arun G. Phadke, James S. Thorp

Call Number: TK454

Multiphysics simulation by design for electrical machines, power electronics and drives

Marius Rosu, Ping Zhou, Dingsheng Lin, Dan Ionel, Mircea Popescu, Frede Blaabjerg, Vandana Rallabandi, David Staton

Call Number: TK1005

Operation and control of renewable energy systems

by Mukhtar Ahmad, Aligarh, India

Call Number: TK1007

Grid integrated and standalone photovoltaic distributed generation systems : analysis, design and control

Dr. Bo Zhao, State Grid Zhejiang Electric Power Corp, Hangzhou, China, Dr. Caisheng Wang, Wayne State University, Michigan, United States, Xuesong Zhang, State Grid Zhejiang Electric Power Corp, Hangzhou, China

Call Number: TK1087

Transformer ageing : monitoring and estimation techniques

edited by Tapan Kumar Saha, Prithwiraj Purkait

Call Number: TK2551

Introduction to AC machine design

Thomas A. Lipo

Call Number: TK2711

Power Electronic Converters : Dynamics and Control in Conventional and Renewable Energy Applictions [electronic resource]

Call Number: TK2796 .S86 2017

Metaheuristics for intelligent electrical networks

Frédéric Héliodore, Amir Nakib, Boussaad Ismail, Salma Ouchraa, Laurent Schmitt

Call Number: TK3105

Data analytics for renewable energy integration : informing the generation and distribution of renewable energy : 5th ECML PKDD Workshop, DARE 2017, Skopje, Macedonia, September 22, 2017, Revised selected papers

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

Call Number: TK3105

Freeform optics for LED packages and applications

Kai Wang, Sheng Liu, Xiaobing Luo, Dan Wu

Call Number: TK4388

E-Business and telecommunications : 13th International Joint Conference, ICETE 2016, Lisbon, Portugal, July 26-28, 2016, Revised selected papers

Mohammad S. Obaidat (eds.)

Call Number: TK5101.A1

RabbitMQ in depth

Gavin Roy

Call Number: TK5102.5

Mathematical aspects of signal processing

Pradip Sircar

Call Number: TK5102.9

Arithmetic circuits for DSP applications

edited by Pramod Kumar Meher and Thanos Stouraitis

Call Number: TK5102.9

Computational signal processing with wavelets [electronic resource]

Anthony Teolis

Call Number: TK5102.9

Computational signal processing with wavelets

Anthony Teolis

Call Number: TK5102.9

Fundamentals of signal enhancement and array signal processing

Jacob Benesty, Israel Cohen, Jingdong Chen

Call Number: TK5102.9 .B4524 2018

CWTS, CWS, and CWT complete study guide : Exams PW0-071, CWS-2017, CWT-2017

Robert J. Bartz

Call Number: TK5103.2

From GSM to LTE-Advanced Pro and 5G an introduction to mobile networks and mobile broadband

by Martin Sauter, WirelessMoves, Cologne

Call Number: TK5103.2

Advanced multicarrier technologies for future radio communication : 5G and beyond

by Hanna Bogucka, Adrian Kliks, Paweł Kryszkiewicz

Call Number: TK5103.2

CWTS, CWS, and CWT complete study guide : Exams PW0-071, CWS-2017, CWT-2017

Robert J. Bartz

Call Number: TK5103.2

Indoor wireless communications : from theory to implementation

by Alejandro Aragón-Zavala

Call Number: TK5103.2 .A655 2017

Small cell networks : deployment, management, and optimization

Holger Claussen, David López-Pérez, Lester Ho, Rouzbeh Razavi, Stepan Kucera

Call Number: TK5103.2 .C43 2017eb

OQAM/FBMC for future wireless communications : principles, technologies and applications

Tao Jiang, Da Chen, Chunxing Ni, Daiming Qu

Call Number: TK5103.2 .J53 2018

Multimedia communications, services and security : 9th International Conference, MCSS 2017, Kraków, Poland, November 16-17, 2017, proceedings

edited by Andrzej Dziech, Andrzej Czyżewski

Call Number: TK5105.15

Connecting Networks. Companion guide

Cisco Networking Academy

Call Number: TK5105.5

Mobile, secure, and programmable networking : third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised selected papers

Samia Bouzefrane, Soumya Banerjee, Françoise Sailhan, Selma Boumerdassi, Eric Renault (eds.)

Call Number: TK5105.5

Information, communication and computing technology : second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised selected papers

edited by Saroj Kaushik, Daya Gupta, Latika Kharb, Deepak Chahal

Call Number: TK5105.5

SCION : a secure internet architecture

Adrian Perrig, Pawel Szalachowski, Raphael M. Reischuk, Laurent Chuat

Call Number: TK5105.5

Fundamentals of data communication networks

Oliver C. Ibe

Call Number: TK5105.5

Deploying Microsoft System Center Configuration Manager : manage complex and heterogeneous workloads with ConfigMgr 1706

Jacek Doktor, Pawel Jarosz

Call Number: TK5105.5.M37

Network routing : algorithms, protocols, and architectures

Deep Medhi, Karthik Ramasamy

Call Number: TK5105.5 .M425 2018

JUNOS automation cookbook : automate network devices on Juniper's operating system

Adam Chappell

Call Number: TK5105.543

The Terraform book

James Turnbull

Call Number: TK5105.548

The art of monitoring

James Turnbull

Call Number: TK5105.5485

Internet video data streaming : energy-saving and cost-aware methods [electronic resource]

Ye Tian, Min Zhao, Xinming Zhang

Call Number: TK5105.55

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

Thomas Hunter II

Call Number: TK5105.5828

WSO2 developer's guide : SOA and data services with WSO2 Enterprise Integrator

Fidel Prieto Estrada, Ramón Garrido Lázaro

Call Number: TK5105.5828

Service-oriented computing -- ICSOC 2016 workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised selected papers

Khalil Drira, Hongbing Wang, Qi Yu, Yan Wang, Yuhong Yan, François Charoy, Jan Mendling, Mohamed Mohamed, Zhongjie Wang, Sami Bhiri (eds.)

Call Number: TK5105.5828

Service-oriented computing : 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings

edited by Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol

Call Number: TK5105.5828

Software-defined networking with OpenFlow : deliver innovative business solutions

Oswald Coker, Siamak Azodolmolky

Call Number: TK5105.5833

Guide to security in SDN and NFV : challenges, opportunities, and applications [electronic resource]

Shao Ying Zhu, Sandra Scott-Hayward, Ludovic Jacquin, Richard Hill, editors

Call Number: TK5105.5833

Cisco Firepower Threat Defense (FTD) : configuration and troubleshooting best practices for the Next-Generation Firewall (NGFW), Next-Generation Intrusion Prevention System (NGIPS), and Advanced Malware Protection (AMP)

Nazmul Rajib

Call Number: TK5105.59

Security from first principles : a practical guide to the information security practice principles

Craig Jackson, Scott Russell, and Susan Sons

Call Number: TK5105.59

Cryptography and network security

S. Bose, P. Vijayakumar

Call Number: TK5105.59

Intelligent, secure, and dependable systems in distributed and cloud environments : first International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, proceedings

Issa Traore, Isaac Woungang, Ahmed Awad (eds.)

Call Number: TK5105.59

Network security metrics [electronic resource]

Lingyu Wang, Sushil Jajodia, Anoop Singhal

Call Number: TK5105.59

Anomaly detection principles and algorithms [electronic resource]

Kishan G. Mehrotra, Chilukuri K. Mohan, HuaMing Huang

Call Number: TK5105.59

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

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

Call Number: TK5105.59

Security and privacy in cyber-physical systems : foundations, principles, and applications

edited by Houbing Song, Glenn A. Fink, Sabina Jeschke

Call Number: TK5105.59 .S43923 2018

CCNA routing and switching ICND2 200-105 official cert guide

Wendell Odom, Scott Hogg

Call Number: TK5105.8.C57

Windows networking troubleshooting

Mike Halsey, Joli Ballew

Call Number: TK5105.8.C57

Automotive ethernet

Kirsten Matheus, Thomas Königseder

Call Number: TK5105.8.E83

Learning Ceph : a unified, scalable, and reliable open source storage solution

Anthony D'Atri, Vaibhav Bhembre, Karan Singh

Call Number: TK5105.86

Socially intelligent computing : a conversation with Daniel Goleman and Clay Shirky

Call Number: TK5105.875.I57

On the move to meaningful internet systems : OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings.

Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman (eds.)

Call Number: TK5105.875.I57

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

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

Call Number: TK5105.875.I57

On the move to meaningful internet systems : OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings.

Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman (eds.)

Call Number: TK5105.875.I57

Internet science : 4th International Conference, INSCI 2017, Thessaloniki, Greece, November 22-24, 2017, Proceedings

Ioannis Kompatsiaris, Jonathan Cave, Anna Satsiou, Georg Carle, Antonella Passani, Efstratios Kontopoulos, Sotiris Diplaris, Donald McMillan (eds.)

Call Number: TK5105.875.I57

Web and big data : APWeb-WAIM 2017 International Workshops: MWDA, HotSpatial, GDMA, DDC, SDMA, MASS, Beijing, China, July 7-9, 2017, Revised selected papers

Shaoxu Song, Matthias Renz, Yang-Sae Moon (eds.)

Call Number: TK5105.875.I57

Digital transformation and global society : second International Conference, DTGS 2017, St. Petersburg, Russia, June 21-23, 2017, Revised selected papers

Daniel A. Alexandrov, Alexander V. Boukhanovsky, Andrei V. Chugunov, Yury Kabanov, Olessia Koltsova (eds.)

Call Number: TK5105.875.I57

Troubleshooting SharePoint : the complete guide to tools, best practices, PowerShell One-Liners, and scripts [electronic resource]

Stacy Simpkins

Call Number: TK5105.875.I6

Chokepoints : global private regulation on the Internet

Natasha Tusikov

Call Number: TK5105.8854 .T877 2017

Intelligent IoT projects in 7 days : build exciting projects using smart devices

Agus Kurniawan

Call Number: TK5105.8857

Internet of things : evolutions and innovations

edited by Nasreddiine BouhaÏ, Imad Saleh

Call Number: TK5105.8857

Podcasting for dummies

Tee Morris, Chuck Tomasi ; foreword by Mignon Fogarty

Call Number: TK5105.887

CSS : the definitive guide : visual presentation for the web

Eric A. Meyer and Estelle Weyl

Call Number: TK5105.888

Sams teach yourself PHP, MySQL and JavaScript : all in one

Julie C. Meloni

Call Number: TK5105.888

Spring 5.0 cookbook : recipes to build, test and run Spring applications efficiently

Sherwin John Calleja Tragura

Call Number: TK5105.888

UX for the web : build websites for user experience and usability

Marli Ritter, Cara Winterbottom

Call Number: TK5105.888

AWS for developers for dummies

John Paul Mueller

Call Number: TK5105.88813

AWS certified developer : associate guide : your one-stop solution to pass the AWS developer's certification

Vipul Tankariya, Bhavin Parmar

Call Number: TK5105.88813

Learn Amazon Web Services in a month of lunches

David Clinton

Call Number: TK5105.88813

Web information systems engineering -- WISE 2017 : 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings.

Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li (eds.)

Call Number: TK5105.88813

Web information systems engineering -- WISE 2017 : 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings.

Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li (eds.)

Call Number: TK5105.88813

The semantic web -- ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings.

Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin (eds.)

Call Number: TK5105.88815

The semantic web -- ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings.

Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin (eds.)

Call Number: TK5105.88815

The semantic web : ESWC 2017 Satellite Events : ESWC 2017 Satellite Events, Portorož, Slovenia, May 28-June 1, 2017, Revised selected papers

Eva Blomqvist, Katja Hose, Heiko Paulheim, Agnieszka Ławrynowicz, Fabio Ciravegna, Olaf Hartig (eds.)

Call Number: TK5105.88815

Semantic web challenges : 4th SemWebEval Challenge at ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017, Revised selected papers

edited by Mauro Dragoni, Monika Solanki, Eva Blomqvist

Call Number: TK5105.88815

Learning Angular

Brad Dayley, Brendan Dayley, Caleb Dayley

Call Number: TK5105.8883

The definitive guide to Squarespace : learn to deliver custom, professional web experiences for yourself and your clients

Sarah Martin

Call Number: TK5105.8883

Creating blogs with Jekyll : build elegant and minimalistic static blogs

Vikram Dhillon

Call Number: TK5105.8884

ASP.NET Core 2 high performance : learn the secrets of developing high performance web applications using C# and ASP.NET Core 2 on Windows, Mac, and Linux

James Singleton

Call Number: TK5105.8885.A26

Beginning Django : web application development and deployment with Python

Daniel Rubio

Call Number: TK5105.8885.D54

Drupal 8 blueprints : step along the creation of 7 professional-grade Drupal sites

Alex Burrows

Call Number: TK5105.8885.D78

Drupal 8 development cookbook : harness the power of Drupal 8 with this recipe-based practical guide

Matt Glaman

Call Number: TK5105.8885.D78

Decoupling Drupal : a decoupled design approach for web applications [electronic resource]

Deepali Mayekar

Call Number: TK5105.8885.D78

SharePoint development with the SharePoint Framework : design and implement state-of-the-art customizations for SharePoint

Jussi Roine, Olli Jääskeläinen

Call Number: TK5105.8885.M543

Effective testing with RSpec 3 : build Ruby apps with confidence

by Myron Marston, Ian Dees

Call Number: TK5105.8885.R83

Measurement techniques for radio frequency nanoelectronics

T. Mitch Wallis, National Institute of Standards and Technology, Boulder, Pavel Kabos, National Institute of Standards and Technology, Boulder

Call Number: TK6552.5 .W35 2017

Radio wave propagation and parabolic equation modeling

Gökhan Apaydin, Levent Sevgi

Call Number: TK6553

The cool stuff in Premiere Pro : learn advanced editing techniques to dramatically speed up your workflow [electronic resource]

Jarle Leirpoll, Dylan Osborn, Paul Murphy, Andy Edwards

Call Number: TK6680.5

Final cut pro X beyond the basics : advanced techniques for editors

Tom Wolsky

Call Number: TK6680.5 .W64 2018eb

Fundamentals of electronics. 1, Electronic components and elementary functions

Pierre Muret

Call Number: TK7816

Analysis and design of transimpedance amplifiers for optical receivers

Eduard Säckinger

Call Number: TK7871.58.O6

Millimeter-wave power amplifiers [electronic resource]

Jaco du Preez, Saurabh Sinha

Call Number: TK7871.58.P6

Spin physics in semiconductors

Mikhail I. Dyakonov, editor

Call Number: TK7871.85

Photo-electro-thermal theory for LED systems : basic theory and applications

Ron Hui

Call Number: TK7871.89.L53

Light emitting diodes for agriculture : smart lighting

S. Dutta Gupta, editor

Call Number: TK7871.89.L53

Growth of high permittivity dielectrics by high pressure sputtering from metallic targets [electronic resource]

María Ángela Pampillón Arce

Call Number: TK7871.99.M44

Magnetic nano- and microwires : design, synthesis, properties and applications

[edited by] Manuel Vázquez

Call Number: TK7874.85

Modern recording techniques

David Miles Huber and Robert E. Runstein

Call Number: TK7881.4

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

Tim Dittmar

Call Number: TK7881.4

Mixing audio : concepts, practices, and tools

Roey Izhaki

Call Number: TK7881.4 .I94 2018

Immersive sound : the art and science of binaural and multi-channel audio

edited by Agnieszka Roginska and Paul Geluso

Call Number: TK7881.83

Parametric time-frequency domain spatial audio

edited by Ville Pulkki, Symeon Delikaris-Manias, Archontis Politis, Aalto University, Aalto, Finland

Call Number: TK7881.83

Tableau 10 bootcamp : intensive training for data visualization and dashboarding

Joshua N. Milligan, Donabel Santos

Call Number: TK7882.I6

Visual content indexing and retrieval with psycho-visual models [electronic resource]

Jenny Benois-Pineau, Patrick Le Callet, editors

Call Number: TK7882.P3

IBM TS4500 R4 tape library guide

Larry Coyne, Michael Engelbrecht, Simon Browne

Call Number: TK7887.55

Embedded systems architecture for agile development : a layers-based model

Mohsen Mirtalebi

Call Number: TK7895.E42

The analysis of nuclear materials and their environments

Claude André Degueldre

Call Number: TK9185

The long Space Age : the economic origins of space exploration from Colonial America to the Cold War

Alexander MacDonald

Call Number: TL521.312 .M33 2017eb

Small unmanned fixed-wing aircraft design : a practical approach

Andrew J Keane, University of Southampton, UK, András Sóbester, University of Southampton, UK, James P. Scanlan, University of Southampton, UK

Call Number: TL685.35 .K43 2017

Performance of the jet transport airplane : analysis methods, flight operations, and regulations

Trevor M. Young, University of Limerick, Ireland

Call Number: TL710 .Y64 2018

Flight training

Call Number: TL712 .F55

Inventing a Space Mission : The Story of the Herschel Space Observatory [electronic resource]

Vincent Minier...[et al.]

Call Number: TL795

Enhance oil & gas exploration with data-driven geophysical and petrophysical models

Keith R. Holdaway, Duncan H.B. Irving

Call Number: TN271.P4 H653 2018

Modern borehole analytics : annular flow, hole cleaning, and pressure control

Wilson C. Chin

Call Number: TN281.5

China's gas development strategies

Shell International and The Development Research Center (DRC) of the State Council of the People's Republic of China, editors

Call Number: TN882.C6

Gas hydrates 1 : fundamentals, characterization and modeling

edited by Daniel Broseta, Livio Ruffine and Arnaud Desmedt

Call Number: TN884

Engineering chemistry

K. Sesha Maheswaramma, Mridula Chugh

Call Number: TP145

Ion exchange in environmental processes : fundamentals, applications and sustainable technology

Arup K. SenGupta

Call Number: TP156.I6

Transport processes and separation process principles

Christie John Geankoplis, A. Allen Hersel, Daniel H. Lepek

Call Number: TP156.T7

Chemically reacting flow : theory, modeling, and simulation

Robert J. Kee, Michael E. Coltrin, Peter Glarborg, Huayang Zhu

Call Number: TP156.T7

Essentials of chemical reaction engineering

H. Scott Fogler

Call Number: TP157

Practical column design guide

M. Nitsche, R. Gbadamosi

Call Number: TP159.D5

Patent Politics : Life Forms, Markets, and the Public Interest in the United States and Europe

Call Number: TP248

Nanoporous catalysts for biomass conversion

edited by Feng-Shou Xiao, Zhejiang University, Hangzhou, China, Liang Wang, Zhejiang University, Hangzhou, China

Call Number: TP248.B55

Formaldehyde and cognition

Rongqiao He

Call Number: TP248.F6

Applications of biotechnology for sustainable development

Kunal Mukhopadhyay, Ashish Sachan, Manish Kumar, editors

Call Number: TP248.2

Prospects and challenges in algal biotechnology

Bhumi Nath Tripathi, Dhananjay Kumar, editors

Call Number: TP248.27.A46

Fungi : biology and applications

edited by Kevin Kavanagh

Call Number: TP248.27.F86

Soy protein-based blends, composites and nanocomposites

edited by Visakh P. M and Olga Nazarenko

Call Number: TP248.65.P76 S63 2017

Energetic materials : from cradle to grave [electronic resource]

Manoj K. Shukla and [four others], editors

Call Number: TP271

Introduction to renewable biomaterials : first principles and concepts

edited by Ali Ayoub and Lucian A. Lucia

Call Number: TP339

Advances in biofeedstocks and biofuels. Volume 2, Production technologies for biofuels

edited by Lalit Kumar Singh, Gaurav Chaudhary

Call Number: TP339

Bioenergy and land use change

Zhangcai Qin, Umakant Mishra, Astley Hastings, editors

Call Number: TP339 .Q25 2018eb

Essential oils in food processing : chemistry, safety and applications

edited by Seyed Mohammad Bagher Hashemi, Amin Mousavi Khaneghah, Anderson S. Sant'Ana

Call Number: TP958

Fundamentals of polymer science for engineers

Stoyko Fakirov

Call Number: TP1087

Organic coatings : science and technology

Frank N. Jones, emeritus professor, Eastern Michigan University, Coatings Consulting Services, LLC, Mark E. Nichols, Ford Motor Company, Socrates Peter Pappas, consultant

Call Number: TP1175.S6 W56 2017

Handbook of industrial polyethylene and technology : definitive guide to manufacturing, properties, processing, applications and markets

edited by Mark A. Spalding and Ananda M. Chatterjee

Call Number: TP1180.P65

Dara Friedman : perfect stranger

René Morales, with contributions by Rochelle Steiner, Ali Subotnick

Call Number: TR

50 photographers you should know

Peter Stepan

Call Number: TR139 .S74 2016

African photographer J.A. Green : reimagining the indigenous and the colonial

edited by Martha G. Anderson and Lisa Aronson ; with Ebiegberi Joe Alagoa, Tam Fiofori, and Christraud M. Geary

Call Number: TR140.G727 A46 2017

Photocommunication across media : beginning photography for professionals in mass media

edited by Ross F. Collins and Keith Greenwood

Call Number: TR147

Perception and imaging : photography as a way of seeing

John Suler, Richard D. Zakia

Call Number: TR179

Photography, trace, and trauma

Margaret Iversen

Call Number: TR183 .I947 2017eb

The enthusiast's guide to DIY photography : 64 projects, hacks, techniques, and inexpensive solutions for getting great photos

Mike Hagen

Call Number: TR196

Canon EOS Rebel T7i/800D for dummies

Julie Adair King

Call Number: TR263.C3

Canon EOS 77D for dummies

Julie Adair King, Robert Correll

Call Number: TR263.C3

David Busch's Canon EOS 6D Mark II guide to digital SLR photography

David D. Busch

Call Number: TR263.C3

Nikon D7500 for dummies

Julie Adair King

Call Number: TR263.N5

Digital ultraviolet and infrared photography

Adrian Davies

Call Number: TR267

Light and lighting in people and portrait photography

Friedrun Reinhold

Call Number: TR590

A shared elegy

Elijah Gowin, Emmet Gowin, Osamu James Nakagawa, Takayuki Ogawa ; introduction by Nanette Esseck Brewer ; with contributions by Joel Smith, Yoshiko Suzuki

Call Number: TR645.B576 G78 2017

4 saints in 3 acts : a snapshot of the American avant-garde in the 1930s

edited by Patricia Allmer and John Sears

Call Number: TR646.G7 F68 2017

Pieter Hugo : between the devil and the deep blue sea

edited by Ralf Beil & Uta Ruhkamp ; translation from the German, Gerard Goodrow

Call Number: TR647 .H78 2017

JR : inside out

Call Number: TR647 .J73 2017

Magnum atlas : around the world in 365 photos from the Magnum archive

Call Number: TR650 .M34 2017

The landscape photographer's guide to Photoshop : a visualization-driven workflow

Guy Tal

Call Number: TR660

Folk masters : a portrait of America

photographs by Tom Pich ; text by Barry Bergey

Call Number: TR681.A7 P53 2018

Close-up and macro photography : its art and fieldcraft techniques

Robert Thompson

Call Number: TR683 .T45 2017

The travel photo essay : describing a journey through images

Mark Edward Harris

Call Number: TR790

Fundamentals of forensic photography : practical techniques for evidence documentation on location and in the laboratory

Keith Mancini and John Sidoriak

Call Number: TR822

Twice the first : Quirino Cristiani and the animated feature film

Giannalberto Bendazzi

Call Number: TR849.C75 B4513 2018

Media design and technology for live entertainment : essential tools for video presentation

Davin E. Gaddy

Call Number: TR850 .G28 2018

Semiotics and title sequences : text-image composites in motion graphics

Michael Betancourt

Call Number: TR886.9 .B48 2017

Sound design for low and no budget films

Patrick Winters

Call Number: TR897

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

Michael Betancourt

Call Number: TR897

Mastering Adobe Captivate 2017 : create professional SCORM-compliant eLearning content with Adobe Captivate

Pooja Jaisingh, Damien Bruyndonckx

Call Number: TR897.7

Documentary editing : principles and practice

Jacob Bricca

Call Number: TR899 .B694 2018

Advanced Planning and Scheduling in Manufacturing and Supply Chains [electronic resource]

by Yuri Mauergauz

Call Number: TS155-TS194

Industrial cybersecurity : efficiently secure critical infrastructure systems

Pascal Ackerman

Call Number: TS156.8

Statistics for process control engineers : a practical approach

Myke King, Whitehouse Consulting, Isle of Wight, UK

Call Number: TS156.8

Task scheduling for multi-core and parallel architectures : challenges, solutions and perspectives [electronic resource]

Quan Chen, Minyi Guo

Call Number: TS157.5

Overcrowded : designing meaningful products in a world awash with ideas

Roberto Verganti

Call Number: TS170 .V47 2016eb

Cuteness engineering : designing adorable products and services

Aaron Marcus, Masaaki Kurosu, Xiaojuan Ma, Ayako Hashizume

Call Number: TS171

Design management : the essential handbook

David Hands

Call Number: TS171.4

3D printing basics for entertainment design

Anne E. McMills

Call Number: TS171.95

From additive manufacturing to 3D/4D printing. 2, Current techniques, improvements and their limitations

Jean-Claude André

Call Number: TS171.95

From additive manufacturing to 3D/4D printing. 1, From concepts to achievements

Jean-Claude André

Call Number: TS171.95

Math for the digital factory

edited by Luca Ghezzi, Dietmar Hömberg, Chantal Landry

Call Number: TS183

Textile finishing : recent developments and future trends

edited by K.L. Mittal, Thomas Bahners

Call Number: TS1510 .T45 2017

Advances in 3D textiles

edited by Xiaogang Chen

Call Number: TS1767

Design for CNC : furniture projects and fabrication technique

Anne Filson, Gary Rohrbacher, Anna Kaziunas France

Call Number: TT194

Make: getting started with soldering : a hands-on guide to making electrical and mechanical connections

Marc de Vinck

Call Number: TT267

Fabric and fiber inventions : sew, knit, print, and electrify your own designs to wear, use, and play with

Kathy Ceceri

Call Number: TT699

Historical wig styling. Ancient Egypt to the 1830s

Allison Lowery

Call Number: TT975 .L83 2013eb

Consumer reports. Buying guide

Call Number: TX335.A1 C612