Computer Science

Items Acquired in May 2015 for the University Libraries

Accountability and security in the cloud : First Summer School, Cloud Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014, Revised selected papers and lectures /
Massimo Felici, Carmen Fernández-Gago (eds.)
Call Number: QA76.585

Advances in cryptology -- EUROCRYPT 2015 : 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings.
edited by Elisabeth Oswald, Marc Fischlin
Call Number: QA76.9.A25

Advances in cryptology-- EUROCRYPT 2015 : 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings.
edited by Elisabeth Oswald, Marc Fischlin
Call Number: QA76.9.A25

Advances in knowledge discovery and data mining : 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings.
Tru Cao, Ee-Peng Lim, Zhi-Hua Zhou, Tu-Bao Ho, David Cheung, Hiroshi Motoda (eds.)
Call Number: QA76.9.D343

Applied reconfigurable computing : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /
Kentaro Sano, Dimitrios Soudris, Michael Hübner, Pedro C. Diniz (eds.)
Call Number: QA76.9.A3

Approximation and online algorithms : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised selected papers /
Evripidis Bampis, Ola Svensson (eds.)
Call Number: QA76.9.A43

Aspect-oriented security hardening of UML design models
Djedjiga Mouheb [and 8 more]
Call Number: QA76.76.D47

Beginning Android wearables
Andres Calvo
Call Number: QA76.592

Beyond basic statistics : tips, tricks, and techniques every data analyst should know /
K.H. Jarman
Call Number: QA276

Beyond databases, architectures and structures : 11th International Conference, BDAS 2015, Ustroń, Poland, May 26-29, 2015, Proceedings /
Stanisław Kozielski, Dariusz Mrozek, Paweł Kasprowski, Bozena Małysiak-Mrozek, Daniel Kostrzewa (eds.)
Call Number: QA76.9.D32

Cloud services, networking, and management
Nelson L. S. da Fonseca, Raouf Boutaba
Call Number: QA76.585

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 /
Björn Franke (ed.)
Call Number: QA76.76.C65

Computational intelligence for big data analysis : frontier advances and applications /
D.P. Acharjya, Satchidananda Dehuri, Sugata Sanyal, editors
Call Number: QA76

Computational linguistics and intelligent text processing : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings.
Alexander Gelbukh (ed.)
Call Number: QA76.9.T48

Computational linguistics and intelligent text processing : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings.
Alexander Gelbukh (ed.)
Call Number: QA76.9.T48

Computer-human interaction : cognitive effects of spatial interaction, learning, and ability : 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and extended papers /
Theodor Wyeld, Paul Calder, Haifeng Shen (eds.)
Call Number: QA76.9.H85

Context-free languages and primitive words
by Pál Dömösi (Nyíregyháza College, Hungary), Masami Ito (Kyoto Sangyo University, Japan)
Call Number: QA76.167 .D66 2015

Coordination models and languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Tom Holvoet, Mirko Viroli (eds.)
Call Number: QA76.758

Cyber warfare : building the scientific foundation /
Sushil Jajodia, Paulo Shakarian, V.S. Subrahmanian, Vipin Swarup, Cliff Wang, editors
Call Number: QA76.9.A25

Data mining : the textbook /
Charu C. Aggarwal
Call Number: QA76.9.D343

Data, now bigger and better!
edited and with an introduction by Tom Boellstorff and Bill Maurer
Call Number: QA76.9.D343 D385 2015

Database systems for advanced applications : 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings.
Matthias Renz, Cyrus Shahabi, Xiaofang Zhou, Muhammad Aamir Cheema (eds.)
Call Number: QA76.9.D32

Database systems for advanced applications : 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings.
Matthias Renz, Cyrus Shahabi, Xiaofang Zhou, Muhammad Aamir Cheema (eds.)
Call Number: QA76.9.D32

Discrete and continuous simulation : theory and practice /
Susmita Bandyopadhyay, Ranjan Bhattacharya
Call Number: QA76.9.C65 B36 2014

Efficient learning machines : theories, concepts, and applications for engineers and system Designers /
Mariette Awad, Rahul Khanna
Call Number: Q325.5

Electrospinning for high performance sensors
Antonella Macagnano, Emiliano Zampetti, Erich Kny, editors
Call Number: QA76.88

Encyclopedia of new media : an essential reference to communication and technology [electronic resource]
Steve Jones, editor
Call Number: QA76.575 .E5368 2003eb

Fast software encryption : 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised selected papers /
Carlos Cid, Christian Rechberger (eds.)
Call Number: QA76.9.A25

Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers /
Cyrille Artho, Peter Csaba Ölveczky (eds.)
Call Number: QA76.9.F67

Foundations and practice of security : 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised selected papers /
Frédéric Cuppens, Joaquin Garcia-Alfaro, Nur Zincir Heywood, Philip W. L. Fong (eds.)
Call Number: QA76.9.A25

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 /
Andrew Pitts (ed.)
Call Number: QA76.751

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 /
Alexander Egyed, Ina Schaefer (eds.)
Call Number: QA76.758

Great principles of computing
Peter J. Denning and Craig H. Martell
Call Number: QA76 .D3483 2015

Green in software engineering
Coral Calero, Mario Piattini, editors
Call Number: QA76.758

Guide to dataflow supercomputing : basic concepts, case studies, and a detailed example /
Veljko Milutinović, Jakob Salom, Nemanja Trifunovic, Roberto Giori
Call Number: QA76.88

High performance computing for computational science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers /
Michel Daydé, Osni Marques, Kengo Nakajima (eds.)
Call Number: QA76.88

High performance computing systems : performance modeling, benchmarking, and simulation : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised selected papers /
Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond (eds.)
Call Number: QA76.88

Information security education across the curriculum : 9th IFIP WG 11.8 World Conference, WISE 9, Hamburg, Germany, May 26-28, 2015, Proceedings /
edited by Matt Bishop, Natalia Miloslavskaya, Marianthi Theocharidou
Call Number: QA76.9.A25

Information Security Practice and Experience : 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015, Proceedings /
edited by Javier Lopez, Yongdong Wu
Call Number: QA76.9.A25

Information theoretic security : 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings /
Anja Lehmann, Stefan Wolf (eds.)
Call Number: QA76.9.A25

Informing energy and climate policies using energy systems models : insights from scenario analysis increasing the evidence base /
George Giannakidis, Maryse Labriet, Brian Ó Gallachóir, GianCarlo Tosato, editors
Call Number: QA76.9.C65

Integration of AI and OR techniques in constraint programming : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /
Laurent Michel (ed.)
Call Number: QA76.612

Intelligent interactive multimedia systems and services in practice
George A. Tsihrintzis, Maria Virvou, Lakhmi C. Jain, Robert J. Howlett, Toyohide Watanabe, editors
Call Number: QA76.76.I59

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning /
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
Call Number: QA76.63

Introduction to nonlinear optimization : theory, algorithms, and applications with MATLAB /
Amir Beck, Technion-Israel Institute of Technology, Kfar Saba, Israel
Call Number: QA402.5 .B4224 2014

Knowledge discovery, knowledge engineering and knowledge management : 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised selected papers /
Ana Fred, Jan L.G. Dietz, Kecheng Liu, Joaquim Filipe (eds.)
Call Number: QA76.9.D343

Knowledge engineering and knowledge management : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised selected papers /
Patrick Lambrix [and 7 more] (eds.)
Call Number: QA76.76.E95

Languages and compilers for parallel computing : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised selected papers /
James Brodman, Peng Tu (eds.)
Call Number: QA76.58

Latest advances in inductive logic programming
Stephen Muggleton, Imperial College London, UK, Hiroaki Watanabe, Imperial College London, UK
Call Number: QA76.63 .M84 2014

Leakage resilient password systems
Lingjiu Li, Qiang Yan, Robert H. Deng
Call Number: QA76.9.A25

Learn JavaFX 8 : building user experience and interfaces with Java 8 /
Kishori Sharan
Call Number: QA76.9.U83

Learn Swift on the Mac : for OS X and iOS /
Waqar Malik
Call Number: QA76.76.A63

Linear stochastic systems : a geometric approach to modeling, estimation and identification /
Anders Lindquist, Giorgio Picci
Call Number: QA402

Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /
Maurizio Proietti, Hirohisa Seki (eds.)
Call Number: QA76.63

MATLAB numerical calculations
César Pérez López
Call Number: QA297 .P47 2014

Model-integrating software components : engineering flexible software systems /
Mahdi Derakhshanmanesh ; with a foreword by Prof. Dr. Jürgen Ebert
Call Number: QA76.758

Multi-agent systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised selected papers /
Nils Bulling (ed.)
Call Number: QA76.76.I58

Multimedia data mining and analytics : disruptive innovation /
Aaron K. Baughman, Jiang Gao, Jia-Yu Pan, Valery A. Petrushin, editors
Call Number: QA76.9.D343

NASA formal methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.)
Call Number: QA76.9.F67

New frontiers in mining complex patterns : third International Workshop, NFMCP 2014, held in conjunction with ECML-PKDD 2014, Nancy, France, September 19, 2014, Revised selected papers /
Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew W. Ras (eds.)
Call Number: QA76.9.D343

New horizons in design science : broadening the research agenda : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings /
Brian Donnellan, Markus Helfert, Jim Kenneally, Debra VanderMeer, Marcus Rothenberger, Robert Winter (eds.)
Call Number: QA76.9.S88

Numerical analysis using Sage
George A. Anastassiou, Razvan A. Mezei
Call Number: QA297

Open source systems : adoption and impact : 11th IFIP WG 2.13 International Conference, OSS 2015, Florence, Italy, May 16-17, 2015, Proceedings /
Ernesto Damiani, Fulvio Frati, Dirk Riehle, Anthony I. Wasserman (eds.)
Call Number: QA76.76.S46

Pattern and security requirements : engineering-based establishment of security standards /
Kristian Beckers
Call Number: QA76.9.A25

Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers /
Andrei Voronkov, Irina Virbitskaite (eds.)
Call Number: QA76.758

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 /
Riccardo Focardi, Andrew Myers (eds.)
Call Number: QA76.9.A25

Pro Grunt.js
James Cryer
Call Number: QA76.73.J39

Programming languages and systems : 24th European Symposium on Programming, ESOP 2015, held as art of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Jan Vitek (ed.)
Call Number: QA76.6

Quantitative assessments of distributed systems : methodologies and techniques /
edited by Dario Bruneo and Salvatore Distefano
Call Number: QA76.9.E94

Real-time visual effects for game programming
Chang-Hun Kim, Sun-Jeong Kim, Soo-Kyun Kim, Shin-Jin Kang
Call Number: QA76.76.C672

Resilient computer system design
Victor Castano, Igor Schagaev
Call Number: QA76.9.F38

Risks and security of internet and systems : 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014. Revised selected papers /
Javier Lopez, Indrajit Ray, Bruno Crispo (eds.)
Call Number: QA76.76.I58

Smoothed particle hydrodynamics : a meshfree particle method /
G.R. Liu and M.B. Liu
Call Number: QA297 .L58 2003

Software project estimation : the fundamentals for providng high quality information to decision makers /
Alain Abran
Call Number: QA76.76.D47

Software sourcing in the age of open : leveraging the unknown workforce /
Pär J. Ågerfalk, Brian Fitzgerald, Klaas-Jan Stol ; foreword by Matt Germonprez and Joseph Feller
Call Number: QA76.76.D47

Statistical learning and data sciences : third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings /
Alexander Gammerman, Vladimir Vovk, Harris Papadopoulos (eds.)
Call Number: Q325.5

Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /
Shaoying Liu, Zhenhua Duan (eds.)
Call Number: QA76.9.L63

The new statistics with R : an introduction for biologists /
Andy Hector
Call Number: QA276.45.R3 .H438 2015eb

The semantic web : ESWC 2012 Satellite Events : ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised selected papers /
Elena Simperl, [and more] (eds.)
Call Number: QA75.5

Theory and applications of models of computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
Rahul Jain, Sanjay Jain, Frank Stephan (eds.)
Call Number: QA76.9.M35

Thinking ahead-- essays on big data, digital revolution, and participatory market society
Dirk Helbing
Call Number: QA76.9.D343

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 /
Christel Baier, Cesare Tinelli (eds.)
Call Number: QA76.9.S88

Transactions on data hiding and multimedia security X
Yun Q. Shi (ed.)
Call Number: QA76.9.A25

Trust management IX : 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings /
Christian Damsgaard Jensen, Stephen Marsh, Theo Dimitrakos, Yuko Murayama (eds.)
Call Number: QA76.9.A25

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

Variational analysis in Sobolev and BV spaces : applications to PDEs and optimization /
Hedy Attouch, Université Montpellier II, Montpellier, France, Giuseppe Buttazzo, Università di Pisa, Pisa, Italy, Gérard Michaille, Université Montpellier II, Montpellier, France
Call Number: QA402.5 .A84 2014

Vehicle routing : problems, methods, and applications /
edited by Paolo Toth, Daniele Vigo
Call Number: QA402.6 .V44 2014

Virtual realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised selected papers /
Guido Brunnett, Sabine Coquillart, Robert van Liere, Gregory Welch, Libor Váša (eds.)
Call Number: QA76.9.V5

Visual inspection technology in the hard disk drive industry
edited by Paisarn Muneesawang, Suchart Yammen
Call Number: TK7887.8.D37

Windows 10 primer : what to expect from Microsoft's new operating system /
Mike Halsey, MVP
Call Number: QA76.774.M438

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