Computer Science

Items Acquired in June 2014 for the University Libraries

A survivor's guide to R : an introduction for the uninitiated and the unnerved /
Kurt Taylor Gaubatz
Call Number: QA276.45.R3 G38 2015

Advanced data mining and applications : 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings.
Hiroshi Motoda... [and 5 more] (eds.)
Call Number: QA76.9.D343

Advances in multimedia information processing -- PCM 2013 : 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings /
Benoit Huet...[and more] (eds.)
Call Number: QA76.575 .P33 2013

Advances in service-oriented and cloud computing : workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, revised selected papers /
Carlos Canal, Massimo Villari (eds.)
Call Number: QA76.585

Algorithms and architectures for parallel processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings.
Joanna Kołodziej, Beniamino Martino, Domenico Talia, Kaiqi Xiong (eds.)
Call Number: QA76.58

Algorithms and architectures for parallel processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings.
Rocco Aversa, Joanna Kołodziej, Jun Zhang, Flora Amato, Giancarlo Fortino (eds.)
Call Number: QA76.58

Algorithms and computation : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings /
edited by Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam
Call Number: QA76.9.A43

Android game recipes : a problem-solution approach [electronic resource]
J.F. DiMarzio ; technical reviewer, Jim Graham
Call Number: QA76.76.C672 D582 2013eb

Beginning Android C++ game development [electronic resource]
Bruce Sutherland
Call Number: QA76.73.C153 S88447 2013

Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
edited by Georges Gonthier, Michael Norrish
Call Number: QA76.9.M35

Cloud Computing and Services Science : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012, revised selected papers /
Ivan I. Ivanov, Marten van Sinderen, Frank Leymann, Tony Shan (eds.)
Call Number: QA76.758

Control system analysis and design
A K Tripathi, Dinesh Chandra
Call Number: QA402.3 .T75 2014

Critical Information Infrastructures Security : 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers /
edited by Eric Luiijf, Pieter Hartel
Call Number: QA76.9.A25

Critical infrastructure protection VII : 7th IFIP WG 11.10 International Conference, ICCIP 2013, Washington, DC, USA, March 18-20, 2013, revised selected papers /
Jonathan Butts, Sujeet Shenoi (eds.)
Call Number: QA76.9.A25

Cryptography and coding : 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings /
Martijn Stam (ed.)
Call Number: QA76.9.A25

Design science : perspectives from Europe. European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, revised selected papers /
Markus Helfert, Brian Donnellan (eds.)
Call Number: QA76.9.M3

Digital asset management : content architectures, project management, and creating order out of media chaos /
Elizabeth Ferguson Keathley
Call Number: QA76.575 .K43 2014

Engineering multi-agent systems : first International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /
Massimo Cossentino, Amal Fallah Seghrouchni, Michael Winikoff (eds.)
Call Number: QA76.76.I58

Evaluation of novel approaches to software engineering : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised selected papers /
Leszek A. Maciaszek, Joaquim Filipe (eds.)
Call Number: QA76.758 .E53 2011

Evaluation of novel approaches to software engineering : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised selected papers /
Joaquim Filipe, Leszek A. Maciaszek (eds.)
Call Number: QA76.758 .E53 2013

Evolving Ambient Intelligence : AmI 2013 Workshops, Dublin, Ireland, December 3-5, 2013, revised selected papers /
Michael J. O'Gracy [and 6 others], (eds.)
Call Number: QA76.76.A65

Exploring C++ 11 : problems and solutions handbook [electronic resource]
Ray Lischner ; technical reviewers, Fabio Claudio Ferracchiati, Stefan Turalski
Call Number: QA76.73.C153 L57 2013eb

Gröbner bases : statistics and software systems [electronic resource]
Takayuki Hibi, editor
Call Number: QA276

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

High-performance computing on complex environments
Emmanuel Jeannot, Julius Zilinskas
Call Number: QA76.88

Information computing and applications : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, revised selected papers.
Yuhang Yang, Maode Ma, Baoxiang Liu (eds.)
Call Number: QA75.5

Information systems security : 9th international conference, ICISS 2013, Kolkata, India, December 16-20, 2013, proceedings /
Aditya Bagchi, Indrakshi Ray (eds.)
Call Number: QA76.9.A25 I25 2013

Knowledge discovery, knowledge engineering and knowledge management : 4th International Joint Conference, IC3K 2012, Barcelona, Spain, October 4-7, 2012, Revised selected papers /
Ana Fred...[et al.] (eds.)
Call Number: QA76.9.D343

Linked data and knowledge graph : 7th Chinese Semantic Web Symposium and 2nd Chinese Web Science Conference, CSWS 2013, Shanghai, China, August 12-16, 2013, revised selected papers /
Guilin Qi, Jie Tang, Jianfeng Du, Jeff Z. Pan, Yong Yu (eds.)
Call Number: QA76.9.D343

Matematica numerica : esercizi, laboratori e progetti /
Alfio Quarteroni
Call Number: QA297

Mining intelligence and knowledge exploration : first International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings /
Rajendra Prasath, T. Kathirvalavakumar (eds.)
Call Number: QA76.9.D343

Nature-inspired optimization algorithms
by Xin-She Yang, School of Science and Technology, Middlesex University London, London
Call Number: QA402.5 .Y364 2014

Pattern recognition and machine intelligence : 5th international conference, PReMI 2013, Kolkata, India, December 10-14, 2013 : proceedings /
Pradipta Maji, [and 4 others] (eds.)
Call Number: Q327 .I58 2013

PHP obejcts, patterns, and practice
Matt Zandstra
Call Number: QA76.73.P224

Principles of distributed systems : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings /
Roberto Baldoni, Nicolas Nisse, Maarten van Steen (eds.)
Call Number: QA76.9.D5 O66 2013

Pro asynchronous programming with .NET
by Richard Blewett, Andrew Clymer
Call Number: QA76.76.M52

Pro NuGet
Maarten Balliauw, Xavier Decoster
Call Number: QA76.6

Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
edited by Chung-chieh Shan
Call Number: QA76.7

Security and privacy in communication networks : 9th International ICST Conference, SecureComm 2013, Sydney, NSW, Australia, September 25-28, 2013, revised selected papers /
Tanveer Zia, Albert Zomaya, Vijay Varadharajan, Morley Mao (eds.)
Call Number: QA76.9.A25

Software and data technologies : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, revised selected papers /
José Cordeiro, Slimane Hammoudi, Marten van Sinderen (eds.)
Call Number: QA76.758

Software architecture. 1 : edited by Mourad Chabane Oussalah
Call Number: QA76.758 .S64 2014

Statistics for political analysis : understanding the numbers /
Theresa Marchant-Shapiro, Southern Connecticut State University
Call Number: QA276.12 .M37 2015

Statistics in action : a Canadian outlook /
edited by Jerald F. Lawless
Call Number: QA276.15 .S74 2014

Swarm, evolutionary, and memetic computing : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings.
Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash (eds.)
Call Number: QA76.618

Swarm, evolutionary, and memetic computing : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings.
edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash
Call Number: QA76.618

The R software : fundamentals of programming and statistical analysis /
Pierre Lafaye de Micheaux, Rémy Drouilhet, Benoit Liquet
Call Number: QA276.45.R3

Understanding machine learning : from theory to algorithms /
Shai Shalev-Shwartz, Shai Ben-David
Call Number: Q325.5 .S475 2014

Unsupervised learning : a dynamic approach /
Matthew Kyan, Paisarn Muneesawang, Kambiz Jarrah, Ling Guan
Call Number: QA76.9.D3

User-level workflow design : a bioinformatics perspective /
Anna-Lena Lamprecht
Call Number: QA76.76.A65

Very large data bases : proceedings /
International Conference on Very Large Data Bases
Call Number: QA76.9.D3 I585

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