Skip to main content

University Libraries

Computer Science

Items Acquired in June 2018 for the University Libraries

Trustworthy open self-organising systems

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

Call Number: Q325

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

Giancarlo Zaccone, Md. Rezaul Karim

Call Number: Q325.5

TensorFlow for deep learning : from linear regression to reinforcement learning

Bharath Ramsundar and Reza Bosagh Zadeh

Call Number: Q325.5

Introduction to artificial intelligence

Mariusz Flasiński

Call Number: Q335 .F53 2016eb

Empirical modeling and data analysis for engineers and applied scientists

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

Call Number: QA276

JSL companion : applications of the JMP scripting language

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

Call Number: QA276.3

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

Thomas Haslwanter

Call Number: QA276.4

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

Sara van de Geer

Call Number: QA276.8

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

Philipp Meisen

Call Number: QA402

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

Hak-Keung Lam

Call Number: QA402.3

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

Stefka Fidanova, editor

Call Number: QA402.5

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

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

Call Number: QA402.5

Non-convex multi-objective optimization

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

Call Number: QA402.5

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

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

Call Number: QA75.5 .I22 2016eb

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

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

Call Number: QA75.5 .I22 2016eb

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

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

Call Number: QA75.5 .I22 2016eb

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

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

Call Number: QA75.5 .I22 2016eb

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

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

Call Number: QA75.5 .I22 2016eb

Introduction to the history of computing : a computing history primer

Gerard O'Regan

Call Number: QA76.17

Invasive tightly coupled processor arrays

Vahid Lari

Call Number: QA76.5

IBM z14 model ZR1 technical introduction

Bill White [and five others]

Call Number: QA76.5

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

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

Call Number: QA76.58

Elements of cloud computing security : a survey of key practicalities

Mohammed M. Alani

Call Number: QA76.585

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

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

Call Number: QA76.585

Content distribution for mobile internet : a cloud-based approach

Zhenhua Li, Yafei Dai, Guihai Chen, Yunhao Liu

Call Number: QA76.585

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

Manoj Hirway

Call Number: QA76.585

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

Prashant Priyam

Call Number: QA76.585

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

Legorie Rajan P.S

Call Number: QA76.585

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

Tomasz Adamski

Call Number: QA76.585

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

Aaron Woland, Vivek Santuka, Mason Harris, Jamie Sanbower

Call Number: QA76.585

Cloud computing : principles, systems and applications

Nick Antonopoulos, Lee Gillam, editors

Call Number: QA76.585 .C582 2017

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

Zaigham Mahmood, editor

Call Number: QA76.5915

Low level X Window programming : an introduction by examples

Ross J. Maloney

Call Number: QA76.6

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

Xavier Rival (ed.)

Call Number: QA76.6

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

Michel Rueher (eds.)

Call Number: QA76.612

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

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

Call Number: QA76.625 .D495 2010

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

Jan Nils Ferner, Daniel Durante

Call Number: QA76.7

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

Iban Eguia Moraza

Call Number: QA76.7

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

Philip Seamark

Call Number: QA76.7

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

Wisnu Anggoro

Call Number: QA76.73.C153

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

Jeganathan Swaminathan, Maya Posch, Jacek Galowicz

Call Number: QA76.73.C153

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

Lee Zhi Eng

Call Number: QA76.73.C153

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

Dmitri Nesteruk

Call Number: QA76.73.C153

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

Marcin Jamro

Call Number: QA76.73.C154

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

Ovais Mehboob Ahmed Khan

Call Number: QA76.73.C154

Essential C# 7.0

Mark Michaelis ; with Eric Lippert, technical editor

Call Number: QA76.73.C154

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

Andrew Troelsen, Philip Japikse

Call Number: QA76.73.C154

Programming Clojure

Alex Miller with Stuart Halloway and Aaron Bedra

Call Number: QA76.73.C565

Adopting Elixir : from concept to production

by Ben Marx, José Valim, Bruce Tate

Call Number: QA76.73.E44

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

Isaac Abraham

Call Number: QA76.73.F163

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

Dr. Edward Lavieri, Peter Verhas, Jason Lee

Call Number: QA76.73.J38

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

Krunal Patel, Nilang Patel

Call Number: QA76.73.J38

Java by comparison : become a Java craftsman in 70 examples

by Simon Harrer, Jörg Lenhard, Linus Dietz

Call Number: QA76.73.J38

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

Ross Harrison

Call Number: QA76.73.J39

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

Andrew Mead

Call Number: QA76.73.J39

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

Eduonix Learning Solutions

Call Number: QA76.73.J39

PHP development tool essentials

Chad Russell

Call Number: QA76.73.P224

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

Aldrin Yim, Claire Chung, Allen Yu

Call Number: QA76.73.P48

A primer on scientific programming with Python

Hans Petter Langtangen

Call Number: QA76.73.P98

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

Hussam Khrais

Call Number: QA76.73.P98

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

Sibanjan Das, Umit Mert Cakmak

Call Number: QA76.73.P98

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

Steven F. Lott

Call Number: QA76.73.P98

What is Python?

Jake VanderPlas and Matt Harrison

Call Number: QA76.73.P98

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

Seppe vanden Broucke, Bart Baesens

Call Number: QA76.73.P98

Introduction to Python 2018 Edition

Mark Lassoff and Julius Hernandez

Call Number: QA76.73.P98

Beginning Ruby : from novice to professional

Peter Cooper

Call Number: QA76.73.R83

Learn Rails 5.2 : Accelerated Web Development with Ruby on Rails

Stefan Wintermeyer

Call Number: QA76.73.R83

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

Ivan Nikolov

Call Number: QA76.73.S28

Oracle SQL revealed : executing business logic in the database engine

Alex Reprintsev

Call Number: QA76.73.S67

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

Ankur Patel

Call Number: QA76.73.S95

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

David Kopec

Call Number: QA76.73.S95

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

Ravikanth Chaganti

Call Number: QA76.73.W56

Architectural coordination of enterprise transformation

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

Call Number: QA76.754

Pro Entity Framework Core 2 for ASP.NET Core MVC

Adam Freeman

Call Number: QA76.754

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

Manuel Mazzara, Andrei Voronkov (eds.)

Call Number: QA76.758

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

Ivica Crnkovic, Elena Troubitsyna (eds.)

Call Number: QA76.758

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

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

Call Number: QA76.758 .E24 2016eb

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

Christoffer Noring

Call Number: QA76.76.A54

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

by Bruce Williams, Ben Wilson

Call Number: QA76.76.A63

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

Tanay Pant

Call Number: QA76.76.A65

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

Alex Garcia, Viktor Farcic

Call Number: QA76.76.A65

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

Daniel Reis

Call Number: QA76.76.A65

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

Atul V. Mistry

Call Number: QA76.76.A65

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

Deepu K. Sasidharan, Sendil Kumar N

Call Number: QA76.76.A65

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

Piotr Mińkowski

Call Number: QA76.76.A65

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

Alok Mani Tripathi

Call Number: QA76.76.A65

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

Elder Moraes

Call Number: QA76.76.A65

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

Ed Snider

Call Number: QA76.76.A65

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

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

Call Number: QA76.76.A65

Pro Android apps performance optimization

Hervé Guihot

Call Number: QA76.76.A65 G85 2012

Polished game development : from first steps to final release

Steven Goodwin

Call Number: QA76.76.C672

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

Dr. Edward Lavieri

Call Number: QA76.76.C672

System Center Configuration Manager Current Branch unleashed

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

Call Number: QA76.76.C69

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

edited by Pieter Van Gorp, Gregor Engels

Call Number: QA76.76.D47

.NET development using the compiler API

Jason Bock

Call Number: QA76.76.D47

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

Gabriel N. Schenker

Call Number: QA76.76.D47

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

Chanwit Kaewkasi

Call Number: QA76.76.D47

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

Joseph Heck

Call Number: QA76.76.D47

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

Rohin Tak, Jhalak Modi

Call Number: QA76.76.D47

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

Jalem Raj Rohit

Call Number: QA76.76.D47

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

Adam Tornhill

Call Number: QA76.76.D47

SAFe reference guide : scaled Agile Framework for lean enterprises

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

Call Number: QA76.76.D47

Lean architecture for agile software development

James Coplien, Gertrud Bjørnvig

Call Number: QA76.76.D47 C66 2010

The software project manager's bridge to agility

Michele Sliger, Stacia Broderick

Call Number: QA76.76.D47 S563 2008

HTML5 quick markup reference

Wallace Jackson

Call Number: QA76.76.H94

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

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

Call Number: QA76.76.I58

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

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

Call Number: QA76.76.I59

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

Adam Freeman

Call Number: QA76.76.M52

Writing high-performance .NET code

Ben Watson

Call Number: QA76.76.M52

ABCs of IBM z/OS system programming. Volume 2

Guillermo Cosimo, Lutz Kuehner

Call Number: QA76.76.O63

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

Brian Zambrano

Call Number: QA76.76.P37

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

Swarat Chaudhuri, Azadeh Farzan(eds.)

Call Number: QA76.76.V47

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

Swarat Chaudhuri, Azadeh Farzan(eds.)

Call Number: QA76.76.V47

Type systems for distributed programs : components and sessions

Ornela Dardha

Call Number: QA76.76.V47

IBM z/OS management facility V2R3

Redelf Janssen, Tobias Rotthove

Call Number: QA76.77

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

Mokhtar Ebrahim, Andrew Mallett

Call Number: QA76.774.L46

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

Paul McFedries

Call Number: QA76.774.M33

Exam ref 70-697 : configuring Windows devices

Andrew Bettany, Andrew Warren

Call Number: QA76.774.M435

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

Richard McKeon

Call Number: QA76.87

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

Timothy Masters

Call Number: QA76.87 .M368 2018

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

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

Call Number: QA76.88

Quantum dots for quantum information technologies

Peter Michler, editor

Call Number: QA76.889 .Q83 2017

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

Silvio Ranise, Vipin Swarup (eds.)

Call Number: QA76.9.A25

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

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

Call Number: QA76.9.A25

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

Wen Ming Liu, Lingyu Wang

Call Number: QA76.9.A25

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

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

Call Number: QA76.9.A25

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

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

Call Number: QA76.9.A25

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

Michael Franz, Panos Papadimitratos (eds.)

Call Number: QA76.9.A25

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

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

Call Number: QA76.9.A25

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

Thomas Peyrin (ed.)

Call Number: QA76.9.A25

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

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

Call Number: QA76.9.A25

Watermarking security : fundamentals, secure designs and attacks

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

Call Number: QA76.9.A25

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

Ric Messier

Call Number: QA76.9.A25

Cyber deception : building the scientific foundation

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

Call Number: QA76.9.A25

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

Theo Tryfonas (eds.)

Call Number: QA76.9.A25

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

Joseph K. Liu, Ron Steinfeld (eds.)

Call Number: QA76.9.A25 A23 2016eb

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

Joseph K. Liu, Ron Steinfeld (eds.)

Call Number: QA76.9.A25 A23 2016eb

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

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

Call Number: QA76.9.A25 T78 2016eb

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

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

Call Number: QA76.9.A43

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

Greg Moss

Call Number: QA76.9.A73

IBM DS8880 and z/OS DFSMS : transparent cloud tiering

Jose Gilberto Biondo Jr. [and three others]

Call Number: QA76.9.A73

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

Michael Lanham

Call Number: QA76.9.A94

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

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

Call Number: QA76.9.B45

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

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

Call Number: QA76.9.B45

Data science and big data computing : frameworks and methodologies

Zaigham Mahmood, editor

Call Number: QA76.9.B45

Enhancing the IBM Power Systems Platform with IBM Watson Services

Ahmed Azraq [and four others]

Call Number: QA76.9.C55

The essentials of computer organization and architecture

Linda Null, Julia Lobur

Call Number: QA76.9.C643

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

Vincent G. Duffy (ed.)

Call Number: QA76.9.C65

Space and time visualisation

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

Call Number: QA76.9.C65

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

Khalid Al-Begain, Andrzej Bargiela, editors

Call Number: QA76.9.C65

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

Mirco Hering

Call Number: QA76.9.C68

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

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

Call Number: QA76.9.D3

Implementing IBM FlashSystem V9000 AE3

Detlef Helmbrecht [and seven others]

Call Number: QA76.9.D3

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

Baji Shaik, Avinash Vallarapu

Call Number: QA76.9.D3

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

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

Call Number: QA76.9.D314

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

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

Call Number: QA76.9.D32

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

James D. Miller

Call Number: QA76.9.D32

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

Aaron Ploetz [and three others]

Call Number: QA76.9.D32

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

edited by Huiping Cao, Jinyan Li, Ruili Wang

Call Number: QA76.9.D343

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

Ranjan Satapathy, Erik Cambria, Amir Hussain

Call Number: QA76.9.D343

Data analytics : models and algorithms for intelligent data analysis

Thomas A. Runkler

Call Number: QA76.9.D343

Mastering the SAS DS2 procedure : advanced data-wrangling techniques

Mark Jordan

Call Number: QA76.9.D343

Redescription mining

Esther Galbrun, Pauli Miettinen

Call Number: QA76.9.D343

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

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

Call Number: QA76.9.D37

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

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

Call Number: QA76.9.D5

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

Shiyou Lian

Call Number: QA76.9.D5

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

V. Naresh Kumar, Prashant Shindgikar

Call Number: QA76.9.D5

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

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

Call Number: QA76.9.F67 D34 2016eb

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

Sakae Yamamoto (ed.)

Call Number: QA76.9.H85

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

Sakae Yamamoto (ed.)

Call Number: QA76.9.H85

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

Constantine Stephanidis (ed.)

Call Number: QA76.9.H85

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

Constantine Stephanidis (eds.)

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.H85

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

Maria Teresa Riviello, Anna Esposito

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.H85

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

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

Call Number: QA76.9.H85

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

Masaaki Kurosu (ed.)

Call Number: QA76.9.H85

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

Masaaki Kurosu (ed.)

Call Number: QA76.9.H85

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

Masaaki Kurosu (ed.)

Call Number: QA76.9.H85

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

edited by Pei-Luen Patrick Rau

Call Number: QA76.9.H85

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

Norbert Streitz, Panos Markopoulos (eds.)

Call Number: QA76.9.H85 D57 2016eb

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

Margherita Antona, Constantine Stephanidis (eds.)

Call Number: QA76.9.H85 I58 2016eb

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

Margherita Antona, Constantine Stephanidis (eds.)

Call Number: QA76.9.H85 I58 2016eb

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

Margherita Antona, Constantine Stephanidis (eds.)

Call Number: QA76.9.H85 I58 2016eb

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

Jia Zhou, Gavriel Salvendy (eds.)

Call Number: QA76.9.H85 I58 2016eb

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

Jia Zhou, Gavriel Salvendy (eds.)

Call Number: QA76.9.H85 I58 2016eb

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

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

Call Number: QA76.9.H85 I58 2016eb

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

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

Call Number: QA76.9.H85 I58 2016eb

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

Gabriele Meiselwitz (editor)

Call Number: QA76.9.H85 S375 2017

Practical D3.js

Tarek Amr, Rayna Stamboliyska

Call Number: QA76.9.I52

Visual data storytelling with Tableau

Lindy Ryan

Call Number: QA76.9.I52

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

edited by Simon Devitt, Ivan Lanese

Call Number: QA76.9.L63

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

Paul J. Nahin

Call Number: QA76.9.L63 N34 2012eb

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

Chiyo Odika

Call Number: QA76.9.M3

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

edited by Ichiro Hasuo

Call Number: QA76.9.M35

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

Svein Linge, Hans Petter Langtangen

Call Number: QA76.9.M35

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

Call Number: QA76.9.M35

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

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

Call Number: QA76.9.M35 I58 2016eb

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

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

Call Number: QA76.9.N38

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

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

Call Number: QA76.9.N38

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

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

Call Number: QA76.9.N38

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

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

Call Number: QA76.9.N38

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

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

Call Number: QA76.9.N38

Hybrid approaches to machine translation

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

Call Number: QA76.9.N38

Learning regular expressions

Ben Forta

Call Number: QA76.9.T48

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

Bhaskar Chaudhary

Call Number: QA76.9.U83

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

David Love

Call Number: QA76.9.U83

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

Alejandro Rodas de Paz

Call Number: QA76.9.U83

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

edited by Aaron Marcus

Call Number: QA76.9.U83 D89 2016eb

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

Aaron Marcus (ed.)

Call Number: QA76.9.U83 D89 2016eb

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

Aaron Marcus (ed.)

Call Number: QA76.9.U83 D89 2016eb

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

edited by Ulrika Lundh Snis

Call Number: QA76.9.U83 S22 2016

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

Spas Kaloferov, Scott Norris, Christopher Slater

Call Number: QA76.9.V5

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

Ajit Pratap Kundan

Call Number: QA76.9.V5

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

Bayu Wibowo, Tony Sangha

Call Number: QA76.9.V5

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

Stephanie Lackey, Randall Shumaker (eds.)

Call Number: QA76.9.V5 V35 2016eb

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

William Aspray

Call Number: QA76.9.W65

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

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

Call Number: QA76.95

IBM Z connectivity handbook

Bill White [and seven others]

Call Number: TK7887.5

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

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

Call Number: TK7895.E42

Emerging resistive switching memories

Jianyong Ouyang

Call Number: TK7895.M4

Taxonomy matching using background knowledge : linked data, semantic web and heterogeneous repositories

Heiko Angermann, Naeem Ramzan

Call Number: ZA4240