Skip to main content

University Libraries

Computer Science

Items Acquired in May 2017 for the University Libraries

Innovative trend methodologies in science and engineering

Zekâi Şen

Call Number: QA276

Mathematische Statistik : Für Mathematiker, Natur- und Ingenieurwissenschaftler

Dieter Rasch und Dieter Schott

Call Number: QA276

Introduction to statistics and data analysis : with exercises, solutions and applications in R

Christian Heumann, Michael Schomaker, Shalabh

Call Number: QA276

Analytical methods in statistics : AMISTAT, Prague, November 2015

Jaromír Antoch, Jana Jurečková, Matúš Maciak, Michal Pešta, editors

Call Number: QA276.A1

Fourier-Malliavin volatility estimation : theory and practice

Maria Elvira Mancino, Maria Cristina Recchioni, Simona Sanfelici

Call Number: QA276.8

Intelligent comparisons II : operator inequalities and approximations

George A. Anastassiou

Call Number: QA297

Splitting methods in communication, imaging, science, and engineering

Roland Glowinski, Stanley J. Osher, Wotao Yin, editors

Call Number: QA297.5

INTERVAL ANALYSIS AND AUTOMATIC RESULT VERIFICATION

Call Number: QA297.75 .M39 2017

Machine learning and intelligent communications : first International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers

Huang Xin-lin (ed.)

Call Number: Q325.5

Financial signal processing and machine learning

edited by Ali N. Akansu, Sanjeev R. Kulkarni, Dmitry Malioutov

Call Number: Q325.5

Machine learning, optimization, and big data : Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers

Panos M. Pardalos, Piero Conca, Giovanni Giuffrida, Giuseppe Nicosia (eds.)

Call Number: Q325.5

Pattern recognition applications and methods : 5th International Conference, ICPRAM 2016, Rome, Italy, February 24-26, 2016, Revised selected papers

Ana Fred, Maria De Marsico, Gabriella Sanniti di Baja (eds.)

Call Number: Q327 .I58 2016eb

Self-aware computing systems [electronic resource]

Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors

Call Number: Q335

Instinctive Computing

Call Number: Q335

Bio-inspired computing -- theories and applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised selected papers.

Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang (eds)

Call Number: Q335

Bio-inspired computing -- theories and applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised selected papers.

Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang (eds)

Call Number: Q335

Design of interpretable fuzzy systems

Krzysztof Cpałka

Call Number: QA402

Optimal control

Leonid T. Aschepkov, Dmitriy V. Dolgy, Taekyun Kim, Ravi P. Agarwal

Call Number: QA402.3

Mob control : models of threshold collective behavior

Vladimir V. Breer, Dmitry A. Novikov, Andrey D. Rogatkin

Call Number: QA402.3

Evolutionary multi-criterion optimization : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings

Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schütze, Margaret Wiecek, Yaochu Jin, Christian Grimme (eds.)

Call Number: QA402.5

Flexible and generalized uncertainty optimization : theory and methods

Weldon A. Lodwick, Phantipa Thipwiwatpotjana

Call Number: QA402.5

Generalized Network Improvement and Packing Problems [electronic resource]

Call Number: QA402.5

Dynamic optimization : deterministic and stochastic models

Karl Hinderer, Ulrich Rieder, Michael Stieglitz

Call Number: QA402.5

Applied computer sciences in engineering : third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised selected papers

Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, Roberto Ferro-Escobar (eds.)

Call Number: QA75.5

Advances in computing applications

Amlan Chakrabarti, Neha Sharma, Valentina Emilia Balas, editors

Call Number: QA76

Performance evaluation and benchmarking : traditional -- Big data -- Interest of Things : 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised selected papers

Raghunath Nambiar, Meikel Poess (eds.)

Call Number: QA76.545

Separation logic for high-level synthesis

Felix Winterstein

Call Number: QA76.58

Crowd-Powered Mobile Computing and Smart Things

Call Number: QA76.585

Encyclopedia of cloud computing

editors, San Murugesan, Irena Bojanova

Call Number: QA76.585

Model-driven development and operation of multi-cloud applications : the MODAClouds approach [electronic resource]

Elisabetta Di Nitto, Peter Matthews, Dana Petcu, Arnor Solberg, editors

Call Number: QA76.585

Elements of cloud storage security : concepts, designs and optimized practices

Tatiana Galibus, Viktor V. Krasnoproshin, Robson de Oliveira Albuquerque, Edison Pignaton de Freitas

Call Number: QA76.585

Semantic keyword-based search on structured data sources : COST Action IC1302 second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised selected papers

Andrea Calì, Dorian Gorgan, Martín Ugarte (eds.)

Call Number: QA76.5913

Pervasive computing : engineering smart systems

Natalia Silvis-Cividjian

Call Number: QA76.5915

Interoperability, safety and security in IoT : second International Conference, InterIoT 2016 and third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016, Revised selected papers

Nathalie Mitton, Hakima Chaouchi, Thomas Noel, Thomas Watteyne, Alban Gabillon, Patrick Capolsini (eds.)

Call Number: QA76.5915

Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers

edited by Jonathan P. Bowen, Huibiao Zhu

Call Number: QA76.6 .U86 2016eb

Genetic Programming Theory and Practice XIII [electronic resource]

edited by Rick Riolo, W.P. Worzel, Mark Kotanchek, Arthur Kordon

Call Number: QA76.623

Languages and compilers for parallel computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers

Chen Ding, John Criswell, Peng Wu (eds.)

Call Number: QA76.642

C# and XML primer

Jonathan Hartwell

Call Number: QA76.73.C154

Professional Clojure

Call Number: QA76.73.C565

Introduction to Mathematica® with applications

Marian Mureşan

Call Number: QA76.73.M29

PHP objects, patterns, and practice [electronic resource]

Matt Zandstra

Call Number: QA76.73.P224

Python unit test automation : practical techniques for Python developers and testers

Ashwin Pajankar

Call Number: QA76.73.P98

Programming with Python [electronic resource]

T.R. Padmanabhan

Call Number: QA76.73.P98

Agile Swift : Swift programming using Agile tools and techniques

Godfrey Nolan

Call Number: QA76.73.S95 N65 2017

Source Code Analytics With Roslyn and JavaScript Data Visualization [electronic resource]

Call Number: QA76.754

Source Code Analytics With Roslyn and JavaScript Data Visualization

Sudipta Mukherjee ; foreword by Darius Blasband

Call Number: QA76.754 .M85 2016

Software engineering education going agile : 11th China--Europe International Symposium on Software Engineering Education (CEISEE 2015)

Stephan Kassel, Bing Wu, editors

Call Number: QA76.758

Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers [electronic resource]

Anna-Lena Lamprecht (ed.)

Call Number: QA76.758

Software engineering and methodology for emerging domains : 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings

Lu Zhang, Chang Xu (eds.)

Call Number: QA76.758

Requirements engineering : foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27-March 2, 2017, Proceedings

Paul Grünbacher, Anna Perini (eds.)

Call Number: QA76.758 .R44 2017eb

macOS programming for absolute beginners : developing apps using Swift and Xcode

Wallace Wang

Call Number: QA76.76.A65

Knowledge representation for health care : HEC 2016 International Joint Workshop, KR4HCProHealth 2016, Munich, Germany, September 2, 2016, Revised selected papers

David Riaño, Richard Lenz, Manfred Reichert (eds.)

Call Number: QA76.76.A65

Innovations in Enterprise Information Systems Management and Engineering : 4th International Conference, ERP Future 2015 - Research, Munich, Germany, November 16-17, 2015, Revised Papers

edited by Michael Felderer, Felix Piazolo, Wolfgang Ortner, Lars Brehm, Hans-Joachim Hof

Call Number: QA76.76.A65

Pro Angular

Adam Freeman

Call Number: QA76.76.A65

GameMaker : Studio 100 programming challenges

Ben Tyers

Call Number: QA76.76.C672

Windows virus and malware troubleshooting

Andrew Bettany, Mike Halsey

Call Number: QA76.76.C68

Professional Git

Brent Laster

Call Number: QA76.76.D47

Intelligent systems design and applications : 16th International Conference on Intelligent Systems Design and Applications (ISDA 2016) held in Porto, Portugal, December 16-18, 2016

Ana Maria Madureira, Ajith Abraham, Dorabela Gamboa, Paulo Novais, editors

Call Number: QA76.76.E95

Fundamentals of computational intelligence : neural networks, fuzzy systems, and evolutionary computation

James M. Keller, Derong Liu, David B. Fogel

Call Number: QA76.76.E95 K45 2016eb

Code generation with Roslyn

Nick Harrison

Call Number: QA76.76.G46

Evolutionary multi-agent systems : from inspirations to applications [electronic resource]

Aleksander Byrski, Marek Kisiel-Dorohinicki

Call Number: QA76.76.I58

Advances in social computing and digital education : 7th International Workshop on Collaborative Agents Research and Development, CARE 2016, Singapore, May 9, 2016 and Second International Workshop on Social Computing in Digital Education, SocialEdu 2016, Zagreb, Croatia, June 6, 2016, Revised selected pape

edited by Fernando Koch, Andrew Koster, Tiago Primo, Christian Guttmann

Call Number: QA76.76.I58

Collaboration meets interactive spaces

Craig Anslow, Pedro Campos, Joaquim Jorge, editors

Call Number: QA76.76.I59

Troubleshooting iOS : Solving iPhone and iPad Problems

by Paul McFedries

Call Number: QA76.76.T48

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.)

Call Number: QA76.76.V47

Provably correct systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, editors

Call Number: QA76.76.V47

Deductive Software Verification -- The KeY Book : From Theory to Practice [electronic resource]

Wolfgang Ahrendt... [et al.] (eds.)

Call Number: QA76.76.V47

Decentralized neural control : application to robotics

Ramon Garcia-Hernandez, Michel Lopez-Franco, Edgar N. Sanchez, Alma Y. Alanis, Jose A. Ruz-Hernandez

Call Number: QA76.87

Artificial immune system : applications in computer security

Ying Tan

Call Number: QA76.875

High-performance scientific computing : first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, revised selected papers

Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann, Alexander Peyser (eds.)

Call Number: QA76.88

High performance computing in science and engineering '16 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016

Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch, editors

Call Number: QA76.88

Membrane computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised selected papers

Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron (eds.)

Call Number: QA76.887

Digital forensics and watermarking : 15th International Workshop, IWDW 2016, Beijing, China, September 17-19, 2016, Revised selected papers

Yun Qing Shi, Hyoung Joong Kim, Fernando Perez-Gonzalez, Feng Liu (eds.)

Call Number: QA76.9.A25

Topics in cryptology -- CT-RSA 2017 : the Cryptographers' track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings

Helena Handschuh (ed.)

Call Number: QA76.9.A25

Information security and cryptology -- ICISC 2016 : 19th International Conference, Seoul, South Korea, November 30-December 2, 2016, Revised selected papers

Seokhie Hong, Jong Hwan Park (eds.)

Call Number: QA76.9.A25

Cyber-risk informatics : engineering evaluation with data science

Mehmet Sahinoglu

Call Number: QA76.9.A25

Linux Server security : hack and defend

Chris Binnie

Call Number: QA76.9.A25

Information security and cryptology : 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised selected papers

Kefei Chen, Dongdai Lin, Moti Yung (eds.)

Call Number: QA76.9.A25

Advanced computing and systems for security. Volume four

Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki, editors

Call Number: QA76.9.A25

Advanced computing and systems for security. Volume Three

Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki, editors

Call Number: QA76.9.A25

The Quest to Cyber Superiority : Cybersecurity Regulations, Frameworks, and Strategies of Major Economies

Call Number: QA76.9.A25

Security, privacy, and applied cryptography engineering : 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings [electronic resource]

edited by Claude Carlet, M. Anwar Hasan, Vishal Saraswat

Call Number: QA76.9.A25

Global security, safety and sustainability : the security challenges of the connected world : 11th International Conference, ICGS3 2017, London, UK, January 18-20, 2017, Proceedings

Hamid Jahankhani, Alex Carlile, David Emm, Amin Hosseinian-Far, Guy Brown, Graham Sexton, Arshad Jamal (eds.)

Call Number: QA76.9.A25

Public-key cryptography -- PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings.

Serge Fehr (ed.)

Call Number: QA76.9.A25 I58 2017eb

Public-key cryptography -- PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings.

Serge Fehr (ed.)

Call Number: QA76.9.A25 I58 2017eb

Harmony search algorithm : proceedings of the 3rd International Conference on Harmony Search Algorithm (ICHSA 2017)

Javier Del Ser, editor

Call Number: QA76.9.A43

Computers and Games : 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers [electronic resource]

edited by Aske Plaat, Walter Kosters, Jaap van den Herik

Call Number: QA76.9.A43

Graph Drawing and Network Visualization : 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers [electronic resource]

edited by Yifan Hu, Martin Nöllenburg

Call Number: QA76.9.A43

WALCOM : algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29?31, 2017, proceedings

Sheung-Hung Poon, Md. Saidur Rahman, Hsu-Chun Yen (eds.)

Call Number: QA76.9.A43 W35 2017eb

Architecture of computing systems -- ARCS 2017 : 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue, Thilo Pionteck (eds.)

Call Number: QA76.9.A73 A72 2017eb

Handbook of big data technologies

Albert Y. Zomaya, Sherif Sakr, editors

Call Number: QA76.9.B45

A gift of fire : social, legal, and ethical issues for computing technology

Sara Baase, San Diego State University, Timothy M. Henry

Call Number: QA76.9.C66 B3 2018

Oracle Database upgrade and migration methods : including Oracle 12c Release 2

Y V Ravikumar, K M Krishnakumar, Nassyam Basha

Call Number: QA76.9.D3

The cloud DBA-Oracle : managing Oracle database in the cloud

Abhinivesh Jain, Niraj Mahajan

Call Number: QA76.9.D32

The Blockchain Alternative : Rethinking Macroeconomic Policy and Economic Theory

Call Number: QA76.9.D32

Techniques for evaluating the differences in multiregional input-output databases : a comparative evaluation of CO2 consumption-based accounts calculated using Eora, GTAP and WIOD

Anne Owen

Call Number: QA76.9.D32

Analysis of images, social networks and texts : 5th International Conference, AIST 2016, Yekaterinburg, Russia, April 7-9, 2016, Revised selected papers

Dmitry I. Ignatov, Mikhail Yu. Khachay, Valeri G. Labunets, Natalia Loukachevitch, Sergey I. Nikolenko, Alexander Panchenko, Andrey V. Savchenko, Konstantin Vorontsov (eds.)

Call Number: QA76.9.D343

Granular-relational data mining : how to mine relational data in the paradigm of granular computing?

Piotr Hońko

Call Number: QA76.9.D343

Spark : big data cluster computing in production

Ilya Ganelin [and others]

Call Number: QA76.9.D343

Data-driven process discovery and analysis : 5th International Symposium, SIMPDA 2015, Vienna, Austria, December 9-11, 2015, Revised selected papers

Paolo Ceravolo, Stefanie Rinderle-Ma (eds.)

Call Number: QA76.9.D343

Machine learning for health informatics : state-of-the-art and future challenges [electronic resource]

Andreas Holzinger (ed.)

Call Number: QA76.9.D343

Knowledge discovery, knowledge engineering and knowledge management : 7th International Joint Conference, IC3K 2015, Lisbon, Portugal, November 12-14, 2015, Revised selected papers

Ana Fred, Jan L.G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe (eds.)

Call Number: QA76.9.D343

Data Mining and Constraint Programming : Foundations of a Cross-Disciplinary Approach [electronic resource]

edited by Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi

Call Number: QA76.9.D343

Private data and public value : governance, green consumption, and sustainable supply chains

Holly Jarman, Luis F. Luna-Reyes, editors

Call Number: QA76.9.D343 P75 2016eb

EVERYBODY LIES BIG DATA, NEW DATA,

Call Number: QA76.9.D343 S685155 2017

Distributed computer and communication networks : 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised selected papers

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

Call Number: QA76.9.D5

Managing distributed dynamic systems with spatial grasp technology

Peter Simon Sapaty

Call Number: QA76.9.D5

Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers

Cyrille Artho, Peter Csaba Ölveczky (eds.)

Call Number: QA76.9.F67

Hyperconnectivity

Adrian David Cheok

Call Number: QA76.9.H85

Eye tracking and visualization : foundations, techniques, and applications. ETVIS 2015

Michael Burch, Lewis Chuang, Brian Fisher, Albrecht Schmidt, Daniel Weiskopf, editors

Call Number: QA76.9.H85

Bottlenecks : aligning UX design with user psychology

David C. Evans

Call Number: QA76.9.H85

Learning web-based virtual reality : build and deploy web-based virtual reality technology

Srushtika Neelakantam, Tanay Pant

Call Number: QA76.9.H85

Intelligent human computer interaction : 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016, Proceedings

Anupam Basu, Sukhendu Das, Patrick Horain, Samit Bhattacharya (eds.)

Call Number: QA76.9.H85

Brain-Inspired Computing : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers [electronic resource]

edited by Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov

Call Number: QA76.9.H85

Data visualisation with R : 100 examples

Thomas Rahlf

Call Number: QA76.9.I52

Matrix and tensor factorization techniques for recommender systems

Panagiotis Symeonidis, Andreas Zioupos

Call Number: QA76.9.I58

Logic, language, and computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised selected papers

Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat (eds.)

Call Number: QA76.9.L63

Applied logic for computer scientists : computational deduction and formal proofs

Mauricio Ayala-Rincón, Flávio L. C. de Moura

Call Number: QA76.9.L63

Fundamental proof methods in computer science : a computer-based approach

Konstantine Arkoudas and David Musser

Call Number: QA76.9.M35 A74 2017

Algorithms and discrete applied mathematics : third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings

Daya Gaur, N.S. Narayanaswamy (eds.)

Call Number: QA76.9.M35 C35 2017eb

Nature-inspired computing and optimization : theory and applications

Srikanta Patnaik, Xin-She Yang, Kazumi Nakamatsu, editors

Call Number: QA76.9.N37

Text data management and analysis : a practical introduction to information retrieval and text mining

ChengXiang Zhai, Sean Massung

Call Number: QA76.9.N38 Z435 2016

Proceedings of sixth International Conference on Soft Computing for Problem Solving : SocProS 2016.

Kusum Deep, Jagdish Chand Bansal, Kedar Nath Das, Arvind Kumar Lal, Harish Garg, Atulya K. Nagar, Millie Pant, editors

Call Number: QA76.9.S63

Automotive user interfaces : creating interactive experiences in the car

Gerrit Meixner, Christian Müller, editors

Call Number: QA76.9.U83

Custom Raspberry Pi interfaces : design and build hardware interfaces for the Raspberry Pi

Warren Gay

Call Number: QA76.9.U83

Normally-off computing

Takashi Nakada, Hiroshi Nakamura, editors

Call Number: TK7885

Practical ELK Stack : build actionable insights and business metrics using the combined power of Elasticsearch, Logstash, and Kibana

Gurpreet S. Sachdeva

Call Number: TK7895.D28

More-than-Moore 2.5D and 3D SiP integration [electronic resource]

Riko Radojcic

Call Number: TK7895.E42

Flash memory integration : performance and energy issues

Jalil Boukhobza, Pierre Olivier

Call Number: TK7895.M4 B685 2017

Introduction to magnetic random-access memory

edited by Bernard Dieny, Ronald B. Goldfarb, Kyung-Jin Lee

Call Number: TK7895.M4 I62 2017eb

Smart card research and advanced applications : 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised selected papers

Kerstin Lemke-Rust, Michael Tunstall (eds.)

Call Number: TK7895.S62