Skip to main content

University Libraries

Science & Technology (General)

Items Acquired in June 2017 for the University Libraries

Mastering Elastic Stack : get the most out of the Elastic Stack for various complex analytics using this comprehensive and practical guide

Yuvraj Gupta, Ravi Kumar Gupta

Call Number: QA.76.9.C55

Science and technology from global and historical perspectives

Bahattin Karagözoğlu

Call Number: Q125

The Power of Stars [electronic resource]

Call Number: Q162

A fortunate universe : life in a finely-tuned cosmos

Geraint F. Lewis, Luke A. Barnes ; foreword by Brian Schmidt

Call Number: Q172.5.C45

A smooth and discontinuous oscillator : theory, methodology and applications

Qingjie Cao, Alain Léger, Marian Wiercigroch

Call Number: Q172.5.C45

Advances in dynamics, patterns, cognition : challenges in complexity [electronic resource]

Igor S. Aranson, Arkady Pikovsky, Nikolai F. Rulkov, Lev S. Tsimring, editors

Call Number: Q172.5.C45

Evaluating Research Efficiency of Chinese Universities

Call Number: Q180.C6

Preparing informal science educators : perspectives from science communication and education

edited by Patricia G. Patrick

Call Number: Q181

Drawing for science education : an international perspective

edited by Phyllis Katz (University of Maryland, USA)

Call Number: Q181 .D67 2017eb

Desirable science education : findings from a curricular Delphi study on scientific literacy in Germany

Theresa Schulte

Call Number: Q183.4.G3

Systemic decision making : fundamentals for addressing problems and messes

Patrick T. Hester, Kevin MacG. Adams

Call Number: Q295

Applied systems theory [electronic resource]

Rob Dekkers

Call Number: Q295

Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017) Vol. 2, Cybernetics and mathematics applications in intelligent systems

Radek Silhavy, Roman Senkerik, Zuzana Kominkova Oplatkova, Zdenka Prokopova, Petr Silhavy, editors

Call Number: Q300

Advances in artificial life, evolutionary computation, and systems chemistry : 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised selected papers

Federico Rossi, Stefano Piotto, Simona Concilio (eds.)

Call Number: Q325

Reverse hypothesis machine learning : practitioner's perspective

Parag Kulkarni

Call Number: Q325.5

Encyclopedia of machine learning and data mining

Claude Sammut, Geoffrey I. Webb, editors

Call Number: Q325.5

Hands-on machine learning with Scikit-Learn and TensorFlow : concepts, tools, and techniques to build intelligent systems

Aurélien Géron

Call Number: Q325.5

TensorFlow machine learning cookbook : explore machine learning concepts using the latest numerical computing library, TensorFlow, with the help of this comprehenisive cookbook

Nick McClure

Call Number: Q325.5

Roadside video data analysis : deep learning

Brijesh Verma, Ligang Zhang, David Stockwell

Call Number: Q325.5

Mastering machine learning with R : advanced prediction, algorithms, and learning methods with R 3.x

Cory Lesmeister

Call Number: Q325.5

Deep learning with TensorFlow : take your machine learning knowledge to the next level with the power of TensorFlow

Giancarlo Zaccone, Md. Rezaul Karim, Ahmed Menshawy

Call Number: Q325.5

Machine learning with Spark : develop intelligent machine learning systems with Spark 2.x

Rajdeep Dua, Manpreet Singh Ghotra, Nick Pentreath

Call Number: Q325.5

Effective Amazon machine learning : machine learning in the Cloud

Alexis Perrier

Call Number: Q325.5

Practical machine learning cookbook : resolving and offering solutions to your machine learning problems with R

Atul Tripathi

Call Number: Q325.5

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II

edited by Ngoc Thanh Nguyen, Satoshi Tojo, Le Minh Nguyen, Bogdan Trawiński

Call Number: Q334

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings.

edited by Ngoc Thanh Nguyen, Satoshi Tojo, Le Minh Nguyen, Bogdan Trawiński

Call Number: Q334

Artificial intelligence for knowledge management : third IFIP WG 12.6 International Workshop, AI4KM 2015, held at IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Revised selected papers

Eunika Mercier-Laurent, Danielle Boulanger (eds.)

Call Number: Q334

Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017) Vol. 1, Artificial intelligence trends in intelligent systems

Radek Silhavy, Roman Senkerik, Zuzana Kominkova Oplatkova, Zdenka Prokopova, Petr Silhavy, editors

Call Number: Q334

New frontiers in artificial intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised selected papers

Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki (eds.)

Call Number: Q334

Conflict resolution in decision making : second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised selected papers

Reyhan Aydoğan, Tim Baarslag, Enrico Gerding, Catholijn M. Jonker, Vicente Julian, Victor Sanchez-Anguix (eds.)

Call Number: Q334

Advances in artificial intelligence : 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings

edited by Malek Mouhoub, Philippe Langlais

Call Number: Q334

Advanced topics in intelligent information and database systems

Dariusz Król, Ngoc Thanh Nguyen, Kiyoaki Shirai, editors

Call Number: Q335

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

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

Call Number: Q342

Metaheuristics for medicine and biology

Amir Nakib, El-Ghazali Talbi, editors

Call Number: Q342

Data science and big data : an environment of computational intelligence

Witold Pedrycz, Shyi-Ming Chen, editors

Call Number: Q342

Cognitive information systems in management sciences

Lidia Ogiela

Call Number: Q342

Mathematics as a tool : tracing new roles of mathematics in the sciences

Johannes Lenhard, Martin Carrier, editors

Call Number: QA8.4

The incomputable : journeys beyond the Turing barrier [electronic resource]

S. Barry Cooper, Mariya I. Soskova, editors

Call Number: QA9.63

Optimization of type-2 fuzzy controllers using the bee colony algorithm

Leticia Amador, Oscar Castillo

Call Number: QA9.64

Mathematics and technology : A C.I.E.A.E.M. sourcebook

Gilles Aldon, Fernando Hitt, Luciana Bazzini, Uwe Gellert, editors

Call Number: QA11.2

The mathematics of mathematics : thinking with the late, Spinozist Vygotsky

Wolff-Michael Roth, University of Victoria, Canada

Call Number: QA11.2 .R68 2017eb

D.D. Kosambi : selected works in mathematics and statistics

Ramakrishna Ramaswamy, editor

Call Number: QA36

Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Jan von Plato

Call Number: QA39.3

The Colorado Mathematical Olympiad : the third decade and further explorations : from the mountains of Colorado to the peaks of mathematics [electronic resource]

Alexander Soifer ; forewords by Branko Grünbaum, Peter D. Johnson

Call Number: QA43

Applied computing and information technology

Roger Lee, editor

Call Number: QA75.5

Proceedings of the International Conference on Computing, Mathematics and Statistics (iCMS 2015) : bridging research endeavors

Abd-Razak Ahmad [and three others], editors

Call Number: QA75.5

Transactions on computational science XXIX

edited by Marina L. Gavrilova, C.J. Kenneth Tan

Call Number: QA76

Advances in computers. Volume 105

edited by Atif M. Memon

Call Number: QA76

CCNA routing and switching practice tests

Jon Buhagiar

Call Number: QA76.3

CCNA Cyber Ops SECFND 210-250 official cert guide

Omar Santos, Joseph Muniz, Stefano de Crescenzo

Call Number: QA76.3

31 days before your CCNA routing & switching exam : a day-by-day review guide for the ICND1CCENT (100-105), ICND2 (200-105), and CCNA (200-125) certification exam

Allan Johnson

Call Number: QA76.3

32-bit microprocessors : a primer plus

Gary J. Bronson, Howard I. Silver, with contributions by Stephen J. Menconi

Call Number: QA76.5 .B773 1988

Cloud service benchmarking : measuring quality of cloud services from a client perspective

David Bermbach, Erik Wittern, Stefan Tai

Call Number: QA76.585

Effective business intelligence with QuickSight : from data to actionable business insights using Amazon QuickSight!

Rajesh Nadipalli

Call Number: QA76.585

OpenStack for architects : design and implement successful private clouds with OpenStack

Michael Solberg, Ben Silverman

Call Number: QA76.585

Architecting Cloud SaaS software - solutions or products : engineering multi-tenanted distributed architecture software

Sankaran Prithviraj

Call Number: QA76.585

Algorithmic aspects of cloud computing : second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised selected papers

Timos Sellis, Konstantinos Oikonomou (eds.)

Call Number: QA76.585

Green, pervasive, and cloud computing : 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings

Man Ho Allen Au, Arcangelo Castiglione, Kim-Kwang Raymond Choo, Francesco Palmieri, Kuan-Ching Li (eds.)

Call Number: QA76.585

AWS administration cookbook : harness the full capability of AWS

Lucas Chan, Rowan Udell

Call Number: QA76.585

Mastering OpenStack : discover your complete guide to designing, deploying, and managing OpenStack-based clouds in mid-to-large IT infrastructures with best practices, expert understanding, and more

Omar Khedher, Chandan Dutta Chowdhury

Call Number: QA76.585

User acceptance of mobile notifications

Tilo Westermann

Call Number: QA76.59

Mobile app development with Ionic 2 : cross-platform apps with Ionic, Angular, and Cordova

Chris Griffith

Call Number: QA76.59

Information science and applications 2017 : ICISA 2017

Kuinam Kim, Nikolai Joukov, editors

Call Number: QA76.5915

Internet of Things programming with JavaScript : learn the art of bringing the Internet of Things into your projects with the power of JavaScript

Ruben Oliva Ramos

Call Number: QA76.5915

Context-aware systems and applications : 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings

Phan Cong Vinh, Le Tuan Anh, Nguyen Thi Thuy Loan, Waralak Vongdoiwang Siricharoen (eds.)

Call Number: QA76.5915

Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings

Hongseok Yang (ed.)

Call Number: QA76.6

Jump start responsive web design

by Chris Ward

Call Number: QA76.6

Confident coding : master the fundamentals of code and supercharge your career

Rob Percival

Call Number: QA76.6

Evolutionary computation in combinatorial optimization : 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Bin Hu, Manuel López-Ibáñez (eds.)

Call Number: QA76.618

EVOLVE : a bridge between probability, set oriented numerics and evolutionary computation VII

Michael Emmerich, André Deutz, Oliver Schütze, Pierrick Legrand, Emilia Tantar, Alexandru-Adrian Tantar, editors

Call Number: QA76.618

Computational intelligence in music, sound, art and design : 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

João Correia, Vic Ciesielski, Antonios Liapis (eds.)

Call Number: QA76.618 .E95 2017eb

Type-driven development with Idris

Edwin Brady

Call Number: QA76.62

Learning Java Lambdas : an in-depth look at one of the most important features of modern Java

Toby Weston

Call Number: QA76.62

Genetic programming : 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

James McDermott, Mauro Castelli, Lukas Sekanina, Evert Haasdijk, Pablo García-Sánchez (eds.)

Call Number: QA76.623

Vue.js 2 cookbook : build modern, interactive web applications with Vue.js

Andrea Passaglia

Call Number: QA76.73

Programming in C

Ashok N. Kamthane, Amit Ashok Kamthane

Call Number: QA76.73.C15

Beginning C++ programming : this is the start of your journey into the most powerful language available to the programming public

Richard Grimes

Call Number: QA76.73.C153

C# 7 and .NET Core modern cross-platform development : create powerful cross-platform applications using C# 7, .NET Core, and Visual Studio 2017 or Visual Studio Code

Mark J. Price

Call Number: QA76.73.C154

C# 7 and .NET Core cookbook : quick solutions to common programming problems with the latest features of C# 7.0, .NET Core 1.1, and Visual Studio 2017

Dirk Strauss

Call Number: QA76.73.C154

Why elm?

Matthew Griffith

Call Number: QA76.73.E385

Go design patterns : learn idiomatic, efficient, clean and extensible Go design and concurrency patterns by using TDD

Mario Castro Contreras

Call Number: QA76.73.G63

How to containerize your Go code

Liz Rice

Call Number: QA76.73.G63

OCA/OCP Java SE 8 programmer : practice tests

Scott Selikoff, Jeanne Boyarsky

Call Number: QA76.73.J38

Securing node applications : protecting against OWASP Top 10 risks

Chetan Karande

Call Number: QA76.73.J38

Java data science cookbook : explore the power of MLlib, DL4j, Weka and more

Rushdi Shams

Call Number: QA76.73.J38

Java 9 with JShell : introducing a full range of Java 9's new features via JShell

Gastón C. Hillar

Call Number: QA76.73.J38

Java in a nutshell

Benjamin J. Evans and David Flanagan

Call Number: QA76.73.J38

Functional programming in Java : how functional techniques improve your Java programs

Pierre-Yves Saumont

Call Number: QA76.73.J38

Kotlin in action

Dmitry Jemerov, Svetlana Isakova

Call Number: QA76.73.J38

Java 9 revealed : for early adoption and migration

Kishori Sharan

Call Number: QA76.73.J38

Java 9 concurrency cookbook : master the art of fast, effective Java development with the power of concurrent and parallel programming

Javier Fernández González

Call Number: QA76.73.J38

Java 9 programming by example : your guide to software development

Peter Verhas

Call Number: QA76.73.J38

Java 9 data structures and algorithms : a step-by-step guide to data structures and algorithms

Debasish Ray Chawdhuri

Call Number: QA76.73.J38

Mastering Java for data science : building data science applications in Java

Alexey Grigorev

Call Number: QA76.73.J38

Java 9 revealed : for early adoption and migration

Kishori Sharan

Call Number: QA76.73.J38

Java all-in-one for dummies

by Doug Lowe

Call Number: QA76.73.J38

Beginning functional JavaScript : functional programming with JavaScript using EcmaScript 6

Anto Aravinth

Call Number: QA76.73.J39

JavaScript : moving to ES2015 : explore and master modern JavaScript techniques with ES2015 in order to build large-scale web applications

Ved Antani, Simon Timms, Narayan Prusty

Call Number: QA76.73.J39

Refactoring JavaScript : turning bad code into good code

Evan Burchard

Call Number: QA76.73.J39

Working with the DOM

Ethan Brown

Call Number: QA76.73.J39

Sails.js in action

Mike McNeil, Irl Nathan

Call Number: QA76.73.J39

Angular test-driven development : enhance your testing skills to build powerful and fault-free applications in Angular v4

Md. Ziaul Haq

Call Number: QA76.73.J39

Getting started with Gulp : create powerful automations with Gulp to improve the efficiency of your web project workflow

Travis Maynard

Call Number: QA76.73.J39

The node craftsman book : an advanced node.js tutorial

Manuel Kiessling

Call Number: QA76.73.J39

Programming web applications with node, express and pug

Jorg Krause

Call Number: QA76.73.J39 .K738 2017eb

Creating solid APIs with Lua : giving users the power to customize your game or app

Tyler Neylon

Call Number: QA76.73.L82

PHP reactive programming : leverage the power of reactive programming with PHP

Martin Sikora

Call Number: QA76.73.P224

PHP microservices : transit from monolithic architectures to highly available, scalable, and fault-tolerant microservices

Carlos Pérez Sánchez, Pablo Solar Vilariño

Call Number: QA76.73.P224

PHP objects, patterns, and practice : build powerful code by mastering PHP's object-oriented enhancements, design patterns, and essential development tools

Matt Zandstra

Call Number: QA76.73.P224

Functional PHP : uncover the secrets of functional programming with PHP to ensure your applications are as great as they can be

Gilles Crettenand

Call Number: QA76.73.P224

Think Perl 6 : how to think like a computer scientist [electronic resource]

Laurent Rosenfeld with Allen B. Downey

Call Number: QA76.73.P34

Pro Python best practices : debugging, testing and maintenance

Kristian Rother

Call Number: QA76.73.P98

Solving PDEs in Python : the FEniCS tutorial I

Hans Petter Langtangen, Anders Logg

Call Number: QA76.73.P98

Pro Python best practices : debugging, testing and maintenance

Kristian Rother

Call Number: QA76.73.P98

Python data analysis : data manipulation and complex data analysis with Python

Armando Fandango

Call Number: QA76.73.P98

SAS Viya : the Python perspective

Kevin D. Smith, Xiangxiang Meng

Call Number: QA76.73.P98

Artificial intelligence with Python : build real-world artificial intelligence applications with Python to intelligently interact with the world around you [electronic resource]

Prateek Joshi

Call Number: QA76.73.P98

Deep learning with Python : a hands-on introduction

Nikhil Ketkar

Call Number: QA76.73.P98

Learning data mining with Python : use Python to manipulate data and build predictive models

Robert Layton

Call Number: QA76.73.P98

Python deep learning : next generation techniques to revolutionize computer vision, AI, speech and data analysis

Valentino Zocca, Gianmario Spacagna, Daniel Slater, Peter Roelants

Call Number: QA76.73.P98

Beginning Python : from novice to professional

Magnus Lie Hetland

Call Number: QA76.73.P98 H48 2017eb

Learning concurrent programming in Scala : learn the art of building intricate, modern, scalable and concurrent applications using Scala

Aleksandar Prokopec ; foward by Martin Odersky

Call Number: QA76.73.S28

Scala : applied machine learning : leverage the power of Scala and master the art of building, improving, and validating scalable machine learning and AI applications using Scala's most advanced and finest features : a course in three modules

Call Number: QA76.73.S28

Scala : guide for data science professionals : Scala will be a valuable tool to have on hand during your data science journey for everything from data cleaning to cutting-edge machine learning : a course in three modules

Call Number: QA76.73.S28

Oracle SQL tuning with Oracle SQLTXPLAIN : Oracle database 12c edition

Stelios Charalambides

Call Number: QA76.73.S67

Exam ref 70-761 querying data with Transact-SQL

Itzik Ben-Gan

Call Number: QA76.73.S67

Swift 3 for Absolute Beginners

Call Number: QA76.73.S95

Learning Swift : building apps for macOS, iOS, and beyond

Jon Manning, Paris Buttfield-Addison, and Tim Nugent

Call Number: QA76.73.S95

Swift iOS programming for kids : unleash your child's developer potential through fun projects and help them learn how to create iOS apps in Swift

Steffen D. Sommer, Jim Campago

Call Number: QA76.73.S95

Swift 3 object-oriented programming : implement object-oriented programming paradigms with Swift 3.0 and mix them with modern functional programming techniques to build powerful real-world applications [electronic resource]

Gastón C. Hillar

Call Number: QA76.73.S95

Swift functional programming : build clean, smart, and reliable applications with Swift functional programming

Fatih Nayebi

Call Number: QA76.73.S95

Mastering TypeScript : build enterprise-ready, industrial strength web applications using TypeScript and leading JavaScript frameworks

Nathan Rozentals

Call Number: QA76.73.T97

PowerShell : automating administrative tasks : learn PowerShell from the inside out, right from basic scripting all the way to becoming a master at automating, managing, and maintaining your Windows environment

Michael Shepard, Chendrayan Venkatesan, Sherif Talaat, Brenton J.W. Blawat

Call Number: QA76.73.W56

Learn Windows PowerShell in a month of lunches

Don Jones and Jeffery Hicks

Call Number: QA76.73.W56

Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Javier Esparza, Andrzej S. Murawski, editors

Call Number: QA76.751 .F67 2017eb

Evaluation of novel approaches to software engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised selected papers

Leszek A. Maciaszek, Joaquim Filipe (eds.)

Call Number: QA76.758

Software engineering trends and techniques in intelligent systems : proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017).

Radek Silhavy, Petr Silhavy, Zdenka Prokopova, Roman Senkerik, Zuzana Kominkova Oplatkova, editors

Call Number: QA76.758

Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)

Call Number: QA76.758

Fundamental approaches to software engineering : 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Marieke Huisman, Julia Rubin (eds.)

Call Number: QA76.758 .F37 2017eb

Refactoring Angular applications

Corinna Cohn

Call Number: QA76.76.A54

Angular Services : design state-of-the-art applications with customized Angular services

Sohail Salehi

Call Number: QA76.76.A54

Getting started with Angular : fast-track your web development skills to build high performance SPA with Angular 2 and beyond

Minko Gechev ; foreword by Mis̆ko Hevery

Call Number: QA76.76.A54

API management : an architect's guide to developing and managing APIs for your organization

Brajesh De

Call Number: QA76.76.A63

Pro RESTful APIs : design, build and integrate with REST, JSON, XML and JAX-RS

Sanjay Patni

Call Number: QA76.76.A63

Pro RESTful APIs : design, build and integrate with REST, JSON, XML and JAX-RS

Sanjay Patni

Call Number: QA76.76.A63

Learning Microsoft Cognitive Services : create intelligent apps with vision, speech, language, and knowledge capabilities using Microsoft Cognitive Services

Leif Larsen

Call Number: QA76.76.A63

Monitoring with Graphite : tracking dynamic host and application metrics at scale

Jason Dixon

Call Number: QA76.76.A63

Spring Boot messaging : messaging APIs for enterprise and integration solutions

Felipe Gutierrez

Call Number: QA76.76.A63

OAuth 2 in action

Justin Richer, Antonio Sanso

Call Number: QA76.76.A63

Prototyping of user interfaces for mobile applications

Benjamin Bähr

Call Number: QA76.76.A65

Spinning up ServiceNow : IT service managers' guide to successful user adoption

Gabriele Kahlout

Call Number: QA76.76.A65

Android apps for absolute beginners

Wallace Jackson

Call Number: QA76.76.A65

Essential Docker for ASP.NET Core MVC

Adam Freeman

Call Number: QA76.76.A65

Containerizing continuous delivery in Java : Docker integration for build pipelines and application architecture

Daniel Bryant

Call Number: QA76.76.A65

Troubleshooting Docker : strategically design, troubleshoot, and automate Docker containers from development to deployment

Vaibhav Kohli, Rajdeep Dua, John Wooten

Call Number: QA76.76.A65

Learning ServiceNow : get started with ServiceNow administration and development to manage and automate your IT Service Management processes

Tim Woodruff

Call Number: QA76.76.A65

React and React Native : use React and React Native to build applications for desktop browsers, mobile browsers, and even as native mobile apps

Adam Boduch

Call Number: QA76.76.A65

Flask : building Python web services : unleash the full potential of the Flask web framework by creating small to large and powerful web applications : a course three modules

Call Number: QA76.76.A65

Learn Ionic 2 : develop multi-platform mobile apps

Joyce Justin, Joseph Jude

Call Number: QA76.76.A65

Application Performance Management (APM) in the digital enterprise : managing applications for cloud, mobile, IoT and eBusiness

Rick Sturm, Carol Pollard, Julie Craig

Call Number: QA76.76.A65

A practical guide to continuous delivery

Eberhard Wolff

Call Number: QA76.76.A65

Designing data-intensive applications : the big ideas behind reliable, scalable, and maintainable systems

Martin Kleppmann

Call Number: QA76.76.A65

Microservices in .NET Core : with examples in Nancy

Christian Horsdal Gammelgaard

Call Number: QA76.76.A65

ServiceNow cookbook : over 50 practical and immediately applicable recipes to help you manage services in your enterprise environment efficiently

Ashish Rudra Srivastava

Call Number: QA76.76.A65

Learning PySpark : build data-intensive applications locally and deploy at scale using the combined powers of Python and Spark 2.0

Tomasz Drabas, Denny Lee ; foreword by Holden Karau

Call Number: QA76.76.A65

Spring : developing Java applications for the enterprise : leverage the power of Spring MVC, Spring Boot, Spring Cloud, and additional popular web frameworks : a course in three modules

Call Number: QA76.76.A65

Technological innovation for cyber-physical systems : 8th IFIP WG 5.5SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings

Camarinha-Matos Luis M. , Parreira-Rocha Mafalda, Ramezani Javaneh (eds.)

Call Number: QA76.76.A65

Build mobile apps with Ionic 2 and Firebase : hybrid mobile app development

Fu Cheng

Call Number: QA76.76.A65

Xamarin continuous integration and delivery : Team services, Test cloud, and Hockeyapp [electronic resource]

Gerald Versluis

Call Number: QA76.76.A65

Docker bootcamp : less is more with Docker

Russ McKendrick, Pethuru Raj, Jeeva S. Chelladhurai, Vinod Singh

Call Number: QA76.76.A65

Learning Ionic : build hybrid mobile applications with HTML5, SCSS, and Angular

Arvind Ravulavaru

Call Number: QA76.76.A65

React Native by example : leverage the full potential of the React Native framework to build and deploy your own native mobile applications for iOS and Android

Richard Kho ; foreword by Tyler McGinnis, partner at React Training

Call Number: QA76.76.A65

HoloLens beginner's guide : join the AR revolution with HoloLens

Jason M. Odom

Call Number: QA76.76.A65

Building cross-platform desktop applications with Electron : create impressive cross-platform desktop applications with Electron and Node

Muhammed Jasim

Call Number: QA76.76.A65

Mastering full-stack React web development : dynamic and forward-thinking JavaScript web development

Tomasz Dyl, Kamil Przeorski

Call Number: QA76.76.A65

Learning Windows Server Containers : build and deploy high-quality portable apps faster

Srikanth Machiraju

Call Number: QA76.76.A65

Hybrid mobile development with Ionic : build high performance hybrid applications with HTML, CSS, and JavaScript

Gaurav Saini

Call Number: QA76.76.A65

Android cookbook : problems and solutions for android developers

Ian Darwin

Call Number: QA76.76.A65

A practical approach to compiler construction

Des Watson

Call Number: QA76.76.C65

Transactions on edutainment XIII

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Mingmin Zhang (eds.)

Call Number: QA76.76.C672

Game physics cookbook : discover over 100 easy-to-follow recipes to help you implement efficient game physics and collision detection in your games

Gabor Szauer

Call Number: QA76.76.C672

Getting started with Unity 5.x 2D game development : build a tower defense game and earn delectable C# treats by baking cupcakes and fighting fearsome sweet-toothed pandas

Francesco Sapio

Call Number: QA76.76.C672

Mastering Oculus Rift development : explore the new frontier of virtual reality with the Oculus Rift and bring the VR revolution to your own projects

Jack Donovan

Call Number: QA76.76.C672

Swift 3 game development : embrace the mobile gaming revolution by creating popular iOS games with Swift 3.0

Stephen Haney

Call Number: QA76.76.C672

Game development patterns and best practices : better games, less hassle

John P. Doran, Matt Casanova

Call Number: QA76.76.C672

Unreal Engine VR cookbook : developing virtual reality with UE4

Mitch McCaffrey

Call Number: QA76.76.C672

Windows virus and malware troubleshooting

Andrew Bettany, Mike Halsey

Call Number: QA76.76.C68

Microsoft System Center 2016 service manager cookbook : discover over 100 practical recipes to help you master the art of IT service management for your organization

Anders Asp [and 4 others] ; foreword by Samuel Erskine

Call Number: QA76.76.C69

Agile methods : 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised selected papers

Tiago Silva da Silva, Bernardo Estácio, Josiane Kroll, Rafaela Mantovani Fontana (eds.)

Call Number: QA76.76.D47

SAFe 4.0 distilled : applying the Scaled Agile Framework for Lean software and systems engineering

Richard Knaster, Dean Leffingwell

Call Number: QA76.76.D47

The cucumber book : behaviour-driven development for testers and developers

by Matt Wynne, Aslak Hellesøy, with Steve Tooke

Call Number: QA76.76.D47

DevOps: Puppet, Docker, and Kubernetes : get hands-on recipes to automate and manage Linux containers with the Docker 1.6 environment and jump-start your Puppet development

Thomas Uphill, John Arundel, Neependra Khare, Hideto Saito, Hui-Chuan Chloe Lee, Ke-Jou Carol Hsu

Call Number: QA76.76.D47

Digital prototyping tools : a new wave of design software

Jonathan Follett

Call Number: QA76.76.D47

Agile and business analysis : practical guidance for IT professionals

Lynda Girvan and Debra Paul

Call Number: QA76.76.D47

Microservices deployment cookbook : master over 60 recipes to help you deliver complete, scalable, microservice-based solutions and see the improved business results immediately

Vikram Murugesan

Call Number: QA76.76.D47

Agile modeling with UML : code generation, testing, refactoring

Bernhard Rumpe

Call Number: QA76.76.D47

The journey to enterprise agility : systems thinking and organizational legacy

Daryl Kulak, Hong Li

Call Number: QA76.76.D47

Software architecture with Python : design and architect highly scalable, robust, clean, and high performance applications in Python

Anand Balachandran Pillai

Call Number: QA76.76.D47

Adaptive code : agile coding with design patterns and SOLID principles

Gary McLean Hall

Call Number: QA76.76.D47

Agile processes in software engineering and extreme programming : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings

Hubert Baumeister, Horst Lichter, Matthias Riebisch (eds.)

Call Number: QA76.76.D47 X6 2017eb

Current trends on knowledge-based systems

Giner Alor-Hernáandez, Rafael Valencia-García, editors

Call Number: QA76.76.E95

HTML to MadCap Flare : a guide to automating content migration and maintenance

Peter Lavin

Call Number: QA76.76.H94

DITA for Print : A DITA Open toolkit workbook

Leigh W. White

Call Number: QA76.76.H94

Potential-based analysis of social, communication, and distributed networks

Seyel Rasoul Etesami

Call Number: QA76.76.I58

Modern approaches to agent-based complex automated negotiation

Katsuhide Fujita, Quan Bai, Takayuki Ito, Minjie Zhang, Fenghui Ren, Reyhan Aydoğan, Rafik Hadfi, editors

Call Number: QA76.76.I58

RESTful web clients : enabling reuse through Hypermedia

Mike Amundsen

Call Number: QA76.76.I59

Enterprise application architecture with .NET Core : an architectural journey into Microsoft .NET open source platform

Ganesan Senthilvel, Ovais Mehboob Ahmed Khan, Habib Ahmed Qureshi

Call Number: QA76.76.O62

Android apps for absolute beginners : covering Android 7

Wallace Jackson

Call Number: QA76.76.O63

Linux for Makers : understanding the operating system that runs Raspberry Pi and other maker SBCs

Aaron Newcomb

Call Number: QA76.76.O63

Linux : powerful server administration : recipes for CentOS 7, RHEL 7, and Ubuntu server administration : a course in three modules

Call Number: QA76.76.O63

Windows 10 Anniversary update bible

Rob Tidrow, Jim Boyce, Jeffrey R. Shapiro

Call Number: QA76.76.O63

Pro Linux system administration : learn to build systems for your business using free and open source software

Dennis Matotek, James Turnbull, Peter Lieverdink

Call Number: QA76.76.O63 T87 2017

Mastering scale and complexity in software reuse : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Goetz Botterweck, Claudia Werner (eds.)

Call Number: QA76.76.R47

Exploring Swift Playgrounds : the fastest and most effective way to learn to code and to teach others to use your code

Jesse Feiler

Call Number: QA76.76.S95

Test driven development in Ruby : a practical introduction to TDD using problem and solution domain analysis

Bala Paranj

Call Number: QA76.76.T48

Spock, up and running : writing expressive tests in Java and Groovy

Rob Fletcher

Call Number: QA76.76.T48

Embedded software verification and debugging

Djones Lettnin, Markus Winterholer, editors

Call Number: QA76.76.V47

Mastering Windows presentation foundation : master the art of building modern desktop applications on Windows

Sheridan Yuen

Call Number: QA76.76.W56

Windows internals. Part 1, system architecture, processes, threads, memory management, and more

Pavel Yosifovich, Alex Ionescu, Mark E. Russinovich, and David A. Solomon

Call Number: QA76.76.W56

Embedded and real-time operating systems

K.C. Wang

Call Number: QA76.77

iOS programming cookbook : over 50 exciting and powerful recipes to help you unearth the promise of iOS programming

Hossam Ghareeb

Call Number: QA76.774.I67

iOS and macOS performance tuning : Cocoa, Cocoa Touch, Objective-C, and Swift

Marcel Weiher

Call Number: QA76.774.I67

iOS 10 SDK development : creating iPhone and iPad apps with Swift

by Chris Adamson with Janie Clayton

Call Number: QA76.774.I67

Containerization with LXC : get acquainted with the world of LXC

Konstantin Ivanov

Call Number: QA76.774.L46

Security strategies in Linux platforms and applications

Michael Jang and Ric Messier

Call Number: QA76.774.L46

Linus for developers : jumpstart your Linux programming skills

William "Bo" Rothwell

Call Number: QA76.774.L46

Exam ref 70-742 identity with Windows Server 2016

Andrew Warren

Call Number: QA76.774.M434

Absolute beginners guide to computing

Call Number: QA76.774.M435 W36 2016

Easy Windows 10

Mark Edward Soper

Call Number: QA76.774.M44

DevOps with Windows Server 2016 : obtain enterprise agility and continuous delivery by implementing DevOps with Windows Server 2016

Ritesh Modi

Call Number: QA76.774.M55

MCSA 70-740 cert guide : installation, storage, and compute with Windows Server 2016

Anthony Sequeira

Call Number: QA76.774.M55

Anyone can create an app : beginning iPhone and iPad programming

Wendy L. Wise

Call Number: QA76.8.I64

Raspberry Pi Zero cookbook : delve into the practical world of the Raspberry Pi Zero

Edward Snajder

Call Number: QA76.8.R15

Build supercomputers with Raspberry Pi 3 : a step-by-step guide that will enhance your skills in creating powerful systems to solve complex issues

Carlos R. Morrison

Call Number: QA76.8.R15

Python programming with Raspberry Pi : build small yet powerful robots and automation systems with Raspberry Pi Zero

Sai Yamanoor, Srihari Yamanoor

Call Number: QA76.8.R15

Neural network programming with Java : create and unleash the power of neural networks by implementing professional Java code

Fabio M. Soares, Alan M.F. Souza

Call Number: QA76.87

Granular neural networks, pattern recognition and bioinformatics

Sankar K. Pal, Shubhra S. Ray, Avatharam Ganivada

Call Number: QA76.87

Deep learning with Keras : implement neural networks with Keras on Theano and TensorFlow

Antonio Gulli, Sujit Pal

Call Number: QA76.87

Supercomputing : second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised selected papers

Vladimir Voevodin, Sergey Sobolev (eds.)

Call Number: QA76.88

High performance computing : third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised selected papers

edited by Carlos Jaime Barrios Hernández, Isidoro Gitler, Jaime Klapp (eds.)

Call Number: QA76.88

Tools for high performance computing 2016 : proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany

Christoph Niethammer, José Gracia, Tobias Hilbrich, Andreas Knüpfer, Michael M. Resch, Wolfgang E. Nagel, editors

Call Number: QA76.88

Codes, cryptology and information security : second International Conference, C2SI 2017, Rabat, Morocco, April 10-12, 2017, Proceedings -- In honor of Claude Carlet

Said El Hajji, Abderrahmane Nitaj, El Mamoun Souidi (eds.)

Call Number: QA76.9.A25

Operations research, engineering, and cyber security : trends in applied mathematics and technology

Nicholas J. Daras, Themistocles M. Rassias

Call Number: QA76.9.A25

Digital audio watermarking : fundamentals, techniques and challenges

Yong Xiang, Guang Hua, Bin Yan

Call Number: QA76.9.A25

Enterprise security : second International Workshop, ES 2015, Vancouver, BC, Canada, November 30-December 3, 2015, Revised selected papers

Victor Chang, Muthu Ramachandran, Robert J. Walters, Gary Wills (eds.)

Call Number: QA76.9.A25

Information security applications : 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised selected papers

Dooho Choi, Sylvain Guilley (eds.)

Call Number: QA76.9.A25

To improve cybersecurity, think like a hacker

José Esteves, Elisabete Ramalho, Guillermo de Haro

Call Number: QA76.9.A25

Certified ethical hacker (CEH) version 9 cert guide

Michael Gregg

Call Number: QA76.9.A25

Darkweb cyber threat intelligence mining

John Robertson [and six others]

Call Number: QA76.9.A25

Defensive security handbook : best practices for securing infrastructure

Lee Brotherston and Amanda Berlin

Call Number: QA76.9.A25

Privacy and identity management : facing up to next steps : 11th IFIP WG 9.2, 9.5, 9.611.7, 11.4, 11.6SIG 9.2.2 International Summer School, Karlstad, Sweden, August 21-26, 2016, Revised selected papers

Anja Lehmann, Diane Whitehouse, Simone Fischer-Hübner, Lothar Fritsch, Charles Raab (eds.)

Call Number: QA76.9.A25

Tutorials on the foundations of cryptography : dedicated to Oded Goldreich

Yehuda Lindell, editor

Call Number: QA76.9.A25

Take control of your digital legacy

by Joe Kissell

Call Number: QA76.9.A25

Risk assessment and risk-driven quality assurance : 4th International Workshop, RISK 2016, held in conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised selected papers

Jürgen Großmann, Michael Felderer, Fredrik Seehusen (eds.)

Call Number: QA76.9.A25

Cybersecurity in France

Philippe Baumard

Call Number: QA76.9.A25

Kali Linux intrusion and exploitation cookbook : over 70 recipes for system administrators or DevOps to master Kali Linux 2 and perform effective security assessments

Dhruv Shah, Ishan Girdhar

Call Number: QA76.9.A25

Hacking the hacker : learn from the experts who take down hackers

Roger A. Grimes

Call Number: QA76.9.A25

Research methods for cyber security

Thomas W. Edgar, David O. Manz

Call Number: QA76.9.A25

Cryptography : InfoSec pro guide

Sean-Philip Oriyano

Call Number: QA76.9 .A25 2013

Advances in cryptology -- EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, Proceedings.

Jean-Sébastien Coron, Jesper Buus Nielsen (eds.)

Call Number: QA76.9.A25 .E97 2017eb

Advances in cryptology -- EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, Proceedings.

Jean-Sébastien Coron, Jesper Buus Nielsen (eds.)

Call Number: QA76.9.A25 .E97 2017eb

Advances in cryptology -- EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, Proceedings.

Jean-Sébastien Coron, Jesper Buus Nielsen (eds.)

Call Number: QA76.9.A25 .E97 2017eb

Lightweight cryptography for security and privacy : 5th International Workshop, LightSec 2016, Aksaray, Turkey, September 21-22, 2016, Revised selected papers

Andrey Bogdanov (ed.)

Call Number: QA76.9.A25 L54 2016eb

Principles of security and trust : 6th International Conference, POST 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings [electronic resource]

Matteo Maffei, Mark Ryan (eds.)

Call Number: QA76.9.A25 P67 2017eb

Digital watermarking and steganography : fundamentals and techniques

Frank Y. Shih

Call Number: QA76.9.A25 S467 2017

Applied reconfigurable computing : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Stephan Wong, Antonio Carlos Beck, Koen Bertels, Luigi Carro (eds.)

Call Number: QA76.9.A3

Outlier ensembles : an introduction

Charu C. Aggarwal, Saket Sathe

Call Number: QA76.9.A43

Algorithms for dummies

John Paul Mueller, Luca Massaron

Call Number: QA76.9.A43

A guide to algorithm design : paradigms, methods, and complexity analysis

Anne Benoit, Yves Robert, and Frédérick Vivien

Call Number: QA76.9.A43 B46 2014

Applications of evolutionary computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings.

Giovanni Squillero, Kevin Sim et al. (eds.)

Call Number: QA76.9.A43 E95 2017eb

Applications of evolutionary computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings.

Giovanni Squillero, Kevin Sim et al. (eds.)

Call Number: QA76.9.A43 E95 2017eb

Ambient intelligence : 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings

Andreas Braun, Reiner Wichert, Antonio Maña (eds.)

Call Number: QA76.9.A48

Augmented reality : where we will all live

Jon Peddie

Call Number: QA76.9.A94

Information management and big data : second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and third Annual International Symposium, SIMBig 2016, Cusco, Peru, September 1-3, 2016, Revised selected papers

Juan Antonio Lossio-Ventura, Hugo Alatrista-Salas (eds.)

Call Number: QA76.9.B45

Big and complex data analysis : methodologies and applications

S. Ejaz Ahmed, editor

Call Number: QA76.9.B45

Big data visualization : learn effective tools and techniques to separate big data into manageable and logical components for efficient data visualization

James D. Miller

Call Number: QA76.9.B45

Emerging technology and architecture for big-data analytics

Anupam Chattopadhyay, Chip Hong Chang, Hao Yu, editors

Call Number: QA76.9.B45

Signal processing and networking for big data applications

Zhu Han, Mingyi Hong, Dan Wang

Call Number: QA76.9.B45

Big data management and processing

edited by Kuan-Ching Li, Hai Jiang, Albert Y. Zomaya

Call Number: QA76.9.B45 B556 2017

Implementing Cisco UCS solutions : a hands-on guide to deploy, manage, troubleshoot and automate Cisco UCS solutions in the data center

Anuj Modi, Farhan Ahmed Nadeem, Prasenjit Sarkar

Call Number: QA76.9.C55

Exam ref 70-768 developing SQL data models

Stacia Varga

Call Number: QA76.9.C55

The science and art of simulation I : exploring, understanding, knowing

Michael M. Resch, Andreas Kaminski, Petra Gehring, editors

Call Number: QA76.9.C65

Guide to computational modelling for decision processes : theory, algorithms, techniques and applications

Stuart Berry, Val Lowndes, Marcello Trovati, editors

Call Number: QA76.9.C65

Usage-driven database design : from logical data modeling through physical schema definition

George Tillmann

Call Number: QA76.9.D26

Usage-driven database design : from logical data modeling through physical schema definition : taming NoSQL and relational schemas

George Tillmann

Call Number: QA76.9.D26

On the move to meaningful internet systems : OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised selected papers

Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal (eds.)

Call Number: QA76.9.D3

PostgreSQL high performance cookbook : mastering query optimization, database monitoring, and performance-tuning for PostgreSQL

Chitij Chauhan, Dinesh Kumar

Call Number: QA76.9.D3

Pro SQL server internals

Dmitri Korotkevitch

Call Number: QA76.9.D3

High performance SQL Server : the go faster book : bringing consistent response time to mission-critical applications

Benjamin Nevarez

Call Number: QA76.9.D3

Understanding the chief data officer : lessons and advice from the role's pioneers

Julie Steele

Call Number: QA76.9.D3

ElasticSearch 5.x cookbook : over 170 advanced recipes to search, analyze, deploy, manage, and monitor data effectively with ElasticSearch 5.x

Alberto Paro

Call Number: QA76.9.D3

PostgreSQL high availability cookbook : master over 100 recipes to design and implement a highly available server with the advanced features of PostgreSQL

Shaun M. Thomas

Call Number: QA76.9.D3

Data management and analytics for medicine and healthcare : second International Workshop, DMAH 2016, held at VLDB 2016, New Delhi, India, September 9, 2016, Revised selected papers

Fusheng Wang, Lixia Yao, Gang Luo (eds.)

Call Number: QA76.9.D3

Oracle Business Intelligence enterprise edition 12c : build your organization's Business Intelligence system

Adrian Ward, Christian Screen, Haroun Khan

Call Number: QA76.9.D3

PostgreSQL administration cookbook : effective database management using PostgreSQL 9.59.6

Simon Riggs, Gianni Ciolli, Gabriele Bartolini

Call Number: QA76.9.D3

Database systems for advanced applications : DASFAA 2017 International Workshops: BDMS, BDQM, SeCoP, and DMMOOC, Suzhou, China, March 27-30, 2017, Proceedings

Zhifeng Bao, Goce Trajcevski, Lijun Chang, Wen Hua (eds.)

Call Number: QA76.9.D32

Database systems for advanced applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings.

Selçuk Candan, Lei Chen, Torben Bach Pedersen, Lijun Chang, Wen Hua (eds.)

Call Number: QA76.9.D32

Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings.

Selçuk Candan, Lei Chen, Torben Bach Pedersen, Lijun Chang, Wen Hua (eds.)

Call Number: QA76.9.D32

Building data centers with VXLAN BGP EVPN : a Cisco NX-OS perspective

Lukas Krattiger, Shyam Kapadia, David Jansen

Call Number: QA76.9.D32

SQL Server 2016 developer's guide : get the most out of the rich development capabilities of SQL Server 2016 to build efficient database applications for your organization

Dejan Sarka, Miloš Radivojević, William Durkin

Call Number: QA76.9.D32

Learning Apache Cassandra : managing fault-tolerant and scalable data

Sandeep Yarabarla

Call Number: QA76.9.D32

Think like a data scientist : tackle the data science process step-by-step

Brian Godsey

Call Number: QA76.9.D343

Mastering Spark for data science : master the techniques and sophisticated analytics used to construct Spark-based solutions that scale to deliver production-grade data science products

Andrew Morgan, Antoine Amend, Matthew Hallett, David George ; foreword by Harry Powell

Call Number: QA76.9.D343

Learning Apache Spark 2 : process big data with the speed of light!

Muhammad Asif Abbasi

Call Number: QA76.9.D343

From social data mining and analysis to prediction and community detection

Mehmet Kaya, Özcan Erdoǧan, Jon Rokne, editors

Call Number: QA76.9.D343

Trends in social network analysis : information propagation, user behavior modeling, forecasting, and vulnerability assessment

Rokia Missaoui, Talel Abdessalem, Matthieu Latapy, editors

Call Number: QA76.9.D343

Advances in knowledge discovery and data mining : 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings.

Jinho Kim, Kyuseok Shim, Longbing Cao, Jae-Gil Lee, Xuemin Lin, Yang-Sae Moon (eds.)

Call Number: QA76.9.D343

Advances in knowledge discovery and data mining : 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings.

Jinho Kim, Kyuseok Shim, Longbing Cao, Jae-Gil Lee, Xuemin Lin, Yang-Sae Moon (eds.)

Call Number: QA76.9.D343

Mining intelligence and knowledge exploration : 4th International Conference, MIKE 2016, Mexico City, Mexico, November 13-19, 2016, Revised selected papers

Rajendra Prasath, Alexander Gelbukh (eds.)

Call Number: QA76.9.D343

Transparent data mining for big and small data [electronic resource]

Tania Cerquitelli, Daniele Quercia, Frank Pasquale, editors

Call Number: QA76.9.D343

Spark, the definitive guide : big data processing made simple

Bill Chambers, Matei Zaharia

Call Number: QA76.9.D343

Everyday data structures : a practical guide to learning data structures simply and easily

William Smith

Call Number: QA76.9.D35

Learning functional data structures and algorithms : learn functional data structures and algorithms for your applications and bring their benefits to your work now

Atul S. Khot, Raju Kumar Mishra

Call Number: QA76.9.D35

Sams teach yourself Hadoop in 24 hours

Jeffrey Aven

Call Number: QA76.9.D5

Software project management for distributed computing : life-cycle methods for developing scalable and reliable tools

Zaigham Mahmood, editor

Call Number: QA76.9.D5

Deep learning with Hadoop : build, implement and scale distributed deep learning models for large-scale datasets

Dipayan Dev

Call Number: QA76.9.D5

Building Blockchain projects : develop real-time practical DApps using Ethereum and JavaScript

Narayan Prusty

Call Number: QA76.9.D5

Fog for 5G and IoT

edited by Mung Chiang, Bharath Balasubramanian, Flavio Bonomi

Call Number: QA76.9.D5 F636 2017eb

Formal aspects of component software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised selected papers

Olga Kouchnarenko, Ramtin Khosravi (eds.)

Call Number: QA76.9.F67

The handbook of formal methods in human-computer interaction

Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors

Call Number: QA76.9.F67

NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

edited by Clark Barrett, Misty Davies, Temesghen Kahsai

Call Number: QA76.9.F67

Designing with data : improving the user experience with AB testing

Rochelle King, Elizabeth F. Churchill, and Caitlin Tan

Call Number: QA76.9.H85

Designing UX : prototyping

by Ben Coleman and Dan Goodwin

Call Number: QA76.9.H85

Toward brain-computer interaction in paralysis : a new approach based on visual evoked potentials and depth-of-field

Anibal Cotrina

Call Number: QA76.9.H85

Human-harmonized information technology. Volume 2, Horizontal expansion

Toyoaki Nishida, editor

Call Number: QA76.9.H85

Mixed reality and gamification for culture heritage

Marinos Ioannides, Nadia Magenta-Thalmann, George Papagiannakis, editors

Call Number: QA76.9.H85

HCI for children with disabilities [electronic resource]

Josefina Guerrero-Garcia, Juan Manuel González-Calleros, Jaime Muñoz-Arteaga, César A. Collazos, editors

Call Number: QA76.9.H85

Conversations around semiotic engineering [electronic resource]

Simone Diniz Junqueira Barbosa, Karin Breitman, editors

Call Number: QA76.9.H85

Cyberpsychology : an introduction to human-computer interaction

Kent L. Norman, University of Maryland

Call Number: QA76.9.H85 N668 2017

Social signal processing

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

Call Number: QA76.9.H85 S633 2017

Symbiotic interaction : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised selected papers

edited by Luciano Gamberini, Anna Spagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman

Call Number: QA76.9.H85 S96 2016eb

Python : data analytics and visualization : understand, evaluate, visualize data

Phuong Vo. T.H., Martin Czygan, Ashish Kumar, Kirthi Raman

Call Number: QA76.9.I52

Learn ggplot2 using shiny app

Keon-Woong Moon

Call Number: QA76.9.I52

Learning Kibana 5.0 : exploit the visualization capabilities of Kibana and build powerful interactive dashboards

Bahaaldine Azarmi

Call Number: QA76.9.I52

D3.js 4.x data visualization : learn to visualize your data with JavaScript

Ændrew Rininsland, Swizec Teller

Call Number: QA76.9.I52

Expert data visualization : breathe life into your data by learning how to use D3.js V4 to visualize information

Jos Dirksen

Call Number: QA76.9.I52

Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers

Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)

Call Number: QA76.9.L63

Models of computation

Roberto Bruni, Ugo Montanari

Call Number: QA76.9.M35

Mathematics and computing : third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings

Debasis Giri, Ram N. Mohapatra, Heinrich Begehr, Mohammad S. Obaidat (eds.)

Call Number: QA76.9.M35

Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Peter Höfner, Damien Pous, Georg Struth (eds.)

Call Number: QA76.9.M35

Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.V. Gopal, Gerhard Jäger, Silvia Steila (eds.)

Call Number: QA76.9.M35 T35 2017eb

Data management on new hardware : 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, Septem

Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin Levandoski, Andrew Pavlo (eds)

Call Number: QA76.9.M45

Real-life applications with membrane computing

Gexiang Zhang, Mario J. Pérez-Jiménez, Marian Gheorghe

Call Number: QA76.9.N37

Automatic processing of natural-language electronic texts with NooJ : 10th International Conference, NooJ 2016, České Budějovice, Czech Republic, June 9-11, 2016, Revised selected papers

Linda Barone, Mario Monteleone, Max Silberztein (eds.)

Call Number: QA76.9.N38

A practical guide to sentiment analysis

Erik Cambria, Dipankar Das, Sivaji Bandyopadhyay, Antonio Feraco, editors

Call Number: QA76.9.N38

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

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

Call Number: QA76.9.S63

Engineering applications of soft computing

Margarita-Arimatea Díaz-Cortés, Erik Cuevas, Raúl Rojas

Call Number: QA76.9.S63

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.

Axel Legay, Tiziana Margaria (eds.)

Call Number: QA76.9.S88

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.

Axel Legay, Tiziana Margaria (eds.)

Call Number: QA76.9.S88

Reactive design patterns

Roland Kuhn, with Brian Hanafee and Jamie Allen

Call Number: QA76.9.S88

Complexity in Information Systems Development: Proceedings of the 25th International Conference on Information Systems Development

Call Number: QA76.9.S88

3D user interfaces : theory and practice

Joseph J. LaViola Jr. [and four others]

Call Number: QA76.9.U83

Designing user interfaces for an aging population : towards universal design

Jeff Johnson, Kate Finn

Call Number: QA76.9.U83

Inclusive design patterns : coding accessibility into web design

by Heydon Pickering

Call Number: QA76.9.U83

Building an intuitive multimodal interface for a smart home : hunting the SNARK [electronic resource]

John N.A Brown, Anton Josef Fercher, Gerhard Leitner

Call Number: QA76.9.U83

Learning React : functional web development with React and Redux

Alex Banks and Eve Porcello

Call Number: QA76.9.U83

Oracle Solaris 11 system virtualization essentials

Jeff Victor, Jeff Savit, Gary Combs, Bob Netherton

Call Number: QA76.9.V5

Learning PowerCLI : learn to leverage the power of PowerCLI to automate your VMware vSphere environment with ease

Robert van den Nieuwendijk

Call Number: QA76.9.V5

Samuel Pepys, Isaac Newton, James Hodgson, and the beginnings of secondary school mathematics : a history of the Royal Mathematical School Within Christ's Hospital, London 1673-1868 Nerida F. Ellerton, M.A. (Ken) Clements ; foreword by Benjamin Wardhaugh

Call Number: QA135.6

Algebra 2 : linear algebra, Galois theory, representation theory, group extensions and Schur multiplier

Ramji Lal

Call Number: QA152.3

Positive trigonometric polynomials and signal processing applications

Bogdan Dumitrescu

Call Number: QA161.P59

Matching theory for wireless networks

Zhu Han, Yunan Gu, Walid Saad

Call Number: QA164

Combinatorics and complexity of partition functions

Alexander Barvinok

Call Number: QA165

Magic squares in the tenth century : two Arabic treatises by Anākī and Būzjānī

Jacques Sesiano

Call Number: QA165

Basic graph theory

Md. Saidur Rahman

Call Number: QA166

Design theory

C.C. Lindner, C.A. Rodger

Call Number: QA166.25

Hyperplane Arrangements [electronic resource]

Call Number: QA169

Representations of elementary Abelian p-groups and vector bundles

David J. Benson

Call Number: QA180

Formal Matrices

Call Number: QA188

Analysis and synthesis of dynamic systems with positive characteristics

Jun Shen

Call Number: QA188

Square matrices of order 2 : theory, applications, and problems

Vasile Pop, Ovidiu Furdui ; foreoword by Dennis S. Bernstein

Call Number: QA188

Progress in approximation theory and applicable complex analysis : in memory of Q.I. Rahman

Narendra Kumar Govil, Ram Mohapatra, Muhammed A. Qazi, Gerhard Schmeister, editors

Call Number: QA221

An excursion through elementary mathematics. Volume I, Real numbers and functions

Antonio Caminha Muniz Neto

Call Number: QA241

Arithmetic of finite fields : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised selected papers

Sylvain Duquesne, Svetla Petkova-Nikova (eds.)

Call Number: QA247 .W35 2016eb

Thriving rough sets : 10th anniversary -- honoring Professor Zdzisław Pawlak's life and legacy & 35 years of rough sets

Guoyin Wang, Andrzej Skowron, Yiyu Yao, Dominik Śl̨ezak, Lech Polkowski, editors

Call Number: QA248

Computations and combinatorics in commutative algebra : EACA School, Valladolid 2013

Anna M. Bigatti, Philippe Gimenez, Eduardo Sáenz-de-Cabezón, editors

Call Number: QA251.3

A computational non-commutative geometry program for disordered topological insulators

Emil Prodan

Call Number: QA251.4

Introduction to coalgebra : towards mathematics of states and observation

Bart Jacobs

Call Number: QA251.5

Process algebras for Petri nets : the alphabetization of distributed systems

Roberto Gorrieri

Call Number: QA267

Formal languages and automata theory

K.V.N. Sunitha, N. Kalyani

Call Number: QA267.3

LDPC code designs, constructions, and unification

Juane Li [and 4 others]

Call Number: QA268

Contest Theory : Incentive Mechanisms and Ranking Methods

Milan Vojnović

Call Number: QA269

Ordinal definability and recursion theory. Volume III : : the cabal seminar

edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel

Call Number: QA269 .O735 2016eb

Models for cooperative games with fuzzy relations among the agents : fuzzy communication, proximity relation and fuzzy permission

Andrés Jiménez-Losada

Call Number: QA272.4

Probability with applications in engineering, science, and technology

Matthew A. Carlton, Jay L. Devore

Call Number: QA273

Uncertainty quantification : an accelerated course with advanced applications in computational engineering

Christian Soize

Call Number: QA273

Characterizations of univariate continuous distributions

Mohammad Ahsanullah

Call Number: QA273.6

From Lévy-Type Processes to Parabolic SPDEs

by Davar Khoshnevisan, René Schilling ; editors for this volume, Lluís Quer-Sardanyons, Frederic Utzet

Call Number: QA274.2 .K476 2016

Random measures, theory and applications

Olav Kallenberg

Call Number: QA274.46

Markov decision processes in practice

Richard J. Boucherie, Nico M. van Dijk

Call Number: QA274.7

Random walks and heat kernels on graphs

Martin T. Barlow, University of British Columbia, Canada

Call Number: QA274.73 .B3735 2017eb

Advanced issues in partial least squares structural equation modeling

Joseph F. Hair, Jr., University of South Alabama, USA, [and three others]

Call Number: QA275 .H235 2018

A primer on partial least squares structural equation modeling (PLS-SEM)

Joseph F. Hair, Jr., Kennesaw State University, [and three others]

Call Number: QA275 .P88 2017

Probability and statistics

E. Rukmangadachari, E. Keshava Reddy

Call Number: QA276

Functional statistics and related fields

Germán Aneiros, Enea G. Bongiorno, Ricardo Cao, Philippe Vieu, editors

Call Number: QA276.A1

JMP version 13 multivariate methods

SAS Institute

Call Number: QA276.3

Preparing data for analysis with JMP

Robert Carver

Call Number: QA276.3

Computer age statistical inference : algorithms, evidence, and data science

Bradley Efron, Trevor Hastie

Call Number: QA276.4

SAS 9.4 macro language : reference

SAS Institute

Call Number: QA276.4

JMP start statistics : a guide to statistics and data analysis using JMP

John Sall [and four others]

Call Number: QA276.4

JMP version 13 profilers

SAS Institute

Call Number: QA276.4

Statistical disclosure control for microdata : methods and applications in R

Matthias Templ

Call Number: QA276.4

Practical statistics for data scientists : 50 essential concepts

Peter Bruce and Andrew Bruce

Call Number: QA276.4

JMP version 13 predictive and specialized modeling

SAS Institute

Call Number: QA276.45.J67

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

Thomas Mailund

Call Number: QA276.45.R3

Statistical analysis with R

Joseph Schmuller

Call Number: QA276.45.R3

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

Thomas Mailund

Call Number: QA276.45.R3

Learning quantitative finance with R : implement machine learning, time-series analysis, algorithmic trading and more

Dr. Param Jeet, Prashant Vants

Call Number: QA276.45.R3

R : predictive analysis : master the art of predictive modeling

Tony Fischetti, Eric Mayor, Rui Miguel

Call Number: QA276.45.R3

An introduction to SAS Visual Analytics : how to explore numbers, design reports, and gain insight into your data

Tricia Aanderud, Rob Collum, Ryan Kumpfmiller

Call Number: QA276.45.S27

Asymptotic theory of weakly dependent random processes

Emmanuel Rio

Call Number: QA277

From basic survival analytic theory to a non-standard application

Georg Zimmermann

Call Number: QA278.2

Linear regression

David J. Olive

Call Number: QA278.2

Design and analysis of experiments

Angela Dean, Daniel Voss, Danel Draguljić

Call Number: QA279

JMP version 13 design of experiments guide

Call Number: QA279

JMP version 13 fitting linear models

SAS Institute

Call Number: QA279

Bayesian statistics in action : BAYSM 2016, Florence, Italy, June 19-21

Raffaele Argiento, Ettore Lanzarone, Isadora Antoniano Villalobos, Alessandra Mattei, editors

Call Number: QA279.5

Bayesian data analysis

Andrew Gelman, John B. Carlin, Hal S. Stern, David B. Dunson, Aki Vehtari, Donald B. Rubin

Call Number: QA279.5 .G45 2014

Elements of nonlinear time series analysis and forecasting

Jan G. De Gooijer

Call Number: QA280

Time-series prediction and applications : a machine intelligence approach

Amit Konar, Diptendu Bhattacharya

Call Number: QA280

Classical summability theory

P.N. Natarajan

Call Number: QA295

Numerical analysis

P. Sivaramakrishna Das, C. Vijayakumari

Call Number: QA297

Numerical analysis and its applications : 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised selected papers

Ivan Dimov, István Faragó, Lubin Vulkov (eds.)

Call Number: QA297

MVT : a most valuable theorem

Craig Smoryński

Call Number: QA303.2

Ergodic theory of expanding Thurston maps

Zhiqiang Li

Call Number: QA313

Hadamard-type fractional differential equations, inclusions and inequalities

Bashir Ahmad, Ahmed Alsaedi, Sotiris K. Ntouyas, Jessada Tariboon

Call Number: QA314

Geometric aspects of functional analysis : Israel Seminar (GAFA) 2014-2016

Bo'az Klartag, Emanuel Milman, editors

Call Number: QA319

Introduction to model spaces and their operators

Stephan Ramon Garcia, Javad Mashreghi, William T. Ross

Call Number: QA320

Elements of Hilbert spaces and operator theory

Harkrishan Lal Vasudeva ; with contributions from Satish Shirali

Call Number: QA322.4

Generalized functions and Fourier analysis : dedicated to Stevan Pilipović on the occasion of his 65th birthday

Michael Oberguggenberger, Joachim Toft, Jasson Vindas, Patrik Wahlberg, editors

Call Number: QA324

Bernstein operators and their properties

Jorge Bustamante

Call Number: QA329

Large truncated Toeplitz matrices, toeplitz operators, and related topics : the Albrecht Böttcher anniversary volume

Dario A. Bini [and 3 others], editors

Call Number: QA329.2

Shocks, singularities and oscillations in nonlinear optics and fluid mechanics

Ferruccio Colombini, Daniele Del Santo, David Lannes, editors

Call Number: QA342

Differential equations : a primer for scientists and engineers

Christian Constanda

Call Number: QA371

Green's functions : potential fields on surfaces [electronic resource]

Yuri A. Melnikov, Volodymyr N. Borodin

Call Number: QA371

Introduction to Complex Theory of Differential Equations

Anton Savin, Bosris Sternin

Call Number: QA371 .S38 2017

Surveys in differential-algebraic equations IV

Achim Ilchmann, Timo Reis, editors

Call Number: QA372.5

Towards robust algebraic multigrid methods for nonsymmetric problems

James Lottes

Call Number: QA377

New trends in analysis and interdisciplinary applications : selected contributions of the 10th ISAAC Congress, Macau 2015

Pei Dang, Min Ku, Tao Qian, Luigi G. Rodino, editors

Call Number: QA377

Partial differential equations : mathematical techniques for engineers

Marcelo Epstein

Call Number: QA377

Meshfree methods for partial differential equations VIII

Michael Griebel, Marc Alexander Schweitzer, editors

Call Number: QA377 .M45 2013

Louis Boutet de Monvel, selected works [electronic resource]

Victor W. Guillemin, Johannes Sjöstrand, editors

Call Number: QA379

Mathematical modeling

Christof Eck, Harald Garcke, Peter Knabner

Call Number: QA401

Modeling in mathematics : proceedings of the second Tbilisi-Salerno Workshop on Modeling in Mathematics

Johan Gielis, Paolo Emilio Ricci, Ilia Tavkhelidze, editors

Call Number: QA401

Proceedings of the 4th International Conference on Applications in Nonlinear Dynamics (ICAND 2016)

Visarath In, Patrick Longhini, Antonio Palacios, editors

Call Number: QA402

Algorithms of estimation for nonlinear systems : a differential and algebraic viewpoint

Rafael Martínez-Guerra, Christopher Diego Cruz-Ancona

Call Number: QA402

Advances in disordered systems, random processes, and some applications

[edited by] Pierluigi Contucci, Cristian Giardinà

Call Number: QA402

Fundamentals of stochastic nature sciences

Valery I. Klyatskin

Call Number: QA402

Positive systems : theory and applications (POSTA 2016) Rome, Italy, September 14-16, 2016

Filippo Cacace, Lorenzo Farina, Roberto Setola, Alfredo Germani, editors

Call Number: QA402 .M86 2016eb

Domain decomposition methods in science and engineering XXIII

Chang-Ock Lee [and six others], editors

Call Number: QA402.2

Kalman filtering : with real-time applications

Charles K. Chui, Guanrong Chen

Call Number: QA402.3

System modeling and optimization : 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised selected papers

Lorena Bociu, Jean-Antoine Désidéri, Abderrahmane Habbal (eds.)

Call Number: QA402.3

A generalized framework of linear multivariable control

Liansheng Tan

Call Number: QA402.3

Principles of optimal design : modeling and computation

Panos Y. Papalambros, University of Michigan, Douglass J. Wilde, Stanford University

Call Number: QA402.5 .P374 2017

Approximate Dynamic Programming for Dynamic Vehicle Routing [electronic resource]

Call Number: QA402.6

Fourier integrals in classical analysis

Christopher D. Sogge

Call Number: QA404

Advances in nonlinear analysis via the concept of measure of noncompactness

Józef Banaś, Mohamed Jleli, Mohammad Mursaleen, Bessem Samet, Calogero Vetro, editors

Call Number: QA427

Volterra integral equations : an introduction to theory and applications

Hermann Brunner

Call Number: QA431

Geometry, analysis and probability : in honor of Jean-Michel Bismut

Jean-Benoît Bost, Helmut Hofer, François Labourie, Yves Le Jan, Xiaonan Ma, Weiping Zhang, editors

Call Number: QA440

From classical to modern algebraic geometry : Corrado Segre's mastership and legacy

Gianfranco Casnati, Alberto Conte, Letterio Gatto, Livia Giacardi, Marina Marchisio, Alessandro Verra, editors

Call Number: QA564

Algebraic geometry and number theory : Summer School, Galatasaray University, Istanbul, 2014

Hussein Mourtada, Celal Cem Sarığlu, Christophe Soulé, Ayberk Zeytin, editors

Call Number: QA564

Theoretical study on correlation effects in topological matter

Hiroki Isobe

Call Number: QA611

Topology, calculus and approximation

Vilmos Komornik

Call Number: QA611

Surface-knots in 4-space : an introduction

Seiichi Kamada

Call Number: QA612.2

Singularities and computer algebra : festschrift for Gert-Martin Greuel on the occasion of his 70th birthday

Wolfram Decker, Gerhard Pfister, Mathias Schulze, editors

Call Number: QA614.58

Multivariable Dynamic Calculus on Time Scales [electronic resource]

Call Number: QA614.8

Integrability of dynamical systems : algebra and analysis

Xiang Zhang

Call Number: QA614.8

Lagrangian oceanography : large-scale transport and mixing in the ocean

Sergey V. Prants, Michale Yu. Uleysky, Maxim V. Budyansky

Call Number: QA614.8

Multivariable dynamic calculus on time scales

Martin Bohner, Svetlin G. Georgiev

Call Number: QA614.8

Introduction to Hamiltonian dynamical systems and the N-body problem

Kenneth R. Meyer, Daniel C. Offin

Call Number: QA614.83

Fractals in probability and analysis

Christopher J. Bishop, Yuval Peres

Call Number: QA614.86

Convexity and concentration

Eric Carlen, Mokshay Madiman, Elisabeth M. Werner, editors

Call Number: QA639.5

Nonlinear dynamics. Volume 1 : : proceedings of the 35th IMAC, a Conference and Exposition on Structural Dynamics 2017

Gaetan Kerschen, editor

Call Number: QA808

Modeling nonlinear problems in the mechanics of strings and rods : the role of the balance laws

Oliver M. O'Reilly

Call Number: QA808.2

Evolution of motions of a rigid body about its center of mass

Felix L. Chernousko, Leonid D. Akulenko, Dmytro D. Leshchenko

Call Number: QA839

History of nonlinear oscillations theory in France (1880-1940)

Jean-Marc Ginoux

Call Number: QA867.5

One hundred years of pressure : hydrostatics from Stevin to Newton

Alan F. Chalmers

Call Number: QA905

Non-hydrostatic free surface flows

Oscar Castro-Orgaz, Willi H. Hager

Call Number: QA911

Existence theory for generalized newtonian fluids

Dominic Breit

Call Number: QA911

Stability and suppression of turbulence in relaxing molecular gas flows

Yurii N. Grigoryev, Igor V. Ershov

Call Number: QA913

Coherent vortex structures in fluids and plasmas

Anatoli Tur, Vladimir Yanovsky

Call Number: QA925

Viscous flows : stretching and shrinking of surfaces

Ahmer Mehmood

Call Number: QA929

Internal variables in thermoelasticity [electronic resource]

Arkadi Berezovski, Peter Ván

Call Number: QA933

Astronomy adventures and vacations : how to get the most out of astronomy in your leisure time

Timothy Treadwell

Call Number: QB44.3

Merz telescopes : a global heritage worth preserving

Ileana Chinnici, editor

Call Number: QB88

REFAG 2014 : proceedings of the IAG Commission 1 Symposium Kirchberg, Luxembourg, 13-17 October, 2014

edited by Tonie van Dam

Call Number: QB275

A dirty window : diffuse and translucent molecular gas in the interstellar medium

Loris Magnani, Steven N. Shore

Call Number: QB462.6

Interferometry and synthesis in radio astronomy

A. Richard Thompson, James M. Moran, George W. Swenson Jr

Call Number: QB479.3 .T47 2017

Solar energetic particles : a modern primer on understanding sources, acceleration and propagation

Donald V. Reames

Call Number: QB526.S65

The Apollo lunar samples : collection analysis and results

Anthony Young

Call Number: QB592

Gas accretion onto galaxies

Andrew Fox, Romeel Davé, editors

Call Number: QB601

Exploring the Martian moons : a human mission to Deimos and Phobos

Manfred "Dutch" von Ehrenfried

Call Number: QB641

Visually observing comets

David A.J. Seargent

Call Number: QB721

Interacting dark energy and the expansion of the universe

Alexander S. Silbergleit, Arthur D. Chernin

Call Number: QB791.3

Submillimetre studies of prestellar and starless cores in the Ophiuchus, Taurus and Cepheus molecular clouds

Katherine Miranda Pattle

Call Number: QB791.4

Guerrilla science : survival strategies of a Cuban physicist

Ernesto Altshuler

Call Number: QC16.A478

David Bohm : causality and chance, letters to three women

Chris Talbot, editor

Call Number: QC16.B64

Ettore Majorana : unveiled genius and endless mysteries

Salvatore Esposito ; translated by Lauara Gentile de Fraia

Call Number: QC16.M273

Introduction to methods of approximation in physics and astronomy

Maurice H. P. M. van Putten

Call Number: QC20

Mathematical methods of classical physics

Vicente Cortés, Alexander S. Haupt

Call Number: QC20

Differential geometry and mathematical physics. Part II, Fibre bundles, topology and gauge fields

Gerd Rudolph, Matthias Schmidt

Call Number: QC20.7.D52

The c and a-Theorems and the local renormalisation group

Graham Shore

Call Number: QC20.7.R43

Experiments and video analysis in classical mechanics

Vitor L. B. de Jesus

Call Number: QC125.2

Fluid Dynamics for Global Environmental Studies [electronic resource]

Call Number: QC151

Nonequilibrium gas dynamics and molecular simulation

Iain D. Boyd (University of Michigan), Thomas E. Schwartzentruber (University of Minnesota)

Call Number: QC168 .B63 2017eb

Impactful times : memories of 60 years of shock wave research at Sandia National Laboratories

James R. Asay, Lalit C. Chhabildas, R. Jeffrey Lawrence, Mary Ann Sweeney

Call Number: QC168.85.S45

Correlations in condensed matter under extreme conditions : a tribute to Renato Pucci on the occasion of his 70th birthday

G.G.N. Angilella, Antonino La Magna, editors

Call Number: QC173.454

Relativity matters : from Einstein's EMC2 to laser particle acceleration and quark-gluon plasma : with exercises, examples and discussions

Johann Rafelski

Call Number: QC173.55

Lectures on classical and quantum theory of fields

Henryk Arodź, Leszek Hadasz

Call Number: QC173.7

Quantum spin systems on infinite lattices : a concise introduction

Pieter Naaijkens

Call Number: QC174.12

Bohmian mechanics, open quantum systems and continuous measurements

Antonio B. Nassar, Salvador Miret-Artés

Call Number: QC174.12

Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning

Bob Coecke, Aleks Kissinger

Call Number: QC174.12

The quantum world : philosophical debates on quantum physics

Bernard d'Espagnat, Hervé Zwirn, editors

Call Number: QC174.12

Scattering and structures : essentials and analogies in quantum physics

Bogdan Povh, Mitja Rosina

Call Number: QC174.12

Linear dynamical quantum systems : analysis, synthesis, and control

Hendra I Nurdin, Naoki Yamamoto

Call Number: QC174.12

Quantum theory from first principles : an informational approach

Giacomo Mauro D'Ariano, Giulio Chiribella, Paolo Perinotti

Call Number: QC174.12

Protective measurement and quantum reality : toward a new understanding of quantum mechanics

edited by Shan Gao, Chinese Academy of Science

Call Number: QC174.13 .P76 2014eb

Green's functions in classical physics

Tom Rother

Call Number: QC174.17.G68

Supersymmetry, supergravity, and unification

Pran Nath

Call Number: QC174.17.S9P73 2017

KP solitons and the Grassmannians : combinatorics and geometry of two-dimensional wave patterns

Yuji Kodama

Call Number: QC174.26.W28

The meaning of the wave function : in search of the ontology of quantum mechanics

Shan Gao

Call Number: QC174.26.W3

Factorization algebras in quantum field theory. Volume 1

Kevin Costello, Owen Gwilliam

Call Number: QC174.45 .C67 2017eb

Tests of Lorentz Invariance with an optical ring cavity

Yuta Michimura

Call Number: QC174.52.L6

Non-equilibrium statistical physics with application to disordered systems

Manuel Osvaldo Cáceres

Call Number: QC174.8

Universal themes of Bose-Einstein condensation

[edited by] Nick P. Proukakis, David W. Snoke, Peter B. Littlewood

Call Number: QC175.47.B65

Equilibrium thermodynamics [electronic resource]

Call Number: QC311

Electricity for young makers : fun and easy do-it -yourself projects

Marc de Vinck ; art by Mike Gray

Call Number: QC527.2

Fracture mechanics of piezoelectric solids with interface cracks

Volodymyr Govorukha, Marc Kamlah, Volodymyr Loboda, Yuri Lapusta

Call Number: QC595.5

Design and control of highly conductive single-molecule junctions : a focus on the metal-molecule interface

Satoshi Kaneko

Call Number: QC611.6.J85

High-Tc copper oxide superconductors and related novel materials : dedicated to Prof. K. A. Müller on the occasion of his 90th birthday

Annette Bussmann-Holder, Hugo Keller, Antonio Bianconi, editors

Call Number: QC611.98.H54

Basics of laser physics [electronic resource]

Call Number: QC688 .R46 2017eb

Semiconductor nanolasers

Qing Gu, University of Texas, Dallas, Yeshaiahu Fainman, University of California, San Diego

Call Number: QC689.55.S45 G8 2017eb

Polonium in the Playhouse : the Manhattan Project's secret chemistry work in Dayton, Ohio

Linda Carrick Thomas

Call Number: QC773.3.U5 T46 2017

Probability and statistics for particle physics

Carlos Maña

Call Number: QC793.4

Synchrotron radiation and free-electron lasers : principles of coherent X-ray generation

Kwang-Je Kim, Zhirong Huang, Ryan Lindberg

Call Number: QC793.5.E627

Exotic nuclear excitations : the transverse wobbling mode in 135 Pr

James Till Matta

Call Number: QC794.6.E9

Supersymmetric grand unified theories : from quarks to strings via SUSY GUTs

Stuart Raby

Call Number: QC794.6.G7

Collider physics within the standard model : a primer

Guido Altarelli ; edited by James Wells

Call Number: QC794.6.S75

String theory compactifications

Mariana Graña, Hagen Triendl

Call Number: QC794.6.S85

Technology and application of environmental and engineering geophysics : selected papers of the 7th International Conference on Environmental and Engineering Geophysics, ICEEG-Beijing 2016

Qingyun Di, Guoqiang Xue, Jianghai Xia, editors

Call Number: QC801

Self-organized criticality and predictability in atmospheric flows : the quantum world of clouds and rain

Amujuri Mary Selvam

Call Number: QC861.3

Climate change adaptation in Africa : fostering resilience and capacity to adapt

Walter Leal Filho, Belay Simane, Jokasha Kalangu, Menas Wuta, Pantaleo Munishi, Kumbirai Musiyiwa, editors

Call Number: QC903

Climate change adaptation and forest dependent communities : an analytical perspective of different agro-climatic regions of West Bengal, India

Jyotish Prakash Basu

Call Number: QC903.2.I4

The chemical works of Carl Wilhelm Scheele [electronic resource]

Anders Lennartson

Call Number: QD11

Thermal physics and thermal analysis : from macro to micro, highlighting thermodynamics, kinetics and nanomaterials

Jaroslav Šesták, Pavel Hubík, Jiří J. Mareš, editors

Call Number: QD79.T38

Quantitative infrared spectroscopy for understanding of a condensed matter

Takeshi Hasegawa

Call Number: QD96.I5

Fast electrochemical impedance spectroscopy : as a statistical condition monitoring tool

Pavle Boškoski, Andrej Debenjak, Biljana Mileva Boshkoska

Call Number: QD116.I57

Synthetic fluorine chemistry

edited by George A. Olah, Richard D. Chambers, and G.K. Surya Prakash

Call Number: QD181.F1 S96 1992

Silica stories

Christina De La Rocha, Daniel J. Conley

Call Number: QD181.S6

Dynamics of nanoparticles in stagnation flames

Yiyang Zhang

Call Number: QD181.T6

Sulfur dioxide insertion reactions for organic synthesis

Danqing Zheng, Jie Wu

Call Number: QD262

Blends and graft copolymers of cellulosics : toward the design and development of advanced films and fibers

Yoshiyuki Nishio [and four others]

Call Number: QD281.P6

Glucosinolates

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

Call Number: QD325

Clusters-contemporary insight in structure and bonding

Stefanie Dehnen, editors ; with contributions by J.F. Corrigan [and more]

Call Number: QD471

Ignition and wave processes in combustion of solids

Nickolai M. Rubtsov, Boris S. Seplyarskii, Michail I. Alymov

Call Number: QD516

Sonochemistry : from basic principles to innovative applications

Juan Carlos Colmenares, Gregory Chatel, editors ; with contributions from Muthupandian Ashokkumar ... [and 20 others]

Call Number: QD801

Geodynamics of the Latin American Pacific margin

edited by William L. Bandy, Juanjo Dañobeitia, Carlos Guti?rrez, Yuri Taran, Rafael Bartolomé

Call Number: QE501

Engineering aspects of geologic CO₂ storage : synergy between enhanced oil recovery and storage

Dayanand Saini

Call Number: QE516.C37

Laser scanning applications in landslide assessment

Biswajeet Pradhan, editor

Call Number: QE599.2

Pre-carboniferous evolution of the San Rafael block, Argentina : implications in the SW Gondwana margin

Carlos A. Cingolani, editor

Call Number: QE660

Atlas of trace fossils in well core : appearance, taxonomy and interpretation

Dirk Knaust

Call Number: QE720.5

Fossil horses of South America : phylogeny, systemics and ecology

José Luis Prado, María Teresa Alberdi

Call Number: QE882.U6

Restoring neighborhood streams : planning, design, and construction

Ann L. Riley

Call Number: QH75

Biological oceanography of the Baltic Sea

Pauline Snoeijs-Leijonmalm, Hendrik Schubert, Teresa Radziejewska, editors

Call Number: QH92.7

Life in the Himalaya : an ecosystem at risk

Maharaj K. Pandit

Call Number: QH193.H5 P36 2017

Electron nano-imaging : basics of imaging and diffraction for TEM and STEM

Nobuo Tanaka

Call Number: QH212.T7

Network biology

Intawat Nookaew, editor ; with contributions by P. Ajawatanawong [and more]

Call Number: QH313

Active particles. Volume 1, Advances in theory, models, and applications

Nicola Bellomo, Pierre Degond, Eitan Tadmor, editors

Call Number: QH323.5

Translational bioinformatics and its application

Dong-Qing Wei, Yilong Ma, William C.S. Cho, Qin Xu, Fengfeng Zhou, editors

Call Number: QH324.2

Bioinformatics and biomedical engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26?28, 2017, Proceedings.

Ignacio Rojas, Francisco Ortuño (eds.)

Call Number: QH324.2

Bioinformatics and biomedical engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings.

Ignacio Rojas, Francisco Ortuño (eds.)

Call Number: QH324.2

Bioinformatics -- a student's companion

Kalibulla Syed Ibrahim, Guruswami Gurusubramanian, Zothansanga, Ravi Prakash Yadav, Nachimuthu Senthil Kumar, Shunmugiah Karutha Pandian, Probodh Borah, Surender Mohan

Call Number: QH324.2

Research in computational molecular biology : 21st Annual International Conference, RECOMB 2017, Hong Kong, China, May 3-7, 2017, Proceedings

S. Cenk Sahinalp (eds.)

Call Number: QH324.2 .R43 2017eb

Artificial intelligence in label-free microscopy : biological cell classification by time stretch

Ata Mahjoubfar, Claire Lifan Chen, Bahram Jalali

Call Number: QH324.25

From matter to life : information and causality

edited by Sara Imari Walker, Paul C.W. Davies, George F.R. Ellis

Call Number: QH325

Biological individuality : integrating scientific, philosophical, and historical perspectives

edited by Scott Lidgard and Lynn K. Nyhart

Call Number: QH331 .B495 2017

Dynamical systems in population biology

Xiao-Qiang Zhao

Call Number: QH352

Biological invasions and its management in China. Volume 2

Fanghao Wan, Mingxing Jiang, Aibin Zhan, editors

Call Number: QH353

Biological invasions and its management in China. Volume 1

Fanghao Wan, Mingxing Jiang, Aibin Zhan, editors

Call Number: QH353

Genetics, evolution and radiation : crossing borders, the interdisciplinary legacy of Nikolay W. Timofeeff-Ressovsky

Victoria L. Korogodina, Carmel E. Mothersill, Sergey G. Inge-Vechtomov, Colin B. Seymour, editors

Call Number: QH429.2.T54

Human chromosome variation : heteromorphism, polymorphism and pathogenesis

Herman E. Wyandt, Golder N. Wilson, Vijay S. Tonk

Call Number: QH431

Modern tools of biophysics. Volume 5

Thomas Jue, editor

Call Number: QH505

Macromolecular protein complexes : structure and function

J. Robin Harris, Jon Marles-Wright, editors

Call Number: QH506

Ecological forecasting

Michael C. Dietze

Call Number: QH541.15.E265 D54 2017

Learning landscape ecology : a practical guide to concepts and techniques

Sarah E. Gergel, Monica G. Turner, editors

Call Number: QH541.15.L35

Foundations of restoration ecology

edited by Margaret A. Palmer, Joy B. Zedler, and Donald A. Falk

Call Number: QH541.15.R45

Stochastic communities : a mathematical theory of biodiversity

A. K. Dewdney

Call Number: QH541.15.S64 D49 2017

The GEO Handbook on Biodiversity Observation Networks

edited by Michele Walters, Robert J. Scholes

Call Number: QH541.29

Wetland science : perspectives from South Asia

B. Anjan Kumar Prusty, Rachna Chandra, P. A. Azeez, editors

Call Number: QH541.5.M3

Rangeland systems : processes, management and challenges

David D. Briske, editor

Call Number: QH541.5.R3

Modeling cellular systems [electronic resource]

Frederik Graw, Franziska Matthäus, Jürgen Pahle, editors

Call Number: QH581.2

The cell : a molecular approach

Geoffrey M. Cooper, Robert E. Hausman

Call Number: QH581.2 .C66 2013

Single cell analysis : contemporary research and clinical applications

J. Paul Robinson, Andrea Cossarizza, editors

Call Number: QH585.5.F56

Innovative diagnostics and treatment : nanorobotics and stem cells

Tomasz Jadczyk [and nine others]

Call Number: QH588.S83

Asymmetric cell division in development, differentiation and cancer

Jean-Pierre Tassan, Jacek Z. Kubiak, editors

Call Number: QH605

Apoptotic and non-apoptotic cell death

Shigekazu Nagata, Hiroyasu Nakano, editors

Call Number: QH671

Catharanthus roseus : current research and future prospects

M. Naeem, Tariq Aftab, M. Masroor A. Khan, editors

Call Number: QK495.A66

Stem anatomy of dalbergia and diospyros species from Madagascar : with a special focus on wood identification

Bako Harisoa Ravaomanalina, Alan Crivellaro, Fritz Hans Schweingruber

Call Number: QK495.L52

The lychee biotechnology

Manoj Kumar, Vivek Kumar, Ram Prasad, Ajit Varma, editors

Call Number: QK495.S19

Euglena : biochemistry, cell and molecular biology

Steven D. Schwartzbach, Shigeru Shigeoka, editors

Call Number: QK569.E93

Arbuscular mycorrhizas and stress tolerance of plants

Qiang-Sheng Wu, editor

Call Number: QK604.2.M92

Fungi in coastal and oceanic marine ecosystems : marine fungi

Seshagiri Raghukumar

Call Number: QK618

Engineering the environment : phytotrons and the quest for climate control in the Cold War

David P. D. Munns

Call Number: QK715.5 .M86 2017

Obligate pollination mutualism [electronic resource]

Makoto Kato, Atsushi Kawakita, editors

Call Number: QK926

Plant epigenetics

Nikolaus Rajewsky, Stefan Jurga, Jan Barciszewski, editors

Call Number: QK981

Natural UV radiation in enhancing survival value and quality of plants

Swati Sen Mandi

Call Number: QK7578

Evolution of venomous animals and their toxins

P. Gopalakrishnakone, editor-in-chief ; Anita Malhotra, editor

Call Number: QL100

Neuroptera (including megaloptera)

Charles W. Heckman

Call Number: QL512.3.A1

The Antarctic Silverfish [electronic resource]

Call Number: QL638.N6

Birds of prey and wind farms : analysis of problems and possible solutions

Hermann Hötker, Oliver Krone, Georg Nehls, editors

Call Number: QL677.78

The biology of the avian respiratory system : evolution, development, structure and function

John N. Maina, editor

Call Number: QL698

Wolf nation : the life, death, and return of wild American wolves

Brenda Peterson

Call Number: QL737.C22 P467 2017

Animal vocal communication : assessment and management roles

Call Number: QL776 .O85 2017

Color atlas and text of histology

Leslie P. Gartner

Call Number: QM557 .G38 2018

Cartilage. Volume 3, Repair strategies and regeneration

Susanne Grässel, Attila Aszódi, editors

Call Number: QM567

Physiology

Linda S. Costanzo

Call Number: QP31.2 .C67 2017

Biological effects of static magnetic fields

Xin Zhang, Kevin Yarema, An Xu

Call Number: QP82.2.M3

Adipose tissue biology

Michael E. Symonds, editor

Call Number: QP88.15

Essentials of human nutrition

edited by Jim Mann, A. Stewart Truswell

Call Number: QP141 .E82 2017

Oxidative stress in human reproduction : shedding light on a complicated phenomenon

Ashok Agarwal, Rakesh Sharma, Sajal Gupta, Avi Harlev, Gulfam Ahmad, Stefan S. du Plessis, Sandro C. Esteves, Siew May Wang, Damayanthi Durairajanayagam, editors

Call Number: QP251

Exercise physiology : theory and application to fitness and performance

Scott K. Powers, Edward T. Howley

Call Number: QP301 .P64 2018

Computational biomechanics for medicine : from algorithms to models and applications

Adam Wittek, Grand Joldes, Poul M.F. Nielsen, Barry J. Doyle, Karol Miller, editors

Call Number: QP303

Emerging trends in neuro engineering and neural computation

Asim Bhatti, Kendall H. Lee, Hamid Garmestani, Chee Peng Lim, editors

Call Number: QP355.2

Cyberpsychology and the brain : the interaction of neuroscience and affective computing

Thomas D. Parsons

Call Number: QP355.2 .P37 2017

Leucine-Rich Repeat kinase 2 (LRRK2)

Hardy J. Rideout, editor

Call Number: QP356.22

An introduction to modeling neuronal dynamics

Christoph Börgers

Call Number: QP357.5

Neuromorphic cognitive systems : a learning and memory centered approach [electronic resource]

Qiang Yu, Huajin Tang, Jun Hu, Kay Tan Chen

Call Number: QP357.5

Brain-computer interface research : a state-of-the-art summary 5

Christoph Guger, Brendan Allison, Junichi Ushiba, editors

Call Number: QP360.7

Reconstruction, identification and implementation methods for spiking neural circuits

Dorian Florescu

Call Number: QP363.3

The blood brain barrier and inflammation

Ruth Lyck, Gaby Enzmann, editors

Call Number: QP375.5

This is our brain

Jeroen Hendrikse

Call Number: QP376.6

Frederick Sanger : two-time Nobel laureate in chemistry

Joe S. Jeffers

Call Number: QP511.8.S325

From protein structure to function with bioinformatics

Daniel J. Rigden, editor

Call Number: QP551

Summarizing biological networks

Sourav S. Bhowmick, Boon-Siew Seah

Call Number: QP551.5

Bone morphogenetic proteins : systems biology regulators

Slobodan Vukicevic, Kuber T. Sampath, editors

Call Number: QP552.B65

The role of heat shock proteins in reproductive system development and function

Daniel J. MacPhee, editor

Call Number: QP552.H43

Testosterone : From Basic to Clinical Aspects

Call Number: QP572.T4

It's in your DNA : from discovery to structure, function and role in evolution, cancer and aging

Eugene Rosenberg

Call Number: QP624.5.D72 R674 2017

RUNX proteins in development and cancer

Yoram Groner, Yoshiaki Ito, Paul Liu, James C. Neil, Nancy A. Speck, Andre van Wijnen, editors

Call Number: QP624.75.P74

Non-canonical cyclic nucleotides

Roland Seifert, editor

Call Number: QP625.N89

Toxins and drug discovery

P. Gopalakrishnakone, editor-in-chief ; Lourdes J. Cruz, Sulan Luo, editors

Call Number: QP631

Bile acids in gastroenterology : basic and clinical

Susumu Tazuma, Hajime Takikawa, editors

Call Number: QP752.B54

Guanidines as reagents and catalysts II

Philipp Selig, editor ; with contributions by V. del Amo [and more]

Call Number: QP801.G83

Guanidines as reagents and catalysts I

Philipp Selig, editor ; with contributions by D.H. Grayson [and more]

Call Number: QP801.G83

Microbial applications. Vol. 1, Bioremediation and bioenergy

Vipin Chandra Kalia, Prasun Kumar, editors

Call Number: QR53

Microbial applications. Vol. 2, Biomedicine, agriculture and industry

Vipin Chandra Kalia, editors

Call Number: QR53

Modern tools and techniques to understand microbes

Ajit Varma, Arun Kumar Sharma, editors

Call Number: QR65

Modern topics in the phototrophic prokaryotes : environmental and applied aspects

Patrick C. Hallenbeck, editor

Call Number: QR88.5

Handbook of antimicrobial resistance

Matthias Gotte, editor-in-chief ; Albert Berghuis, Greg Matlashewski, Mark A. Wainberg, Donald Sheppard, editors

Call Number: QR177

Drug resistance in bacteria, fungi, malaria, and cancer

Gunjan Arora, Andaleeb Sajid, Vipin Chandra Kalia, editors

Call Number: QR177

Macrophages : origin, functions and biointervention

Malgorzata Kloc, editor

Call Number: QR185.8.M3

Protein and sugar export and assembly in gram-positive bacteria

Fabio Bagnoli, Rino Rappuoli, editors

Call Number: QR201.G76

Cyclospora cayetanensis as a foodborne pathogen

Ynés R. Ortega, Lucy J. Robertson

Call Number: QR251

Bacteriophages : practical applications for nature's biocontrol

Sabah A.A. Jassim, Richard G. Limoges

Call Number: QR342

ReMaking history : makers of the modern world

William Gurstelle

Call Number: T39

Pedestrian fall safety assessments : improved understanding on slip resistance measurements and investigations

In-Ju Kim

Call Number: T55.3.F35

Angular Router [electronic resource]

Call Number: T55.4-60.8

Operations Research Proceedings 2015 : Selected Papers of the International Conference of the German, Austrian and Swiss Operations Research Societies (GOR, ÖGOR, SVORASRO), University of Vienna, Austria, September 1-4, 2015

Karl Franz Doerner, Ivana Ljubic, Georg Pflug, Gernot Tragler, editors

Call Number: T57.6

Work design : a systematic approach

by Adedeji B. Badiru, Sharon C. Bommer

Call Number: T57.6 .W667 2017

Multi-criteria decision analysis to support healthcare decisions

Kevin Marsh, Mireille Goetghebeur, Praveen Thokala, Rob Baltussen, editors

Call Number: T57.95

Recent advances in information systems and technologies. Volume 3

Álvaro Rocha, Ana Maria Correia, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors

Call Number: T58.5

Recent advances in information systems and technologies. Volume 2

Álvaro Rocha, Ana Maria Correia, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors

Call Number: T58.5

Data science for dummies

Lillian Pierson ; foreword by Jake Porway

Call Number: T58.5

Mastering Ansible : master the ins and outs of advanced operations with Ansible

Jesse Keating

Call Number: T58.5

Recent advances in information systems and technologies. Volume 1

Álvaro Rocha, Ana Maria Correia, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors

Call Number: T58.5

Green IT engineering : components, networks and systems implementation

Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk, editors

Call Number: T58.5

IT through experiential learning : learn, deploy and adopt IT through gamification

Shreekant W. Shiralkar

Call Number: T58.5

Enterprise architecture at work : modelling, communication and analysis

Marc Lankhorst

Call Number: T58.6

Data analytics and management in data intensive domains : XVIII International Conference, DAMDIDRCDL 2016, Ershovo, Moscow, Russia, October 11-14, 2016, Revised selected papers

Leonid Kalinichenko, Sergei O. Kuznetsov, Yannis Manolopoulos (eds.)

Call Number: T58.6

Innovations in enterprise information systems management and engineering : 5th International Conference, ERP Future 2016 - Research, Hagenberg, Austria, November 14, 2016, Revised Papers

Felix Piazolo, Verena Geist, Lars Brehm, Rainer Schmidt (eds.)

Call Number: T58.6

Intelligent decision support systems for sustainable computing : paradigms and applications

Arun Kumar Sangaiah, Ajith Abraham, Patrick Siarry, Michael Sheng, editors

Call Number: T58.62

ServiceNow IT operations management : demystifying IT operations management

Ajaykumar Guggilla

Call Number: T58.64

Engineering education 4.0 : excellent teaching and learning in engineering sciences

Sulamith Frerich, Tobias Meisen, Anja Richert, Marcus Petermann, Sabina Jeschke, Uwe Wilkesmann, A. Erman Tekkaya, editors

Call Number: T65

Seamless : a hero's journey of digital disruption, adaptation and human transformation

Anders Sörman-Nilsson

Call Number: T173.8

Nano and bio heat transfer and fluid flow

professor Majid Ghassemi, Dr. Azadeh Shahidian

Call Number: T174.7

Current challenges in patent information retrieval

Mihai Lupu, Katja Mayer, Noriko Kando, Anthony J. Trippe, editors

Call Number: T210

Smart graphics : 13th International Symposium, SG 2015, Chengdu, China, August 26-28, 2015, Revised selected papers

Yaxi Chen, Marc Christie, Wenrong Tan (eds.)

Call Number: T385

SVG animations : from common UX implementations to complex responsive animation

Sarah Drasner

Call Number: T385

Mastering Unity 5.x : create amazing games with solid gameplay features, using a professional-grade workflow inside the Unity engine!

Alan Thorn

Call Number: T385

Vulkan cookbook : work through recipes to unlock the full potential of the next generation graphics API--Vulkan

Pawel Lapinski

Call Number: T385

Mastering AutoCAD 2018 and AutoCAD LT 2018

George Omura with Brian Benton

Call Number: T385

SketchUp For Dummies

Call Number: T385 .C521783 2017eb

Interactivity, game creation, design, learning, and innovation : 5th International Conference, ArtsIT 2016, and first International Conference, DLI 2016, Esbjerg, Denmark, May 2-3, 2016, Proceedings

Anthony L. Brooks, Eva Brooks (eds.)

Call Number: T385 .I58 2016eb

Transactions on engineering technologies : International Multiconference of Engineers and Computer Scientists 2016

Sio-Iong Ao, Haeng Kon Kim, Xu Huang, Oscar Castillo, editors

Call Number: TA5

Control systems engineering

S. Salivahanan, R. Rengaraj, G. R. Venkatakrishnan

Call Number: TA157

Advances in human factors and system interactions : proceedings of the AHFE 2016 International Conference on Human Factors and System Interactions, July 27-31, 2016, Walt Disney World®, Florida, USA

Isabel L. Nunes, editors

Call Number: TA166

Advances in the human side of service engineering : proceedings of the AHFE 2016 International Conference on The Human Side of Service Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA

Tareq Z. Ahram, Waldemar Karwowski, editors

Call Number: TA166

Advances in neuroergonomics and cognitive engineering : proceedings of the AHFE 2016 International Conference on Neuroergonomics and Cognitive Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA

Kelly S. Hale, Kay M. Stanney, editors

Call Number: TA166

Advances in ergonomics modeling, usability & special populations : proceedings of the AHFE 2016 International Conference on Ergonomics Modeling, Usability & Special Populations, July 27-31, 2016, Walt Disney World®, Florida, USA

Marcelo Soares, Christianne Falcão, Tareq Z. Ahram, editors

Call Number: TA166

Advances in human aspects of transportation : proceedings of the AHFE 2016 International Conference on Human Factors in Transportation, July 27-31, 2016, Walt Disney World®, Florida, USA

Neville A. Stanton, Steven Landry, Giuseppe Di Bucchianico, Andrea Vallicelli, editors

Call Number: TA166

Advances in affective and pleasurable design : proceedings of the AHFE 2016 International Conference on Affective and Pleasurable Design, July 27-31, 2016, Walt Disney World, Florida, USA

WonJoon Chung, Cliff Sungsoo Shin, editors

Call Number: TA166

Advances in applied digital human modeling and simulation : proceedings of the AHFE 2016 International Conference on Digital Human Modeling and Simulation, July 27-31, 2016, Walt Disney World®, Florida, USA

Vincent G. Duffy, editor

Call Number: TA166

Requirements engineering for service and cloud computing

Muthu Ramachandran, Zaigham Mahmood, editors

Call Number: TA168

Multi-disciplinary engineering for cyber-physical production systems : data models and software solutions for handling complex engineering projects

Stefan Biffl, Arndt Lüder, Detlef Gerhard, editors

Call Number: TA168

Reliability, maintainability, and risk : practical methods for engineers

David J. Smith

Call Number: TA169

The field guide to understanding human error

Sidney Dekker

Call Number: TA169.5

Simplifying Solution Space : Enabling Non-Expert Users to Innovate and Design with Toolkits

Call Number: TA174

Design theory : methods and organization for innovation

Pascal Le Masson, Benoit Weil, Armand Hatchuel

Call Number: TA174

Bridging the Gap between Requirements Engineering and Software Architecture : A Problem-Oriented and Quality-Driven Method [electronic resource]

Call Number: TA180

Learning Strategies in Engineering Mathematics : Conceptualisation, Development, and Evaluation of MP²-MathePlus

Call Number: TA332.5

What to expect from artificial intelligence

Ajay Agrawal, Joshua S. Gans, Avi Goldfarb

Call Number: TA347.A78

Artificial intelligence : teaching machines to think like people : perspectives from leading practitioners in AI and the science of the brain

Jack Clark

Call Number: TA347.A78

Robust modelling and simulation : integration of SIMIO with coloured Petri nets

Idalia Flores De La Mota [and 3 others]

Call Number: TA347.N46

Contact mechanics and friction : physical principles and applications

Valentin L. Popov

Call Number: TA353 .P6713 2017eb

Energy Materials 2014 : conference proceedings : November 4-6, 2014, Xi'an, Shaanxi Province, China

organized by The Chinese Society for Metals and The Minerals, Metals & Materials Society (TMS)

Call Number: TA401.3

PRICM 8 : proceedings of the 8th Pacific Rim International Congress on Advanced Materials and Processing : sponsored by The Chinese Society for Metals (CSM), The Japan Institute of Metals (JIM), The Korean Institute of Metals and Materials (KIM), Materials Australi

edited by Fernand Marquis

Call Number: TA401.3 .P335 2013eb

Materials design and applications

Lucas F.M. da Silva, editor

Call Number: TA403.6

Materials for a healthy, ecological and sustainable built environment : principles for evaluation

Emina Kristina Petrović, Brenda Vale, Maibritt Pedersen Zari

Call Number: TA403.6

Mechanics for materials and technologies

Holm Altenbach, Robert V. Goldstein, Evgenii Murashkin, editors

Call Number: TA404.8

Foundations of elastoplasticity : subloading surface model

Koichi Hashiguchi

Call Number: TA418

Wave dynamics and composite mechanics for microstructured materials and metamaterials

Mezhlum A. Sumbatyan, editor

Call Number: TA418.9.C6

Carbon fibre from lignin

Pratima Bajpai

Call Number: TA418.9.C6

On the time and temperature dependent behaviour of laminated amorphous polymers subjected to low-velocity impact

Andreas Rühl

Call Number: TA418.9.C6

High performance natural fiber-nanoclay reinforced cement nanocomposites

It-Meng Low, Ahmad Hakamy, Faiz Shaikh

Call Number: TA418.9.C6

Natural fiber-reinforced biodegradable and bioresorbable polymer composites

edited by Alan Kin-Tak Lau, Ada Pui-Yan Hung

Call Number: TA418.9.C6

Complex magnetic nanostructures : synthesis, assembly and applications

Surender Kumar Sharma, editor

Call Number: TA418.9.N35

Mechanical behaviors of carbon nanotubes : theoretical and numerical approaches

K.M. Liew, Jian-Wei Yan, Lu-Wen Zhang

Call Number: TA418.9.N35

Inorganic nanosheets and nanosheet-based materials : fundamentals and applications of two-dimensional systems

Teruyuki Nakato, Jun Kawamata, Shinsuke Takagi, editors

Call Number: TA418.9.N35

Magnetic characterization techniques for nanomaterials

Challa S.S.R. Kumar, editor

Call Number: TA418.9.N35

Recent trends in materials science and applications : nanomaterials, crystal growth, thin films, quantum dots, & spectroscopy (Proceedings ICRTMSA 2016)

edited by Jeyasingh Ebenezar, editor

Call Number: TA418.9.N35

Properties and applications of polymer nanocomposites : clay and carbon based polymer nanocomposites [electronic resource]

Deba Kumar Tripathy, Bibhu Prasad Sahoo, editors

Call Number: TA418.9.N35

Defect structure and properties of nanomaterials

Jenö Gubicza

Call Number: TA418.9.N35

Convection in porous media

Donald A. Nield, Adrian Bejan

Call Number: TA418.9.P6 N54 2017eb

Concrete durability : cementitious materials and reinforced concrete properties, behavior and corrosion resistance

Luis Emilio Rendon Diaz Miron, Dessi A. Koleva, editors

Call Number: TA440

Strengthening of concrete structures using fiber reinforced polymers (FRP) : design, construction and practical applications

Hwai-Chung Wu and Christopher D. Eamon

Call Number: TA443.P58

ICAA13 Pittsburg : proceedings of the 13th International Conference on Aluminum Alloys

edited by Hasso Weiland, Anthony D. Rollett, William A. Cassada

Call Number: TA480.A6 I55 2012

Discontinuously reinforced titanium matrix composites : microstructure design and property optimization

Lujun Huang, Lin Geng

Call Number: TA481

Fatigue and fracture of fibre metal laminates

René Alderliesten

Call Number: TA481.5

Advances in shape memory materials : in commemoration of the retirement of Professor Hisaaki Tobushi

Qingping Sun, Ryosuke Matsui, Kohei Takeda, Elżbieta A. Pieczyska, editors

Call Number: TA487

Special topics in structural dynamics. Volume 6 : : proceedings of the 35th IMAC, a Conference and Exposition on Structural Dynamics 2017

Nikolaos Dervilis, editor

Call Number: TA654

Shock & vibration, aircraft/aerospace, energy harvesting, acoustics & optics. Volume 9 : : proceedings of the 35th IMAC, a Conference and Exposition on Structural Dynamics 2017

Julie M. Harvie, Javad Baqersad, editors

Call Number: TA654 .I58 2017eb

Topics in modal analysis & testing. Volume 10 : : proceedings of the 35th IMAC, a Conference and Exposition on Structural Dynamics 2017

Michael Mains, J.R. Blough, editors

Call Number: TA654.15

Sensors and instrumentation. Volume 5 : : proceedings of the 35th IMAC, a Conference and Exposition on Structural Dynamics 2017

Evro Wee Sit, Chad Walber, Patrick Walter, Steve Seidlitz, editors

Call Number: TA654.15 .I58 2017eb

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

Matthew S. Allen, Randall L. Mayes, Daniel Jean Rixen, editors

Call Number: TA654.15 .I58 2017eb

Structural health monitoring & damage detection. Volume 7 : : proceedings of the 35th IMAC, A Conference and Exposition on Structural Dynamics 2017

Christopher Niezrecki, editor

Call Number: TA656.6

Structural health monitoring : an advanced signal processing perspective

Ruqiang Yan, Xuefeng Chen, Subhas Chandra Mukhopadhyay, editors

Call Number: TA656.6

Hazard analysis of seismic soil liquefaction

Yu Huang, Miao Yu

Call Number: TA658.44

Optimization methods in structural design

Alan Rothwell

Call Number: TA658.8

Concrete structures under projectile impact

Qin Fang, Hao Wu

Call Number: TA681

Computational geotechnics : storage of energy carriers

Thomas Nagel, Norbert Böttcher, Uwe-Jens Görke, Olaf Kolditz

Call Number: TA705

Bifurcation and degradation of geomaterials with engineering applications : proceedings of the 11th International Workshop on Bifurcation and Degradation in Geomaterials dedicated to Hans Muhlhaus, Limassol, Cyprus, 21-25 May 2017

Euripides Papamichos, Panos Papanastasiou, Elena Pasternak, Arcady Dyskin, editors

Call Number: TA710.A1

Statistical techniques for transportation engineering

Kumar Molugaram, G. Shanker Rao

Call Number: TA1145 .M65 2017

International Symposium for Intelligent Transportation and Smart City (ITASC) 2017 proceedings : branch of ISADS (The International Symposium on Autonomous Decentralized Systems)

Xiaoqing Zeng, Xiongyao Xie, Jian Sun, Limin Ma, Yinong Chen, editors

Call Number: TA1230

Foundations of computer vision : computational geometry, visual image structures and object shape detection

James F. Peters

Call Number: TA1634

OpenCV 3 computer vision application programming cookbook : recipes to help you build computer vision applications that make the most of the popular C++ library OpenCV 3

Robert Laganiere

Call Number: TA1634

Mastering OpenCV 3 : gets hands-on with practical Computer Vision using OpenCV 3

Daniel Lélis Baggio [and five others]

Call Number: TA1634

Computer vision -- ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised selected papers.

Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato (eds.)

Call Number: TA1634 .A85 2016eb

Computer vision -- ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised selected papers.

Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato (eds.)

Call Number: TA1634 .A85 2016eb

Computer vision -- ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised selected papers.

Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato (eds.)

Call Number: TA1634 .A85 2016eb

Computer vision -- ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised selected papers.

Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato (eds.)

Call Number: TA1634 .A85 2016eb

Computer vision -- ACCV 2016 : 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised selected papers.

Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato (eds.)

Call Number: TA1634 .A85 2016eb

Computer vision -- ACCV 2016 Workshops : ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, revised selected papers.

Chu-Song Chen, Jiwen Lu, Kai-Kuang Ma (eds.)

Call Number: TA1634 .A85 2016eb

Computer vision -- ACCV 2016 Workshops : ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised selected papers.

Chu-Song Chen, Jiwen Lu, Kai-Kuang Ma (eds.)

Call Number: TA1634 .A85 2016eb

Computer vision -- ACCV 2016 Workshops : ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised selected papers.

Chu-Song Chen, Jiwen Lu, Kai-Kuang Ma (eds.)

Call Number: TA1634 .A85 2016eb

Computational modeling of objects presented in images : fundamentals, methods, and applications : 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised selected papers

Reneta P. Barneva, Valentin E. Brimkov, João Manuel R.S. Tavares (eds.)

Call Number: TA1637

International Digital Imaging Correlation Society : proceedings of the first Annual Conference, 2016

Michael Sutton, Phillip L. Reu, editors

Call Number: TA1637

Raspberry Pi image processing programming : develop real-life examples with Python, Pillow, and SciPy

Ashwin Pajankar

Call Number: TA1637

Computational color imaging : 6th International Workshop, CCIW 2017, Milan, Italy, March 29-31, 2017, Proceedings

Simone Bianco, Raimondo Schettini, Alain Trémeau, Shoji Tominaga (eds.)

Call Number: TA1637

Raspberry Pi image processing programming : develop real-life examples with Python, Pillow, and SciPy

Ashwin Pajankar

Call Number: TA1637

Compressive sensing for the photonic mixer device : fundamentals, methods and results

Miguel Heredia Conde

Call Number: TA1637

Recent trends in image processing and pattern recognition : first International Conference, RTIP2R 2016, Bidar, India, December 16-17, 2016, Revised selected papers

K.C. Santosh, Mallikarjun Hangarge, Vitoantonio Bevilacqua, Atul Negi (eds.)

Call Number: TA1637

From global to local statistical shape priors : novel methods to obtain accurate reconstruction results with a limited amount of training shapes

Carsten Last

Call Number: TA1637.5

Video analytics : face and facial expression recognition and audience measurement : third International Workshop, VAAM 2016, and second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised selected papers

Kamal Nasrollahi, Cosimo Distante, Gang Hua, Andrea Cavallaro, Thomas B. Moeslund, Sebastiano Battiato, Qiang Ji (eds.)

Call Number: TA1650

Semiconductor lasers : stability, instability and chaos

Junji Ohtsubo

Call Number: TA1700

Mixed-method evaluation of watershed management : practices from Kushk-Abad Basin, Iran

Bahram Mohammadi Golrang

Call Number: TC514

Planning and evaluation of irrigation projects : methods and implementation

Raveendra Kumar Rai, Vijay P. Singh, Alka Upadhyay

Call Number: TC805

The Boka Kotorska Bay environment

volume editors: Aleksandar Joksimović, Mirko Djurović, Aleksander V. Semenov, Igor S. Zonn, Andrey G. Kostianoy ; with contributions by G. Anačkov [and more]

Call Number: TD171.5.Y8

Carbon sequestration for climate change mitigation and adaptation

David A.N. Ussiri, Rattan Lal

Call Number: TD171.75

Enhancing cleanup of environmental pollutants. Volume 2, Non-biological approaches

Naser A. Anjum, Sarvajeet Singh Gill, Narendra Tuteja, editors

Call Number: TD174

Bioremediation of salt affected soils : an Indian perspective

Sanjay Arora, Atul K. Singh, Y.P. Singh, editors

Call Number: TD192.5

Phytoremediation potential of bioenergy plants

Kuldeep Bauddh, Bhaskar Singh, John Korstad, editors

Call Number: TD192.75

Phytoremediation : management of environmental contaminants.

Abid A. Ansari, Sarvajeet Singh Gill, Ritu Gill, Guy R. Lanza, Lee Newman, editors

Call Number: TD192.75

Governance of urban wastewater reuse for agriculture : a framework for understanding and action in metropolitan regions

Ganesh Keremane

Call Number: TD429

Advances in environmental biotechnology

Raman Kumar, Anil Kumar Sharma, Sarabjeet Singh Ahluwalia, editors

Call Number: TD492.5

Frontiers in wastewater treatment and modelling : FICWTM 2017 [electronic resource]

edited by Giorgio Mannina, editor

Call Number: TD745

Garbology : our dirty love affair with trash

Edward Humes

Call Number: TD788 .H86 2012

Waste biomass management : a holistic approach

Lakhveer Singh, Vipin Chandra Kalia, editors

Call Number: TD793

Soil pollution : an emerging threat to agriculture

Jayanta K. Saha, Rajendiran Selladurai, M. Vassanda Coumar, M.L. Dotaniya, Samaresh Kundu, Ashok K. Patra

Call Number: TD878

Anaerobic technology in pulp and paper industry

Pratima Bajpai

Call Number: TD899.P3

Vehicular ad-hoc networks for smart cities : second International Workshop, 2016

Anis Laouiti, Amir Qayyum, Mohamad Naufal Mohamad Saad, editors

Call Number: TE228.37

Sustainable value management for construction projects

Ayodeji E. Oke, Clinton O. Aigbavboa

Call Number: TH438

Recording studio design

Philip Newell

Call Number: TH1725

Power plant engineering

R.K. Hegde

Call Number: TH4581

Radiators in hydronic heating installations : structure, selection and thermal characteristics

Damian Piotr Muniak

Call Number: TH7480

Fire safety of historical buildings : traditional versus innovative "behavioural design" solutions by using wayfinding systems

Gabriele Bernardini

Call Number: TH9445.M8

Advances in mechanical engineering : selected contributions from the Conference "Modern Engineering: Science and Education", Saint Petersburg, Russia, June 2016

Alexander N. Evgrafov, editor

Call Number: TJ5

Mathematical modelling in solid mechanics

Francesco dell'Isola, Mircea Sofonea, David Steigmann, editors

Call Number: TJ153

Assessment of Energy Sources Using GIS [electronic resource]

Call Number: TJ163.2

Probabilistic prognostics and health management of energy systems

Stephen Ekwaro-Osire, Aparecido Carlos Gonçalves, Fisseha M. Alemayehu, editors

Call Number: TJ163.2

Green defense technology : triple net zero energy, water and waste models and applications

edited by Michael Goodsite, Sirkku Juhola

Call Number: TJ163.5.M54

Rotating machinery, hybrid test methods, vibro-acoustics & laser vibrometry. Volume 8 : : proceedings of the 35th IMAC, a Conference and Exposition on Structural Dynamics 2017

Dario Di Maio, Paolo Castellini, editors

Call Number: TJ170

Advances in automation and robotics research in Latin America : proceedings of the 1st Latin American Congress on Automation and Robotics, Panama City, Panama 2017

Ignacio Chang, José Baca, Héctor A. Moreno, Isela G. Carrera, Manuel N. Cardona, editors

Call Number: TJ211

LEGO Mindstorms EV3 : the Mayan adventure

Mark Bell, James Floyd Kelly

Call Number: TJ211.15

Educational robotics in the makers era

Dimitris Alimisis, Michele Moro, Emanuele, editors

Call Number: TJ211.26

Geometric and numerical foundations of movements

Jean-Paul Laumond, Nicolas Mansard, Jean-Bernard Lasserre, editors

Call Number: TJ211.4

Wheeled mobile robotics : from fundamentals towards autonomous systems

Gregor Klancar, Andrej Zdesar, Saso Blazic, Igor Škrjanc

Call Number: TJ211.415

ROS robotics projects : build a variety of awesome robots that can see, sense, move, and do a lot more using the powerful Robot Operating System

Lentin Joseph

Call Number: TJ211.45

Advances in human factors in robots and unmanned systems : proceedings of the AHFE 2016 International Conference on Human Factors in Robots and Unmanned Systems, July 27-31, 2016, Walt Disney World, Florida, USA

Pamela Savage-Knepshield, Jessie Chen, editors

Call Number: TJ211.49

Love and sex with robots : second International Conference, LSR 2016, London, UK, December 19-20, 2016, Revised selected papers

Adrian David Cheok, Kate Devlin, David Levy (eds.)

Call Number: TJ211.49

Smart electromechanical systems : the central nervous system [electronic resource]

Andrey E. Gorodetskiy, Vugar G. Kurbanov, editors

Call Number: TJ213

Optimization and Control for Systems in the Big-Data Era : Theory and Applications [electronic resource]

Call Number: TJ213

Cyber-physical system design from an architecture analysis viewpoint : communications of NII Shonan Meetings

Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu, editors

Call Number: TJ213

Time Delay Systems : Theory, Numerics, Applications, and Experiments

Call Number: TJ216

Feedback stabilization of controlled dynamical systems : in honor of Laurent Praly

Nicolas Petit, editor

Call Number: TJ216

Applications of sliding mode control in science and engineering

Sundarapandian Vaidyanathan, Chang-Hua Lien, editors

Call Number: TJ220.5

Arduino programming with .NET and sketch

Agus Kurniawan

Call Number: TJ223.P76

Electronics cookbook : practical electronic recipes with Arduino and Raspberry Pi

Simon Monk

Call Number: TJ223.P76

Arduino playground : geeky projects for the experienced maker

Warren Andrews

Call Number: TJ223.P76

Learning C for Arduino : a comprehensive guide that will help you ace C's fundamentals using the powerful Arduino board

Syed Omar Faruk Towaha

Call Number: TJ223.P76

Arduino for kids : a cool guide to help kids develop robots and electronics

Priya Kuber, Rishi Gaurav Bhatnagar, Vijay Varada ; foreword by Dhairya Dand, Anirudh Sharma

Call Number: TJ223.P76

Heat recovery steam generator technology

edited by Vernon L. Eriksen

Call Number: TJ319

Combustion engine diagnosis : model-based condition monitoring of gasoline and diesel engines and their components

Rolf Isermann

Call Number: TJ759

Energy harvesting and energy efficiency : technology, methods, and applications

Nicu Bizon, Naser Mahdavi Tabatabaei, Frede Blaabjerg, Erol Kurt, editors

Call Number: TJ808

Marine renewable energy : resource characterization and physical effects

Zhaoqing Yang, Andrea Copping, editors

Call Number: TJ808

Complex systems and social practices in energy transitions : framing energy sustainability in the time of renewables

Nicola Labanca, editor

Call Number: TJ808

Integration of large scale renewable energy into bulk power systems : from planning to operation [electronic resource]

Pengwei Du, Ross Baldick, Aidan Tuohy, editors

Call Number: TJ808

Optimization in renewable energy systems : recent perspectives

edited by Ozan Erdinç, PhD, Yildiz Technical University, Istanbul, Turkey

Call Number: TJ808

Cavitation instabilities and rotordynamic effects in turbopumps and hydroturbines : turbopump and inducer cavitation, experiments and design

Luca d'Agostino, Maria Vittoria Salvetti, editors

Call Number: TJ844

Applications of nanofluid for heat transfer enhancement

Mohsen Sheikholeslami, Davood Domairry Ganji

Call Number: TJ853.4.M53

Nanotribology and nanomechanics : an introduction

Bharat Bhushan, editor

Call Number: TJ1075

Ultraprecision machining of hybrid freeform surfaces using multiple-axis diamond turning

Dennis Wee Keong Neo

Call Number: TJ1185

The power grid : smart, secure, green and reliable

edited by Brian W. D'Andrade

Call Number: TK1001

Renewable energy devices and systems with simulations in MATLAB and ANSYS

Frede Blaabjerg, Dan M. Ionel

Call Number: TK1005 .B58 2017

Small modular reactors for electricity generation : an economic and technologically sound alternative

Jorge Morales Pedraza

Call Number: TK1078

Numerical simulation of power plants and firing systems

Heimo Walter, Bernd Epple, editors

Call Number: TK1191

Leigh's test record

Call Number: TK 1234 .G34 2017

Triboelectric devices for power generation and self-powered sensing applications

Lokesh Dhakar

Call Number: TK2897

Emerging nanotechnologies in rechargeable energy storage systems

edited by Lide M. Rodriguez-Martinez, Noshin Omar

Call Number: TK2941

Advances in energy system optimization : proceedings of the first International Symposium on Energy System Optimization

Valentin Bertsch, Wolf Fichtner, Vincent Heuveline, Thomas Leibfried, editors

Call Number: TK3001

A distributed linear programming models in a smart grid

Prakash Ranganathan, Kendall E. Nygard

Call Number: TK3105

Smart energy grid design for island countries : challenges and opportunities

F.M. Rabiul Islam, Kabir Al Mamun, Maung Than Oo Amanullah, editors

Call Number: TK3105

Inspection and monitoring technologies of transmission lines with remote sensing

Yi Hu, Kai Liu

Call Number: TK3221

Reactive power control in AC power systems : fundamentals and current issues

Naser Mahdavi Tabatabaei, Ali Jafari Aghbolaghi, Nicu Bizon, Frede Blaabjerg, editors

Call Number: TK3226

Network analysis and synthesis

S.K. Bhattacharya, Manpreet Singh

Call Number: TK3226

Pulse current gas metal arc welding : characteristics, control and applications

Prakriti Kumar Ghosh

Call Number: TK4660

MQTT essentials : a lightweight IoT protocol : the preferred IoT publish-subscribe lightweight messaging protocol

Gastón C. Hillar

Call Number: TK5102.5

Real-time recursive hyperspectral sample and band processing : algorithm architecture and implementation

Chein-I Chang

Call Number: TK5102.9

Digital signal processing in power electronics control circuits [electronic resource]

Krzysztof Sozański

Call Number: TK5102.9

Handbook of multisensor data fusion : theory and practice

edited by Martin E. Liggins, David L. Hall, James Llinas

Call Number: TK5102.9

Full-duplex communications and networks

Lingyang Song, Risto Wichman, Yonghui Li, Zhu Han

Call Number: TK5103.2

Design and deployment of small cell networks

[edited by] Alagan Anpalagan, Mehdi Bennis, Rath Vannithamby

Call Number: TK5103.2

Key technologies for 5G wireless systems

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

Call Number: TK5103.2

Wireless and satellite systems : 8th International Conference, WiSATS 2016, Cardiff, UK, September 19-20, 2016, Proceedings

Ifiok Otung, Prashant Pillai, George Eleftherakis, Giovanni Giambene (eds.)

Call Number: TK5103.2

Wireless-powered communication networks : architectures, protocols, and applications

[edited by] Dusit Niyato [and 4 others]

Call Number: TK5103.2

Cloud radio access networks : principles, technologies, and applications

edited by Tony Q.S. Quek, Mugen Peng, Osvaldo Simeone, Wei Yu

Call Number: TK5103.2

Wireless networking and mobile data management

R.K. Ghosh

Call Number: TK5103.2

Cloud mobile networks : from RAN to EPC

Mojtaba Vaezi, Ying Zhang

Call Number: TK5103.2

Fading and Shadowing in Wireless Systems [electronic resource]

Call Number: TK5103.2

Building Bluetooth low energy systems : take your first steps in IoT

Muhammad Usama bin Aftab

Call Number: TK5103.3

Design of CMOS RFIC Ultra-wideband impulse transmitters and receivers

Cam Nguyen, Meng Miao

Call Number: TK5103.4515

Spectrum sharing in cognitive radio networks : medium access control protocol based approach

Shweta Pandit, Ghanshyam Singh

Call Number: TK5103.4815

Radio resource management in wireless networks : an engineering approach

Ekram Hossain, Mehdi Rasti, Long Bao Le

Call Number: TK5103.4873

Multi-technology positioning

Jari Nurmi, Elena-Simona Lohan, Henk Wymeersch, Gonzalo Seco-Granados, Ossi Nykänen, editors

Call Number: TK5103.4895

Digital communications

Mehmet Şafak

Call Number: TK5103.7

Introduction to wireless digital communication : a signal processing perspective

Robert W. Heath, Jr

Call Number: TK5103.7

Whole body interaction with public displays

Robert Walter

Call Number: TK5105.15

Learning Apache Flink : discover the definitive guide to crafting lightning-fast data processing for distributed systems with Apache Flink

Tanmay Deshpande

Call Number: TK5105.386

Proceedings of International Conference on Communication and Networks : ComNet 2016

Nilesh Modi, Pramode Verma, Bhushan Trivedi, editors

Call Number: TK5105.5

Interoperability and open-source solutions for the Internet of Things : second International Workshop, InterOSS-IoT 2016, held in conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, invited papers

Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano (eds.)

Call Number: TK5105.5

Terraform : up and running : writing infrastructure as code

Yevginiy Brikman

Call Number: TK5105.5

Infrastructure as code (IAC) cookbook : over 90 practical, actionable recipes to automate, test and manage your infrastructure quickly and effectively

Stephane Jourdan, Pierre Pomès

Call Number: TK5105.5

Zabbix : enterprise network montioring [sic] made easy : learn how to gather detailed statistics and data with this one-stop, comprehensive course along with hands-on recipes to get your infrasturcture up and running with Zabbix : a course in three modules

Call Number: TK5105.5

3rd International Winter School and Conference on Network Science : NetSci-X 2017

Erez Shmueli, Baruch Barzel, Rami Puzis, editors

Call Number: TK5105.5

Computer communication, networking and internet security : proceedings of IC3T 2016

Suresh Chandra Satapathy, Vikrant Bhateja, K. Sruhan Raju, B. Janakiramaiah, editors

Call Number: TK5105.5

Passive and active measurement : 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings

Mohamed Ali Kaafar, Steve Uhlig, Johanna Amann (eds.)

Call Number: TK5105.5 .P35 2017eb

Architectural transformations in network services and distributed systems

Andriy Luntovskyy, Josef Spillner

Call Number: TK5105.52

Cisco CCNA routing and switching 200-120

Michael Valentine, Keith Barker

Call Number: TK5105.543

Guide to Cisco Routers Configuration : Becoming a Router Geek

Mohammed M. Alani

Call Number: TK5105.543

Practical packet analysis : using Wireshark to solve real-world network problems

by Chris Sanders

Call Number: TK5105.55

Sams teach yourself TCP/IP in 24 hours

Joe Casad

Call Number: TK5105.585

The illustrated network : how TCPIP works in a modern network

Walter Goralski

Call Number: TK5105.585

Cyber Security. Simply. Make it Happen : Leveraging Digitization Through IT Security

Call Number: TK5105.59

Guide to computer network security

Joseph Migga Kizza

Call Number: TK5105.59

Applied network security : master the art of detecting and averting advanced network security attacks and techniques

Arthur Salmon, Warun Levesque, Michael McLafferty

Call Number: TK5105.59

Coding for penetration testers : building better tools

Jason Andress, Ryan Linn

Call Number: TK5105.59

Secure ICT service provisioning for cloud, mobile and beyond : ESARIS : the answer to the demands of industrialized IT production balancing between buyers and providers

Eberhard von Faber, Wolfgang Behnsen

Call Number: TK5105.59 .F33 2017eb

ESP8266 Internet of Things cookbook : over 50 recipes to help you master the ESP8266's functionality

Marco Schwartz

Call Number: TK5105.78

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example

Lukasz Wisniewski

Call Number: TK5105.8.E83

Troubleshooting OpenVPN : get the solutions you need to troubleshoot any issue you may face to keep your OpenVPN up and running

Eric F. Crist

Call Number: TK5105.875.E87

OpenVPN cookbook : discover over 90 practical and exciting recipes that leverage the power of OpenVPN 2.4 to help you obtain a reliable and secure VPN

Jan Just Keijser

Call Number: TK5105.875.E87

Take control of your online privacy

by Joe Kissell

Call Number: TK5105.875.I57

Deploying SharePoint 2016 : best practices for installing, configuring, and maintaining SharePoint Server 2016

Vlad Catrinescu, Trevor Seward

Call Number: TK5105.875.I6

The SEO battlefield : winning strategies for search marketing programs

Anne Ahola Ward

Call Number: TK5105.884

Mastering Elasticsearch 5.x : Master the intricacies of Elasticsearch 5 and use it to create flexible and scalable search solutions

Bharvi Dixit

Call Number: TK5105.884

Resource management for Internet of Things

Flávia C. Delicato, Paulo F. Pires, Thais Batista

Call Number: TK5105.8857

Managing the web of things : linking the real world to the web

edited by Quan Z. Sheng [and others]

Call Number: TK5105.8857

IoT solutions in Microsoft's Azure IoT suite : data acquisition and analysis in the real world

Scott Klein

Call Number: TK5105.8857

Internet of things : novel advances and envisioned applications

D. P. Acharjya, M. Kalaiselvi Geetha, editors

Call Number: TK5105.8857

IoT solutions in Microsoft's Azure IoT Suite : data acquisition and analysis in the real world : building for the Internet of Things

Scott Klein

Call Number: TK5105.8857

Pro HTML5 with CSS, JavaScript, and multimedia : complete website development and best practices

Mark J. Collins

Call Number: TK5105.888

Pro HTML5 with CSS, JavaScript, and multimedia : complete website development and best practices

Mark J. Collins

Call Number: TK5105.888

Working with static sites : bringing the power of simplicity to modern sites

Raymond Camden and Brian Rinaldi

Call Number: TK5105.888

Take my money : accepting payments on the Web

by Noel Rappin

Call Number: TK5105.888

Alfresco One 5.x developer's guide : discover what it means to be an expert developer by exploring the latest features available to you in Alfresco One 5.x

Benjamin Chevallereau, Jeff Potts

Call Number: TK5105.888

The Sketch handbook : everything you ever wanted to know about designing with Sketch

Christian Krammer

Call Number: TK5105.888

Force.com enterprise architecture : architect and deliver packaged Force.com applications that cater to enterprise business needs

Andrew Fawcett ; foreword by Joshua Birk

Call Number: TK5105.88813

Website hosting and migration with Amazon Web Services : a practical guide to moving your website to AWS

Jason Nadon

Call Number: TK5105.88813

Introducing Erlang : getting started in functional programming

Simon St. Laurent

Call Number: TK5105.88813 .S7 2017

Getting started with Varnish Cache : accelerate your web applications

Thijs Feryn

Call Number: TK5105.8883

Analysis and modeling of radio wave propagation

Christopher John Coleman, University of Adelaide

Call Number: TK6553

Communication technologies for vehicles : 12th International Workshop, Nets4CarsNets4TrainsNets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

Alain Pirovano, Marion Berbineau, Alexey Vinel, Christophe Guerber, Damien Roque, Jaizki Mendizabal, Hervé Bonneville, Hasnaâ Aniss, Bertrand Ducourthial (eds.)

Call Number: TK6570.M6 N47 2017eb

Infrastructure monitoring with spaceborne SAR sensors

Andrei Anghel, Gabriel Vasile, Remus Cacoveanu

Call Number: TK6592.S95

Transionospheric synthetic aperture imaging

Mikhail Gilman, Erick Smith, Semyon Tsynkov

Call Number: TK6592.S95

Video production handbook

Jim Owens

Call Number: TK6655.V5

Digital TV and Wireless Multimedia Communication : 13th International Forum, IFTC 2016, Shanghai, China, November 9-10, 2016, Revised selected papers

Xiaokang Yang, Guangtao Zhai (eds.)

Call Number: TK6678

Adobe Premiere Pro CC 2017 release

Maxim Jago

Call Number: TK6680.5

Frontiers in electronic technologies : trends and challenges

S.R.S Prabaharan, Nadia Magnenat Thalmann, V. S Kanchana Bhaaskaran, editors

Call Number: TK7801

Basic electrical engineering

S.K. Sahdev

Call Number: TK7816

The hardware hacker : adventures in making and breaking hardware

Andrew "Bunnie" Huang

Call Number: TK7836

Principles of power integrity for PDN design--simplified : robust and cost effective design for high speed digital products

Larry D. Smith, Eric Bogatin

Call Number: TK7867.2

Introduction to logic circuits & logic design with Verilog

Brock J. LaMeres

Call Number: TK7868.L6

Power switching components : theory, applications and future trends

Kaveh Niayesh, Magne Runde

Call Number: TK7868.S9

Fundamentals of electronic systems design

Jens Lienig, Hans Bruemmer

Call Number: TK7870

RF and microwave microelectronics packaging II

Ken Kuang, Rick Sturdivant, editors

Call Number: TK7870.15

Metamaterial inspired electromagnetic applications : role of intelligent systems

Balamati Choudhury, editor

Call Number: TK7871.15.M48

Piezoresistive effect of p-type single crystalline 3C-SiC : silicon carbide mechanical sensors for harsh environments

Hoang-Phuong Phan

Call Number: TK7871.15.S56

Advanced interfacing techniques for sensors : measurement circuits and systems for intelligent sensors

Boby George, Joyanta Kumar Roy, V. Jagadeesh Kumar, Subhas Chandra Mukhopadhyay, editors

Call Number: TK7871.676

Magnetic resonance of semiconductors and their nanostructures : basic and advanced applications

Pavel G. Baranov [and 3 others]

Call Number: TK7871.85

Nanometer CMOS ICs : from basics to ASICs

Harry J. M. Veendrick

Call Number: TK7871.99.M44

CMOS and beyond : logic switches for terascale integrated circuits

Tsu-Jae King Liu, University of California, Berkeley ; Kelin Kuhn, Intel Corporation

Call Number: TK7871.99.M44 L63 2014eb

Polysaccharide based supercapacitors

Soon Yee Liew, Wim Thielemans, Stefan Freunberger, Stefan Spirk

Call Number: TK7872.C65

Design and control of matrix converters : regulated 3-phase power supply and voltage sag mitigation for linear loads

Anindya Dasgupta, Parthasarathi Sensarma

Call Number: TK7872.C8

Mobile sensors and context-aware computing

Manish J. Gajjar

Call Number: TK7872.D48

Advances in multi-band microstrip filters

edited by Vesna Crnojević-Bengin

Call Number: TK7872.F5

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

Tatsuya Kobayashi

Call Number: TK7872.S8

Testing of interposer-based 2.5D integrated circuits

Ran Wang, Krishnendu Chakrabarty

Call Number: TK7874

Electronics for embedded systems

Ahmet Bindal

Call Number: TK7874

Linear integrated circuits

B. Visvesvara Rao

Call Number: TK7874.654

Proceedings of the International Conference on Nano-electronics, Circuits & Communication Systems

Vijay Nath, editor

Call Number: TK7874.84

Next generation spin torque memories

Brajesh Kumar Kaushik, Shivam Verma, Anant Aravind Kulkarni, Sanjay Prajapati

Call Number: TK7874.887

Efficient biometric indexing and retrieval techniques for large-scale systems [electronic resource]

Ilaiah Kavati, Munaga V.N.K. Prasad, Chakravarthy Bhagvati

Call Number: TK7882.B56

Data visualization with D3 4.x cookbook : discover over 65 recipes to help you create breathtaking data visualizations using the latest features of D3

Nick Zhu

Call Number: TK7882.I6

D3.js : cutting-edge data visualization : turn your raw data into real knowledge by creating and deploying complex data visualizations with D3.js

Ændrew Rininsland, Michael Heydt, Pablo Navarro Castillo

Call Number: TK7882.I6

Reproducible research in pattern recognition : first International Workshop, RRPR 2016, Cancún, Mexico, December 4, 2016, Revised selected papers

Bertrand Kerautret, Miguel Colom, Pascal Monasse (eds.)

Call Number: TK7882.P3

Speech coding : code-excited linear prediction

Tom Bäckström

Call Number: TK7882.S65

Quality of synthetic speech : perceptual dimensions, influencing factors, and instrumental assessment

Florian Hinterleitner

Call Number: TK7882.S65

Solid-state-drives (SSDs) modeling : simulation tools & strategies

Rino Micheloni, editor

Call Number: TK7895.M4

IBM Hyper-Scale Manager for IBM Spectrum Accelerate family : IBM XIV, IBM FlashSystem A9000 and A9000R, and IBM Spectrum Accelerate

Roger Eriksson, Lisa Martinez, Bertrand Dufrasne, Markus Oscheka

Call Number: TK7895.M4

Ti-Sb-Te phase change materials : component optimisation, mechanism and applications

Min Zhu

Call Number: TK7895.M4

Robustness-related issues in speaker recognition

Thomas Fang Zheng, Lantian Li

Call Number: TK7895.S65

Nuclear power plants : innovative technologies for instrumentation and control systems : International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant

Yang Xu, editor

Call Number: TK9152

Design of CMOS analog integrated fractional-order circuits : applications in medicine and biology

Georgia Tsirimokou, Costas Psychalinos, Ahmed Elwakil

Call Number: TK9966

The on-line electric vehicle : wireless electric ground transportation systems

Nam P. Suh, Dong Ho Cho, editors

Call Number: TL220

Vehicle and automotive engineering : proceedings of the JK2016, Miskolc, Hungary

Károly Jármai, Betti Bolló, editors

Call Number: TL240

Masters of the air

Call Number: TL515 .B634

Historical aviation album : all-American series

Call Number: TL515 .H67

Die Flugzeuge des Alexander Baumann

H.J. Nowarra

Call Number: TL540.B37 N7 1982

Aeroacoustics of low Mach number flows : fundamentals, analysis, and measurement

Stewart Glegg and William Devenport

Call Number: TL574.N6

Dual-polarization two-port fiber-optic gyroscope

Zinan Wang

Call Number: TL589.2.O6

La conquête de l'air, : par le capitaine breveté L. Sazerac de Forge; le ballon dirigeable

Call Number: TL650 .S3 1910

Zeppelin-Sammlung Heinz Urban

Lutz Tittel

Call Number: TL651 .T58 1986

Les dirigeables; : étude complète de la direction des ballons, des tentatives réalisées, et des projets nouveaux,

par M.H. André ... Ouvrage illustré de nombreuses figures

Call Number: TL660 .A5

Etude raisonnee de l'aeroplane : et description critique des modeles actuels

par J. Bordeaux ; preface de Laurent Séguin

Call Number: TL670 .B7

USAAF Heavy Bomb Group : markings & camouflage, 1941-1945

illustrated by Richard Ward ; text by E.A. Munday ; compiled by Richard Ward & E.A. Munday

Call Number: TL686.B65 W373

Hell's angels

Steve Birdsall

Call Number: TL686.B67 B47

In-flight simulators and fly-by-wire/light demonstrators : a historical account of international aeronautical research

Peter G. Hamel, editors ; translated by Ravindra V. Jategaonkar

Call Number: TL712.5

Space operations : contributions from the global community

Craig Cruzen, Michael Schmidhuber, Young H. Lee, Bangyeop Kim, editors

Call Number: TL787

The Canadian space program : from Black Brant to the International Space Station

Andrew B. Godefroy

Call Number: TL789.8.C2

China Satellite Navigation Conference (CSNC) 2017 Proceedings. Volume I

Jiadong Sun, Jingnan Liu, Yuanxi Yang, Shiwei Fan, Wenxian Yu, editors

Call Number: TL798.N3 C45 2017eb

China Satellite Navigation Conference (CSNC) 2017 proceedings. Volume II

Jiadong Sun, Jingnan Liu, Yuanxi Yang, Shiwei Fan, Wenxian Yu, editors

Call Number: TL798.N3 C45 2017eb

China Satellite Navigation Conference (CSNC) 2017 proceedings. Volume III

Jiadong Sun, Jingnan Liu, Yuanxi Yang, Shiwei Fan, Wenxian Yu, editors

Call Number: TL798.N3 C45 2017eb

Cosmic debris : what it is and what we can do about it

Jonathan Powell

Call Number: TL1499

Space information networks : first International Conference, SINC 2016, Kunming, China, August 24-25, 2016. Revised selected papers

Quan Yu (ed.)

Call Number: TL3025

ACS without an attitude

Harold L. Hallock, Gary Welter, David G. Simpson, Christopher Rouff

Call Number: TL3260

Electromagnetic seabed logging : a new tool for geoscientists

Stéphane Sainson ; translated from French by Linda Sainson

Call Number: TN269

Oil and gas exploration in Cuba : geological-structural cartography using potential fields and airborne gamma spectrometry

Manuel Enrique Pardo Echarte, Jorge Luis Cobiella Reguera

Call Number: TN271.P4

Deep-sea mining : resource potential, technical and environmental considerations

Rahul Sharma

Call Number: TN291.5

Essential readings in light metals. Volume 2, Aluminum reduction technology

edited by Geoff Bearne, Marc Dupuis and Gary Tarcy

Call Number: TN775

Geostatistical methods for reservoir geophysics

Leonardo Azevedo, Amílcar Soares

Call Number: TN870.53

The control theory and application for well pattern optimization of heterogeneous sandstone reservoirs

Dehua Liu, Jing Sun

Call Number: TN870.57

Integrated reservoir studies for CO2-enhanced oil recovery and sequestration : application to an Indian Mature Oil Field

Shib Sankar Ganguli

Call Number: TN871

Well test analysis for multilayered reservoirs with formation crossflow

Chengtai Gao, Hedong Sun

Call Number: TN871

Petroleum production engineering

Boyun Guo, Xinghui Liu, Xuehao Tan

Call Number: TN871

Engineering chemistry

K. Sesha Maheswaramma, Mridula Chugh

Call Number: TP145

New horizons of process chemistry : scalable reactions and technologies

Kiyoshi Tomioka, Takayuki Shioiri, Hironao Sajiki, editors

Call Number: TP155.7

Purification of laboratory chemicals

Wilfred L.F. Armarego

Call Number: TP156.P83

Chemical process equipment design

Richard Turton, Joseph A. Shaeiwitz

Call Number: TP157

Hydrogen generation from ethanol using plasma reforming technology

Jianhua Yan, ChangMing Du

Call Number: TP245.H9

Pesticide residue in foods : sources, management, and control

Mohidus Samad Khan, Mohammad Shafiur Rahman, editors

Call Number: TP248.P47

Bioprocess engineering : basic concepts

Michael L. Shuler, Fikret Kargi, Matthew DeLisa

Call Number: TP248.2

Bioresources and bioprocess in biotechnology. Volume 1, Status and strategies for exploration

Sabu Abdulhameed, N.S. Pradeep, Shiburaj Sugathan, editors

Call Number: TP248.2

Biotechnology in cartoons

Reinhard Renneberg, Viola Berkling ; with illustrations by Ming-fai Chow

Call Number: TP248.218

Biomechanical microsystems : design, processing and applications

Vytautas Ostasevicius, Giedrius Janusas, Arvydas Palevicius, Rimvydas Gaidys, Vytautas Jurenas

Call Number: TP248.25.B54

Biorefineries : targeting energy, high value products and waste valorisation

Miriam Rabaçal, Ana F. Ferreira, Carla A. M. Silva, Mário Costa, editors

Call Number: TP248.25.B55

Food bioactives : extraction and biotechnology applications

Munish Puri, editor

Call Number: TP248.65.F66

Safety assessment of genetically modified foods

Kunlun Huang

Call Number: TP248.65.F66

Nanotechnology for Bioenergy and Biofuel Production [electronic resource]

edited by Mahendra Rai, Silvio Silvério da Silva

Call Number: TP339

Biofuels and bioenergy (BICE2016) : International Conference, Bhopal, India, 23-25 February 2016

S. Suresh, Anil Kumar, Ashish Shukla, Renu Singh, C.M. Krishna, editors

Call Number: TP339

Technologies for biochemical conversion of biomass

Hongzhang Chen, Lan Wang

Call Number: TP339

The chemistry of frozen vegetables

Izabela Steinka [and 3 others]

Call Number: TP372.3

Nanoencapsulation technologies for the food and nutraceutical industries

edited by Seid Mahdi Jafari

Call Number: TP374

Minimally processed refrigerated fruits and vegetables

Fatih Yildiz, Robert C. Wiley, editors

Call Number: TP440

Craft Beverages and Tourism. Volume 1, The Rise of Breweries and Distilleries in the United States

Call Number: TP573.U6

Ancient brews : rediscovered and re-created

Patrick E. McGovern ; foreword by Sam Calagione

Call Number: TP577 .M3944 2017

Creep in ceramics

Joshua Pelleg

Call Number: TP807

Women photographers and feminist aesthetics

Claire Raymond

Call Number: TR139 .R35 2017

My GoPro Hero 5 camera

Jason R. Rich

Call Number: TR256

Nikon D5600 for dummies [electronic resource]

by Julie Adair King

Call Number: TR263.N5

Rollei TLR : the history : the complete book on the origins of twin-lens photography

edited by Ian Parker

Call Number: TR263.R6 R65 1992

David Busch's Sony Alpha a6500/ILCE-6500 Guide to Digital Photography

David D. Busch

Call Number: TR263.S66

High dynamic range video : concepts, technologies, and applications

[edited by] Alan Chambers [and three others]

Call Number: TR594

Thomas Annan, photographer of Glasgow

Amanda Maddox and Sara Stevenson

Call Number: TR647 .A5495 2017

1994

Pieter Hugo

Call Number: TR681.C5 H84 2016

Sell & re-sell your photos : learn how to sell your photographs worldwide

Rohn Engh & Mikael Karlsson

Call Number: TR690.6

Advanced visual effects compositing : techniques for working with problematic footage

Lee Lanier

Call Number: TR858

The survival of American silent feature films, 1912-1929

by David Pierce

Call Number: TR886.3 .P54 2013

Creating web animations : bringing your UIs to life

Kirupa Chinnathambi

Call Number: TR897.7

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

Tom Green, Joseph Labrecque

Call Number: TR897.72.A338

Learning Blender : a hands-on guide to creating 3D animated characters

Oliver Villar

Call Number: TR897.72.B55

Art of the cut : conversations with film and TV editors

Steve Hullfish

Call Number: TR899

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

Tom Wolsky

Call Number: TR899

Kiss Carlo : a novel

Adriana Trigiani

Call Number: TRIGI

Advances in production management systems : initiatives for a sustainable world : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised selected papers

Irenilza Nääs, Oduvaldo Vendrametto, João Mendes Reis, Rodrigo Franco Gonçalves, Márcia Terra Silva, Gregor von Cieminski, Dimitris Kiritsis (eds.)

Call Number: TS155.6

Simulation approach towards energy flexible manufacturing systems

Jan Beier

Call Number: TS155.7

ISO 9001 quality management systems

Dhanasekharan Natarajan

Call Number: TS156.17.I86

Process control design for industrial applications

Dumitru Popescu, Amira Gharbi, Dan Stefanoiu, Pierre Borne

Call Number: TS156.8

Tragic design : the impact of bad product design and how to fix it

Jonathan Shariat, Cynthia Savard Saucier

Call Number: TS171

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

Amaresh Chakrabarti, Debkumar Chakrabarti, editors

Call Number: TS171.A1 I58 2017eb

Emotional engineering. Volume 5

Shuichi Fukuda, editor

Call Number: TS171.4

Sustainable design and manufacturing 2017 : selected papers on Sustainable Design and Manufacturing

Giampaolo Campana, Robert J. Howlett, Rossi Setchi, Barbara Cimatti, editors

Call Number: TS171.4

Getting past the hype about 3-D printing

Jaime Bonnin Roca, Parth Vaishnav, Joana Mendonça, M. Granger Morgan

Call Number: TS171.95

2nd International Conference on Mechanical, Manufacturing and Process Plant Engineering

M. Awang, editor

Call Number: TS176

Proceedings of the 4th World Congress on Integrated Computational Materials Engineering (ICME 2017)

edited by Paul Mason, Charles R. Fisher, Ryan Glamm, Michele V. Manuel, Georg J. Schmitz, Amarendra K. Singh, Alejandro Strachan

Call Number: TS176

Microforming technology : theory, simulation and practice

Zhengyi Jiang, Jingwei Zhao, Haibo Xie

Call Number: TS176

Manufacturing integrated design : sheet metal product and process innovation

Peter Groche, Enrico Bruder, Sebastian Gramlich, editor

Call Number: TS183

Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies : NEWTECH 2017

Vidosav Majstorovic, Zivana Jakovljevic, editors

Call Number: TS183

Advanced manufacturing technologies : modern machining, advanced joining, sustainable manufacturing

Kapil Gupta, editor

Call Number: TS183

Expectations and disappointments of industrial innovations

Gideon Halevi

Call Number: TS183

Construction robots : elementary technologies and single-task construction robots

Thomas Bock, Thomas Linner

Call Number: TS191.8

Advanced graphic communications and media technologies

Pengfei Zhao [and four others], editors

Call Number: TS195.A1

Refractories for aluminum : electrolysis and the cast house

Andrey Yurkov

Call Number: TS555

Woodworking for young makers : fun and easy do-it-yourself projects

Loyd Blankenship and Lane Boyd ; art by Mike Gray

Call Number: TT185

Fashion illustration : inspiration and technique

Anna Kiper

Call Number: TT509

Global food security and wellness

Gustavo V. Barbosa-Cánovas, Gláucia María Pastore, Kezban Candoğan, Ilce G. Medina Meza, Suzana Caetano da Silva Lannes, Ken Buckle, Rickey Y. Yada, Amauri Rosenthal, editors

Call Number: TX357

Nutrition and functional foods for healthy aging

edited by Ronald Ross Watson

Call Number: TX361.A3

Chemistry and hygiene of food additives [electronic resource]

Pasqualina Laganà, Emanuela Avventuroso, Giovanni Romano, Maria Eufemia Gioffré, Paolo Patanè, Salvatore Parisi, Umberto Moscato, Santi Delia

Call Number: TX553.A3

Superfood breakfasts : quick and simple, high-nutrient recipes to kickstart your day

[Kate Turner]

Call Number: TX733

Heal your gut : supercharged food : a healing protocol and step-by-step program with over 90 recipes to cleanse, restore and nourish

Lee Holmes

Call Number: TX741

Plant-based cookbook : good for your heart, your health, and your life

Trish Sebben-Krupka

Call Number: TX801

The little vegan cookbook : 500 of the best vegan recipes ever

editors of Fair Winds Press

Call Number: TX837

Vegans go nuts : celebrate protein-packed nuts and seeds with more than 100 delicious plant-based recipes

Celine Steen & Joni Marie Newman

Call Number: TX837