Skip to main content

University Libraries

Computer Science

Items Acquired in February 2017 for the University Libraries

Coordination of Complex Sociotechnical Systems : Selforganisation of Knowledge in Mok [electronic resource]

Call Number: Q325

Multiple Instance Learning : Foundations and Algorithms

Francisco Herrera [and others]

Call Number: Q325.5

Wisdom web of things

Ning Zhong, Jianhua Ma, Jiming Liu, Runhe Huang, Xiaohui Tao, editors

Call Number: Q335

Statistical causal inferences and their applications in public health research

Hua He, Pan Wu, Ding-Geng (Din) Chen, editors

Call Number: QA276

Statistical applications from clinical trials and personalized medicine to finance and business analytics : selected papers from the 2015 ICSAGraybill Applied Statistics Symposium, Colorado State University, Fort Collins

Jianchang Lin, Bushi Wang, Xiaowen Hu, Kun Chen, Ray Liu, editors

Call Number: QA276.A1

Advanced R : data programming and the cloud

Matt Wiley, Joshua F. Wiley

Call Number: QA276.45.R3

An introduction to data analysis using aggregation functions in R

Simon James

Call Number: QA276.45.R3

Numerical mathematics and advanced applications ENUMATH 2015

Bülent Karasözen, Murat Manguoğlu, Münevver Tezer-Sezgin, Serdar Göktepe, Ömür Uğur, editors

Call Number: QA297

Optimal control and estimation

Robert F. Stengel

Call Number: QA402.3 .S76 1994

Advances in stochastic and deterministic global optimization

Panos M. Pardalos, Anatoly Zhigljavsky, Julius Žilinskas, editors

Call Number: QA402.5

Technologies and innovation : second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings

Rafael Valencia-García, Katty Lagos-Ortiz, Gema Alcaraz-Mármol, Javier del Cioppo, Nestor Vera-Lucio (eds.)

Call Number: QA75.5

Advances in services computing : 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings

Guojun Wang, Yanbo Han, Gregorio Martínez Pérez (eds.)

Call Number: QA75.5

Digital connectivity -- social impact : 51st Annual Convention of the Computer Society of India, CSI 2016, Coimbatore, India, December 8-9, 2016, Proceedings

S. Subramanian, R. Nadarajan, Shrisha Rao, Shina Sheen (eds.)

Call Number: QA75.5

Digital heritage : progress in cultural heritage: documentation, preservation, and protection : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31-November 5, 2016, Proceedings.

Marinos Ioannides, Eleanor Fink, Antonia Moropoulou, Monika Hagedorn-Saupe, Antonella Fresa, Gunnar Liestøl, Vlatka Rajcic, Pierre Grussenmeyer (eds.)

Call Number: QA75.5 .E97 2016eb

Advances in computers

Call Number: QA76 .A3

An introduction to online computation : determinism, randomization, advice [electronic resource]

Dennis Komm

Call Number: QA76.55

Instruction level parallelism

Call Number: QA76.58

Certified OpenStack Administrator study guide

Andrey Markelov

Call Number: QA76.585

Knowledge graph and semantic computing : semantic, knowledge, and linked big data : first China Conference, CCKS 2016, Beijing, China, September 19-22, 2016, Revised selected papers

Huajun Chen, Heng Ji, Le Sun, Haixun Wang, Tieyun Qian, Tong Ruan (eds.)

Call Number: QA76.5913

Internet of things : IoT infrastructures : second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised selected papers.

Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov, Radu-Laurentiu Vieriu (eds.)

Call Number: QA76.5915

Internet of things : IoT infrastructures : second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised selected papers.

Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov, Radu-Laurentiu Vieriu (eds.)

Call Number: QA76.5915

Practical C

Giulio Zambon

Call Number: QA76.73.C15

C++/CLI Primer : For .NET Development

Call Number: QA76.73.C153

Erlang and Elixir for imperative programmers

Wolfgang Loder

Call Number: QA76.73.E75

Erlang and Elixir for Imperative Programmers

Call Number: QA76.73.E75

Go recipes : a problem-solution approach

Shiju Varghese

Call Number: QA76.73.G63

Reactive Java programming

Andrea Maglie

Call Number: QA76.73.J38

Python recipes handbook : a problem-solution approach

Joey Bernard

Call Number: QA76.73.P98

Lean Python : learn just enough Python to build useful tools

Paul Gerrard

Call Number: QA76.73.P98

Hacking secret ciphers with Python

by Al Sweigart

Call Number: QA76.73.P98 S94 2013

Testing R code

Richard Cotton

Call Number: QA76.73.R3 C68 2017

SQL on big data : technology, architecture, and innovation

Sumit Pal

Call Number: QA76.73.S67

Software architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28-December 2, 2016, Proceedings

Bedir Tekinerdogan, Uwe Zdun, Ali Babar (eds.)

Call Number: QA76.751

Software architecture in action : designing and executing architectural models with SysADL grounded on the OMG SysML standard

Flavio Oquendo, Jair Leite, Thaís Batista

Call Number: QA76.754

Requirements engineering toward sustainable world : third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings

Seok-Won Lee, Takako Nakatani (eds.)

Call Number: QA76.758

Conceptual Modeling : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings [electronic resource]

edited by Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki

Call Number: QA76.758

Decision and game theory for security : 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings [electronic resource]

Quanyan Zhu, Tansu Alpcan, Emmanouil Panaousis, Milind Tambe, William Casey (eds.)

Call Number: QA76.76.A65

Samsung Artik reference : the definitive Developers guide

Cliff Wootton

Call Number: QA76.76.A65

Android application security : a semantics and context-aware approach

Mu Zhang, Heng Yin

Call Number: QA76.76.A65

Appium recipes [electronic resource]

Call Number: QA76.76.A65

Beginning Carekit Development [electronic resource]

Call Number: QA76.76.A65

Cloud Computing and Security : Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part II [electronic resource]

edited by Xingming Sun, Alex Liu, Han-Chieh Chao, Elisa Bertino

Call Number: QA76.76.A65

Cloud Computing and Security : Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part I [electronic resource]

edited by Xingming Sun, Alex Liu, Han-Chieh Chao, Elisa Bertino

Call Number: QA76.76.A65

The art of scrum : how Scrum masters bind dev teams and unleash agility

Dave McKenna

Call Number: QA76.76.D47

Software reading techniques : twenty techniques for more effective software review and inspection

Yang-Ming Zhu

Call Number: QA76.76.D47

DevOps for digital leaders : reignite business with a modern DevOps-enabled software factory

Aruna Ravichandran, Kieran Taylor, Peter Waterhouse

Call Number: QA76.76.D47

Knowledge engineering and knowledge management : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings

Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali (eds.)

Call Number: QA76.76.E95

Advances in brain inspired cognitive systems : 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings

Cheng-Lin Liu, Amir Hussain, Bin Luo, Kay Chen Tan, Yi Zeng, Zhaoxiang Zhang (eds.)

Call Number: QA76.76.I58

Interactive storytelling : 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15?18, 2016, Proceedings

Frank Nack, Andrew S. Gordon (eds.)

Call Number: QA76.76.I59

Beginning Xcode

Matthew Knott

Call Number: QA76.76.O63

Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers

Sandrine Blazy, Marsha Chechik (eds.)

Call Number: QA76.76.V47

Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Roderick Bloem, Eli Arbel (eds.)

Call Number: QA76.76.V47 I54 2016

Learn CentOS Linux Network Services

Call Number: QA76.77 .V39 2016

Practical LPIC-1 Linux certification study guide

David Clinton

Call Number: QA76.774.L46

Absolute Beginners Guide to Computing

Call Number: QA76.774.M435 W36 2016

Beginning iPhone development with Swift 3 : exploring the iOS SDK

Molly Maskrey, Kim Topley, David Mark, Fredrik Olsson, Jeff Lamarche

Call Number: QA76.8.I64

Certified Ethical Hacker (CEH) Foundation Guide

Sagar Ajay Rahalkar

Call Number: QA76.9.A25

Cryptology and network security : 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings

Sara Foresti, Giuseppe Persiano (eds.)

Call Number: QA76.9.A25

From hacking to report writing : an introduction to security and penetration testing

Robert Svensson

Call Number: QA76.9.A25

Critical infrastructure protection X : 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers

Mason Rice, Sujeet Shenoi (eds.)

Call Number: QA76.9.A25

Information security practice and experience : 12th International Conference, ISPEC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings

Feng Bao, Liqun Chen, Robert H. Deng, Guojun Wang (eds.)

Call Number: QA76.9.A25

Ten laws for security

Eric Diehl

Call Number: QA76.9.A25

Security, privacy and anonymity in computation, communication and storage : SpaCCS 2016 International Workshops, TrustData, TSP, NOPE, DependSys, BigDataSPT, and WCSSC, Zhangjiajie, China, November 16-18, 2016, Proceedings

Guojun Wang, Indrakshi Ray, Jose M. Alcaraz Calero, Sabu M. Thampi (eds.)

Call Number: QA76.9.A25

Advances in cryptology -- ASIACRYPT 2016 : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings.

Jung Hee Cheon, Tsuyoshi Takagi (eds.)

Call Number: QA76.9.A25

Security, privacy, and anonymity in computation, communication, and storage : 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings

Guojun Wang, Indrakshi Ray, Jose M. Alcaraz Calero, Sabu M. Thampi (eds.)

Call Number: QA76.9.A25

Advances in cryptology -- ASIACRYPT 2016 : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings.

Jung Hee Cheon, Tsuyoshi Takagi (eds.)

Call Number: QA76.9.A25

Information theoretic security : 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised selected papers

Anderson C.A. Nascimento, Paulo Barreto (eds.)

Call Number: QA76.9.A25

Certified Ethical Hacker (CEH) Foundation Guide

Call Number: QA76.9.A25

Provable Security : 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings

edited by Liqun Chen, Jinguang Han

Call Number: QA76.9.A25

Structural information and communication complexity : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised selected papers

Jukka Suomela (eds.)

Call Number: QA76.9.A43

Algorithms and models for the web graph : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings

Anthony Bonato, Fan Chung Graham, Paweł Prałat (eds.)

Call Number: QA76.9.A43 W425 2016eb

Ubiquitous computing and ambient intelligence : 10th International Conference, UCAmI 2016, San Bartolomé de Tirajana, Gran Canaria, Spain, November 29-December 2, 2016, Proceedings.

Carmelo R. García, Pino Caballero-Gil, Mike Burmester, Alexis Quesada-Arencibia (eds.)

Call Number: QA76.9.A48

Implementing operations management suite : a practical guide to OMS, Azure Site Recovery, and Azure Backup

Peter De Tender

Call Number: QA76.9.A73

Beginning SQL Server R services : analytics for data scientists

Bradley Beard

Call Number: QA76.9.C55

Interactive modeling and simulation in business system design

Ella Roubtsova

Call Number: QA76.9.C65

Database systems : a pragmatic approach

Elvis C. Foster, with Shripad Godbole

Call Number: QA76.9.D26

Mastering Oracle GoldenGate

Ravinder Gupta

Call Number: QA76.9.D3

Secure data deletion

Joel Reardon

Call Number: QA76.9.D3

Beginning Hibernate : for Hibernate 5

Joseph B. Ottinger, Jeff Linwood, Dave Minter

Call Number: QA76.9.D3

High performance SQL server [electronic resource]

Call Number: QA76.9.D3

Securing SQL Server : DBAs defending the database

Peter A. Carter

Call Number: QA76.9.D314

Apache HBase primer

Deepak Vohra

Call Number: QA76.9.D32

Principles of data mining

Max Bramer

Call Number: QA76.9.D343

Advanced data mining and applications : 12th International Conference, ADMA 2016, Gold Coast, QLD, Australia, December 12-15, 2016, Proceedings

edited by Jinyan Li, Xue Li, Shuliang Wang, Jianxin Li, Quan Z. Sheng

Call Number: QA76.9.D343

Windows Group Policy Troubleshooting : A Best Practice Guide for Managing Users and PCs Through Group Policy

Kapil Arya ; edited by Andrew Bettany

Call Number: QA76.9.D43

Innovations for community services : 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised selected papers

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

Call Number: QA76.9.D5

FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou (eds.)

Call Number: QA76.9.F67

Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Leila Ribeiro, Thierry Lecomte (eds.)

Call Number: QA76.9.F67

Haptic Devices for Studies on Human Grasp and Rehabilitation [electronic resource]

Call Number: QA76.9.H85

Jumpstart Tableau : a step-by-step guide to better data visualization

Call Number: QA76.9.I52

High impact data visualization in Excel with Power View, 3D Maps, Get & Transform and Power BI

Adam Aspin

Call Number: QA76.9.I52

Future data and security engineering : third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings

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

Call Number: QA76.9.M3

Advances in speech and language technologies for Iberian Languages : third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings

Alberto Abad, Alfonso Ortega, António Teixeira, Carmen García Mateo, Carlos D. Martínez Hinarejos, Fernando Perdigão, Fernando Batista, Nuno Mamede (eds.)

Call Number: QA76.9.N38

Text Analytics with Python : A Practical Real-World Approach to Gaining Actionable Insights from your Data

Call Number: QA76.9.N38

Natural language understanding in a semantic web context

Caroline Barrière

Call Number: QA76.9.N38

Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

edited by Borzoo Bonakdarpour, Franck Petit

Call Number: QA76.9.S54

Build iOS database apps with Swift and SQLite

Kevin Languedoc

Call Number: QA76.9.W43