Skip to main content

University Libraries

Computer Science

Items Acquired in October 2017 for the University Libraries

Introduction to deep learning using R : a step-by-step guide to learning and implementing deep learning models using R

Taweh Beysolow II

Call Number: Q325

Illuminating statistical analysis using scenarios and simulations

Jeffrey E Kottemann, Ph.D

Call Number: QA276 .K676 2017eb

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

Thomas Mailund

Call Number: QA276.45.R3 M254 2017

Statistical estimation for truncated exponential families

Masafumi Akahira

Call Number: QA276.8

Non-convex multi-objective optimization

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

Call Number: QA402.5

Advances in computing and data sciences : first International Conference, ICACDS 2016, Ghaziabad, India, November 11-12, 2016, Revised selected papers

Mayank Singh, P.K. Gupta, Vipin Tyagi, Arun Sharma, Tuncer Ören, William Grosky (eds.)

Call Number: QA75.5

Advanced informatics for computing research : first International Conference, ICAICR 2017, Jalandhar, India, March 17-18, 2017, Revised selected papers

Dharm Singh, Balasubramanian Raman, Ashish Kumar Luhach, Pawan Lingras (eds.)

Call Number: QA75.5

Computational science and its applications -- ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings.

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

Call Number: QA75.5 .I22 2017eb

Cloud computing and services science : 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised selected papers

edited by Markus Helfert, Donald Ferguson, Victor Méndez Muñoz, Jorge Cardoso

Call Number: QA76.585

Nordic contributions in IS research : 8th Scandinavian Conference on Information Systems, SCIS 2017, Halden, Norway, August 6-8, 2017, Proceedings

Susanne Stigberg, Joackim Karlsen, Harald Holone, Cathrine Linnes (eds.)

Call Number: QA76.585

Cluster-based localization and tracking in ubiquitous computing systems

José Ramiro Martínez-de Dios, Alberto de San Bernabé-Clemente, Arturo Torres-González, Anibal Ollero

Call Number: QA76.5915 .C58 2017

Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman, editors

Call Number: QA76.6

Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers

Manuel V Hermenegildo, Pedro Lopez-Garcia (eds.)

Call Number: QA76.63

C Recipes : a problem-solution approach

Shirish Chavan

Call Number: QA76.73.C15

ES6 for humans : The Latest Standard of JavaScript: ES2015 and Beyond

Deepak Grover, Hanu Prateek Kunduru

Call Number: QA76.73.J39

Software technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised selected papers

Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen (eds.)

Call Number: QA76.758

Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Anthony Anjorin, Huáscar Espinoza, editors

Call Number: QA76.758

Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

edited by Esther Guerra, Mark van den Brand

Call Number: QA76.758

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

edited by Sebastian Gabmeyer, Einar Broch Johnsen

Call Number: QA76.758

Introduction to Computational Social Science : Principles and Applications

by Claudio Cioffi-Revilla

Call Number: QA76.76.A65

Software quality assurance : consistency in the face of complexity and change

Neil Walkinshaw

Call Number: QA76.76.Q35

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Alessandro Abate, Sylvie Boldo (eds.)

Call Number: QA76.76.V47

Cyber security on Azure : an IT professionals guide to Microsoft Azure security center

Marshall Copeland

Call Number: QA76.9.A25

Security protocols XXIV : 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised selected papers

edited by Jonathan Anderson, Vashek Matyáš, Bruce Christianson, Frank Stajano (eds.)

Call Number: QA76.9.A25

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Leonardo de Moura (ed.)

Call Number: QA76.9.A96

Transactions on large-scale data- and knowledge-centered systems XXXII : special issue on big data analytics and knowledge discovery

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Sanjay Madria, Takahiro Hara (eds.)

Call Number: QA76.9.B45

Guide to distributed simulation with HLA

Okan Topçu, Halit Oğuztüzün

Call Number: QA76.9.C65

Data Management Technologies and Applications : 5th International Conference, DATA 2016, Colmar, France, July 24-26, 2016, Revised Selected Papers

Chiara Francalanci, Markus Helfert, editors

Call Number: QA76.9.D3

Data mining and big data : second International Conference, DMBD 2017, Fukuoka, Japan, July 27-August 1, 2017. Proceedings

editors: Ying Tan, Hideyuki Takagi, Yuhui Shi

Call Number: QA76.9.D343

Algorithms and data structures : 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31-August 2, 2017, Proceedings

edited by Faith Ellen, Antonina Kolokolova, Jörg-Rüdiger Sack

Call Number: QA76.9.D35 W33 2017eab

Beginning Windows mixed reality programming : for HoloLens and mixed reality headsets

Sean Ong

Call Number: QA76.9.H85

Applications of computer algebra : Kalamata, Greece, July 20-23 2015

Ilias S. Kotsireas, Edgar Martínez-Moro, editors

Call Number: QA76.9.M35

Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Juan de Lara, Detlef Plump, editors

Call Number: QA76.9.M35

Introduction to quantitative data analysis in the behavioral and social sciences [electronic resource]

Michael J. Albers

Call Number: QA76.9.Q36

Distributed, Ambient and Pervasive Interactions : 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Norbert Streitz, Panos Markopoulos, editors

Call Number: QA76.9.U83

Human Interface and the Management of Information : Information, Knowledge and Interaction Design : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings.

edited by Sakae Yamamoto

Call Number: QA76.9.U83

HCI International 2017 - Posters' Extended Abstracts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings.

edited by Constantine Stephanidis

Call Number: QA76.9.U83

HCI International 2017 - Posters' Extended Abstracts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings.

edited by Constantine Stephanidis

Call Number: QA76.9.U83

Human Interface and the Management of Information : Supporting Learning, Decision-Making and Collaboration : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings.

edited by Sakae Yamamoto

Call Number: QA76.9.U83

Communication in critical embedded systems : first Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised selected papers

Kalinka Branco, Alex Pinto, Daniel Pigatto (eds.)

Call Number: TK7895.E42