

Click the serial number on the left to view the details of the item. 
# 
Author  Title  Accn#  Year  Item Type  Claims 
1 
Yamamoto, Yoshihisa 
Principles and Methods of Quantum Information Technologies 
I10201 
2016 
eBook 

2 
Portugal, Renato 
Quantum Walks and Search Algorithms 
I09367 
2018 
eBook 

3 
Scherer, Wolfgang 
Mathematics of Quantum Computing 
I09197 
2019 
eBook 

4 
Weingartner, Paul A 
Alternative Logics. Do Sciences Need Them? 
I11584 
2004 
eBook 

5 
Salas, Manuel D 
Computational Aerosciences in the 21st Century 
I11412 
2000 
eBook 

6 
Mikhailov, Alexander S 
From Cells to Societies 
I11366 
2002 
eBook 

7 
MugurSch??chter, Mioara 
Quantum Mechanics, Mathematics, Cognition and Action 
I10912 
2002 
eBook 

8 
Enns, Richard H 
Nonlinear Physics with Maple for Scientists and Engineers 
I10808 
2000 
eBook 

9 
Dewdney, A.K 
The Planiverse 
I10758 
2000 
eBook 

10 
Brogliato, Bernard 
Impacts in Mechanical Systems 
I10631 
2000 
eBook 


1.


Title  Principles and Methods of Quantum Information Technologies 
Author(s)  Yamamoto, Yoshihisa;Semba, Kouichi 
Publication  Tokyo, 1. Imprint: Springer
2. Springer Japan, 2016. 
Description  XI, 624 p. 258 illus., 226 illus. in color : online resource 
Abstract Note  This book presents the research and developmentrelated results of the ???FIRST??? Quantum Information Processing Project, which was conducted from 2010 to 2014 with the support of the Council for Science, Technology and Innovation of the Cabinet Office of the Government of Japan. The project supported 33 research groups and explored five areas: quantum communication, quantum metrology and sensing, coherent computing, quantum simulation, and quantum computing. The book is divided into seven main sections. Parts I through V, which consist of twenty chapters, focus on the system and architectural aspects of quantum information technologies, while Parts VI and VII, which consist of eight chapters, discuss the superconducting quantum circuit, semiconductor spin and molecular spin technologies. ?? Readers will be introduced to new quantum computing schemes such as quantum annealing machines and coherent Ising machines, which have now arisen as alternatives to standard quantum computers and are designed to successfully address NPhard/NPcomplete combinatorial optimization problems, which are ubiquitous and relevant in our modern life. The book offers a balanced mix of theorybased and experimentationbased chapters written by leading researchers. Extensive information is provided on Quantum simulation, which focuses on the implementation of various manybody Hamiltonians in a wellcontrolled physical system, Quantum key distribution, Quantum repeaters and quantum teleportation, which are indispensable technologies for building quantum networks with various advanced applications and require far more sophisticated experimental techniques to implement 
ISBN,Price  9784431557562 
Keyword(s)  1. COMPUTERS
2. EBOOK
3. EBOOK  SPRINGER
4. QUANTUM COMPUTERS
5. Quantum computing
6. Quantum Information Technology, Spintronics
7. QUANTUM OPTICS
8. QUANTUM PHYSICS
9. SPINTRONICS
10. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I10201 


On Shelf 




2.


Title  Quantum Walks and Search Algorithms 
Author(s)  Portugal, Renato 
Publication  Cham, 1. Imprint: Springer
2. Springer International Publishing, 2018. 
Description  XIV, 308 p. 56 illus., 15 illus. in color : online resource 
Abstract Note  The revised edition of this book offers an extended overview of quantum walks and explains their role in building quantum algorithms, in particular search algorithms. Updated throughout, the book focuses on core topics including Grover's algorithm and the most important quantum walk models, such as the coined, continuoustime, and Szedgedy's quantum walk models. There is a new chapter describing the staggered quantum walk model. The chapter on spatial search algorithms has been rewritten to offer a more comprehensive approach and a new chapter describing the element distinctness algorithm has been added. There is a new appendix on graph theory highlighting the importance of graph theory to quantum walks. As before, the reader will benefit from the pedagogical elements of the book, which include exercises and references to deepen the reader's understanding, and guidelines for the use of computer programs to simulate the evolution of quantum walks. Review of the first edition: ???The book is nicely written, the concepts are introduced naturally, and many meaningful connections between them are highlighted. The author proposes a series of exercises that help the reader get some working experience with the presented concepts, facilitating a better understanding. Each chapter ends with a discussion of further references, pointing the reader to major results on the topics presented in the respective chapter.???  Florin Manea, zbMATH 
ISBN,Price  9783319978130 
Keyword(s)  1. COMPUTERS
2. EBOOK
3. EBOOK  SPRINGER
4. QUANTUM COMPUTERS
5. Quantum computing
6. Quantum Information Technology, Spintronics
7. QUANTUM PHYSICS
8. SPINTRONICS
9. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I09367 


On Shelf 




3.


Title  Mathematics of Quantum Computing : An Introduction 
Author(s)  Scherer, Wolfgang 
Publication  Cham, 1. Imprint: Springer
2. Springer International Publishing, 2019. 
Description  XIX, 764 p. 816 illus : online resource 
Abstract Note  This textbook presents the elementary aspects of quantum computing in a mathematical form. It is intended as core or supplementary reading for physicists, mathematicians, and computer scientists taking a first course on quantum computing. It starts by introducing the basic mathematics required for quantum mechanics, and then goes on to present, in detail, the notions of quantum mechanics, entanglement, quantum gates, and quantum algorithms, of which Shor's factorisation and Grover's search algorithm are discussed extensively. In addition, the algorithms for the Abelian Hidden Subgroup and Discrete Logarithm problems are presented and the latter is used to show how the Bitcoin digital signature may be compromised. It also addresses the problem of error correction as well as giving a detailed exposition of adiabatic quantum computing. The book contains around 140 exercises for the student, covering all of the topics treated, together with an appendix of solutions 
ISBN,Price  9783030123581 
Keyword(s)  1. COMPUTERS
2. EBOOK
3. EBOOK  SPRINGER
4. MATHEMATICAL PHYSICS
5. QUANTUM COMPUTERS
6. Quantum computing
7. Quantum Information Technology, Spintronics
8. SPINTRONICS
9. Theoretical, Mathematical and Computational Physics
10. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I09197 


On Shelf 




4.


Title  Alternative Logics. Do Sciences Need Them? 
Author(s)  Weingartner, Paul A 
Publication  Berlin, Heidelberg, 1. Imprint: Springer
2. Springer Berlin Heidelberg, 2004. 
Description  XVII, 368 p : online resource 
Abstract Note  Initially proposed as rivals of classical logic, alternative logics have become increasingly important in sciences such as quantum physics, computer science, and artificial intelligence. The contributions collected in this volume address and explore the question whether the usage of logic in the sciences, especially in modern physics, requires a deviation from classical mathematical logic. The articles in the first part of the book set the scene by describing the context and the dilemma when applying logic in science. In Part II the authors offer several logics that deviate in different ways from classical logics. The twelve papers in Part III investigate in detail specific aspects such as quantum logic, quantum computation, computerscience considerations, praxic logic, and quantum probability. Most of the contributions are revised and partially extended versions of papers presented at a conference of the same title of the Acad??mie Internationale de Philosophie des Sciences held at the Internationales Forschungszentrum Salzburg in May 1999. Others have been added to complete the picture of recent research in alternative logics as they have been developed for applications in the sciences 
ISBN,Price  9783662056790 
Keyword(s)  1. ALGEBRA
2. COMPUTERS
3. EBOOK
4. EBOOK  SPRINGER
5. Order, Lattices, Ordered Algebraic Structures
6. Ordered algebraic structures
7. PHILOSOPHY
8. Philosophy, general
9. QUANTUM COMPUTERS
10. Quantum Information Technology, Spintronics
11. QUANTUM PHYSICS
12. SPINTRONICS
13. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I11584 


On Shelf 




5.


Title  Computational Aerosciences in the 21st Century : Proceedings of the ICASE/LaRC/NSF/ARO Workshop, conducted by the Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, The National Science Foundation and the Army Research Office, April 22???24, 1998 
Author(s)  Salas, Manuel D;Anderson, W. Kyle 
Publication  Dordrecht, 1. Imprint: Springer
2. Springer Netherlands, 2000. 
Description  IX, 292 p : online resource 
Abstract Note  Over the last decade, the role of computational simulations in all aspects of aerospace design has steadily increased. However, despite the many advances, the time required for computations is far too long. This book examines new ideas and methodologies that may, in the next twenty years, revolutionize scientific computing. The book specifically looks at trends in algorithm research, human computer interface, networkbased computing, surface modeling and grid generation and computer hardware and architecture. The book provides a good overview of the current stateoftheart and provides guidelines for future research directions. The book is intended for computational scientists active in the field and program managers making strategic research decisions 
ISBN,Price  9789401009485 
Keyword(s)  1. Aerospace engineering
2. Aerospace Technology and Astronautics
3. ASTRONAUTICS
4. COMPUTERS
5. EBOOK
6. EBOOK  SPRINGER
7. Mathematical Modeling and Industrial Mathematics
8. MATHEMATICAL MODELS
9. MICROPROCESSORS
10. NUMBER THEORY
11. Numeric Computing
12. NUMERICAL ANALYSIS
13. Processor Architectures
14. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I11412 


On Shelf 




6.


Title  From Cells to Societies : Models of Complex Coherent Action 
Author(s)  Mikhailov, Alexander S;Calenbuhr, Vera 
Publication  Berlin, Heidelberg, 1. Imprint: Springer
2. Springer Berlin Heidelberg, 2002. 
Description  X, 302 p : online resource 
Abstract Note  This book shows how, by rather simple models, we can gain remarkable insights into the behavior of complex systems. It is devoted to the discussion of functional selforganization in large populations of interacting active elements. The possible forms of selforganization in such systems range from coherent collective motions in the physical coordinate space to the mutual synchronization of internal dynamics, the development of coherently operating groups, the rise of hierarchical structures, and the emergence of dynamical networks. Such processes play an important role in biological and social phenomena. The authors have chosen a series of models from physics, biochemistry, biology, sociology and economics, and will systematically discuss their general properties. The book addresses researchers and graduate students in a variety of disciplines, such as physics, chemistry, biology and the social sciences 
ISBN,Price  9783662050620 
Keyword(s)  1. Applications of Mathematics
2. APPLIED MATHEMATICS
3. COMPLEX SYSTEMS
4. COMPUTERS
5. DYNAMICAL SYSTEMS
6. EBOOK
7. EBOOK  SPRINGER
8. ENGINEERING MATHEMATICS
9. SOCIAL SCIENCES
10. Social Sciences, general
11. STATISTICAL PHYSICS
12. Statistical Physics and Dynamical Systems
13. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I11366 


On Shelf 




7.


Title  Quantum Mechanics, Mathematics, Cognition and Action : Proposals for a Formalized Epistemology 
Author(s)  MugurSch??chter, Mioara;van der Merwe, Alwyn 
Publication  Dordrecht, 1. Imprint: Springer
2. Springer Netherlands, 2002. 
Description  XVIII, 494 p : online resource 
ISBN,Price  9780306481444 
Keyword(s)  1. ARTIFICIAL INTELLIGENCE
2. COMPUTERS
3. EBOOK
4. EBOOK  SPRINGER
5. Elementary particles (Physics)
6. Elementary Particles, Quantum Field Theory
7. MATHEMATICAL LOGIC
8. Mathematical Logic and Foundations
9. QUANTUM FIELD THEORY
10. QUANTUM PHYSICS
11. SYSTEM THEORY
12. Systems Theory, Control
13. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I10912 


On Shelf 




8.


Title  Nonlinear Physics with Maple for Scientists and Engineers 
Author(s)  Enns, Richard H;McGuire, George C 
Publication  Boston, MA, 1. Birkh??user Boston
2. Imprint: Birkh??user, 2000. 
Description  XV, 661 p : online resource 
Abstract Note  Supplementary material is available on http://extras.springer.com 
ISBN,Price  9781461213222 
Keyword(s)  1. COMPLEX SYSTEMS
2. Computeraided engineering
3. ComputerAided Engineering (CAD, CAE) and Design
4. COMPUTERS
5. DYNAMICAL SYSTEMS
6. EBOOK
7. EBOOK  SPRINGER
8. MATHEMATICAL PHYSICS
9. Numerical and Computational Physics, Simulation
10. PHYSICS
11. Physics, general
12. STATISTICAL PHYSICS
13. Theoretical, Mathematical and Computational Physics
14. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I10808 


On Shelf 




9.


Title  The Planiverse : Computer Contact with a TwoDimensional World 
Author(s)  Dewdney, A.K 
Publication  New York, NY, 1. Imprint: Copernicus
2. Springer New York, 2000. 
Description  XXXI, 247 p. 2 illus : online resource 
Abstract Note  When The Planiverse ?rst appeared 16 years ago, it caught more than a few readers off guard. The line between willing suspension of dis lief and innocent acceptance, if it exists at all, is a thin one. There were those who wanted to believe, despite the tongueincheek subtext, that we had made contact with a twodimensional world called Arde, a di shaped planet embedded in the skin of a vast, balloonshaped space called the planiverse. It is tempting to imagine that those who believed, as well as those who suspended disbelief, did so because of a persuasive consistency in the cosmology and physics of this in?nitesimally thin universe, and x preface to the millennium edition in its bizarre but oddly workable organisms. This was not just your r ofthemill universe fashioned out of the whole cloth of wishdriven imagination. The planiverse is a weirder place than that precisely  cause so much of it was ???worked out??? by a virtual team of scientists and technologists. Reality, even the pseudoreality of such a place, is  variably stranger than anything we merely dream up 
ISBN,Price  9781461301998 
Keyword(s)  1. ASTROPHYSICS
2. Astrophysics and Astroparticles
3. COMPUTER SCIENCE
4. Computer Science, general
5. COMPUTERS
6. EBOOK
7. EBOOK  SPRINGER
8. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I10758 


On Shelf 




10.
 
Title  Impacts in Mechanical Systems : Analysis and Modelling 
Author(s)  Brogliato, Bernard 
Publication  Berlin, Heidelberg, 1. Imprint: Springer
2. Springer Berlin Heidelberg, 2000. 
Description  IX, 278 p : online resource 
Abstract Note  This volume constitutes an advanced introduction to the field of analysis, modeling and numerical simulation of rigid body mechanical systems with unilateral constraints. The topics include Moreau's sweeping process, the numerical analysis of nonsmooth multibody systems with friction, the study of energetical restitution coefficients for elastoplastic models, the study of stability and bifurcation in systems with impacts, and the development of a multiple impact rule for Newton's cradle and the simple rocking model. Combining pedagogical aspects with innovative approaches, this book will not only be of interest to researchers working actively in the field, but also to graduate students wishing to get acquainted with this field of research through lectures written at a level also accessible to nonspecialists 
ISBN,Price  9783540455011 
Keyword(s)  1. Applications of Mathematics
2. APPLIED MATHEMATICS
3. CLASSICAL MECHANICS
4. COMPUTERS
5. EBOOK
6. EBOOK  SPRINGER
7. ENGINEERING MATHEMATICS
8. MECHANICAL ENGINEERING
9. MECHANICS
10. Mechanics, Applied
11. Theoretical and Applied Mechanics
12. Theory of Computation

Item Type  eBook 
MultiMedia Links
Please Click here for eBook
Circulation Data
Accession#  
Call#  Status  Issued To  Return Due On  Physical Location 
I10631 


On Shelf 



 