Computer Science

Items Acquired in April 2015 for the University Libraries

A perspective on agent systems : paradigm, formalism, examples /
Krzysztof Cetnarowicz
Call Number: QA76.76.I58

A practical guide to TPM 2.0 : using the new Trusted Platform Module in the new age of security /
Will Arthur, David Challener, Kenneth Goldman
Call Number: QA76.9.A25

Advanced discrete-time control : designs and applications /
Khalid Abidi, Jian-Xin Xu
Call Number: QA402

Advances in architectural geometry 2014
Philippe Block, Jan Knippers, Niloy J. Mitra, Wenping Wang, editors
Call Number: QA76

Advances in audio watermarking based on singular value decomposition
Pranab Kumar Dhar, Tetsuya Shimamura
Call Number: QA76.9.A25

Advances in computers
Call Number: QA76 .A3

Advances in knowledge discovery in databases
Animesh Adhikari, Jhimli Adhikari
Call Number: QA76.9.D343

Advances in knowledge representation, logic programming, and abstract argumentation : essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran (eds.)
Call Number: Q335

Advances in service-oriented and cloud computing : workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised selected papers /
Guadalupe Ortiz, Cuong Tran (eds.)
Call Number: QA76.585

Agent technology for intelligent mobile services and smart societies : Workshop on Collaborative Agents, Research and Development, CARE 2014, and Workshop on Agents, Virtual Societies and Analytics, AVSA 2014, held as part of AAMAS 2014, Paris, France, May 5-9, 2014. Revised selected papers /
Fernando Koch, Felipe Meneguzzi, Kiran Lakkaraju (eds.)
Call Number: QA76.76.I58

Agile software development with HP Agile Manager
Liran Tal
Call Number: QA76.76.D47

Algorithms and discrete applied mathematics : first international conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings /
Sumit Ganguly, Ramesh Krishnamurti (eds.)
Call Number: QA76.9.M35

An introduction to neural network methods for differential equations
Neha Yadav, Anupam Yadav, Manoj Kumar
Call Number: QA76.87

An introduction to R for quantitative economics : graphing, simulating and computing /
Vikram Dayal
Call Number: QA276.45.R3

Android quick APIs reference
Onur Cinar
Call Number: QA76.76.A63

Android recipes : a problem-solution approach for Android 5.0 /
Dave Smith
Call Number: QA76.76.A65

Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems [electronic resource]
Call Number: TK7888.4

Applications of evolutionary computation : 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
Antonio M. Mora, Giovanni Squillero et al. (eds.)
Call Number: QA76.9.A43

Applied Reconfigurable Computing : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings [Elektronische Daten]
edited by Kentaro Sano, Dimitrios Soudris, Michael Hübner, Pedro C. Diniz
Call Number: QA75.5-76.95

Architecture of computing systems -- ARCS 2015 : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings /
Luís Miguel Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte (eds.)
Call Number: QA76.9.A73

Attosecond nanophysics : from basic science to applications [electronic resource]
edited by Peter Hommelhoff, Matthias F. Kling
Call Number: QA76.9.A73 .H384 2014

Automated data collection with R : a practical guide to Web scraping and text mining /
Simon Munzert, Christian Ruoba, Peter Meiboner, Dominic Nyhuis
Call Number: QA76.9.D343

Automatic Design of Decision-Tree Induction Algorithms
Rodrigo C. Barros, André C.P.L.F. de Carvalho, Alex A. Freitas
Call Number: QA76.9.A43

Bayesian analysis of failure time data using P-Splines
Matthias Kaeding
Call Number: QA276

Beginning JSON
Ben Smith
Call Number: QA76.76.H94

Beginning Scala
Vishal Layka, David Pollak
Call Number: QA76.73.S28

Beginning Swift games development for iOS
James Goodwill, Wesley Matlock
Call Number: QA76.774.I67

Big data : algorithms, analytics, and applications /
edited by Kuan-Ching Li [and 3 others]
Call Number: QA76.9.D343 B545 2015

Big data and analytics : strategic and organizational impacts /
Vincenzo Morabito
Call Number: QA76.9.D343

Big data in complex systems : challenges and opportunities /
Aboul Ella Hassanien [and 4 more], editors
Call Number: QA76.9.D32

Blogosphere and its exploration
Christoph Meinel, Justus Broß, Philipp Berger, Patrick Hennig
Call Number: QA76.9.D343

Business intelligence with SQL server reporting services
Adam Aspin
Call Number: QA76.73.S67

C quick syntax reference
Mikael Olsson
Call Number: QA76.73.C15

Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers /
Viktória Zsók, Zoltán Horváth, Lehel Csató (eds.)
Call Number: QA76.62

Circuit design on plastic foils
by Daniele Raiteri, Eugenio Cantatore, Arthur H.M. Roermund
Call Number: TK7888.4

Cloud computing : 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised selected papers /
Victor C.M. Leung, Roy Xiaorong Lai, Min Chen, Jiafu Wan (eds.)
Call Number: QA76.585

Cloud portability and interoperability : issues and current trends /
Beniamino Di Martino, Giuseppina Cretella, Antonio Esposito
Call Number: QA76.585

COBOL software modernization : from principles to implementation with the BLU AGE® method /
Franck Barbier, Jean-Luc Recoussine
Call Number: QA76.73.C25 .B384 2015

Compiler Construction : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings [Elektronische Daten]
edited by Björn Franke
Call Number: QA76.7-76.73

Computer algebra and polynomials : applications of algebra and number theory /
Jaime Gutierrez, Josef Schicho, Martin Weimann (eds.)
Call Number: QA76.9.A43

Computer engineering and technology : 18th CCF Conference, NCCET 2014, Guiyang, China, July 29-August 1, 2014, Revised selected papers /
Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu (eds.)
Call Number: TK7885.A1

Computer science and its applications : ubiquitous information technologies /
James J. (Jong Hyuk) Park, Ivan Stojmenovic, Hwa Young Jeong, Gangman Yi, editors
Call Number: QA76.9.C643

Control problems of discrete-time dynamical systems
Yasumichi Hasegawa
Call Number: QA402

Custom SharePoint Solutions with HTML and JavaScript : for SharePoint 2013 and SharePoint Online /
Brandon Atkinson
Call Number: QA76.76.A65

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers [Elektronische Daten]
edited by Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
Call Number: QA76.9.A25

Data structures and algorithms with Python
Kent D. Lee, Steve Hubbard
Call Number: QA76.9.D35

Data-driven process discovery and analysis : third IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2013, Riva del Garda, Italy, August 30, 2013, Revised selected papers /
Paolo Ceravolo, Rafael Accorsi, Philippe Cudre-Mauroux (eds.)
Call Number: QA76.9.D343

Databases in networked information systems : 10th International Workshop, DNIS 2015, Aizu-Wakamatsu, Japan, March 23-25, 2015. Proceedings /
Wanming Chu, Shinji Kikuchi, Subhash Bhalla (eds.)
Call Number: QA76.9.D32

Design of experiments for reinforcement learning
Christopher Gatti
Call Number: Q325.6 .G388 2015eb

Detecting peripheral-based attacks on the host memory
Patrick Stewin
Call Number: QA76.9.A25

Distributed computing and internet technology : 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5 -8, 2015 : proceedings /
Raja Natarajan, Gautam Barua, Manas Ranjan Patra (eds.)
Call Number: QA76.9.D5

Embedded firmware solutions : development best practices for the internet of things /
Jiming Sun, Vincent Zimmer, Marc Jones, and Stefan Reinauer
Call Number: QA76.765

Emerging ICT for bridging the future : proceedings of the 49th Annual Convention of the Computer Society of India (CSI).
Suresh Chandra Satapathy, A. Govardhan, K. Srujan, J.K. Mandal, editors
Call Number: QA75.5

Emerging ICT for bridging the future : proceedings of the 49th Annual Convention of the Computer Society of India (CSI).
Suresh Chandra Satapathy, A. Govardhan, K. Srujan, J.K. Mandal, editors
Call Number: QA75.5

Emotion recognition : a pattern analysis approach /
edited by Amit Konar, Aruna Chakraborty
Call Number: QA76.9.H85 E46 2015

Engineering secure software and systems : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings /
edited by Frank Piessens, Juan Caballero, Nataliia Bielova
Call Number: QA76.9.A25

Evolutionary and biologically inspired music, sound, art and design : 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
Colin Johnson, Adrian Carballal, João Correia (eds.)
Call Number: QA76.618

Evolutionary computation in combinatorial optimization : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
Gabriela Ochoa, Francisco Chicano (eds)
Call Number: QA76.618

Evolutionary multi-criterion optimization : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29-April 1, 2015. Proceedings.
edited by António Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello
Call Number: QA402.5

Evolutionary multi-criterion optimization : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29-April 1, 2015. Proceedings.
António Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello (eds.)
Call Number: QA402.5

Excel 2013 for business statistics : a guide to solving practical business problems /
Thomas J. Quirk
Call Number: QA276

Existence and regularity results for some shape optimization problems
Bozhidar Velichkov
Call Number: QA402.5

Expert T-SQL window functions in SQL server
Kathi Kellenberger with Clayton Groom
Call Number: QA76.73.S67

Exploring services science : 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings /
Henriqueta Nóvoa, Monica Drăgoicea (eds.)
Call Number: QA75.5

Filtering and control for classes of two-dimensional systems
Ligang Wu, Zidong Wang
Call Number: QA402.3

Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /
Ivan Lanese, Eric Madelaine (eds.)
Call Number: QA76.9.F67

Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings /
edited by Christiano Braga, Narciso Martí-Oliet
Call Number: QA76.9.F67

Formalisms for reuse and systems integration
Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors
Call Number: QA76.76.D47

Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings [Elektronische Daten]
edited by Andrew Pitts
Call Number: QA76.9.L63

From big data to smart data
Fernando Iafrate,
Call Number: QA76.9.B45

From requirements to Java in a snap : model-driven requirements engineering in practice /
Michał Śmiałek, Wiktor Nowakowski
Call Number: QA76.758

Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings [Elektronische Daten]
edited by Alexander Egyed, Ina Schaefer
Call Number: QA76.758

Fusion of smart, multimedia and computer gaming technologies : research, systems and perspectives /
Dharmendra Sharma, Margarita Favorskaya, Lakhmi C. Jain, Robert J. Howlett, editors
Call Number: QA76.76.C672

Genetic programming : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
Penousal Machado [and more] (eds.)
Call Number: QA76.623

Grammar-based feature generation for time-series prediction
Anthony Mihirana De Silva, Philip H. W. Leong
Call Number: Q325.5

Grasp interaction with tablets
Katrin Wolf
Call Number: QA76.9.H85

Guide to high performance distributed computing : case studies with Hadoop, Scalding and Spark /
K.G. Srinivasa, Anil Kumar Muppalla
Call Number: QA76.88

Handbook on data centers
Samee U. Khan, Albert Y. Zomaya, editors
Call Number: QA76.9.M3

Harmonization and development of resources and tools for Italian natural language processing within the PARLI Project
Roberto Basili, Cristina Bosco, Rodolfo Delmonte, Alessandro Moschitti, Maria Simi, editors
Call Number: QA76.9.N38

Hibernate recipes
Joseph Ottinger, Srinivas Guruzu, Gary Mak
Call Number: QA76.73.J38

High performance computing in science and engineering '14 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2014 /
Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch, editors
Call Number: QA76.88

Human centered computing : first International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised selected papers /
Qiaohong Zu, Bo Hu, Ning Gu, Sopheap Seng (eds.)
Call Number: QA76.5915

Impact of visual simulations in statistics : the role of interactive visualizations in improving statistical knowledge /
Glena Iten
Call Number: QA76.9.I52

In memory data management and analysis : first and second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised selected papers /
Arun Jagatheesan, Justin Levandoski, Thomas Neumann, Andrew Pavlo (eds.)
Call Number: QA76.9.M45

Information Security and Cryptology : 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers [Elektronische Daten]
edited by Dongdai Lin, Moti Yung, Jianying Zhou
Call Number: QA76.9.A25

Information security and cryptology -- ICISC 2014 : 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised selected papers /
Jooyoung Lee, Jongsung Kim (eds.)
Call Number: QA76.9.A25

Information security applications : 15th International Workshop, WISA 2014, Jeju Island, Korea, August 25-27, 2014 : revised selected papers /
Kyung-Hyune Rhee, Jeong Hyun Yi (Eds.)
Call Number: QA76.9.A25

Information systems design and intelligent applications : proceedings of Second International Conference INDIA 2015.
J. K. Mandal, Suresh Chandra Satapathy, Manas Kumar Sanyal, Partha Pratim Sarkar, Anirban Mukhopadhyay, editors
Call Number: QA76.9.S88

Information systems design and intelligent applications : proceedings of Second International Conference INDIA 2015.
J. K. Mandal, Suresh Chandra Satapathy, Manas Kumar Sanyal, Partha Pratim Sarkar, Anirban Mukhopadhyay, editors
Call Number: QA76.9.S88

Information systems reengineering, integration and normalization
Joseph Shi Piu Fong
Call Number: QA76.758

Intelligent computation in big data era : International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2015, Harbin, China, January 10-12, 2015. Proceedings /
Hongzhi Wang [and 7 more] (eds.)
Call Number: QA76.9.D32

Intelligent computing and applications : proceedings of the International Conference on ICA, 22--24 December 2014 /
Durbadal Mandal, Rajib Kar, Swagatam Das, Bijaya Ketan Panigrahi, editors
Call Number: QA75.5

Interoperability and open-source solutions for the internet of things : International Workshop, FP7 OpenIoT Project, held in conjunction with SoftCOM 2014, Split, Croatia, September 18, 2014, Invited papers /
Ivana Podnar Žarko, Krešimir Pripužić, Martin Serrano (eds.)
Call Number: QA76.5915

Interpreting categorical and quantitative data. Practice 1
Call Number: QA276.2 .I68 2015

Interpreting categorical and quantitative data. Practice 2
Call Number: QA276.2 .I682 2015

Introduction to Quantum Information Science [electronic resource]
by Masahito Hayashi, Satoshi Ishizaka, Akinori Kawachi, Gen Kimura, Tomohiro Ogawa
Call Number: QA76.889

Java closures and Lambda
by Robert Fischer
Call Number: QA76.73.J38

Job scheduling strategies for parallel processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised selected papers /
Walfredo Cirne, Narayan Desai (eds.)
Call Number: QA76.58

Knowledge-based information systems in practice
Jeffrey W. Tweedale, Lakhmi C. Jain, Junzo Watada, Robert J. Howlett, editors
Call Number: QA76.76.E95

Languages : Selected Contributions from FDL 2013 : Selected Contributions from FDL 2013 [electronic resource]
Call Number: QA76.9.S88

Lightweight cryptography for security and privacy : third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised selected papers /
Thomas Eisenbarth, Erdinç Öztürk (eds.)
Call Number: QA76.9.A25

Managing Agile : strategy, implementation, organisation and people /
Alan Moran
Call Number: QA76.76.D47

Mapping urban practices through mobile phone data
Paola Pucci, Fabio Manfredini, Paolo Tagliolato
Call Number: QA76.9.D343

Microsoft Access 2010. Basic
Call Number: QA76.9.D3 M53 2014

Migrating to Swift from web development
Sean Liao, Mark Punak
Call Number: QA76.76.A65

More iPhone development with Swift : exploring the iOS SDK /
David Mark, Jayant Varma, Jeff LaMarche, Alex Horovitz, Kevin Kim
Call Number: QA76.76.A65

More than Moore technologies for next generation computer design
Rasit O. Topaloglu, editor
Call Number: TK7885

Multi-agent-based simulation XV : International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised selected papers /
Francisco Grimaldo, Emma Norling (eds.)
Call Number: QA76.76.I58

Multimedia Data Mining and Analytics : Disruptive Innovation [Elektronische Daten]
edited by Aaron K. Baughman, Jiang Gao, Jia-Yu Pan, Valery A. Petrushin
Call Number: QA76.575

MultiMedia modeling : 21st International Conference, MMM 2015, Sydney, NSW, Australia, January 5-7, 2015, Proceedings.
Xiangjian He, Suhuai Luo, Dacheng Tao, Changsheng Xu, Jie Yang, Muhammad Abul Hasan (eds.)
Call Number: QA76.575

Multimodal analyses enabling artificial agents in human-machine interaction : second International Workshop, MA3HMI 2014, held in conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised selected papers /
Ronald Böck, Francesca Bonin, Nick Campbell, Ronald Poppe (eds.)
Call Number: QA76.9.H85

Multimodal pattern recognition of social signals in human-computer-interaction : third IAPR TC3 Workshop, MPRSS 2014, Stockholm, Sweden, August 24, 2014, Revised selected papers /
Friedhelm Schwenker, Stefan Scherer, Louis-Philippe Morency (eds.)
Call Number: QA76.9.H85

Multiphysics modelling and simulation for systems design and monitoring : proceedings of the Multiphysics Modelling and Simulation for Systems Design Conference, MMSSD 2014, 17-19 December, Sousse, Tunisia /
Mohamed Haddar [and 7 others]
Call Number: QA76.9.S88

Multiprocessor scheduling for real-time systems
Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
Call Number: QA76.54

Multivariate density estimation : theory, practice, and visualization /
David W. Scott
Call Number: QA276.8

New challenges for data design
David Bihanic, editor
Call Number: QA76.9.D26

New trends in intelligent information and database systems
Dariusz Barbucha, Ngoc Thanh Nguyen, John Batubara, editors
Call Number: Q335

New trends in networking, computing, e-learning, systems sciences, and engineering
Khaled Elleithy, Tarek Sobh, editors
Call Number: QA75.5

Next frontier in agent-based complex automated negotiation
Katsuhide Fujita, Takayuki Ito, Minjie Zhang, Valentin Robu, editors
Call Number: QA76.76.I58

Numerical mathematics and advanced applications ENUMATH 2013 : proceedings of ENUMATH 2013, the 10the European Conference on Numerical Mathematics and Advanced Applications, Laussanee, August 2013 /
Assyr Abdulle [and four others], editors
Call Number: QA76.9.M35 .E976 2015eb

Numerical methods and applications : 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised selected papers /
Ivan Dimov, Stefka Fidanova, Ivan Lirkov (eds.)
Call Number: QA297

Numerical PDE-constrained optimization
Juan Carlos De los Reyes
Call Number: QA402.5

Oracle RMAN database duplication
Darl Kuhn
Call Number: QA76.9.D348

Parallel Scientific Computing : Theory, Algorithms, and Applications of Mesh Based and Meshless Methods [Elektronische Daten]
by Roman Trobec, Gregor Kosec
Call Number: QA76.9.C65

Pattern recognition applications and methods : International Conference, ICPRAM 2013, Barcelona, Spain, February 15-18, 2013, Revised selected papers /
Ana Fred, Maria De Marsico, editors
Call Number: Q327

Performance characterization and benchmarking : traditional to big data : 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1-5, 2014. Revised selected papers /
Raghunath Nambiar, Meikel Poess (eds.)
Call Number: QA76.545

Practical business analytics using SAS : a hands-on guide /
Venkat Reddy Konasani, Shailendra Kadre
Call Number: QA76.73.S27

Practical C++ financial programming
Carlos Oliveira
Call Number: QA76.73.C153

Practical enterprise software development techniques : tools and techniques for large scale solutions /
Edward Crookshanks
Call Number: QA76.76.D47

Principles of Security and Trust : 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings [Elektronische Daten]
edited by Riccardo Focardi, Andrew Myers
Call Number: QA76.9.A25

Pro Android games
Massimo Nardone, Vladimir Silva
Call Number: QA76.76.A65

Pro design patterns in Swift
Adam Freeman
Call Number: QA76.76.A65

Pro T-SQL programmer's guide
Miguel Cebollero, Michael Coles, and Jay Natarajan
Call Number: QA76.73.S67 C65 2015

Probability collectives : a distributed multi-agent system approach for optimization /
Anand Jayant Kulkarni, Kang Tai, Ajith Abraham
Call Number: QA76.76.I58

Proceedings of fourth International Conference on Soft Computing for Problem Solving : SocProS 2014.
Kedar Nath Das, Kusum Deep, Millie Pant, Jagdish Chand Bansal, Atulya Nagar, editors
Call Number: QA76.9.S63

Proceedings of fourth International Conference on Soft Computing for Problem Solving : SocProS 2014.
Kedar Nath Das, Kusum Deep, Millie Pant, Jagdish Chand Bansal, Atulya Nagar, editors
Call Number: QA76.9.S63

Proceedings of the 4th International Conference on Computer Engineering and Networks : CENet2014 /
W. Eric Wong, editor
Call Number: TK7885.A1

Programming Smalltalk -- object-orientation from the beginning : an introduction to the principles of programming /
Johannes Brauer
Call Number: QA76.64

Progress in cryptology - LATINCRYPT 2014 : third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17-19, 2014 Revised selected papers /
Diego F. Aranha, Alfred Menezes (eds.)
Call Number: QA76.9.A25

Provenance and annotation of data and processes : 5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised selected papers /
Bertram Ludäscher, Beth Plale (eds.)
Call Number: QA76.9.D3

Public-key cryptography -- PKC 2015 : 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30-April 1, 2015, Proceedings /
Jonathan Katz (eds.)
Call Number: QA76.9.A25

R for marketing research and analytics
Chris Chapman, Elea McDonnell Feit
Call Number: QA276.45.R3

Ready : a commodore 64 retrospective /
Roberto Dillon
Call Number: QA76.8.C66

Recommendation and search in social networks
Özgür Ulusoy, Abdullah Uz Tansel, Erol Arkun, editors
Call Number: QA76.9.I58

Requirements engineering : foundation for software quality : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /
edited by Samuel A. Fricker, Kurt Schneider
Call Number: QA76.758

Schaum's outline of theory and problems of statistics
Murray R. Spiegel
Call Number: QA276.2 .S65 1999

Selected applications of convex optimization
Li Li
Call Number: QA402.5

Semantic technology : 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised selected papers /
Thepchai Supnithi, Takahira Yamaguchi, Jeff Z. Pan, Vilas Wuwongse, Marut Buranarach (eds.)
Call Number: QA76.5913

Shape understanding system : machine understanding and human understanding /
Zbigniew Les, Magdalena Les
Call Number: Q325.5

Smart card research and advanced applications : 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised selected papers /
Marc Joye, Amir Moradi (eds.)
Call Number: TK7895.S62

Smart modeling and simulation for complex systems : practice and theory /
Quan Bai, Fenghui Ren, Minjie Zhang, Takayuki Ito, Xijin Tang, editors
Call Number: Q335

SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings /
Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer (eds.)
Call Number: QA75.5

Soft computing in computer and information science
Antoni Wiliński, Imed El Fray, Jerzy Pejaś, editors
Call Number: QA76.9.S63

Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
Carlos Canal, Akram Idani (eds.)
Call Number: QA76.758

Software engineering for collective autonomic systems : the ASCENS Approach /
Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.)
Call Number: QA76.758

Software quality : Software and systems quality in distributed and mobile environments : 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings /
Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)
Call Number: QA76.76.Q35

Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
Rocco de Nicola, Rolf Hennicker (eds.)
Call Number: QA76.758 .S64 2015

Solving software challenges for exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised selected papers /
Stefano Markidis, Erwin Laure (eds.)
Call Number: QA76.751

Some current advanced researches on information and computer science in Vietnam : post-proceedings of The First NAFOSTED Conference on Information and Computer Science /
Quang A. Dang, Xuan Hoai Nguyen, Hoai Bac Le, Viet Ha Nguyen, Vo Nguyen Quoc Bao, editors
Call Number: QA75.5

Stochastic control theory : dynamic programming principle /
Makiko Nisio
Call Number: QA402.37

Stripes by example
by Brent Watson
Call Number: QA76.76.A65

Study guide for statistics for business and financial economics : a supplement to the textbook by Cheng-Few Lee, John C. Lee and Alice C. Lee [electronic resource]
Ronald L. Moy, Li-Shiya Chen, Lie Jane Kao
Call Number: QA276.2

Sudoku programming with C
Giulio Zambon
Call Number: QA76.73.C15

Supercomputing for Molecular Dynamics Simulations : Handling Multi-Trillion Particles in Nanofluidics [Elektronische Daten]
by Alexander Heinecke, Wolfgang Eckhardt, Martin Horsch, Hans-Joachim Bungartz
Call Number: QA76.9.E94

Sustained simulation performance 2014 : proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2014 /
Michael M. Resch, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi, Nisarg Patel, editors
Call Number: QA76.88

Technological Innovation for Cloud-Based Engineering Systems : 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings [Elektronische Daten]
edited by Luis M. Camarinha-Matos, Thais A. Baldissera, Giovanni Di Orio, Francisco Marques
Call Number: QA76.76.A65

The internet of things
Samuel Greengard
Call Number: TK7895.E43 G74 2015

The tao of statistics : a path to understanding (with no math) /
Dana K. Keller, Halcyon Research, Inc. ; illustrated by Helen Cardiff
Call Number: QA276 .K253 2016

Theory of cryptography : 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings.
Yevgeniy Dodis, Jesper Buus Nielsen (eds.)
Call Number: QA76.9.A25

Theory of cryptography : 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings.
Yevgeniy Dodis, Jesper Buus Nielsen (eds.)
Call Number: QA76.9.A25

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings [Elektronische Daten]
edited by Christel Baier, Cesare Tinelli
Call Number: QA76.9.L63

Topics in Cryptology -- CT-RSA 2015 : The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings [Elektronische Daten]
edited by Kaisa Nyberg
Call Number: QA76.9.A25

Transactional memory : foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 /
Rachid Guerraoui, Paolo Romano (eds.)
Call Number: QA76.545

Transactions on aspect-oriented software development XII
Shigeru Chiba, Éric Tanter , Erik Ernst, Robert Hirschfeld (eds.)
Call Number: QA76.76.D47

Transactions on large-scale data- and knowledge-centered systems XIX : special issue on big data and open data /
Abdelkader Hameurlain [and more] (eds.)
Call Number: QA76.9.D32

Transactions on large-scale data- and knowledge-centered systems XVII : selected papers from DaWaK 2013 /
Abdelkader Hameurlain, Josef Küng, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania (eds.)
Call Number: QA76.9.D37

Transactions on large-scale data- and knowledge-centered systems XVIII : special issue on database- and expert-systems applications /
Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link (eds.)
Call Number: QA76.9.D32

Transactions on large-scale data- and knowledge-centered systems XX : special issue on advances techniques for big data management /
Abdelkader Hameurlain [and more] (eds.)
Call Number: QA76.9.D3

Trends in functional programming : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised selected papers /
Jurriaan Hage, Jay McCarthy (eds.)
Call Number: QA76.62

Ubiquitous computing application and wireless sensor : UCAWSN-14 /
James J. (Jong Hyuk) Park, Yi Pan, Han-Chieh Chao, Gangman Yi, editors
Call Number: QA76.5915

Ubiquitous computing in the workplace : what ethical issues? an interdisciplinary perspective /
Katharina Kinder-Kurlanda, Céline Ehrwein Nihan, editors
Call Number: QA76.5915

UML classroom : an introduction to object-oriented modeling /
Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel
Call Number: QA76.9.O35

Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised selected papers /
David Naumann (ed.)
Call Number: QA76.6

Virtual Realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers [Elektronische Daten]
edited by Guido Brunnett, Sabine Coquillart, Robert van Liere, Gregory Welch, Libor Váša
Call Number: QA76.9.U83

WALCOM : algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings /
edited by M. Sohel Rahman, Etsuji Tomita
Call Number: QA76.9.A43

3640 Colonel Glenn Highway, Dayton, Ohio 45435. Phone: (937) 775-2525