Computer Science

Items Acquired in August 2015 for the University Libraries

A multimodal end-2-end approach to accessible computing
Pradipta Biswas, Carlos Duarte, Patrick Langdon, Luis Almeida, editors
Call Number: QA76.9.H85

A route to chaos using FPGAs. Volume I, Experimental observations
Bharathwaj Muthuswamy, Santo Banerjee
Call Number: TK7895.G36

Advances in computers
Call Number: QA76 .A3

Advances in cryptology -- CRYPTO 2015 : 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.
Rosario Gennaro, Matthew Robshaw (Eds.)
Call Number: QA76.9.A25

Advances in cryptology -- CRYPTO 2015 : 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.
Rosario Gennaro, Matthew Robshaw (Eds.)
Call Number: QA76.9.A25

Advances in data mining : applications and theoretical aspects : 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015, Proceedings /
Petra Perner (ed.)
Call Number: QA76.9.D343

Advances in neural networks : computational and theoretical issues /
Simone Bassis, Anna Esposito, Francesco Carlo Morabito, editors
Call Number: QA76.87

Advances in social media analysis
Mohamed Medhat Gaber, Mihaela Cocea, Nirmalie Wiratunga, Ayse Goker, editors
Call Number: QA76.9.D343

Agent and multi-agent systems : technologies and applications : 9th KES International Conference, KES-AMSTA 2015, Sorrento, Italy, June 2015, Proceedings /
Gordan Jezic, Robert J. Howlett, Lakhmi C. Jain, editors
Call Number: QA76.76.I58 K47 2015

Agents and data mining interaction : 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised selected papers /
Longbing Cao, Yifeng Zeng, Bo An, Andreas L. Symeonidis, Vladimir Gorodetsky, Frans Coenen, Philip S. Yu (eds.)
Call Number: QA76.76.I58

Algorithms and data structures : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 : proceedings /
Frank Dehne, Jörg-Rüdiger Sack, Ulrike Stege (eds.)
Call Number: QA76.9.D35 W33 2015

An introduction to machine learning
Miroslav Kubat
Call Number: Q325.5 .K83 2015eb

An introduction to Python and computer programming
Yue Zhang
Call Number: QA76.73.P98

Analog-digital converters for industrial applications including an introduction to digital-analog converters
Frank Ohnhäuser
Call Number: TK7887.6

Artificial intelligence applications in information and communication technologies
Yacine Laalaoui, Nizar Bouguila, editors
Call Number: Q335

Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings.
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (eds.)
Call Number: QA76.7

Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings.
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (eds.)
Call Number: QA76.7

Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
Amy P. Felty, Aart Middeldorp (Eds.)
Call Number: QA76.9.A96

Automatic SIMD vectorization of SSA-based control flow graphs
Ralf Karrenberg ; with a preface by Dr. Ayal Zaks
Call Number: QA76.5

Beginning app development with Parse and Phonegap
Wilkins Fernandez, Stephan Alber
Call Number: QA76.76.A65

Beginning C for Arduino : learn C programming for the Arduino /
Jack Purdum, Ph.D
Call Number: QA76.73.A73

Beginning HTML5 media : make the most of the new video and audio standards for the web /
Silvia Pfeiffer and Tom Green
Call Number: QA76.76.H94

Beginning Oracle database 12c administration : from novice to professional /
Ignatius Fernandez
Call Number: QA76.9.D3

Beginning Python games development : with Pygame /
Harrison Kinsley, Will McGugan
Call Number: QA76.73.P98

Behavior modeling -- foundations and applications : International Workshops, BM-FA 2009-2014, Revised selected papers /
Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth (eds.)
Call Number: QA76.9.H85

Big data : a primer /
Hrushikesha Mohanty, Prachet Bhuyan, Deepak Chenthati, editors
Call Number: QA76.9.D32

Big data benchmarking : 5th International Workshop, WBDB 2014, Potsdam, Germany, August 5-6- 2014, Revised selected papers /
Tilmann Rabl, Kai Sachs, Meikel Poess, Chaitanya Baru, Hans-Arno Jacobson (eds.)
Call Number: QA76.9.D32

Big data computing and communications : first International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings /
Yu Wang, Hui Xiong, Shlomo Argamon, XiangYang Li, JianZhong Li (eds.)
Call Number: QA76.9.D32

Building great software engineering teams : recruiting, hiring, and managing your team from startup to success /
Josh Tyler
Call Number: QA76.758

Building your next big thing with Google cloud platform : a guide for developers and enterprise architects /
S.P.T. Krishnan and Jose L. Ugia Gonzalez
Call Number: QA76.76.A65

Colliding bodies optimization : extensions and applications /
A. Kaveh, V.R. Mahdavi
Call Number: QA402.5

Combinatorial pattern matching : 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29-July 1, 2015, Proceedings /
Ferdinando Cicalese, Ely Porat, Ugo Vaccaro (eds.)
Call Number: QA76.9.A43

Communication and control : tools, systems, and new dimensions /
edited by Robert C. MacDougall
Call Number: QA76.9.H85 C654 2015

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings.
Osvaldo Gervasi [and 7 more] (eds.)
Call Number: QA75.5

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings.
Osvaldo Gervasi [and 7 more] (eds.)
Call Number: QA75.5

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings.
Osvaldo Gervasi [and 7 more] (eds.)
Call Number: QA75.5

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings.
Osvaldo Gervasi [and 7 more] (eds.)
Call Number: QA75.5

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings.
Osvaldo Gervasi [and 7 more] (eds.)
Call Number: QA75.5

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.
Daniel Kroening, Corina S. Păsăreanu (eds.)
Call Number: QA76.76.V47

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.
Daniel Kroening, Corina S. Păsăreanu (eds.)
Call Number: QA76.76.V47

Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
Lev D. Beklemishev, Daniil V. Musatov (eds.)
Call Number: QA75.5

Constructive side-channel analysis and secure design : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised selected papers /
Stefan Mangard, Axel Y. Poschmann (eds.)
Call Number: QA76.9.A25

Continuous and distributed systems II : theory and applications /
Viktor A. Sadovnichiy, Mikhail Z. Zgurovsky, editors
Call Number: QA76.9.D5

Correct software in web applications and web services
Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger, editors
Call Number: QA76.76.V47

Cross-cultural design : methods, practice and impact : 7th International Conference, CCD 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
edited by P.L.Patrick Rau
Call Number: QA76.9.H85

Cross-cultural design : applications in mobile interaction, education, health, transport and cultural heritage : 7th International Conference, CCD 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
P.L. Patrick Rau (ed.)
Call Number: QA76.9.H85

Cryptography and information security in the Balkans : first international conference, BalkanCryptSec 2014, Istanbul, Turkey, October 16-17, 2014, Revised selected papers /
Berna Ors, Bart Preneel (eds.)
Call Number: QA76.9.A25

Data and applications security and privacy XXIX : 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15, 2015, proceedings /
edited by Pierangela Samarati
Call Number: QA76.9.A25

Data integration in the life sciences : 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings /
edited by Naveen Ashish, Jose-Luis Ambite
Call Number: QA76.9.D338

Data science : 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings /
Sebastian Maneth (ed.)
Call Number: QA76.9.D32

Database systems for advanced applications : DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015 : revised selected papers /
An Liu, Yoshiharu Ishikawa, Tieyun Qian, Sarana Nutanong, Muhammad Aamir Cheema (Eds.)
Call Number: QA76.9.D32

Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Jeffrey Shallit, Alexander Okhotin (eds.)
Call Number: QA76.9.F67

Design and implementation of the MTX operating system
by K. C. Wang
Call Number: QA76.77

Design issues for service delivery platforms : incorporate user experience: a grounded theory study of individual user needs /
Martin Bergaus ; with a preface by Prof. Dr. Reinhold Behringer
Call Number: QA76.9.H85 B47 2015eb

Design, user experience, and usability : interactive experience design : 4th International Conference, DUXU 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
Aaron Marcus (ed.)
Call Number: QA76.9.U83

Design, user experience, and usability : design discourse : 4th International Conference, DUXU 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
Aaron Marcus (ed.)
Call Number: QA76.9.U83

Design, user experience, and usability : users and interactions : 4th International Conference, DUXU 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings. Part II
Aaron Marcus (ed.)
Call Number: QA76.9.U83

Designing socially embedded technologies in the real-world [electronic resource]
Volker Wulf, Kjeld Schmidt, David Randall, editors
Call Number: TK7895.E42 D47 2015eb

Detection of intrusions and malware, and vulnerability assessment : 12th International Conference, DIMVA 2015, Milan, Italy, July 9-10, 2015, Proceedings /
Magnus Almgren, Vincenzo Gulisano, Federico Maggi (eds.)
Call Number: QA76.9.A25

Digital human modeling : applications in health, safety, ergonomics and risk management: human modeling : 6th International Conference, DHM 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
edited by Vincent G. Duffy
Call Number: QA76.9.C65

Digital human modeling : applications in health, safety, ergonomics and risk management : ergonomics and health : 6th International Conference, DHM 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
Vincent G. Duffy (ed.)
Call Number: QA76.9.C65

Digital-forensics and watermarking : 13th International Workshop, IWDW 2014, Taipei, Taiwan, October 1-4, 2014 : revised selected papers [electronic resource]
Yun-Qing Shi, Hyoung Joong Kim, Fernando Pérez-González, Ching-Nung Yang (Eds.)
Call Number: QA76.9.A25

Distributed optimization-based control of multi-agent networks in complex environments
Minghui Zhu, Sonia Martinez
Call Number: QA76.76.I58

Distributed, ambient, and pervasive interactions : third International Conference, DAPI 2015, held as a part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings /
Norbert Streitz, Panos Markopoulos (eds.)
Call Number: QA76.9.H85

DNA computing and molecular programming : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /
Andrew Phillips, Peng Yin (eds.)
Call Number: QA76.887

Emerging Research in Computing, Information, Communication and Applications : ERCICA 2015.
N. R. Shetty, N.H. Prasad, N. Nalini, editors
Call Number: QA75.5

Encyclopedia of systems and control
John Baillieul, Tariq Samad, editors
Call Number: QA402.3

Euro-Par 2015 : parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
Jesper Larsson Träff, Sascha Hunold, Francesco Versaci (eds.)
Call Number: QA76.58

Experimental algorithms : 14th International Symposium, SEA 2015, Paris, France, June 29-July 1, 2015, Proceedings /
edited by Evripidis Bampis
Call Number: QA76.9.A43

Fault-tolerance techniques for high-performance computing [electronic resource]
Thomas Herault, Yves Robert, editors
Call Number: QA76.9.F38

Formal modeling and verification of cyber-physical systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
Rolf Drechsler, Ulrich Kühne (eds.)
Call Number: QA76.9.F67

Foundation mathematics for computer science : a visual approach /
John Vince
Call Number: QA76.9.M35

Foundations of augmented cognition : 9th International Conference, AC 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings /
Dylan D. Schmorrow, Cali M. Fidopiastis (eds.)
Call Number: QA76.9.U83

FPGA based accelerators for financial applications
Christian De Schryver, editor
Call Number: TK7895.G36

Frontiers in algorithmics : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings /
Jianxin Wang, Chee Yap (eds.)
Call Number: QA76.9.A43

Fundamentals of business intelligence
Wilfried Grossmann, Stefanie Rinderle-Ma
Call Number: QA76.9.D343

Game user experience evaluation
Regine Bernhaupt, editor
Call Number: QA76.9.H85

Genetic programming theory and practice XII
Rick Riolo, William P. Worzel, Mark Kotanchek, editors
Call Number: QA76.623

Graphical data analysis with R
Antony Unwin
Call Number: QA76.9.I52 U59 2015

Haptic interaction : perception, devices and applications /
Kiroyuki Kajimoto, Hideyuki Ando, Ki-Uk Kyung, editors
Call Number: QA76.9.H85

Hardening Azure applications
Suren Machiraju, Suraj Gaurav
Call Number: QA76.9.D3

HCI in business : second International Conference, HCIB 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings /
Fiona Fui-Hoon Nah, Chuan-Hoo Tan (eds.)
Call Number: QA76.9.H85

HCI International 2015 -- Posters' extended abstracts : International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings.
Constantine Stephanidis (ed.)
Call Number: QA76.9.H85

HCI International 2015 -- Posters' extended abstracts : International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings.
Constantine Stephanidis (ed.)
Call Number: QA76.9.H85

Health monitoring and personalized feedback using multimedia data
Alexia Briassouli, Jenny Benois-Pineau, Alexander Hauptmann, editors
Call Number: QA76.575

Healthy SQL : a comprehensive guide to healthy SQL server performance /
Robert Pearl
Call Number: QA76.9.C55

High performance computing : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings /
Julian M. Kunkel, Thomas Ludwig (eds.)
Call Number: QA76.88

HTML5 programmer's reference
Jonathan Reid
Call Number: QA76.76.H94

Human aspects of information security, privacy, and trust : third international conference, HAS 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings /
Theo Tryfonas, Ioannis Askoxylakis (eds.)
Call Number: QA76.9.A25

Human aspects of IT for the aged population : design for aging : first International Conference, ITAP 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings.
Jia Zhou, Gavriel Salvendy (eds.)
Call Number: QA76.9.H85

Human aspects of IT for the aged population : design for everyday life : first International Conference, ITAP 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings.
edited by Jia Zhou, Gavriel Salvendy
Call Number: QA76.9.H85

Human interface and the management of information : information and knowledge design : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings.
Sakae Yamamoto (ed.)
Call Number: QA76.9.H85

Human interface and the management of information : information and knowledge in context : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
Sakae Yamamoto (eds.)
Call Number: QA76.9.H85

Human-computer interaction : design and evaluation : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
edited by Masaaki Kurosu
Call Number: QA76.9.H85

Human-computer interaction : interaction technologies : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
edited by Masaaki Kurosu
Call Number: QA76.9.H85

Human-computer interaction : users and contexts : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
Masaaki Kurosu (ed.)
Call Number: QA76.9.H85

Hyper-V for VMware administrators : migration, coexistence, and management /
Brien Posey
Call Number: QA76.9.V5

Industrial applications of high performance computing : best global practices /
edited by Anwar Osseyran, Merle Giles
Call Number: QA76.88 .I56 2015

Information security and privacy : 20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29-July 1, 2015, Proceedings /
Ernest Foo, Douglas Stebila (eds.)
Call Number: QA76.9.A25

Intelligence emerging : adaptivity and search in evolving neural systems /
Keith L. Downing
Call Number: QA76.87 .D69 2015

Intelligent cloud computing : first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers /
Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana (eds.)
Call Number: QA76.585

Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings /
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge (eds.)
Call Number: QA76.9.M35

Intelligent interactive multimedia systems and services
Ernesto Damiani, Robert J. Howlett, Lakhmi C. Jain, Luigi Gallo, Giuseppe De Pietro, editors
Call Number: QA76.575

Intelligent virtual agents : 15th International Conference, IVA 2015, Delft, The Netherlands, August 26-28, 2015 : proceedings /
Willem-Paul Brinkman, Joost Broekens, Dirk Heylen (Eds.)
Call Number: QA76.76.I58

Internet of things : user-centric IoT : first International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised selected papers.
Raffaele Giaffreda, Radu-Laurentiu Vieriu, Edna Pasher, Gabriel Bendersky, Antonio J. Jara, Joel J.P.C. Rodrigues, Eliezer Dekel, Benny Mandler (eds.)
Call Number: QA76.5915

Internet of things : IoT infrastructures : first International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers.
Raffaele Giaffreda, Dagmar Cagáňová, Yong Li, Roberto Riggio, Agnès Voisard (eds.)
Call Number: QA76.5915

Intertwingled : the work and influence of Ted Nelson /
Douglas R. Dechow, Daniele C. Struppa, editors
Call Number: QA76.17

Introduction to evolutionary computing
A.E. Eiben, J.E. Smith
Call Number: QA76.618

Learn WatchKit for iOS
Kim Topley
Call Number: QA76.76.A65

Learning and intelligent optimization : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised selected papers /
Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion (eds.)
Call Number: Q325.5

MAC protocols for cyber-physical systems
Feng Xia, Azizur Rahim
Call Number: TK7895.E42

Machine learning and data mining in pattern recognition : 11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 2015, Proceedings /
Petra Perner (ed.)
Call Number: Q327

Machine learning for audio, image and video analysis : theory and applications /
Francesco Camastra, Alessandro Vinciarelli
Call Number: Q325.5

Machine learning paradigms : applications in recommender systems /
Aristomenis S. Lampropoulos, George A. Tsihrintzis
Call Number: QA76.9.I58

Machine learning projects for .NET Developers
Mathias Brandewinder
Call Number: Q325.5

Mathematics and computing : ICMC, Haldia, India, January 2015 /
Ram N. Mohapatra, Dipanwita Roy Chowdhury, Debasis Giri, editors
Call Number: QA76.9.M35

Mathematics of program construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings /
Ralf Hinze, Janis Voigtländer (eds.)
Call Number: QA76.6

Mendel 2015 : recent advances in soft computing /
Radek Matoušek, editor
Call Number: QA76.9.S63

Modelling foundations and applications : 11th European Conference, ECMFA 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings /
Gabriele Taentzer, Francis Bordeleau (eds.)
Call Number: QA76.758

Multiple classifier systems : 12th International Workshop, MCS 2015, Günzburg, Germany, June 29-July 1, 2015, Proceedings /
Friedhelm Schwenker, Fabio Roli, Josef Kittler (eds.)
Call Number: Q325.5

Natural language processing and information systems : 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, Passau, Germany, June 17-19, 2015, Proceedings /
Chris Biemann, Siegfried Handschuh, André Freitas, Farid Meziane, Elisabeth Métais (eds.)
Call Number: QA76.9.N38

Nonlinear control and filtering using differential flatness approaches : applications to electromechanical systems /
Gerasimos G. Rigatos
Call Number: QA402.35

Nordic contributions in IS research : 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings /
Harri Oinas-Kukkonen, Netta Iivari, Kari Kuutti, Anssi Öörni, Mikko Rajanen (eds.)
Call Number: QA76.9.U83

Operating system design : the Xinu approach /
Douglas Comer
Call Number: QA76.76.O63 C65 2015

Operators for similarity search : semantics, techniques and usage scenarios /
Deepak P, Prasad M. Deshpande
Call Number: QA76.9.D343

Optimal boundary control and boundary stabilization of hyperbolic systems
Martin Gugat
Call Number: QA402.3

Optimization in the natural sciences : 30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014. Revised selected papers /
Alexander Plakhov, Tatiana Tchemisova, Adelaide Freitas (eds.)
Call Number: QA402.5

Optimization, control, and applications in the information age : in honor of Panos M. Pardalos's 60th birthday /
Athanasios Migdalas, Athanasia Karakitsiou, editors
Call Number: QA76

Paraconsistent intelligent-based systems : new trends in the applications of paraconsistency /
Jair Minoro Abe, editor
Call Number: QA76.87

Parallel computing technologies : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
edited by Victor Malyshkin
Call Number: QA76.58

Parameterized algorithms
Marek Cygan, Fedor V. Fomin, Łukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michał Pilipczuk, Saket Saurabh
Call Number: QA276.8 .P37 2015eb

Pattern analysis, intelligent security and the internet of things
Ajith Abraham, Azah Kamilah Muda, Yun-Huoy Choo, editors
Call Number: QA75.5

Patterns of HCI design and HCI design of patterns : bridging HCI design and model-driven software engineering /
Ahmed Seffah ; with contributions by Peter Forbrig ... [and 9 others]
Call Number: QA76.9.H85 S44 2015eb

Practical aspects of declarative languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
Enrico Pontelli, Tran Cao Son (eds.)
Call Number: QA76.615

Practical jQuery
Mukund Chaudhary, Ankur Kumar
Call Number: QA76.73.J39

Pro Android 5
Dave MacLean, Satya Komatineni, Grant Allen
Call Number: QA76.76.A65

Pro Android wearables : building apps for smartwatches /
Wallace Jackson
Call Number: QA76.76.A65

Pro bash programming : scripting the GNU/Linux shell /
Chris Johnson and Jayant Varma
Call Number: QA76.76.O63

Pro HTML5 with Visual Studio 2015
Mark J. Collins
Call Number: QA76.76.H94

Pro JavaScript techniques
John Resig, Russ Ferguson, and John Paxton
Call Number: QA76.73.J39

Pro Vagrant
Włodzimierz Gajda
Call Number: QA76.9.V5

Pro XAML with C# : from design to deployment on WPF, Windows Store, and Windows Phone /
Buddy James, Lori Lalonde
Call Number: QA76.76.A65

Quality-aware scheduling for key-value data stores
Chen Xu, Aoying Zhou
Call Number: QA76.53

Recent advances in information and communication technology 2015
Herwig Unger, Phayung Meesad, Sirapat Boonkrong, editors
Call Number: QA76.9.D343

Reliable software technologies -- Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
Juan Antonio de la Puente, Tullio Vardanega (eds.)
Call Number: QA76.76.R44

Reversible computation : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
Jean Krivine, Jean-Bernard Stefani (eds.)
Call Number: QA76.9.L63

Rule technologies : foundations, tools, and applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings /
Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman, editors
Call Number: QA76.6

Sampling designs dependent on sample parameters of auxiliary variables
Janusz L. Wywiał
Call Number: QA276.6

Search-based software engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
Márcio Barros, Yvan Labiche (Eds.)
Call Number: QA76.758

Security planning : an applied approach /
Susan Lincke
Call Number: QA76.9.A25

Semi-supervised dependency parsing
Wenliang Chen, Min Zhang
Call Number: QA76.9.N38

Serious games analytics : methodologies for performance measurement, assessment, and improvement /
Christian Sebastian Loh, Yanyan Sheng, Dirk Ifenthaler, editors
Call Number: QA76.9.D343

Software process improvement and capability determination : 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings /
Terry Rout, Rory V. O'Connor, Alec Dorling (eds.)
Call Number: QA76.758

Spring REST
by Balaji Varanasi, Sudha Belida
Call Number: QA76.76.A63

SQL Server T-SQL recipes
Jason Brimhall, Jonathan Gennick, Wayne Sheffield
Call Number: QA76.73.S67

Sublinear algorithms for big data applications
Dan Wang, Zhu Han
Call Number: QA76.9.A43

Swift recipes : problem-solution approach /
T. Michael Rogers
Call Number: QA76.73.S95

System dynamics with interaction discontinuity
Albert C. J. Luo, Dennis M. O'Connor
Call Number: QA402

Tests and proofs : 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings /
Jasmin Christian Blanchette, Nikolai Kosmatov (eds.)
Call Number: QA76.76.T48

The human face of ambient intelligence : cognitive, emotional, affective, behavioral and conversational aspects /
Simon Elias Bibri
Call Number: QA76.9.A48

The impact of pen and touch technology on education
Tracy Hammond, Stephanie Valentine, Aaron Adler, Mark Payton, editors
Call Number: QA76.9.U83

Theory and engineering of complex systems and dependability : proceedings of the tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29-July 3 2015, Brunów, Poland /
Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk, editors
Call Number: QA76.76.R44

Theory and practice of model transformations : 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /
edited by Dimitris Kolovos, Manuel Wimmer
Call Number: QA76.76.D47

Three-dimensional design methodologies for tree-based FPGA architecture
Vinod Pangracious, Zied Marrakchi, Habib Mehrez
Call Number: TK7895.G36

Tools for high performance computing 2014 : proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany /
edited by Christoph Niethammer [and 4 others]
Call Number: QA76.88

Transactions on large-scale data- and knowledge-centered systems XXI : selected papers from DaWaK 2012 /
Abdelkader Hameurlain [and more] (eds.)
Call Number: QA76.9.D3

Trustworthy computing and services : International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised selected papers /
Lu Yueming, Wu Xu, Zhang Xi (eds.)
Call Number: QA76.9.A25

Turnpike theory of continuous-time linear optimal control problems [electronic resource]
Alexander J. Zaslavski
Call Number: QA402.5

Understanding Oracle APEX 5 application development
Edward Sciore
Call Number: QA76.76.A65

Universal access in human-computer interaction : access to learning, health and well-being : 9th International Conference, UAHCI 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
Margherita Antona, Constantine Stephanidis (eds.)
Call Number: QA76.9.H85

Universal access in human-computer interaction : access to interaction : 9th International Conference, UAHCI 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
Margherita Antona, Constantine Stephanidis (eds.)
Call Number: QA76.9.H85

Universal access in human-computer interaction : access to the human environment and culture : 9th International Conference, UAHCI 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
edited by Margherita Antona, Constantine Stephanidis
Call Number: QA76.9.H85

Universal access in human-computer interaction : access to today's technologies : 9th International Conference, UAHCI 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings.
Margherita Antona, Constantine Stephanidis (eds.)
Call Number: QA76.9.H85

User modeling, adaptation and personalization : 23rd International Conference, UMAP 2015, Dublin, Ireland, June 29-July 3, 2015. Proceedings /
Francesco Ricci, Kalina Bontcheva, Owen Conlan, Séamus Lawless (eds.)
Call Number: QA76.9.H85

Validation of evolving software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors
Call Number: QA76.76.V47 V35 2015eb

Virtual, augmented and mixed reality : 7th International Conference, VAMR 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings /
Randall Shumaker, Stephanie Lackey (eds.)
Call Number: QA76.9.V5

Wearable electronics sensors : for safe and healthy living /
Subhas Chandra Mukhopadhyay, editor
Call Number: QA76.592

Web programming for business : PHP object-oriented programming with Oracle /
David Paper
Call Number: QA76.73.P224 P37 2014

Web-age information management : 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings /
edited by Jian Li, Yizhou Sun
Call Number: QA76.9.D3 W35 2015

Windows file system troubleshooting
Mike Halsey, MVP, Andrew Bettany, MVP
Call Number: QA76.76.W56

Xamarin mobile application development : cross-platform C# and Xamarin.Forms fundamentals /
Dan Hermes
Call Number: QA76.76.A65

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