Computer Science & Engineering

July 2019

Artificial life and evolutionary computation : 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, Revised selected papers

Author: Stefano Cagnoni, Monica Mordonini, Riccardo Pecori, Andrea Roli, Marco Villani (eds.)

Call Number: Q325 .W58 2018

Automated machine learning : methods, systems, challenges

Author: Frank Hutter, Lars Kotthoff, Joaquin Vanschoren, editors

Call Number: Q325.5

Evolutionary learning : advances in theories and algorithms

Author: Zhi-Hua Zhou, Yang Yu, Chao Qian

Call Number: Q325.5 .Z46 2019

Analysis of doubly truncated data : an introduction

Author: Achim Dörre, Takeshi Emura

Call Number: QA276 .D67 2019

Introduction to interrater agreement for nominal data

Author: Roel Popping

Call Number: QA276 .P66 2019

Maximum penalized likelihood estimation. Volume II, Regression

Author: P.P.B. Eggermont, V.N. LaRiccia

Call Number: QA276.8 .E377 2009eb

Analysis and design for networked teleoperation system

Author: Changchun Hua, Yana Yang, Xian Yang, Xinping Guan

Call Number: QA402 .H83 2019

Advanced control techniques in complex engineering systems : theory and applications : dedicated to Professor Vsevolod M. Kuntsevich

Author: Yuriy P. Kondratenko, Arkadii A. Chikrii, Vyacheslav F. Gubarev, Janusz Kacprzyk, editors

Call Number: QA402.3 .A38 2019

Advances in H [infinity symbol] control theory : switched, delayed and biological systems

Author: Eli Gershon, Uri Shaked

Call Number: QA402.3 .G47 2019

Handbook of combinatorial optimization. Volume B Supplement.

Author: edited by Ding-Zhu Du, Panos M. Pardalos

Call Number: QA402.5 .H36 2005eb

Nonlinear combinatorial optimization

Author: Ding-Zhu Du, Panos M. Pardalos, Zhao Zhang, editors

Call Number: QA402.5 .N66 2019

Broadband array processing

Author: Shefeng Yan

Call Number: QA76.5

Green, pervasive, and cloud computing : 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26-28, 2019, Proceedings

Author: edited by Rodrigo Miani, Lasaro Camargos, Bruno Zarpelão, Erika Rosas, Rafael Pasquini

Call Number: QA76.585

Knowledge graphs and semantic web : first Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings

Author: Boris Villazón-Terrazas, Yusniel Hidalgo-Delgado (eds.)

Call Number: QA76.5913

Proceedings of the 13th International Conference on Ubiquitous Information Management and Communication (IMCOM) 2019

Author: editors, Sukhan Lee, Roslan Ismail and Hyunseung Choo

Call Number: QA76.5915

Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Author: edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran

Call Number: QA76.63 .L64 2019

Algebraic informatics : 8th international conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019 : proceedings

Author: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.)

Call Number: QA76.7

Haskell quick syntax referenc : a pocket guide to the language, APIs, and library

Author: Stefania Loredana Nita, Marius Mihailescu

Call Number: QA76.7-76.73QA76.76

Numerical methods of mathematics implemented in Fortran

Author: Sujit Kumar Bose

Call Number: QA76.73.F25 B67 2019

Clean Python : elegant coding in Python

Author: Sunil Kapil

Call Number: QA76.73.P98 K37 2019

Python, PyGame, and Raspberry Pi game development

Author: Sloan Kelly

Call Number: QA76.73.P98 K45 2019

asyncio recipes : a problem-solution approach

Author: Mohammed Mustapha Tahrioui

Call Number: QA76.73.P98 T34 2019

Massively multi-agent systems II : International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised selected papers

Author: Donghui Lin, Toru Ishida, Franco Zambonelli, Itsuki Noda (eds.)

Call Number: QA76.76.I58

Theory and application of reuse, integration, and data science

Author: Thouraya Bouabana-Tebibel, Lydia Bouzar-Benlabiod, Stuart H. Rubin, editors

Call Number: QA76.76.R47 T44 2019

Open source systems : 15th IFIP WG 2.13 international conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019, Proceedings

Author: Francis Bordeleau, Alberto Sillitti, Paulo Meirelles, Valentina Lenarduzzi (eds.)

Call Number: QA76.76.S46 I67 2019

Beginning iPhone development with Swift 5 : exploring the iOS SDK

Author: Wallace Wang

Call Number: QA76.774.I67 W36 2019

Digital identities in tension : between autonomy and control

Author: Armen Khatchatourov ; with the collaboration of Pierre-Antoine Chardel, Andrew Feenberg, Gabriel Périès

Call Number: QA76.9.A25

Security, privacy and trust in the IoT environment

Author: editor, Zaigham Mahmood

Call Number: QA76.9.A25

Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows

Author: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.)

Call Number: QA76.9.A25

Proactive and dynamic network defense

Author: Cliff Wang, Zhuo Lu, editors

Call Number: QA76.9.A25 P76 2019

Modeling and simulation of invasive applications and architectures

Author: Sascha Roloff, Frank Hannig and Jürgen Teich

Call Number: QA76.9.A73

Architecture of computing systems -- ARCS 2019 : 32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings

Author: Martin Schoeberl, Christian Hochberger, Sascha Uhrig, Jürgen Brehm, Thilo Pionteck (eds.)

Call Number: QA76.9.A73 A72 2019eb

Blockchain : the advent of disintermediation

Author: Matthieu Quiniou

Call Number: QA76.9.D32

Exploring the dataflow supercomputing paradigm : example algorithms for selected applications

Author: Veljko Milutinovic, Milos Kotlar, editors

Call Number: QA76.9.D338 E97 2019

Engineering applications of neural networks : 20th International Conference, EANN 2019, Xersonisos, Crete, Greece, May 24-26, 2019, Proceedings

Author: John Macintyre, Lazaros Iliadis, Ilias Maglogiannis, Chrisina Jayne (eds.)

Call Number: QA76.9.D343

Fundamentals of image data mining : analysis, features, classification and retrieval

Author: Dengsheng Zhang

Call Number: QA76.9.D343 Z43 2019

Innovations for community services : 19th International Conference, I4CS 2019, Wolfsburg, Germany, June 24-26, 2019, Proceedings

Author: Karl-Heinz Lüke, Gerald Eichler, Christian Erfurth, Günter Fahrnberger (Eds.)

Call Number: QA76.9.D5 I58 2019

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

Author: Julia M. Badger, Kristin Yvonne Rozier (eds.)

Call Number: QA76.9.F67 N45 2019

Brain art : brian-computer interfaces for artistic expression

Author: Anton Nijholt, editor

Call Number: QA76.9.H85 B73 2019

Sex robots : the future of desire

Author: Jason Lee

Call Number: QA76.9.H85 L44 2017

Analyzing qualitative data with MAXQDA : text, audio, and video

Author: Udo Kuckartz, Stefan Rädiker

Call Number: QA76.9.Q36

Essential algorithms : a practical approach to computer algorithms

Author: Rod Stephens

Call Number: QA76.9 .S74 2013

Practical Oracle JET : developing enterprise applications in JavaScript

Author: Daniel Curtis

Call Number: QA76.9.T43 C87 2019