Skip to main content

University Libraries

Computer Science

Items Acquired in December 2017 for the University Libraries

Game-theoretic learning and distributed optimization in memoryless multi-agent systems [electronic resource]

Tatiana Tatarenko

Call Number: Q325.5

Predictive computing and information security [electronic resource]

P.K. Gupta, Vipin Tyagi, S.K. Singh

Call Number: Q335

The sentient machine : the coming age of artificial intelligence

Amir Husain

Call Number: Q335 .H795 2017

Introductory statistics and random phenomena : uncertainty, complexity and chaotic behavior in engineering and science

Manfred Denker, Wojbor Woyczynski

Call Number: QA276

Statistical intervals : a guide for practitioners and researchers

Call Number: QA276 .H22 2017eb

A Panorama of Statistics : Perspectives, Puzzles and Paradoxes in Statistics

Call Number: QA276 .S635 2017

Teaching statistics : a bag of tricks

Andrew Gelman and Deborah Nolan

Call Number: QA276.18

Information geometry

Nihat Ay, Jürgen Jost, Hông Vân Lê, Lorenz Schwachhöfer

Call Number: QA276.23

Non-standard parametric statistical inference

Russell Cheng

Call Number: QA276.8 .C465 2017

Computational methods for numerical analysis with R

James P. Howard, II

Call Number: QA297 .H67 2017

Optimal control : novel directions and applications

Daniela Tonon, Maria Soledad Aronna, Dante Kalise, editors

Call Number: QA402.3

Mobile point sensors and actuators in the controllability theory of partial differential equations [electronic resource]

Alexander Y. Khapalov

Call Number: QA402.3

Optimization and approximation

Pablo Pedregal

Call Number: QA402.5

Ergodic optimization in the expanding case : concepts, tools and applications [electronic resource]

Eduardo Garibaldi

Call Number: QA402.5

Evolutionary algorithms

Alain Pétrowski, Sana Ben-Hamida

Call Number: QA402.5

Optimization and differentiation

Simon Serovajsky

Call Number: QA402.5 .S4335 2018

Advances in computing : 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 proceedings [electronic resource]

Andrés Solano, Hugo Ordoñez (eds.)

Call Number: QA75.5

Advanced parallel processing technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Yong Dou, Haixiang Lin, Guangyu Sun, Junjie Wu, Dora Heras, Luc Bougé (eds.)

Call Number: QA76.58

Service-oriented and cloud computing : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings

Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen (eds.)

Call Number: QA76.585

CCSP® (ISC)2® certified cloud security professional : official study guide

Brian T. O'Hara, Ben Malisow

Call Number: QA76.585

Evolutionary computation with biogeography-based optimization

Haiping Ma, Dan Simon

Call Number: QA76.618

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [electronic resource]

edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Call Number: QA76.63

Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

edited by Marco Bozzano, Yiannis Papadopoulos

Call Number: QA76.63

Programming multicore and many-core computing systems

edited by Sabri Pllana, Fatos Xhafa

Call Number: QA76.642 .P767 2017

Programming language concepts

Peter Sestoft ; with a chapter by Niels Hallenberg

Call Number: QA76.7 .S478 2017eb

Practical C++ design : from programming to architecture

Call Number: QA76.73.C153

Clean C++ : sustainable software development patterns and best practices with C++ 17

Stephan Roth

Call Number: QA76.73.C153 R68 2017

Reactive with ClojureScript recipes : functional programming for the web

Nicolas Modrzyk

Call Number: QA76.73.C565

Practical concurrent Haskell : with big data applications

Stefania Loredana Nita, Marius Mihailescu

Call Number: QA76.73.H37

JavaFX 9 by example [electronic resource]

Carl Dea... [et al.]

Call Number: QA76.73.J38

Enhancing Adobe Acrobat DC Forms with Javascript [electronic resource]

Jennifer Harder

Call Number: QA76.73.J39 H37 2017eb

Pro functional PHP programming : application development strategies for performance optimization, concurrency, testability, and code brevity

Rob Aley

Call Number: QA76.73.P224

Expanding your Raspberry Pi : storage, printing, peripherals, and network connections for your Raspberry Pi [electronic resource]

Mark Edward Soper

Call Number: QA76.73.P98

Snake charming -- the musical Python

Iain Gray

Call Number: QA76.73.P98

Starting out with Python

Tony Gaddis, Haywood Community College

Call Number: QA76.73.P98 G34 2018

Software engineering : specification, implementation, verification

Suad Alagić

Call Number: QA76.758

Information and software technologies : 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, proceedings

Robertas Damaševičius, Vilma Mikašytė (eds.)

Call Number: QA76.758

Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün (eds.)

Call Number: QA76.758

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

edited by Tim Menzies, Justyna Petke

Call Number: QA76.758

Applied Computer Sciences in Engineering : 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings [electronic resource]

edited by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Luis Villa-Ramírez, Roberto Ferro-Escobar

Call Number: QA76.758

The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterprise

Sanjeev Sharma

Call Number: QA76.758

Software process improvement and capability determination : 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

edited by Antonia Mas, Antoni Mesquida, Rory V. O'Connor, Terry Rout, Alec Dorling

Call Number: QA76.758 .S65 2017eb

Oracle ADF survival guide : mastering the application development framework [electronic resource]

Sten Vesterli

Call Number: QA76.76.A65

Mastering Zoho creator : build cloud-based business applications from the ground up [electronic resource]

Ali Shabdar

Call Number: QA76.76.A65

Machine Learning and Knowledge Extraction : First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 - September 1, 2017, Proceedings

edited by Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl

Call Number: QA76.76.A65

Learn iOS application distribution : successfully distribute apps [electronic resource]

Hagop Panosian

Call Number: QA76.76.A65

Beginning Spring Boot 2 : applications and microservices with the Spring Framework

K. Siva Prasad Reddy

Call Number: QA76.76.A65

Scaling a software business : the digitalization journey

Brian Fitzgerald, Klaas-Jan Stol, Sten Minör, Henrik Cosmo

Call Number: QA76.76.D47

Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers

Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray (eds.)

Call Number: QA76.76.D47

Computational collective intelligence : 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings.

Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr J̨edrzejowicz, Bogdan Trawiński, Gottfried Vossen (eds.)

Call Number: QA76.76.E95

Computational collective intelligence : 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings.

Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr J̨edrzejowicz, Bogdan Trawiński, Gottfried Vossen (eds.)

Call Number: QA76.76.E95

Programming in HTML and PHP : coding for scientists and engineers

David R. Brooks

Call Number: QA76.76.H94

Cooperative control of multi-agent systems : theory and applications

edited by Yue Wang, Eloy Garcia, David Casbeer, Fumin Zhang

Call Number: QA76.76.I58

Designing interactive hypermedia systems

edited by Everardo Reyes-Garcia, Nasreddine Bouhaï

Call Number: QA76.76.I59

Functional software size measurement methodology with effort estimation and performance indication

Jasveer Singh

Call Number: QA76.76.S65 S56 2017eb

Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Matthew Hague, Igor Potapov (eds.)

Call Number: QA76.76.V47

Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Shuvendu Lahiri, Giles Reger (eds.)

Call Number: QA76.76.V47

DNA Computing and Molecular Programming : 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

edited by Robert Brijder, Lulu Qian

Call Number: QA76.887 .I58 2017

Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.)

Call Number: QA76.9.A25

Cryptographic hardware and embedded systems -- CHES 2017 : 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings

Wieland Fischer, Naofumi Homma (eds.)

Call Number: QA76.9.A25

Security and trust management : 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings

edited by Giovanni Livraga, Chris Mitchell

Call Number: QA76.9.A25

Data privacy management, cryptocurrencies and blockchain technology : ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings

Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Hannes Hartenstein, Jordi Herrera-Joancomartí (eds.)

Call Number: QA76.9.A25

Advances in Digital Forensics XIII : 13th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 30 - February 1, 2017, Revised Selected Papers

edited by Gilbert Peterson, Sujeet Shenoi

Call Number: QA76.9.A25

Computer Security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I

edited by Simon N. Foley, Dieter Gollmann, Einar Snekkenes

Call Number: QA76.9.A25

Guide to Digital Forensics : A Concise and Practical Introduction

by Joakim Kävrestad

Call Number: QA76.9.A25

Data Privacy : foundations, new developments and the big data challenge

Vicenc̦ Torra

Call Number: QA76.9.A25

Advanced penetration testing : hacking the world's most secure networks

Wil Allsopp

Call Number: QA76.9.A25

Wireshark for security professionals : using Wireshark and the Metasploit Framework

Jessey Bullock, Jeff T. Parker

Call Number: QA76.9.A25

DNS security management

Michael Dooley, Timothy Rooney

Call Number: QA76.9.A25

Algorithms and models for the web graph : 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15?16, 2017, Revised selected papers

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

Call Number: QA76.9.A43

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

edited by Alessandro Abate, Gilles Geeraerts

Call Number: QA76.9.A43

Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov

Call Number: QA76.9.A43

Introduction to property testing

Oded Goldreich, Weizmann Institute of Science, Israel

Call Number: QA76.9.A43 G655 2018

Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Mauricio Ayala-Rincón, César A. Muñoz (eds.)

Call Number: QA76.9.A96

Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

edited by Renate A. Schmidt, Cláudia Nalon (eds.)

Call Number: QA76.9.A96

Big data analytics : tools and technology for effective planning

edited by Arun K. Somani, Ganesh Chandra Deka

Call Number: QA76.9.B45 B548 2018

VLSI-SoC : System-on-Chip in the Nanoscale Era - Design, Verification and Reliability : 24th IFIP WG 10.5IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers

edited by Thomas Hollstein, Jaan Raik, Sergei Kostin, Anton Tšertov, Ian O'Connor, Ricardo Reis

Call Number: QA76.9.C643

Computer organization and design : the hardware software interface

David A. Patterson, John L. Hennessy

Call Number: QA76.9.C643 P38 2017

Data management and analytics for medicine and healthcare : third International Workshop, DMAH 2017, held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings

Edmon Begoli, Fusheng Wang, Gang Luo (eds.)

Call Number: QA76.9.D3

Expert SQL Server in-memory OLTP [electronic resource]

Dmitri Korotkevitch

Call Number: QA76.9.D3

Model and data engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche (eds.)

Call Number: QA76.9.D3

Docker management design patterns : swarm mode on Amazon Web Services [electronic resource]

Deepak Vohra

Call Number: QA76.9.D3

Frontiers in data science

edited by Matthias Dehmer, Frank Emmert-Streib

Call Number: QA76.9.D3 F76 2018

Learn FileMaker Pro 16 : the comprehensive guide to building custom databases

Mark Conway Munro

Call Number: QA76.9.D32

New trends in databases and information systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos, Johann Gamper, Robert Wrembel, Jérôme Darmont, Stefano Rizzi (eds.)

Call Number: QA76.9.D32

Advances in databases and information systems : 21st European Conference, ADBIS 2017, Nicosia, Cyprus, September 24-27, 2017, Proceedings

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos (eds.)

Call Number: QA76.9.D32

The data science handbook

Field Cady

Call Number: QA76.9.D32

Databases theory and applications : 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017, Proceedings

Zi Huang, Xiaokui Xiao, Xin Cao (eds.)

Call Number: QA76.9.D32 A98 2017eb

Data science : third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings.

Beiji Zou, Qilong Han, Guanglu Sun, Weipeng Jing, Xiaoning Peng, Zeguang Lu (eds.)

Call Number: QA76.9.D343

Data science : third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings.

Beiji Zou, Min Li, Hongzhi Wang, Xianhua Song, Wei Xie, Zeguang Lu (eds.)

Call Number: QA76.9.D343

An Introduction to Machine Learning

by Miroslav Kubat

Call Number: QA76.9.D343

Transparent Data Mining for Big and Small Data

edited by Tania Cerquitelli, Daniele Quercia, Frank Pasquale

Call Number: QA76.9.D343

Text mining in practice with R

Ted Kwartler

Call Number: QA76.9.D343

Troubleshooting Java performance : detecting anti-patterns with open source tools [electronic resource]

Erik Ostermueller

Call Number: QA76.9.D43

Distributed computer and communication networks : 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

Vladimir M. Vishnevskiy, Konstantin E. Samouylov, Dmitry V. Kozyrev (eds.)

Call Number: QA76.9.D5

Entertainment computing -- ICEC 2017 : 16th IFIP TC 14 International Conference, Tsukuba City, Japan, September 18-21, 2017, Proceedings

Nagisa Munekata, Itsuki Kunita, Junichi Hoshino (eds.)

Call Number: QA76.9.E57

Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

edited by Nathalie Bertrand, Luca Bortolussi

Call Number: QA76.9.E94

Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

edited by Philipp Reinecke, Antinisca Di Marco

Call Number: QA76.9.E94

Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

José Proença, Markus Lumpe (eds.)

Call Number: QA76.9.F67

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.)

Call Number: QA76.9.F67 I58 2017eb

Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Nadia Polikarpova, Steve Schneider (eds.)

Call Number: QA76.9.F67 I58 2017eb

Human-computer interaction -- INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings.

Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler (eds.)

Call Number: QA76.9.H85

Human-computer interaction -- INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings.

Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler (eds.)

Call Number: QA76.9.H85

Human-computer interaction -- INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings.

edited by Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler

Call Number: QA76.9.H85

Human-computer interaction -- INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings.

Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler (eds.)

Call Number: QA76.9.H85

Collaboration in a Data-Rich World : 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017, Proceedings

edited by Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Rosanna Fornasiero

Call Number: QA76.9.M3

Speech and computer : 19th International Conference, SPECOM 2017, Hatfield, UK, September 12-16, 2017, Proceedings

Alexey Karpov, Rodmonga Potapova, Iosif Mporas (eds.)

Call Number: QA76.9.N38

Experimental IR Meets Multilinguality, Multimodality, and Interaction : 8th International Conference of the CLEF Association, CLEF 2017, Dublin, Ireland, September 11-14, 2017, Proceedings

edited by Gareth J.F. Jones, Séamus Lawless, Julio Gonzalo, Liadh Kelly, Lorraine Goeuriot, Thomas Mandl, Linda Cappellato, Nicola Ferro

Call Number: QA76.9.N38

Handbook of hardware/software codesign

Soonhoi Ha, Jürgen Teich, editors

Call Number: QA76.9.S88

SDL 2017 : model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

Tibor Csöndes, Gábor Kovács, György Réthy (eds.)

Call Number: QA76.9.S88 S35 2013

String processing and information retrieval : 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, Proceedings

Gabriele Fici, Marinella Sciortino, Rossano Venturini (eds.)

Call Number: QA76.9.T48

Understanding Delta-Sigma Data Converters

Call Number: TK7887.6

Advanced multicore systems-on-chip : architecture, on-chip network, design

Abderazek Ben Abdallah

Call Number: TK7895.E42

Real-time embedded systems

by Jiacun Wang

Call Number: TK7895.E42

Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

edited by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller

Call Number: TK7895.M5