Skip to main content

University Libraries

Browse by Call Number

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Items Acquired in June 2017 for the University Libraries

-Q-

Q125

Science and technology from global and historical perspectives

Bahattin Karagözoğlu

Q162

The Power of Stars [electronic resource]

Q172.5.C45

A fortunate universe : life in a finely-tuned cosmos

Geraint F. Lewis, Luke A. Barnes ; foreword by Brian Schmidt

Q172.5.C45

A smooth and discontinuous oscillator : theory, methodology and applications

Qingjie Cao, Alain Léger, Marian Wiercigroch

Q172.5.C45

Advances in dynamics, patterns, cognition : challenges in complexity [electronic resource]

Igor S. Aranson, Arkady Pikovsky, Nikolai F. Rulkov, Lev S. Tsimring, editors

Q180.C6

Evaluating Research Efficiency of Chinese Universities

Q181

Preparing informal science educators : perspectives from science communication and education

edited by Patricia G. Patrick

Q181 .D67 2017eb

Drawing for science education : an international perspective

edited by Phyllis Katz (University of Maryland, USA)

Q183.4.G3

Desirable science education : findings from a curricular Delphi study on scientific literacy in Germany

Theresa Schulte

Q295

Systemic decision making : fundamentals for addressing problems and messes

Patrick T. Hester, Kevin MacG. Adams

Q295

Applied systems theory [electronic resource]

Rob Dekkers

Q300

Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017) Vol. 2, Cybernetics and mathematics applications in intelligent systems

Radek Silhavy, Roman Senkerik, Zuzana Kominkova Oplatkova, Zdenka Prokopova, Petr Silhavy, editors

Q325

Advances in artificial life, evolutionary computation, and systems chemistry : 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised selected papers

Federico Rossi, Stefano Piotto, Simona Concilio (eds.)

Q325.5

Reverse hypothesis machine learning : practitioner's perspective

Parag Kulkarni

Q325.5

Encyclopedia of machine learning and data mining

Claude Sammut, Geoffrey I. Webb, editors

Q325.5

Hands-on machine learning with Scikit-Learn and TensorFlow : concepts, tools, and techniques to build intelligent systems

Aurélien Géron

Q325.5

TensorFlow machine learning cookbook : explore machine learning concepts using the latest numerical computing library, TensorFlow, with the help of this comprehenisive cookbook

Nick McClure

Q325.5

Roadside video data analysis : deep learning

Brijesh Verma, Ligang Zhang, David Stockwell

Q325.5

Mastering machine learning with R : advanced prediction, algorithms, and learning methods with R 3.x

Cory Lesmeister

Q325.5

Deep learning with TensorFlow : take your machine learning knowledge to the next level with the power of TensorFlow

Giancarlo Zaccone, Md. Rezaul Karim, Ahmed Menshawy

Q325.5

Machine learning with Spark : develop intelligent machine learning systems with Spark 2.x

Rajdeep Dua, Manpreet Singh Ghotra, Nick Pentreath

Q325.5

Effective Amazon machine learning : machine learning in the Cloud

Alexis Perrier

Q325.5

Practical machine learning cookbook : resolving and offering solutions to your machine learning problems with R

Atul Tripathi

Q334

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II

edited by Ngoc Thanh Nguyen, Satoshi Tojo, Le Minh Nguyen, Bogdan Trawiński

Q334

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings.

edited by Ngoc Thanh Nguyen, Satoshi Tojo, Le Minh Nguyen, Bogdan Trawiński

Q334

Artificial intelligence for knowledge management : third IFIP WG 12.6 International Workshop, AI4KM 2015, held at IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Revised selected papers

Eunika Mercier-Laurent, Danielle Boulanger (eds.)

Q334

Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017) Vol. 1, Artificial intelligence trends in intelligent systems

Radek Silhavy, Roman Senkerik, Zuzana Kominkova Oplatkova, Zdenka Prokopova, Petr Silhavy, editors

Q334

New frontiers in artificial intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised selected papers

Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki (eds.)

Q334

Conflict resolution in decision making : second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised selected papers

Reyhan Aydoğan, Tim Baarslag, Enrico Gerding, Catholijn M. Jonker, Vicente Julian, Victor Sanchez-Anguix (eds.)

Q334

Advances in artificial intelligence : 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings

edited by Malek Mouhoub, Philippe Langlais

Q335

Advanced topics in intelligent information and database systems

Dariusz Król, Ngoc Thanh Nguyen, Kiyoaki Shirai, editors

Q342

Proceedings of the 5th International Conference on Frontiers in Intelligent Computing : theory and applications : FICTA 2016.

Suresh Chandra Satapathy, Vikrant Bhateja, Siba K. Udgata, Prasant Kumar Pattnaik, editors

Q342

Metaheuristics for medicine and biology

Amir Nakib, El-Ghazali Talbi, editors

Q342

Data science and big data : an environment of computational intelligence

Witold Pedrycz, Shyi-Ming Chen, editors

Q342

Cognitive information systems in management sciences

Lidia Ogiela

QA.76.9.C55

Mastering Elastic Stack : get the most out of the Elastic Stack for various complex analytics using this comprehensive and practical guide

Yuvraj Gupta, Ravi Kumar Gupta

QA11.2

Mathematics and technology : A C.I.E.A.E.M. sourcebook

Gilles Aldon, Fernando Hitt, Luciana Bazzini, Uwe Gellert, editors

QA11.2 .R68 2017eb

The mathematics of mathematics : thinking with the late, Spinozist Vygotsky

Wolff-Michael Roth, University of Victoria, Canada

QA135.6

Samuel Pepys, Isaac Newton, James Hodgson, and the beginnings of secondary school mathematics : a history of the Royal Mathematical School Within Christ's Hospital, London 1673-1868 Nerida F. Ellerton, M.A. (Ken) Clements ; foreword by Benjamin Wardhaugh

QA152.3

Algebra 2 : linear algebra, Galois theory, representation theory, group extensions and Schur multiplier

Ramji Lal

QA161.P59

Positive trigonometric polynomials and signal processing applications

Bogdan Dumitrescu

QA164

Matching theory for wireless networks

Zhu Han, Yunan Gu, Walid Saad

QA165

Combinatorics and complexity of partition functions

Alexander Barvinok

QA165

Magic squares in the tenth century : two Arabic treatises by Anākī and Būzjānī

Jacques Sesiano

QA166

Basic graph theory

Md. Saidur Rahman

QA166.25

Design theory

C.C. Lindner, C.A. Rodger

QA169

Hyperplane Arrangements [electronic resource]

QA180

Representations of elementary Abelian p-groups and vector bundles

David J. Benson

QA188

Formal Matrices

QA188

Analysis and synthesis of dynamic systems with positive characteristics

Jun Shen

QA188

Square matrices of order 2 : theory, applications, and problems

Vasile Pop, Ovidiu Furdui ; foreoword by Dennis S. Bernstein

QA221

Progress in approximation theory and applicable complex analysis : in memory of Q.I. Rahman

Narendra Kumar Govil, Ram Mohapatra, Muhammed A. Qazi, Gerhard Schmeister, editors

QA241

An excursion through elementary mathematics. Volume I, Real numbers and functions

Antonio Caminha Muniz Neto

QA247 .W35 2016eb

Arithmetic of finite fields : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised selected papers

Sylvain Duquesne, Svetla Petkova-Nikova (eds.)

QA248

Thriving rough sets : 10th anniversary -- honoring Professor Zdzisław Pawlak's life and legacy & 35 years of rough sets

Guoyin Wang, Andrzej Skowron, Yiyu Yao, Dominik Śl̨ezak, Lech Polkowski, editors

QA251.3

Computations and combinatorics in commutative algebra : EACA School, Valladolid 2013

Anna M. Bigatti, Philippe Gimenez, Eduardo Sáenz-de-Cabezón, editors

QA251.4

A computational non-commutative geometry program for disordered topological insulators

Emil Prodan

QA251.5

Introduction to coalgebra : towards mathematics of states and observation

Bart Jacobs

QA267

Process algebras for Petri nets : the alphabetization of distributed systems

Roberto Gorrieri

QA267.3

Formal languages and automata theory

K.V.N. Sunitha, N. Kalyani

QA268

LDPC code designs, constructions, and unification

Juane Li [and 4 others]

QA269

Contest Theory : Incentive Mechanisms and Ranking Methods

Milan Vojnović

QA269 .O735 2016eb

Ordinal definability and recursion theory. Volume III : : the cabal seminar

edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel

QA272.4

Models for cooperative games with fuzzy relations among the agents : fuzzy communication, proximity relation and fuzzy permission

Andrés Jiménez-Losada

QA273

Probability with applications in engineering, science, and technology

Matthew A. Carlton, Jay L. Devore

QA273

Uncertainty quantification : an accelerated course with advanced applications in computational engineering

Christian Soize

QA273.6

Characterizations of univariate continuous distributions

Mohammad Ahsanullah

QA274.2 .K476 2016

From Lévy-Type Processes to Parabolic SPDEs

by Davar Khoshnevisan, René Schilling ; editors for this volume, Lluís Quer-Sardanyons, Frederic Utzet

QA274.46

Random measures, theory and applications

Olav Kallenberg

QA274.7

Markov decision processes in practice

Richard J. Boucherie, Nico M. van Dijk

QA274.73 .B3735 2017eb

Random walks and heat kernels on graphs

Martin T. Barlow, University of British Columbia, Canada

QA275 .H235 2018

Advanced issues in partial least squares structural equation modeling

Joseph F. Hair, Jr., University of South Alabama, USA, [and three others]

QA275 .P88 2017

A primer on partial least squares structural equation modeling (PLS-SEM)

Joseph F. Hair, Jr., Kennesaw State University, [and three others]

QA276

Probability and statistics

E. Rukmangadachari, E. Keshava Reddy

QA276.3

JMP version 13 multivariate methods

SAS Institute

QA276.3

Preparing data for analysis with JMP

Robert Carver

QA276.4

Computer age statistical inference : algorithms, evidence, and data science

Bradley Efron, Trevor Hastie

QA276.4

SAS 9.4 macro language : reference

SAS Institute

QA276.4

JMP start statistics : a guide to statistics and data analysis using JMP

John Sall [and four others]

QA276.4

JMP version 13 profilers

SAS Institute

QA276.4

Statistical disclosure control for microdata : methods and applications in R

Matthias Templ

QA276.4

Practical statistics for data scientists : 50 essential concepts

Peter Bruce and Andrew Bruce

QA276.45.J67

JMP version 13 predictive and specialized modeling

SAS Institute

QA276.45.R3

Functional programming in R : advanced statistical programming for data science, analysis and finance

Thomas Mailund

QA276.45.R3

Statistical analysis with R

Joseph Schmuller

QA276.45.R3

Functional programming in R : advanced statistical programming for data science, analysis and finance

Thomas Mailund

QA276.45.R3

Learning quantitative finance with R : implement machine learning, time-series analysis, algorithmic trading and more

Dr. Param Jeet, Prashant Vants

QA276.45.R3

R : predictive analysis : master the art of predictive modeling

Tony Fischetti, Eric Mayor, Rui Miguel

QA276.45.S27

An introduction to SAS Visual Analytics : how to explore numbers, design reports, and gain insight into your data

Tricia Aanderud, Rob Collum, Ryan Kumpfmiller

QA276.A1

Functional statistics and related fields

Germán Aneiros, Enea G. Bongiorno, Ricardo Cao, Philippe Vieu, editors

QA277

Asymptotic theory of weakly dependent random processes

Emmanuel Rio

QA278.2

From basic survival analytic theory to a non-standard application

Georg Zimmermann

QA278.2

Linear regression

David J. Olive

QA279

Design and analysis of experiments

Angela Dean, Daniel Voss, Danel Draguljić

QA279

JMP version 13 design of experiments guide

QA279

JMP version 13 fitting linear models

SAS Institute

QA279.5

Bayesian statistics in action : BAYSM 2016, Florence, Italy, June 19-21

Raffaele Argiento, Ettore Lanzarone, Isadora Antoniano Villalobos, Alessandra Mattei, editors

QA279.5 .G45 2014

Bayesian data analysis

Andrew Gelman, John B. Carlin, Hal S. Stern, David B. Dunson, Aki Vehtari, Donald B. Rubin

QA280

Elements of nonlinear time series analysis and forecasting

Jan G. De Gooijer

QA280

Time-series prediction and applications : a machine intelligence approach

Amit Konar, Diptendu Bhattacharya

QA295

Classical summability theory

P.N. Natarajan

QA297

Numerical analysis

P. Sivaramakrishna Das, C. Vijayakumari

QA297

Numerical analysis and its applications : 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised selected papers

Ivan Dimov, István Faragó, Lubin Vulkov (eds.)

QA303.2

MVT : a most valuable theorem

Craig Smoryński

QA313

Ergodic theory of expanding Thurston maps

Zhiqiang Li

QA314

Hadamard-type fractional differential equations, inclusions and inequalities

Bashir Ahmad, Ahmed Alsaedi, Sotiris K. Ntouyas, Jessada Tariboon

QA319

Geometric aspects of functional analysis : Israel Seminar (GAFA) 2014-2016

Bo'az Klartag, Emanuel Milman, editors

QA320

Introduction to model spaces and their operators

Stephan Ramon Garcia, Javad Mashreghi, William T. Ross

QA322.4

Elements of Hilbert spaces and operator theory

Harkrishan Lal Vasudeva ; with contributions from Satish Shirali

QA324

Generalized functions and Fourier analysis : dedicated to Stevan Pilipović on the occasion of his 65th birthday

Michael Oberguggenberger, Joachim Toft, Jasson Vindas, Patrik Wahlberg, editors

QA329

Bernstein operators and their properties

Jorge Bustamante

QA329.2

Large truncated Toeplitz matrices, toeplitz operators, and related topics : the Albrecht Böttcher anniversary volume

Dario A. Bini [and 3 others], editors

QA342

Shocks, singularities and oscillations in nonlinear optics and fluid mechanics

Ferruccio Colombini, Daniele Del Santo, David Lannes, editors

QA36

D.D. Kosambi : selected works in mathematics and statistics

Ramakrishna Ramaswamy, editor

QA371

Differential equations : a primer for scientists and engineers

Christian Constanda

QA371

Green's functions : potential fields on surfaces [electronic resource]

Yuri A. Melnikov, Volodymyr N. Borodin

QA371 .S38 2017

Introduction to Complex Theory of Differential Equations

Anton Savin, Bosris Sternin

QA372.5

Surveys in differential-algebraic equations IV

Achim Ilchmann, Timo Reis, editors

QA377

Towards robust algebraic multigrid methods for nonsymmetric problems

James Lottes

QA377

New trends in analysis and interdisciplinary applications : selected contributions of the 10th ISAAC Congress, Macau 2015

Pei Dang, Min Ku, Tao Qian, Luigi G. Rodino, editors

QA377

Partial differential equations : mathematical techniques for engineers

Marcelo Epstein

QA377 .M45 2013

Meshfree methods for partial differential equations VIII

Michael Griebel, Marc Alexander Schweitzer, editors

QA379

Louis Boutet de Monvel, selected works [electronic resource]

Victor W. Guillemin, Johannes Sjöstrand, editors

QA39.3

Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Jan von Plato

QA401

Mathematical modeling

Christof Eck, Harald Garcke, Peter Knabner

QA401

Modeling in mathematics : proceedings of the second Tbilisi-Salerno Workshop on Modeling in Mathematics

Johan Gielis, Paolo Emilio Ricci, Ilia Tavkhelidze, editors

QA402

Proceedings of the 4th International Conference on Applications in Nonlinear Dynamics (ICAND 2016)

Visarath In, Patrick Longhini, Antonio Palacios, editors

QA402

Algorithms of estimation for nonlinear systems : a differential and algebraic viewpoint

Rafael Martínez-Guerra, Christopher Diego Cruz-Ancona

QA402

Advances in disordered systems, random processes, and some applications

[edited by] Pierluigi Contucci, Cristian Giardinà

QA402

Fundamentals of stochastic nature sciences

Valery I. Klyatskin

QA402 .M86 2016eb

Positive systems : theory and applications (POSTA 2016) Rome, Italy, September 14-16, 2016

Filippo Cacace, Lorenzo Farina, Roberto Setola, Alfredo Germani, editors

QA402.2

Domain decomposition methods in science and engineering XXIII

Chang-Ock Lee [and six others], editors

QA402.3

Kalman filtering : with real-time applications

Charles K. Chui, Guanrong Chen

QA402.3

System modeling and optimization : 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised selected papers

Lorena Bociu, Jean-Antoine Désidéri, Abderrahmane Habbal (eds.)

QA402.3

A generalized framework of linear multivariable control

Liansheng Tan

QA402.5 .P374 2017

Principles of optimal design : modeling and computation

Panos Y. Papalambros, University of Michigan, Douglass J. Wilde, Stanford University

QA402.6

Approximate Dynamic Programming for Dynamic Vehicle Routing [electronic resource]

QA404

Fourier integrals in classical analysis

Christopher D. Sogge

QA427

Advances in nonlinear analysis via the concept of measure of noncompactness

Józef Banaś, Mohamed Jleli, Mohammad Mursaleen, Bessem Samet, Calogero Vetro, editors

QA43

The Colorado Mathematical Olympiad : the third decade and further explorations : from the mountains of Colorado to the peaks of mathematics [electronic resource]

Alexander Soifer ; forewords by Branko Grünbaum, Peter D. Johnson

QA431

Volterra integral equations : an introduction to theory and applications

Hermann Brunner

QA440

Geometry, analysis and probability : in honor of Jean-Michel Bismut

Jean-Benoît Bost, Helmut Hofer, François Labourie, Yves Le Jan, Xiaonan Ma, Weiping Zhang, editors

QA564

From classical to modern algebraic geometry : Corrado Segre's mastership and legacy

Gianfranco Casnati, Alberto Conte, Letterio Gatto, Livia Giacardi, Marina Marchisio, Alessandro Verra, editors

QA564

Algebraic geometry and number theory : Summer School, Galatasaray University, Istanbul, 2014

Hussein Mourtada, Celal Cem Sarığlu, Christophe Soulé, Ayberk Zeytin, editors

QA611

Theoretical study on correlation effects in topological matter

Hiroki Isobe

QA611

Topology, calculus and approximation

Vilmos Komornik

QA612.2

Surface-knots in 4-space : an introduction

Seiichi Kamada

QA614.58

Singularities and computer algebra : festschrift for Gert-Martin Greuel on the occasion of his 70th birthday

Wolfram Decker, Gerhard Pfister, Mathias Schulze, editors

QA614.8

Multivariable Dynamic Calculus on Time Scales [electronic resource]

QA614.8

Integrability of dynamical systems : algebra and analysis

Xiang Zhang

QA614.8

Lagrangian oceanography : large-scale transport and mixing in the ocean

Sergey V. Prants, Michale Yu. Uleysky, Maxim V. Budyansky

QA614.8

Multivariable dynamic calculus on time scales

Martin Bohner, Svetlin G. Georgiev

QA614.83

Introduction to Hamiltonian dynamical systems and the N-body problem

Kenneth R. Meyer, Daniel C. Offin

QA614.86

Fractals in probability and analysis

Christopher J. Bishop, Yuval Peres

QA639.5

Convexity and concentration

Eric Carlen, Mokshay Madiman, Elisabeth M. Werner, editors

QA75.5

Applied computing and information technology

Roger Lee, editor

QA75.5

Proceedings of the International Conference on Computing, Mathematics and Statistics (iCMS 2015) : bridging research endeavors

Abd-Razak Ahmad [and three others], editors

QA76

Transactions on computational science XXIX

edited by Marina L. Gavrilova, C.J. Kenneth Tan

QA76

Advances in computers. Volume 105

edited by Atif M. Memon

QA76.3

CCNA routing and switching practice tests

Jon Buhagiar

QA76.3

CCNA Cyber Ops SECFND 210-250 official cert guide

Omar Santos, Joseph Muniz, Stefano de Crescenzo

QA76.3

31 days before your CCNA routing & switching exam : a day-by-day review guide for the ICND1CCENT (100-105), ICND2 (200-105), and CCNA (200-125) certification exam

Allan Johnson

QA76.5 .B773 1988

32-bit microprocessors : a primer plus

Gary J. Bronson, Howard I. Silver, with contributions by Stephen J. Menconi

QA76.585

Cloud service benchmarking : measuring quality of cloud services from a client perspective

David Bermbach, Erik Wittern, Stefan Tai

QA76.585

Effective business intelligence with QuickSight : from data to actionable business insights using Amazon QuickSight!

Rajesh Nadipalli

QA76.585

OpenStack for architects : design and implement successful private clouds with OpenStack

Michael Solberg, Ben Silverman

QA76.585

Architecting Cloud SaaS software - solutions or products : engineering multi-tenanted distributed architecture software

Sankaran Prithviraj

QA76.585

Algorithmic aspects of cloud computing : second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised selected papers

Timos Sellis, Konstantinos Oikonomou (eds.)

QA76.585

Green, pervasive, and cloud computing : 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings

Man Ho Allen Au, Arcangelo Castiglione, Kim-Kwang Raymond Choo, Francesco Palmieri, Kuan-Ching Li (eds.)

QA76.585

AWS administration cookbook : harness the full capability of AWS

Lucas Chan, Rowan Udell

QA76.585

Mastering OpenStack : discover your complete guide to designing, deploying, and managing OpenStack-based clouds in mid-to-large IT infrastructures with best practices, expert understanding, and more

Omar Khedher, Chandan Dutta Chowdhury

QA76.59

User acceptance of mobile notifications

Tilo Westermann

QA76.59

Mobile app development with Ionic 2 : cross-platform apps with Ionic, Angular, and Cordova

Chris Griffith

QA76.5915

Information science and applications 2017 : ICISA 2017

Kuinam Kim, Nikolai Joukov, editors

QA76.5915

Internet of Things programming with JavaScript : learn the art of bringing the Internet of Things into your projects with the power of JavaScript

Ruben Oliva Ramos

QA76.5915

Context-aware systems and applications : 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings

Phan Cong Vinh, Le Tuan Anh, Nguyen Thi Thuy Loan, Waralak Vongdoiwang Siricharoen (eds.)

QA76.6

Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings

Hongseok Yang (ed.)

QA76.6

Jump start responsive web design

by Chris Ward

QA76.6

Confident coding : master the fundamentals of code and supercharge your career

Rob Percival

QA76.618

Evolutionary computation in combinatorial optimization : 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Bin Hu, Manuel López-Ibáñez (eds.)

QA76.618

EVOLVE : a bridge between probability, set oriented numerics and evolutionary computation VII

Michael Emmerich, André Deutz, Oliver Schütze, Pierrick Legrand, Emilia Tantar, Alexandru-Adrian Tantar, editors

QA76.618 .E95 2017eb

Computational intelligence in music, sound, art and design : 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

João Correia, Vic Ciesielski, Antonios Liapis (eds.)

QA76.62

Type-driven development with Idris

Edwin Brady

QA76.62

Learning Java Lambdas : an in-depth look at one of the most important features of modern Java

Toby Weston

QA76.623

Genetic programming : 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

James McDermott, Mauro Castelli, Lukas Sekanina, Evert Haasdijk, Pablo García-Sánchez (eds.)

QA76.73

Vue.js 2 cookbook : build modern, interactive web applications with Vue.js

Andrea Passaglia

QA76.73.C15

Programming in C

Ashok N. Kamthane, Amit Ashok Kamthane

QA76.73.C153

Beginning C++ programming : this is the start of your journey into the most powerful language available to the programming public

Richard Grimes

QA76.73.C154

C# 7 and .NET Core modern cross-platform development : create powerful cross-platform applications using C# 7, .NET Core, and Visual Studio 2017 or Visual Studio Code

Mark J. Price

QA76.73.C154

C# 7 and .NET Core cookbook : quick solutions to common programming problems with the latest features of C# 7.0, .NET Core 1.1, and Visual Studio 2017

Dirk Strauss

QA76.73.E385

Why elm?

Matthew Griffith

QA76.73.G63

Go design patterns : learn idiomatic, efficient, clean and extensible Go design and concurrency patterns by using TDD

Mario Castro Contreras

QA76.73.G63

How to containerize your Go code

Liz Rice

QA76.73.J38

OCA/OCP Java SE 8 programmer : practice tests

Scott Selikoff, Jeanne Boyarsky

QA76.73.J38

Securing node applications : protecting against OWASP Top 10 risks

Chetan Karande

QA76.73.J38

Java data science cookbook : explore the power of MLlib, DL4j, Weka and more

Rushdi Shams

QA76.73.J38

Java 9 with JShell : introducing a full range of Java 9's new features via JShell

Gastón C. Hillar

QA76.73.J38

Java in a nutshell

Benjamin J. Evans and David Flanagan

QA76.73.J38

Functional programming in Java : how functional techniques improve your Java programs

Pierre-Yves Saumont

QA76.73.J38

Kotlin in action

Dmitry Jemerov, Svetlana Isakova

QA76.73.J38

Java 9 revealed : for early adoption and migration

Kishori Sharan

QA76.73.J38

Java 9 concurrency cookbook : master the art of fast, effective Java development with the power of concurrent and parallel programming

Javier Fernández González

QA76.73.J38

Java 9 programming by example : your guide to software development

Peter Verhas

QA76.73.J38

Java 9 data structures and algorithms : a step-by-step guide to data structures and algorithms

Debasish Ray Chawdhuri

QA76.73.J38

Mastering Java for data science : building data science applications in Java

Alexey Grigorev

QA76.73.J38

Java 9 revealed : for early adoption and migration

Kishori Sharan

QA76.73.J38

Java all-in-one for dummies

by Doug Lowe

QA76.73.J39

Beginning functional JavaScript : functional programming with JavaScript using EcmaScript 6

Anto Aravinth

QA76.73.J39

JavaScript : moving to ES2015 : explore and master modern JavaScript techniques with ES2015 in order to build large-scale web applications

Ved Antani, Simon Timms, Narayan Prusty

QA76.73.J39

Refactoring JavaScript : turning bad code into good code

Evan Burchard

QA76.73.J39

Working with the DOM

Ethan Brown

QA76.73.J39

Sails.js in action

Mike McNeil, Irl Nathan

QA76.73.J39

Angular test-driven development : enhance your testing skills to build powerful and fault-free applications in Angular v4

Md. Ziaul Haq

QA76.73.J39

Getting started with Gulp : create powerful automations with Gulp to improve the efficiency of your web project workflow

Travis Maynard

QA76.73.J39

The node craftsman book : an advanced node.js tutorial

Manuel Kiessling

QA76.73.J39 .K738 2017eb

Programming web applications with node, express and pug

Jorg Krause

QA76.73.L82

Creating solid APIs with Lua : giving users the power to customize your game or app

Tyler Neylon

QA76.73.P224

PHP reactive programming : leverage the power of reactive programming with PHP

Martin Sikora

QA76.73.P224

PHP microservices : transit from monolithic architectures to highly available, scalable, and fault-tolerant microservices

Carlos Pérez Sánchez, Pablo Solar Vilariño

QA76.73.P224

PHP objects, patterns, and practice : build powerful code by mastering PHP's object-oriented enhancements, design patterns, and essential development tools

Matt Zandstra

QA76.73.P224

Functional PHP : uncover the secrets of functional programming with PHP to ensure your applications are as great as they can be

Gilles Crettenand

QA76.73.P34

Think Perl 6 : how to think like a computer scientist [electronic resource]

Laurent Rosenfeld with Allen B. Downey

QA76.73.P98

Pro Python best practices : debugging, testing and maintenance

Kristian Rother

QA76.73.P98

Solving PDEs in Python : the FEniCS tutorial I

Hans Petter Langtangen, Anders Logg

QA76.73.P98

Pro Python best practices : debugging, testing and maintenance

Kristian Rother

QA76.73.P98

Python data analysis : data manipulation and complex data analysis with Python

Armando Fandango

QA76.73.P98

SAS Viya : the Python perspective

Kevin D. Smith, Xiangxiang Meng

QA76.73.P98

Artificial intelligence with Python : build real-world artificial intelligence applications with Python to intelligently interact with the world around you [electronic resource]

Prateek Joshi

QA76.73.P98

Deep learning with Python : a hands-on introduction

Nikhil Ketkar

QA76.73.P98

Learning data mining with Python : use Python to manipulate data and build predictive models

Robert Layton

QA76.73.P98

Python deep learning : next generation techniques to revolutionize computer vision, AI, speech and data analysis

Valentino Zocca, Gianmario Spacagna, Daniel Slater, Peter Roelants

QA76.73.P98 H48 2017eb

Beginning Python : from novice to professional

Magnus Lie Hetland

QA76.73.S28

Learning concurrent programming in Scala : learn the art of building intricate, modern, scalable and concurrent applications using Scala

Aleksandar Prokopec ; foward by Martin Odersky

QA76.73.S28

Scala : applied machine learning : leverage the power of Scala and master the art of building, improving, and validating scalable machine learning and AI applications using Scala's most advanced and finest features : a course in three modules

QA76.73.S28

Scala : guide for data science professionals : Scala will be a valuable tool to have on hand during your data science journey for everything from data cleaning to cutting-edge machine learning : a course in three modules

QA76.73.S67

Oracle SQL tuning with Oracle SQLTXPLAIN : Oracle database 12c edition

Stelios Charalambides

QA76.73.S67

Exam ref 70-761 querying data with Transact-SQL

Itzik Ben-Gan

QA76.73.S95

Swift 3 for Absolute Beginners

QA76.73.S95

Learning Swift : building apps for macOS, iOS, and beyond

Jon Manning, Paris Buttfield-Addison, and Tim Nugent

QA76.73.S95

Swift iOS programming for kids : unleash your child's developer potential through fun projects and help them learn how to create iOS apps in Swift

Steffen D. Sommer, Jim Campago

QA76.73.S95

Swift 3 object-oriented programming : implement object-oriented programming paradigms with Swift 3.0 and mix them with modern functional programming techniques to build powerful real-world applications [electronic resource]

Gastón C. Hillar

QA76.73.S95

Swift functional programming : build clean, smart, and reliable applications with Swift functional programming

Fatih Nayebi

QA76.73.T97

Mastering TypeScript : build enterprise-ready, industrial strength web applications using TypeScript and leading JavaScript frameworks

Nathan Rozentals

QA76.73.W56

PowerShell : automating administrative tasks : learn PowerShell from the inside out, right from basic scripting all the way to becoming a master at automating, managing, and maintaining your Windows environment

Michael Shepard, Chendrayan Venkatesan, Sherif Talaat, Brenton J.W. Blawat

QA76.73.W56

Learn Windows PowerShell in a month of lunches

Don Jones and Jeffery Hicks

QA76.751 .F67 2017eb

Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Javier Esparza, Andrzej S. Murawski, editors

QA76.758

Evaluation of novel approaches to software engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised selected papers

Leszek A. Maciaszek, Joaquim Filipe (eds.)

QA76.758

Software engineering trends and techniques in intelligent systems : proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017).

Radek Silhavy, Petr Silhavy, Zdenka Prokopova, Roman Senkerik, Zuzana Kominkova Oplatkova, editors

QA76.758

Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)

QA76.758 .F37 2017eb

Fundamental approaches to software engineering : 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Marieke Huisman, Julia Rubin (eds.)

QA76.76.A54

Refactoring Angular applications

Corinna Cohn

QA76.76.A54

Angular Services : design state-of-the-art applications with customized Angular services

Sohail Salehi

QA76.76.A54

Getting started with Angular : fast-track your web development skills to build high performance SPA with Angular 2 and beyond

Minko Gechev ; foreword by Mis̆ko Hevery

QA76.76.A63

API management : an architect's guide to developing and managing APIs for your organization

Brajesh De

QA76.76.A63

Pro RESTful APIs : design, build and integrate with REST, JSON, XML and JAX-RS

Sanjay Patni

QA76.76.A63

Pro RESTful APIs : design, build and integrate with REST, JSON, XML and JAX-RS

Sanjay Patni

QA76.76.A63

Learning Microsoft Cognitive Services : create intelligent apps with vision, speech, language, and knowledge capabilities using Microsoft Cognitive Services

Leif Larsen

QA76.76.A63

Monitoring with Graphite : tracking dynamic host and application metrics at scale

Jason Dixon

QA76.76.A63

Spring Boot messaging : messaging APIs for enterprise and integration solutions

Felipe Gutierrez

QA76.76.A63

OAuth 2 in action

Justin Richer, Antonio Sanso

QA76.76.A65

Prototyping of user interfaces for mobile applications

Benjamin Bähr

QA76.76.A65

Spinning up ServiceNow : IT service managers' guide to successful user adoption

Gabriele Kahlout

QA76.76.A65

Android apps for absolute beginners

Wallace Jackson

QA76.76.A65

Essential Docker for ASP.NET Core MVC

Adam Freeman

QA76.76.A65

Containerizing continuous delivery in Java : Docker integration for build pipelines and application architecture

Daniel Bryant

QA76.76.A65

Troubleshooting Docker : strategically design, troubleshoot, and automate Docker containers from development to deployment

Vaibhav Kohli, Rajdeep Dua, John Wooten

QA76.76.A65

Learning ServiceNow : get started with ServiceNow administration and development to manage and automate your IT Service Management processes

Tim Woodruff

QA76.76.A65

React and React Native : use React and React Native to build applications for desktop browsers, mobile browsers, and even as native mobile apps

Adam Boduch

QA76.76.A65

Flask : building Python web services : unleash the full potential of the Flask web framework by creating small to large and powerful web applications : a course three modules

QA76.76.A65

Learn Ionic 2 : develop multi-platform mobile apps

Joyce Justin, Joseph Jude

QA76.76.A65

Application Performance Management (APM) in the digital enterprise : managing applications for cloud, mobile, IoT and eBusiness

Rick Sturm, Carol Pollard, Julie Craig

QA76.76.A65

A practical guide to continuous delivery

Eberhard Wolff

QA76.76.A65

Designing data-intensive applications : the big ideas behind reliable, scalable, and maintainable systems

Martin Kleppmann

QA76.76.A65

Microservices in .NET Core : with examples in Nancy

Christian Horsdal Gammelgaard

QA76.76.A65

ServiceNow cookbook : over 50 practical and immediately applicable recipes to help you manage services in your enterprise environment efficiently

Ashish Rudra Srivastava

QA76.76.A65

Learning PySpark : build data-intensive applications locally and deploy at scale using the combined powers of Python and Spark 2.0

Tomasz Drabas, Denny Lee ; foreword by Holden Karau

QA76.76.A65

Spring : developing Java applications for the enterprise : leverage the power of Spring MVC, Spring Boot, Spring Cloud, and additional popular web frameworks : a course in three modules

QA76.76.A65

Technological innovation for cyber-physical systems : 8th IFIP WG 5.5SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings

Camarinha-Matos Luis M. , Parreira-Rocha Mafalda, Ramezani Javaneh (eds.)

QA76.76.A65

Build mobile apps with Ionic 2 and Firebase : hybrid mobile app development

Fu Cheng

QA76.76.A65

Xamarin continuous integration and delivery : Team services, Test cloud, and Hockeyapp [electronic resource]

Gerald Versluis

QA76.76.A65

Docker bootcamp : less is more with Docker

Russ McKendrick, Pethuru Raj, Jeeva S. Chelladhurai, Vinod Singh

QA76.76.A65

Learning Ionic : build hybrid mobile applications with HTML5, SCSS, and Angular

Arvind Ravulavaru

QA76.76.A65

React Native by example : leverage the full potential of the React Native framework to build and deploy your own native mobile applications for iOS and Android

Richard Kho ; foreword by Tyler McGinnis, partner at React Training

QA76.76.A65

HoloLens beginner's guide : join the AR revolution with HoloLens

Jason M. Odom

QA76.76.A65

Building cross-platform desktop applications with Electron : create impressive cross-platform desktop applications with Electron and Node

Muhammed Jasim

QA76.76.A65

Mastering full-stack React web development : dynamic and forward-thinking JavaScript web development

Tomasz Dyl, Kamil Przeorski

QA76.76.A65

Learning Windows Server Containers : build and deploy high-quality portable apps faster

Srikanth Machiraju

QA76.76.A65

Hybrid mobile development with Ionic : build high performance hybrid applications with HTML, CSS, and JavaScript

Gaurav Saini

QA76.76.A65

Android cookbook : problems and solutions for android developers

Ian Darwin

QA76.76.C65

A practical approach to compiler construction

Des Watson

QA76.76.C672

Transactions on edutainment XIII

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Mingmin Zhang (eds.)

QA76.76.C672

Game physics cookbook : discover over 100 easy-to-follow recipes to help you implement efficient game physics and collision detection in your games

Gabor Szauer

QA76.76.C672

Getting started with Unity 5.x 2D game development : build a tower defense game and earn delectable C# treats by baking cupcakes and fighting fearsome sweet-toothed pandas

Francesco Sapio

QA76.76.C672

Mastering Oculus Rift development : explore the new frontier of virtual reality with the Oculus Rift and bring the VR revolution to your own projects

Jack Donovan

QA76.76.C672

Swift 3 game development : embrace the mobile gaming revolution by creating popular iOS games with Swift 3.0

Stephen Haney

QA76.76.C672

Game development patterns and best practices : better games, less hassle

John P. Doran, Matt Casanova

QA76.76.C672

Unreal Engine VR cookbook : developing virtual reality with UE4

Mitch McCaffrey

QA76.76.C68

Windows virus and malware troubleshooting

Andrew Bettany, Mike Halsey

QA76.76.C69

Microsoft System Center 2016 service manager cookbook : discover over 100 practical recipes to help you master the art of IT service management for your organization

Anders Asp [and 4 others] ; foreword by Samuel Erskine

QA76.76.D47

Agile methods : 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised selected papers

Tiago Silva da Silva, Bernardo Estácio, Josiane Kroll, Rafaela Mantovani Fontana (eds.)

QA76.76.D47

SAFe 4.0 distilled : applying the Scaled Agile Framework for Lean software and systems engineering

Richard Knaster, Dean Leffingwell

QA76.76.D47

The cucumber book : behaviour-driven development for testers and developers

by Matt Wynne, Aslak Hellesøy, with Steve Tooke

QA76.76.D47

DevOps: Puppet, Docker, and Kubernetes : get hands-on recipes to automate and manage Linux containers with the Docker 1.6 environment and jump-start your Puppet development

Thomas Uphill, John Arundel, Neependra Khare, Hideto Saito, Hui-Chuan Chloe Lee, Ke-Jou Carol Hsu

QA76.76.D47

Digital prototyping tools : a new wave of design software

Jonathan Follett

QA76.76.D47

Agile and business analysis : practical guidance for IT professionals

Lynda Girvan and Debra Paul

QA76.76.D47

Microservices deployment cookbook : master over 60 recipes to help you deliver complete, scalable, microservice-based solutions and see the improved business results immediately

Vikram Murugesan

QA76.76.D47

Agile modeling with UML : code generation, testing, refactoring

Bernhard Rumpe

QA76.76.D47

The journey to enterprise agility : systems thinking and organizational legacy

Daryl Kulak, Hong Li

QA76.76.D47

Software architecture with Python : design and architect highly scalable, robust, clean, and high performance applications in Python

Anand Balachandran Pillai

QA76.76.D47

Adaptive code : agile coding with design patterns and SOLID principles

Gary McLean Hall

QA76.76.D47 X6 2017eb

Agile processes in software engineering and extreme programming : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings

Hubert Baumeister, Horst Lichter, Matthias Riebisch (eds.)

QA76.76.E95

Current trends on knowledge-based systems

Giner Alor-Hernáandez, Rafael Valencia-García, editors

QA76.76.H94

HTML to MadCap Flare : a guide to automating content migration and maintenance

Peter Lavin

QA76.76.H94

DITA for Print : A DITA Open toolkit workbook

Leigh W. White

QA76.76.I58

Potential-based analysis of social, communication, and distributed networks

Seyel Rasoul Etesami

QA76.76.I58

Modern approaches to agent-based complex automated negotiation

Katsuhide Fujita, Quan Bai, Takayuki Ito, Minjie Zhang, Fenghui Ren, Reyhan Aydoğan, Rafik Hadfi, editors

QA76.76.I59

RESTful web clients : enabling reuse through Hypermedia

Mike Amundsen

QA76.76.O62

Enterprise application architecture with .NET Core : an architectural journey into Microsoft .NET open source platform

Ganesan Senthilvel, Ovais Mehboob Ahmed Khan, Habib Ahmed Qureshi

QA76.76.O63

Android apps for absolute beginners : covering Android 7

Wallace Jackson

QA76.76.O63

Linux for Makers : understanding the operating system that runs Raspberry Pi and other maker SBCs

Aaron Newcomb

QA76.76.O63

Linux : powerful server administration : recipes for CentOS 7, RHEL 7, and Ubuntu server administration : a course in three modules

QA76.76.O63

Windows 10 Anniversary update bible

Rob Tidrow, Jim Boyce, Jeffrey R. Shapiro

QA76.76.O63 T87 2017

Pro Linux system administration : learn to build systems for your business using free and open source software

Dennis Matotek, James Turnbull, Peter Lieverdink

QA76.76.R47

Mastering scale and complexity in software reuse : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Goetz Botterweck, Claudia Werner (eds.)

QA76.76.S95

Exploring Swift Playgrounds : the fastest and most effective way to learn to code and to teach others to use your code

Jesse Feiler

QA76.76.T48

Test driven development in Ruby : a practical introduction to TDD using problem and solution domain analysis

Bala Paranj

QA76.76.T48

Spock, up and running : writing expressive tests in Java and Groovy

Rob Fletcher

QA76.76.V47

Embedded software verification and debugging

Djones Lettnin, Markus Winterholer, editors

QA76.76.W56

Mastering Windows presentation foundation : master the art of building modern desktop applications on Windows

Sheridan Yuen

QA76.76.W56

Windows internals. Part 1, system architecture, processes, threads, memory management, and more

Pavel Yosifovich, Alex Ionescu, Mark E. Russinovich, and David A. Solomon

QA76.77

Embedded and real-time operating systems

K.C. Wang

QA76.774.I67

iOS programming cookbook : over 50 exciting and powerful recipes to help you unearth the promise of iOS programming

Hossam Ghareeb

QA76.774.I67

iOS and macOS performance tuning : Cocoa, Cocoa Touch, Objective-C, and Swift

Marcel Weiher

QA76.774.I67

iOS 10 SDK development : creating iPhone and iPad apps with Swift

by Chris Adamson with Janie Clayton

QA76.774.L46

Containerization with LXC : get acquainted with the world of LXC

Konstantin Ivanov

QA76.774.L46

Security strategies in Linux platforms and applications

Michael Jang and Ric Messier

QA76.774.L46

Linus for developers : jumpstart your Linux programming skills

William "Bo" Rothwell

QA76.774.M434

Exam ref 70-742 identity with Windows Server 2016

Andrew Warren

QA76.774.M435 W36 2016

Absolute beginners guide to computing

QA76.774.M44

Easy Windows 10

Mark Edward Soper

QA76.774.M55

DevOps with Windows Server 2016 : obtain enterprise agility and continuous delivery by implementing DevOps with Windows Server 2016

Ritesh Modi

QA76.774.M55

MCSA 70-740 cert guide : installation, storage, and compute with Windows Server 2016

Anthony Sequeira

QA76.8.I64

Anyone can create an app : beginning iPhone and iPad programming

Wendy L. Wise

QA76.8.R15

Raspberry Pi Zero cookbook : delve into the practical world of the Raspberry Pi Zero

Edward Snajder

QA76.8.R15

Build supercomputers with Raspberry Pi 3 : a step-by-step guide that will enhance your skills in creating powerful systems to solve complex issues

Carlos R. Morrison

QA76.8.R15

Python programming with Raspberry Pi : build small yet powerful robots and automation systems with Raspberry Pi Zero

Sai Yamanoor, Srihari Yamanoor

QA76.87

Neural network programming with Java : create and unleash the power of neural networks by implementing professional Java code

Fabio M. Soares, Alan M.F. Souza

QA76.87

Granular neural networks, pattern recognition and bioinformatics

Sankar K. Pal, Shubhra S. Ray, Avatharam Ganivada

QA76.87

Deep learning with Keras : implement neural networks with Keras on Theano and TensorFlow

Antonio Gulli, Sujit Pal

QA76.88

Supercomputing : second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised selected papers

Vladimir Voevodin, Sergey Sobolev (eds.)

QA76.88

High performance computing : third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised selected papers

edited by Carlos Jaime Barrios Hernández, Isidoro Gitler, Jaime Klapp (eds.)

QA76.88

Tools for high performance computing 2016 : proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany

Christoph Niethammer, José Gracia, Tobias Hilbrich, Andreas Knüpfer, Michael M. Resch, Wolfgang E. Nagel, editors

QA76.9 .A25 2013

Cryptography : InfoSec pro guide

Sean-Philip Oriyano

QA76.9.A25

Codes, cryptology and information security : second International Conference, C2SI 2017, Rabat, Morocco, April 10-12, 2017, Proceedings -- In honor of Claude Carlet

Said El Hajji, Abderrahmane Nitaj, El Mamoun Souidi (eds.)

QA76.9.A25

Operations research, engineering, and cyber security : trends in applied mathematics and technology

Nicholas J. Daras, Themistocles M. Rassias

QA76.9.A25

Digital audio watermarking : fundamentals, techniques and challenges

Yong Xiang, Guang Hua, Bin Yan

QA76.9.A25

Enterprise security : second International Workshop, ES 2015, Vancouver, BC, Canada, November 30-December 3, 2015, Revised selected papers

Victor Chang, Muthu Ramachandran, Robert J. Walters, Gary Wills (eds.)

QA76.9.A25

Information security applications : 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised selected papers

Dooho Choi, Sylvain Guilley (eds.)

QA76.9.A25

To improve cybersecurity, think like a hacker

José Esteves, Elisabete Ramalho, Guillermo de Haro

QA76.9.A25

Certified ethical hacker (CEH) version 9 cert guide

Michael Gregg

QA76.9.A25

Darkweb cyber threat intelligence mining

John Robertson [and six others]

QA76.9.A25

Defensive security handbook : best practices for securing infrastructure

Lee Brotherston and Amanda Berlin

QA76.9.A25

Privacy and identity management : facing up to next steps : 11th IFIP WG 9.2, 9.5, 9.611.7, 11.4, 11.6SIG 9.2.2 International Summer School, Karlstad, Sweden, August 21-26, 2016, Revised selected papers

Anja Lehmann, Diane Whitehouse, Simone Fischer-Hübner, Lothar Fritsch, Charles Raab (eds.)

QA76.9.A25

Tutorials on the foundations of cryptography : dedicated to Oded Goldreich

Yehuda Lindell, editor

QA76.9.A25

Take control of your digital legacy

by Joe Kissell

QA76.9.A25

Risk assessment and risk-driven quality assurance : 4th International Workshop, RISK 2016, held in conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised selected papers

Jürgen Großmann, Michael Felderer, Fredrik Seehusen (eds.)

QA76.9.A25

Cybersecurity in France

Philippe Baumard

QA76.9.A25

Kali Linux intrusion and exploitation cookbook : over 70 recipes for system administrators or DevOps to master Kali Linux 2 and perform effective security assessments

Dhruv Shah, Ishan Girdhar

QA76.9.A25

Hacking the hacker : learn from the experts who take down hackers

Roger A. Grimes

QA76.9.A25

Research methods for cyber security

Thomas W. Edgar, David O. Manz

QA76.9.A25 .E97 2017eb

Advances in cryptology -- EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, Proceedings.

Jean-Sébastien Coron, Jesper Buus Nielsen (eds.)

QA76.9.A25 .E97 2017eb

Advances in cryptology -- EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, Proceedings.

Jean-Sébastien Coron, Jesper Buus Nielsen (eds.)

QA76.9.A25 .E97 2017eb

Advances in cryptology -- EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, Proceedings.

Jean-Sébastien Coron, Jesper Buus Nielsen (eds.)

QA76.9.A25 L54 2016eb

Lightweight cryptography for security and privacy : 5th International Workshop, LightSec 2016, Aksaray, Turkey, September 21-22, 2016, Revised selected papers

Andrey Bogdanov (ed.)

QA76.9.A25 P67 2017eb

Principles of security and trust : 6th International Conference, POST 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings [electronic resource]

Matteo Maffei, Mark Ryan (eds.)

QA76.9.A25 S467 2017

Digital watermarking and steganography : fundamentals and techniques

Frank Y. Shih

QA76.9.A3

Applied reconfigurable computing : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Stephan Wong, Antonio Carlos Beck, Koen Bertels, Luigi Carro (eds.)

QA76.9.A43

Outlier ensembles : an introduction

Charu C. Aggarwal, Saket Sathe

QA76.9.A43

Algorithms for dummies

John Paul Mueller, Luca Massaron

QA76.9.A43 B46 2014

A guide to algorithm design : paradigms, methods, and complexity analysis

Anne Benoit, Yves Robert, and Frédérick Vivien

QA76.9.A43 E95 2017eb

Applications of evolutionary computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings.

Giovanni Squillero, Kevin Sim et al. (eds.)

QA76.9.A43 E95 2017eb

Applications of evolutionary computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings.

Giovanni Squillero, Kevin Sim et al. (eds.)

QA76.9.A48

Ambient intelligence : 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings

Andreas Braun, Reiner Wichert, Antonio Maña (eds.)

QA76.9.A94

Augmented reality : where we will all live

Jon Peddie

QA76.9.B45

Information management and big data : second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and third Annual International Symposium, SIMBig 2016, Cusco, Peru, September 1-3, 2016, Revised selected papers

Juan Antonio Lossio-Ventura, Hugo Alatrista-Salas (eds.)

QA76.9.B45

Big and complex data analysis : methodologies and applications

S. Ejaz Ahmed, editor

QA76.9.B45

Big data visualization : learn effective tools and techniques to separate big data into manageable and logical components for efficient data visualization

James D. Miller

QA76.9.B45

Emerging technology and architecture for big-data analytics

Anupam Chattopadhyay, Chip Hong Chang, Hao Yu, editors

QA76.9.B45

Signal processing and networking for big data applications

Zhu Han, Mingyi Hong, Dan Wang

QA76.9.B45 B556 2017

Big data management and processing

edited by Kuan-Ching Li, Hai Jiang, Albert Y. Zomaya

QA76.9.C55

Implementing Cisco UCS solutions : a hands-on guide to deploy, manage, troubleshoot and automate Cisco UCS solutions in the data center

Anuj Modi, Farhan Ahmed Nadeem, Prasenjit Sarkar

QA76.9.C55

Exam ref 70-768 developing SQL data models

Stacia Varga

QA76.9.C65

The science and art of simulation I : exploring, understanding, knowing

Michael M. Resch, Andreas Kaminski, Petra Gehring, editors

QA76.9.C65

Guide to computational modelling for decision processes : theory, algorithms, techniques and applications

Stuart Berry, Val Lowndes, Marcello Trovati, editors

QA76.9.D26

Usage-driven database design : from logical data modeling through physical schema definition

George Tillmann

QA76.9.D26

Usage-driven database design : from logical data modeling through physical schema definition : taming NoSQL and relational schemas

George Tillmann

QA76.9.D3

On the move to meaningful internet systems : OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised selected papers

Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal (eds.)

QA76.9.D3

PostgreSQL high performance cookbook : mastering query optimization, database monitoring, and performance-tuning for PostgreSQL

Chitij Chauhan, Dinesh Kumar

QA76.9.D3

Pro SQL server internals

Dmitri Korotkevitch

QA76.9.D3

High performance SQL Server : the go faster book : bringing consistent response time to mission-critical applications

Benjamin Nevarez

QA76.9.D3

Understanding the chief data officer : lessons and advice from the role's pioneers

Julie Steele

QA76.9.D3

ElasticSearch 5.x cookbook : over 170 advanced recipes to search, analyze, deploy, manage, and monitor data effectively with ElasticSearch 5.x

Alberto Paro

QA76.9.D3

PostgreSQL high availability cookbook : master over 100 recipes to design and implement a highly available server with the advanced features of PostgreSQL

Shaun M. Thomas

QA76.9.D3

Data management and analytics for medicine and healthcare : second International Workshop, DMAH 2016, held at VLDB 2016, New Delhi, India, September 9, 2016, Revised selected papers

Fusheng Wang, Lixia Yao, Gang Luo (eds.)

QA76.9.D3

Oracle Business Intelligence enterprise edition 12c : build your organization's Business Intelligence system

Adrian Ward, Christian Screen, Haroun Khan

QA76.9.D3

PostgreSQL administration cookbook : effective database management using PostgreSQL 9.59.6

Simon Riggs, Gianni Ciolli, Gabriele Bartolini

QA76.9.D32

Database systems for advanced applications : DASFAA 2017 International Workshops: BDMS, BDQM, SeCoP, and DMMOOC, Suzhou, China, March 27-30, 2017, Proceedings

Zhifeng Bao, Goce Trajcevski, Lijun Chang, Wen Hua (eds.)

QA76.9.D32

Database systems for advanced applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings.

Selçuk Candan, Lei Chen, Torben Bach Pedersen, Lijun Chang, Wen Hua (eds.)

QA76.9.D32

Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings.

Selçuk Candan, Lei Chen, Torben Bach Pedersen, Lijun Chang, Wen Hua (eds.)

QA76.9.D32

Building data centers with VXLAN BGP EVPN : a Cisco NX-OS perspective

Lukas Krattiger, Shyam Kapadia, David Jansen

QA76.9.D32

SQL Server 2016 developer's guide : get the most out of the rich development capabilities of SQL Server 2016 to build efficient database applications for your organization

Dejan Sarka, Miloš Radivojević, William Durkin

QA76.9.D32

Learning Apache Cassandra : managing fault-tolerant and scalable data

Sandeep Yarabarla

QA76.9.D343

Think like a data scientist : tackle the data science process step-by-step

Brian Godsey

QA76.9.D343

Mastering Spark for data science : master the techniques and sophisticated analytics used to construct Spark-based solutions that scale to deliver production-grade data science products

Andrew Morgan, Antoine Amend, Matthew Hallett, David George ; foreword by Harry Powell

QA76.9.D343

Learning Apache Spark 2 : process big data with the speed of light!

Muhammad Asif Abbasi

QA76.9.D343

From social data mining and analysis to prediction and community detection

Mehmet Kaya, Özcan Erdoǧan, Jon Rokne, editors

QA76.9.D343

Trends in social network analysis : information propagation, user behavior modeling, forecasting, and vulnerability assessment

Rokia Missaoui, Talel Abdessalem, Matthieu Latapy, editors

QA76.9.D343

Advances in knowledge discovery and data mining : 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings.

Jinho Kim, Kyuseok Shim, Longbing Cao, Jae-Gil Lee, Xuemin Lin, Yang-Sae Moon (eds.)

QA76.9.D343

Advances in knowledge discovery and data mining : 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings.

Jinho Kim, Kyuseok Shim, Longbing Cao, Jae-Gil Lee, Xuemin Lin, Yang-Sae Moon (eds.)

QA76.9.D343

Mining intelligence and knowledge exploration : 4th International Conference, MIKE 2016, Mexico City, Mexico, November 13-19, 2016, Revised selected papers

Rajendra Prasath, Alexander Gelbukh (eds.)

QA76.9.D343

Transparent data mining for big and small data [electronic resource]

Tania Cerquitelli, Daniele Quercia, Frank Pasquale, editors

QA76.9.D343

Spark, the definitive guide : big data processing made simple

Bill Chambers, Matei Zaharia

QA76.9.D35

Everyday data structures : a practical guide to learning data structures simply and easily

William Smith

QA76.9.D35

Learning functional data structures and algorithms : learn functional data structures and algorithms for your applications and bring their benefits to your work now

Atul S. Khot, Raju Kumar Mishra

QA76.9.D5

Sams teach yourself Hadoop in 24 hours

Jeffrey Aven

QA76.9.D5

Software project management for distributed computing : life-cycle methods for developing scalable and reliable tools

Zaigham Mahmood, editor

QA76.9.D5

Deep learning with Hadoop : build, implement and scale distributed deep learning models for large-scale datasets

Dipayan Dev

QA76.9.D5

Building Blockchain projects : develop real-time practical DApps using Ethereum and JavaScript

Narayan Prusty

QA76.9.D5 F636 2017eb

Fog for 5G and IoT

edited by Mung Chiang, Bharath Balasubramanian, Flavio Bonomi

QA76.9.F67

Formal aspects of component software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised selected papers

Olga Kouchnarenko, Ramtin Khosravi (eds.)

QA76.9.F67

The handbook of formal methods in human-computer interaction

Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors

QA76.9.F67

NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

edited by Clark Barrett, Misty Davies, Temesghen Kahsai

QA76.9.H85

Designing with data : improving the user experience with AB testing

Rochelle King, Elizabeth F. Churchill, and Caitlin Tan

QA76.9.H85

Designing UX : prototyping

by Ben Coleman and Dan Goodwin

QA76.9.H85

Toward brain-computer interaction in paralysis : a new approach based on visual evoked potentials and depth-of-field

Anibal Cotrina

QA76.9.H85

Human-harmonized information technology. Volume 2, Horizontal expansion

Toyoaki Nishida, editor

QA76.9.H85

Mixed reality and gamification for culture heritage

Marinos Ioannides, Nadia Magenta-Thalmann, George Papagiannakis, editors

QA76.9.H85

HCI for children with disabilities [electronic resource]

Josefina Guerrero-Garcia, Juan Manuel González-Calleros, Jaime Muñoz-Arteaga, César A. Collazos, editors

QA76.9.H85

Conversations around semiotic engineering [electronic resource]

Simone Diniz Junqueira Barbosa, Karin Breitman, editors

QA76.9.H85 N668 2017

Cyberpsychology : an introduction to human-computer interaction

Kent L. Norman, University of Maryland

QA76.9.H85 S633 2017

Social signal processing

[edited by] Judee K. Burgoon, Nadia Magnenat-Thalmann, Maja Pantic, Alessandro Vinciarelli

QA76.9.H85 S96 2016eb

Symbiotic interaction : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised selected papers

edited by Luciano Gamberini, Anna Spagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman

QA76.9.I52

Python : data analytics and visualization : understand, evaluate, visualize data

Phuong Vo. T.H., Martin Czygan, Ashish Kumar, Kirthi Raman

QA76.9.I52

Learn ggplot2 using shiny app

Keon-Woong Moon

QA76.9.I52

Learning Kibana 5.0 : exploit the visualization capabilities of Kibana and build powerful interactive dashboards

Bahaaldine Azarmi

QA76.9.I52

D3.js 4.x data visualization : learn to visualize your data with JavaScript

Ændrew Rininsland, Swizec Teller

QA76.9.I52

Expert data visualization : breathe life into your data by learning how to use D3.js V4 to visualize information

Jos Dirksen

QA76.9.L63

Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers

Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)

QA76.9.M35

Models of computation

Roberto Bruni, Ugo Montanari

QA76.9.M35

Mathematics and computing : third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings

Debasis Giri, Ram N. Mohapatra, Heinrich Begehr, Mohammad S. Obaidat (eds.)

QA76.9.M35

Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Peter Höfner, Damien Pous, Georg Struth (eds.)

QA76.9.M35 T35 2017eb

Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.V. Gopal, Gerhard Jäger, Silvia Steila (eds.)

QA76.9.M45

Data management on new hardware : 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, Septem

Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin Levandoski, Andrew Pavlo (eds)

QA76.9.N37

Real-life applications with membrane computing

Gexiang Zhang, Mario J. Pérez-Jiménez, Marian Gheorghe

QA76.9.N38

Automatic processing of natural-language electronic texts with NooJ : 10th International Conference, NooJ 2016, České Budějovice, Czech Republic, June 9-11, 2016, Revised selected papers

Linda Barone, Mario Monteleone, Max Silberztein (eds.)

QA76.9.N38

A practical guide to sentiment analysis

Erik Cambria, Dipankar Das, Sivaji Bandyopadhyay, Antonio Feraco, editors

QA76.9.S63

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

QA76.9.S63

Engineering applications of soft computing

Margarita-Arimatea Díaz-Cortés, Erik Cuevas, Raúl Rojas

QA76.9.S88

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.

Axel Legay, Tiziana Margaria (eds.)

QA76.9.S88

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.

Axel Legay, Tiziana Margaria (eds.)

QA76.9.S88

Reactive design patterns

Roland Kuhn, with Brian Hanafee and Jamie Allen

QA76.9.S88

Complexity in Information Systems Development: Proceedings of the 25th International Conference on Information Systems Development

QA76.9.U83

3D user interfaces : theory and practice

Joseph J. LaViola Jr. [and four others]

QA76.9.U83

Designing user interfaces for an aging population : towards universal design

Jeff Johnson, Kate Finn

QA76.9.U83

Inclusive design patterns : coding accessibility into web design

by Heydon Pickering

QA76.9.U83

Building an intuitive multimodal interface for a smart home : hunting the SNARK [electronic resource]

John N.A Brown, Anton Josef Fercher, Gerhard Leitner

QA76.9.U83

Learning React : functional web development with React and Redux

Alex Banks and Eve Porcello

QA76.9.V5

Oracle Solaris 11 system virtualization essentials

Jeff Victor, Jeff Savit, Gary Combs, Bob Netherton

QA76.9.V5

Learning PowerCLI : learn to leverage the power of PowerCLI to automate your VMware vSphere environment with ease

Robert van den Nieuwendijk

QA8.4

Mathematics as a tool : tracing new roles of mathematics in the sciences

Johannes Lenhard, Martin Carrier, editors

QA808

Nonlinear dynamics. Volume 1 : : proceedings of the 35th IMAC, a Conference and Exposition on Structural Dynamics 2017

Gaetan Kerschen, editor

QA808.2

Modeling nonlinear problems in the mechanics of strings and rods : the role of the balance laws

Oliver M. O'Reilly

QA839

Evolution of motions of a rigid body about its center of mass

Felix L. Chernousko, Leonid D. Akulenko, Dmytro D. Leshchenko

QA867.5

History of nonlinear oscillations theory in France (1880-1940)

Jean-Marc Ginoux

QA9.63

The incomputable : journeys beyond the Turing barrier [electronic resource]

S. Barry Cooper, Mariya I. Soskova, editors

QA9.64

Optimization of type-2 fuzzy controllers using the bee colony algorithm

Leticia Amador, Oscar Castillo

QA905

One hundred years of pressure : hydrostatics from Stevin to Newton

Alan F. Chalmers

QA911

Non-hydrostatic free surface flows

Oscar Castro-Orgaz, Willi H. Hager

QA911

Existence theory for generalized newtonian fluids

Dominic Breit

QA913

Stability and suppression of turbulence in relaxing molecular gas flows

Yurii N. Grigoryev, Igor V. Ershov

QA925

Coherent vortex structures in fluids and plasmas

Anatoli Tur, Vladimir Yanovsky

QA929

Viscous flows : stretching and shrinking of surfaces

Ahmer Mehmood

QA933

Internal variables in thermoelasticity [electronic resource]

Arkadi Berezovski, Peter Ván

QB275

REFAG 2014 : proceedings of the IAG Commission 1 Symposium Kirchberg, Luxembourg, 13-17 October, 2014

edited by Tonie van Dam

QB44.3

Astronomy adventures and vacations : how to get the most out of astronomy in your leisure time

Timothy Treadwell

QB462.6

A dirty window : diffuse and translucent molecular gas in the interstellar medium

Loris Magnani, Steven N. Shore

QB479.3 .T47 2017

Interferometry and synthesis in radio astronomy

A. Richard Thompson, James M. Moran, George W. Swenson Jr

QB526.S65

Solar energetic particles : a modern primer on understanding sources, acceleration and propagation

Donald V. Reames

QB592

The Apollo lunar samples : collection analysis and results

Anthony Young

QB601

Gas accretion onto galaxies

Andrew Fox, Romeel Davé, editors

QB641

Exploring the Martian moons : a human mission to Deimos and Phobos

Manfred "Dutch" von Ehrenfried

QB721

Visually observing comets

David A.J. Seargent

QB791.3

Interacting dark energy and the expansion of the universe

Alexander S. Silbergleit, Arthur D. Chernin

QB791.4

Submillimetre studies of prestellar and starless cores in the Ophiuchus, Taurus and Cepheus molecular clouds

Katherine Miranda Pattle

QB88

Merz telescopes : a global heritage worth preserving

Ileana Chinnici, editor

QC125.2

Experiments and video analysis in classical mechanics

Vitor L. B. de Jesus

QC151

Fluid Dynamics for Global Environmental Studies [electronic resource]

QC16.A478

Guerrilla science : survival strategies of a Cuban physicist

Ernesto Altshuler

QC16.B64

David Bohm : causality and chance, letters to three women

Chris Talbot, editor

QC16.M273

Ettore Majorana : unveiled genius and endless mysteries

Salvatore Esposito ; translated by Lauara Gentile de Fraia

QC168 .B63 2017eb

Nonequilibrium gas dynamics and molecular simulation

Iain D. Boyd (University of Michigan), Thomas E. Schwartzentruber (University of Minnesota)

QC168.85.S45

Impactful times : memories of 60 years of shock wave research at Sandia National Laboratories

James R. Asay, Lalit C. Chhabildas, R. Jeffrey Lawrence, Mary Ann Sweeney

QC173.454

Correlations in condensed matter under extreme conditions : a tribute to Renato Pucci on the occasion of his 70th birthday

G.G.N. Angilella, Antonino La Magna, editors

QC173.55

Relativity matters : from Einstein's EMC2 to laser particle acceleration and quark-gluon plasma : with exercises, examples and discussions

Johann Rafelski

QC173.7

Lectures on classical and quantum theory of fields

Henryk Arodź, Leszek Hadasz

QC174.12

Quantum spin systems on infinite lattices : a concise introduction

Pieter Naaijkens

QC174.12

Bohmian mechanics, open quantum systems and continuous measurements

Antonio B. Nassar, Salvador Miret-Artés

QC174.12

Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning

Bob Coecke, Aleks Kissinger

QC174.12

The quantum world : philosophical debates on quantum physics

Bernard d'Espagnat, Hervé Zwirn, editors

QC174.12

Scattering and structures : essentials and analogies in quantum physics

Bogdan Povh, Mitja Rosina

QC174.12

Linear dynamical quantum systems : analysis, synthesis, and control

Hendra I Nurdin, Naoki Yamamoto

QC174.12

Quantum theory from first principles : an informational approach

Giacomo Mauro D'Ariano, Giulio Chiribella, Paolo Perinotti

QC174.13 .P76 2014eb

Protective measurement and quantum reality : toward a new understanding of quantum mechanics

edited by Shan Gao, Chinese Academy of Science

QC174.17.G68

Green's functions in classical physics

Tom Rother

QC174.17.S9P73 2017

Supersymmetry, supergravity, and unification

Pran Nath

QC174.26.W28

KP solitons and the Grassmannians : combinatorics and geometry of two-dimensional wave patterns

Yuji Kodama

QC174.26.W3

The meaning of the wave function : in search of the ontology of quantum mechanics

Shan Gao

QC174.45 .C67 2017eb

Factorization algebras in quantum field theory. Volume 1

Kevin Costello, Owen Gwilliam

QC174.52.L6

Tests of Lorentz Invariance with an optical ring cavity

Yuta Michimura

QC174.8

Non-equilibrium statistical physics with application to disordered systems

Manuel Osvaldo Cáceres

QC175.47.B65

Universal themes of Bose-Einstein condensation

[edited by] Nick P. Proukakis, David W. Snoke, Peter B. Littlewood

QC20

Introduction to methods of approximation in physics and astronomy

Maurice H. P. M. van Putten

QC20

Mathematical methods of classical physics

Vicente Cortés, Alexander S. Haupt

QC20.7.D52

Differential geometry and mathematical physics. Part II, Fibre bundles, topology and gauge fields

Gerd Rudolph, Matthias Schmidt

QC20.7.R43

The c and a-Theorems and the local renormalisation group

Graham Shore

QC311

Equilibrium thermodynamics [electronic resource]

QC527.2

Electricity for young makers : fun and easy do-it -yourself projects

Marc de Vinck ; art by Mike Gray

QC595.5

Fracture mechanics of piezoelectric solids with interface cracks

Volodymyr Govorukha, Marc Kamlah, Volodymyr Loboda, Yuri Lapusta

QC611.6.J85

Design and control of highly conductive single-molecule junctions : a focus on the metal-molecule interface

Satoshi Kaneko

QC611.98.H54

High-Tc copper oxide superconductors and related novel materials : dedicated to Prof. K. A. Müller on the occasion of his 90th birthday

Annette Bussmann-Holder, Hugo Keller, Antonio Bianconi, editors

QC688 .R46 2017eb

Basics of laser physics [electronic resource]

QC689.55.S45 G8 2017eb

Semiconductor nanolasers

Qing Gu, University of Texas, Dallas, Yeshaiahu Fainman, University of California, San Diego

QC773.3.U5 T46 2017

Polonium in the Playhouse : the Manhattan Project's secret chemistry work in Dayton, Ohio

Linda Carrick Thomas

QC793.4

Probability and statistics for particle physics

Carlos Maña

QC793.5.E627

Synchrotron radiation and free-electron lasers : principles of coherent X-ray generation

Kwang-Je Kim, Zhirong Huang, Ryan Lindberg

QC794.6.E9

Exotic nuclear excitations : the transverse wobbling mode in 135 Pr

James Till Matta

QC794.6.G7

Supersymmetric grand unified theories : from quarks to strings via SUSY GUTs

Stuart Raby

QC794.6.S75

Collider physics within the standard model : a primer

Guido Altarelli ; edited by James Wells

QC794.6.S85

String theory compactifications

Mariana Graña, Hagen Triendl

QC801

Technology and application of environmental and engineering geophysics : selected papers of the 7th International Conference on Environmental and Engineering Geophysics, ICEEG-Beijing 2016

Qingyun Di, Guoqiang Xue, Jianghai Xia, editors

QC861.3

Self-organized criticality and predictability in atmospheric flows : the quantum world of clouds and rain

Amujuri Mary Selvam

QC903

Climate change adaptation in Africa : fostering resilience and capacity to adapt

Walter Leal Filho, Belay Simane, Jokasha Kalangu, Menas Wuta, Pantaleo Munishi, Kumbirai Musiyiwa, editors

QC903.2.I4

Climate change adaptation and forest dependent communities : an analytical perspective of different agro-climatic regions of West Bengal, India

Jyotish Prakash Basu

QD11

The chemical works of Carl Wilhelm Scheele [electronic resource]

Anders Lennartson

QD116.I57

Fast electrochemical impedance spectroscopy : as a statistical condition monitoring tool

Pavle Boškoski, Andrej Debenjak, Biljana Mileva Boshkoska

QD181.F1 S96 1992

Synthetic fluorine chemistry

edited by George A. Olah, Richard D. Chambers, and G.K. Surya Prakash

QD181.S6

Silica stories

Christina De La Rocha, Daniel J. Conley

QD181.T6

Dynamics of nanoparticles in stagnation flames

Yiyang Zhang

QD262

Sulfur dioxide insertion reactions for organic synthesis

Danqing Zheng, Jie Wu

QD281.P6

Blends and graft copolymers of cellulosics : toward the design and development of advanced films and fibers

Yoshiyuki Nishio [and four others]

QD325

Glucosinolates

Jean-Michel Mérillon, Kishan Gopal Ramawat, editors

QD471

Clusters-contemporary insight in structure and bonding

Stefanie Dehnen, editors ; with contributions by J.F. Corrigan [and more]

QD516

Ignition and wave processes in combustion of solids

Nickolai M. Rubtsov, Boris S. Seplyarskii, Michail I. Alymov

QD79.T38

Thermal physics and thermal analysis : from macro to micro, highlighting thermodynamics, kinetics and nanomaterials

Jaroslav Šesták, Pavel Hubík, Jiří J. Mareš, editors

QD801

Sonochemistry : from basic principles to innovative applications

Juan Carlos Colmenares, Gregory Chatel, editors ; with contributions from Muthupandian Ashokkumar ... [and 20 others]

QD96.I5

Quantitative infrared spectroscopy for understanding of a condensed matter

Takeshi Hasegawa

QE501

Geodynamics of the Latin American Pacific margin

edited by William L. Bandy, Juanjo Dañobeitia, Carlos Guti?rrez, Yuri Taran, Rafael Bartolomé

QE516.C37

Engineering aspects of geologic CO₂ storage : synergy between enhanced oil recovery and storage

Dayanand Saini

QE599.2

Laser scanning applications in landslide assessment

Biswajeet Pradhan, editor

QE660

Pre-carboniferous evolution of the San Rafael block, Argentina : implications in the SW Gondwana margin

Carlos A. Cingolani, editor

QE720.5

Atlas of trace fossils in well core : appearance, taxonomy and interpretation

Dirk Knaust

QE882.U6

Fossil horses of South America : phylogeny, systemics and ecology

José Luis Prado, María Teresa Alberdi

QH193.H5 P36 2017

Life in the Himalaya : an ecosystem at risk

Maharaj K. Pandit

QH212.T7

Electron nano-imaging : basics of imaging and diffraction for TEM and STEM

Nobuo Tanaka

QH313

Network biology

Intawat Nookaew, editor ; with contributions by P. Ajawatanawong [and more]

QH323.5

Active particles. Volume 1, Advances in theory, models, and applications

Nicola Bellomo, Pierre Degond, Eitan Tadmor, editors

QH324.2

Translational bioinformatics and its application

Dong-Qing Wei, Yilong Ma, William C.S. Cho, Qin Xu, Fengfeng Zhou, editors

QH324.2

Bioinformatics and biomedical engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26?28, 2017, Proceedings.

Ignacio Rojas, Francisco Ortuño (eds.)

QH324.2

Bioinformatics and biomedical engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings.

Ignacio Rojas, Francisco Ortuño (eds.)

QH324.2

Bioinformatics -- a student's companion

Kalibulla Syed Ibrahim, Guruswami Gurusubramanian, Zothansanga, Ravi Prakash Yadav, Nachimuthu Senthil Kumar, Shunmugiah Karutha Pandian, Probodh Borah, Surender Mohan

QH324.2 .R43 2017eb

Research in computational molecular biology : 21st Annual International Conference, RECOMB 2017, Hong Kong, China, May 3-7, 2017, Proceedings

S. Cenk Sahinalp (eds.)

QH324.25

Artificial intelligence in label-free microscopy : biological cell classification by time stretch

Ata Mahjoubfar, Claire Lifan Chen, Bahram Jalali

QH325

From matter to life : information and causality

edited by Sara Imari Walker, Paul C.W. Davies, George F.R. Ellis

QH331 .B495 2017

Biological individuality : integrating scientific, philosophical, and historical perspectives

edited by Scott Lidgard and Lynn K. Nyhart

QH352

Dynamical systems in population biology

Xiao-Qiang Zhao

QH353

Biological invasions and its management in China. Volume 2

Fanghao Wan, Mingxing Jiang, Aibin Zhan, editors

QH353

Biological invasions and its management in China. Volume 1

Fanghao Wan, Mingxing Jiang, Aibin Zhan, editors

QH429.2.T54

Genetics, evolution and radiation : crossing borders, the interdisciplinary legacy of Nikolay W. Timofeeff-Ressovsky

Victoria L. Korogodina, Carmel E. Mothersill, Sergey G. Inge-Vechtomov, Colin B. Seymour, editors

QH431

Human chromosome variation : heteromorphism, polymorphism and pathogenesis

Herman E. Wyandt, Golder N. Wilson, Vijay S. Tonk

QH505

Modern tools of biophysics. Volume 5

Thomas Jue, editor

QH506

Macromolecular protein complexes : structure and function

J. Robin Harris, Jon Marles-Wright, editors

QH541.15.E265 D54 2017

Ecological forecasting

Michael C. Dietze

QH541.15.L35

Learning landscape ecology : a practical guide to concepts and techniques

Sarah E. Gergel, Monica G. Turner, editors

QH541.15.R45

Foundations of restoration ecology

edited by Margaret A. Palmer, Joy B. Zedler, and Donald A. Falk

QH541.15.S64 D49 2017

Stochastic communities : a mathematical theory of biodiversity

A. K. Dewdney

QH541.29

The GEO Handbook on Biodiversity Observation Networks

edited by Michele Walters, Robert J. Scholes

QH541.5.M3

Wetland science : perspectives from South Asia

B. Anjan Kumar Prusty, Rachna Chandra, P. A. Azeez, editors

QH541.5.R3

Rangeland systems : processes, management and challenges

David D. Briske, editor

QH581.2

Modeling cellular systems [electronic resource]

Frederik Graw, Franziska Matthäus, Jürgen Pahle, editors

QH581.2 .C66 2013

The cell : a molecular approach

Geoffrey M. Cooper, Robert E. Hausman

QH585.5.F56

Single cell analysis : contemporary research and clinical applications

J. Paul Robinson, Andrea Cossarizza, editors

QH588.S83

Innovative diagnostics and treatment : nanorobotics and stem cells

Tomasz Jadczyk [and nine others]

QH605

Asymmetric cell division in development, differentiation and cancer

Jean-Pierre Tassan, Jacek Z. Kubiak, editors

QH671

Apoptotic and non-apoptotic cell death

Shigekazu Nagata, Hiroyasu Nakano, editors

QH75

Restoring neighborhood streams : planning, design, and construction

Ann L. Riley

QH92.7

Biological oceanography of the Baltic Sea

Pauline Snoeijs-Leijonmalm, Hendrik Schubert, Teresa Radziejewska, editors

QK495.A66

Catharanthus roseus : current research and future prospects

M. Naeem, Tariq Aftab, M. Masroor A. Khan, editors

QK495.L52

Stem anatomy of dalbergia and diospyros species from Madagascar : with a special focus on wood identification

Bako Harisoa Ravaomanalina, Alan Crivellaro, Fritz Hans Schweingruber

QK495.S19

The lychee biotechnology

Manoj Kumar, Vivek Kumar, Ram Prasad, Ajit Varma, editors

QK569.E93

Euglena : biochemistry, cell and molecular biology

Steven D. Schwartzbach, Shigeru Shigeoka, editors

QK604.2.M92

Arbuscular mycorrhizas and stress tolerance of plants

Qiang-Sheng Wu, editor

QK618

Fungi in coastal and oceanic marine ecosystems : marine fungi

Seshagiri Raghukumar

QK715.5 .M86 2017

Engineering the environment : phytotrons and the quest for climate control in the Cold War

David P. D. Munns

QK7578

Natural UV radiation in enhancing survival value and quality of plants

Swati Sen Mandi

QK926

Obligate pollination mutualism [electronic resource]

Makoto Kato, Atsushi Kawakita, editors

QK981

Plant epigenetics

Nikolaus Rajewsky, Stefan Jurga, Jan Barciszewski, editors

QL100

Evolution of venomous animals and their toxins

P. Gopalakrishnakone, editor-in-chief ; Anita Malhotra, editor

QL512.3.A1

Neuroptera (including megaloptera)

Charles W. Heckman

QL638.N6

The Antarctic Silverfish [electronic resource]

QL677.78

Birds of prey and wind farms : analysis of problems and possible solutions

Hermann Hötker, Oliver Krone, Georg Nehls, editors

QL698

The biology of the avian respiratory system : evolution, development, structure and function

John N. Maina, editor

QL737.C22 P467 2017

Wolf nation : the life, death, and return of wild American wolves

Brenda Peterson

QL776 .O85 2017

Animal vocal communication : assessment and management roles

QM557 .G38 2018

Color atlas and text of histology

Leslie P. Gartner

QM567

Cartilage. Volume 3, Repair strategies and regeneration

Susanne Grässel, Attila Aszódi, editors

QP141 .E82 2017

Essentials of human nutrition

edited by Jim Mann, A. Stewart Truswell

QP251

Oxidative stress in human reproduction : shedding light on a complicated phenomenon

Ashok Agarwal, Rakesh Sharma, Sajal Gupta, Avi Harlev, Gulfam Ahmad, Stefan S. du Plessis, Sandro C. Esteves, Siew May Wang, Damayanthi Durairajanayagam, editors

QP301 .P64 2018

Exercise physiology : theory and application to fitness and performance

Scott K. Powers, Edward T. Howley

QP303

Computational biomechanics for medicine : from algorithms to models and applications

Adam Wittek, Grand Joldes, Poul M.F. Nielsen, Barry J. Doyle, Karol Miller, editors

QP31.2 .C67 2017

Physiology

Linda S. Costanzo

QP355.2

Emerging trends in neuro engineering and neural computation

Asim Bhatti, Kendall H. Lee, Hamid Garmestani, Chee Peng Lim, editors

QP355.2 .P37 2017

Cyberpsychology and the brain : the interaction of neuroscience and affective computing

Thomas D. Parsons

QP356.22

Leucine-Rich Repeat kinase 2 (LRRK2)

Hardy J. Rideout, editor

QP357.5

An introduction to modeling neuronal dynamics

Christoph Börgers

QP357.5

Neuromorphic cognitive systems : a learning and memory centered approach [electronic resource]

Qiang Yu, Huajin Tang, Jun Hu, Kay Tan Chen

QP360.7

Brain-computer interface research : a state-of-the-art summary 5

Christoph Guger, Brendan Allison, Junichi Ushiba, editors

QP363.3

Reconstruction, identification and implementation methods for spiking neural circuits

Dorian Florescu

QP375.5

The blood brain barrier and inflammation

Ruth Lyck, Gaby Enzmann, editors

QP376.6

This is our brain

Jeroen Hendrikse

QP511.8.S325

Frederick Sanger : two-time Nobel laureate in chemistry

Joe S. Jeffers

QP551

From protein structure to function with bioinformatics

Daniel J. Rigden, editor

QP551.5

Summarizing biological networks

Sourav S. Bhowmick, Boon-Siew Seah

QP552.B65

Bone morphogenetic proteins : systems biology regulators

Slobodan Vukicevic, Kuber T. Sampath, editors

QP552.H43

The role of heat shock proteins in reproductive system development and function

Daniel J. MacPhee, editor

QP572.T4

Testosterone : From Basic to Clinical Aspects

QP624.5.D72 R674 2017

It's in your DNA : from discovery to structure, function and role in evolution, cancer and aging

Eugene Rosenberg

QP624.75.P74

RUNX proteins in development and cancer

Yoram Groner, Yoshiaki Ito, Paul Liu, James C. Neil, Nancy A. Speck, Andre van Wijnen, editors

QP625.N89

Non-canonical cyclic nucleotides

Roland Seifert, editor

QP631

Toxins and drug discovery

P. Gopalakrishnakone, editor-in-chief ; Lourdes J. Cruz, Sulan Luo, editors

QP752.B54

Bile acids in gastroenterology : basic and clinical

Susumu Tazuma, Hajime Takikawa, editors

QP801.G83

Guanidines as reagents and catalysts II

Philipp Selig, editor ; with contributions by V. del Amo [and more]

QP801.G83

Guanidines as reagents and catalysts I

Philipp Selig, editor ; with contributions by D.H. Grayson [and more]

QP82.2.M3

Biological effects of static magnetic fields

Xin Zhang, Kevin Yarema, An Xu

QP88.15

Adipose tissue biology

Michael E. Symonds, editor

QR177

Handbook of antimicrobial resistance

Matthias Gotte, editor-in-chief ; Albert Berghuis, Greg Matlashewski, Mark A. Wainberg, Donald Sheppard, editors

QR177

Drug resistance in bacteria, fungi, malaria, and cancer

Gunjan Arora, Andaleeb Sajid, Vipin Chandra Kalia, editors

QR185.8.M3

Macrophages : origin, functions and biointervention

Malgorzata Kloc, editor

QR201.G76

Protein and sugar export and assembly in gram-positive bacteria

Fabio Bagnoli, Rino Rappuoli, editors

QR251

Cyclospora cayetanensis as a foodborne pathogen

Ynés R. Ortega, Lucy J. Robertson

QR342

Bacteriophages : practical applications for nature's biocontrol

Sabah A.A. Jassim, Richard G. Limoges

QR53

Microbial applications. Vol. 1, Bioremediation and bioenergy

Vipin Chandra Kalia, Prasun Kumar, editors

QR53

Microbial applications. Vol. 2, Biomedicine, agriculture and industry

Vipin Chandra Kalia, editors

QR65

Modern tools and techniques to understand microbes

Ajit Varma, Arun Kumar Sharma, editors

QR88.5

Modern topics in the phototrophic prokaryotes : environmental and applied aspects

Patrick C. Hallenbeck, editor