Home > New Acquisitions >
July 2016 > Q - Science > QA - Mathematics and Computer Science

This news is available via an RSS feed .

C, a reference manual

Harbison, Samuel P

Upper Saddle River, N.J. : Prentice-Hall, ©2002

This reference manual provides a complete description of the C language, the run-time libraries, and a style of C programming that emphasises correctness, portability, and maintainability.

Baker Berry Cook QA76.73.C15 H38 2002

Turning points in the history of mathematics

Grant, Hardy

New York, NY : Birkhäuser, 2015

Baker Berry Cook QA21 .H35 2016

A Mathematical space odyssey : solid geometry in the 21st century

Alsina, Claudi

Washington : Mathematical Association of America, [2015]

Preface -- 1. Introduction -- 2. Enumeration -- 3. Representation -- 4. Dissection -- 5. Plane sections -- 6. Intersection -- 7. Iteration -- 8. Motion -- 9. Projection -- 10. Folding and Unfolding -- Solutions to the Challenges -- References -- Index -- About the Authors.

Solid geometry is the traditional name for what we call today the geometry of three-dimensional Euclidean space. This book presents techniques for proving a variety of geometric results in three dimensions. Special attention is given to prisms, pyramids, platonic solids, cones, cylinders and spheres, as well as many new and classical results. A chapter is devoted to each of the following basic techniques for exploring space and proving theorems: enumeration, representation, dissection, plane sections, intersection, iteration, motion, projection, and folding and unfolding. The book includes a selection of Challenges for each chapter with solutions, references and a complete index. The text is aimed at secondary school and college and university teachers as an introduction to solid geometry, as a supplement in problem solving sessions, as enrichment material in a course on proofs and mathematical reasoning, or in a mathematics course for liberal arts students.--

Baker Berry Cook QA491 .A47 2015

Skip the typing test -- i'll manage the software : one woman's pioneering journey in high tech

Schultz, Beverly

Bradenton, Florida : Booklocker.com, c2013

Baker Berry Cook QA76.2.S38 A3 2013

Riemannian geometry

Petersen, Peter, 1962-

Cham : Springer, 2016

Preface -- 1. Riemannian Metrics.-2. Derivatives -- 3. Curvature -- 4. Examples -- 5. Geodesics and Distance -- 6. Sectional Curvature Comparison I.- 7. Ricci Curvature Comparison.- 8. Killing Fields -- 9. The Bochner Technique -- 10. Symmetric Spaces and Holonomy -- 11. Convergence -- 12. Sectional Curvature Comparison II -- Bibliography -- Index.

Intended for a one year course, this text serves as a single source, introducing readers to the important techniques and theorems, while also containing enough background on advanced topics to appeal to those students wishing to specialize in Riemannian geometry. This is one of the few Works to combine both the geometric parts of Riemannian geometry and the analytic aspects of the theory. The book will appeal to a readership that have a basic knowledge of standard manifold theory, including tensors, forms, and Lie groups. Important revisions to the third edition include: a substantial addition of unique and enriching exercises scattered throughout the text; inclusion of an increased number of coordinate calculations of connection and curvature; addition of general formulas for curvature on Lie Groups and submersions; integration of variational calculus into the text allowing for an early treatment of the Sphere theorem using a proof by Berger; incorporation of several recent results about manifolds with positive curvature; presentation of a new simplifying approach to the Bochner technique for tensors with application to bound topological quantities with general lower curvature bounds. From reviews of the first edition: "The book can be highly recommended to all mathematicians who want to get a more profound idea about the most interesting achievements in Riemannian geometry. It is one of the few comprehensive sources of this type." --Bernd Wegner, ZbMATH.

Baker Berry Cook QA649 .P386 2016

Mathematical adventures in performance analysis : from storage systems, through airplane boarding, to express line queues

Bachmat, Eitan

Cham : Birkhauser, [2014]

Introduction.- 1 A classical model for storage system activity -- 2 A fractal model for storage system activity -- 3 Disk scheduling, airplane boarding and Lorentzian geometry -- 4 Mirrored configurations -- 5 On queues and numbers -- 6 Appendix A: Some basic definitions and facts -- 7 Appendix B: Proofs of theorems -- References.

Feldberg QA402 .B325 2014

Fourier restriction for hypersurfaces in three dimensions and Newton polyhedra

Ikromov, Isroil A., 1961-

Princeton : Princeton University Press, 2016

Baker Berry Cook QA571 .I37 2016

Metastability : a potential-theoretic approach

Bovier, Anton, 1957-

Cham : Springer, [2015]

Baker Berry Cook QA402 .B685 2015

Euclidean geometry and its subgeometries

Specht, Edward John

Basel : Birkhauser, [2015]

In this monograph, the authors present a modern development of Euclidean geometry from independent axioms, using up-to-date language and providing detailed proofs. The axioms for incidence, betweenness, and plane separation are close to those of Hilbert. This is the only axiomatic treatment of Euclidean geometry that uses axioms not involving metric notions and that explores congruence and isometries by means of reflection mappings. The authors present thirteen axioms in sequence, proving as many theorems as possible at each stage and, in the process, building up subgeometries, most notably the Pasch and neutral geometries. Standard topics such as the congruence theorems for triangles, embedding the real numbers in a line, and coordinatization of the plane are included, as well as theorems of Pythagoras, Desargues, Pappas, Menelaus, and Ceva. The final chapter covers consistency and independence of axioms, as well as independence of definition properties. There are over 300 exercises; solutions to many of these, including all that are needed for this development, are available online at the homepage for the book at www.springer.com. Supplementary material is available online covering construction of complex numbers, arc length, the circular functions, angle measure, and the polygonal form of the Jordan Curve theorem. Euclidean Geometry and Its Subgeometries is intended for advanced students and mature mathematicians, but the proofs are thoroughly worked out to make it accessible to undergraduate students as well. It can be regarded as a completion, updating, and expansion of Hilbert's work, filling a gap in the existing literature.

Baker Berry Cook QA461 .S673 2015

Test-driven development with Python

Percival, Harry

Sebastopol, CA : O'Reilly Media, 2014

Getting Django set up using a functional test -- Extending our functional test using the unittest module -- Testing a simple home page with unit tests -- What are we doing with all these tests? -- Saving user input -- Getting to the minimum viable site -- Prettification : layout and styling, and what to test about it -- Testing deployment using a staging site -- Automating deployment with fabric -- Input validation and test organisation -- A simple form -- More advanced forms -- Dipping our toes, very tentatively, into JavaScript -- Deploying our new code -- User authentication, integrating third-party plugins, and mocking with JavaScript -- Server-side authentication and mocking in Python -- Test fixtures, logging, and server-side debugging -- Finishing "my lists" : outside-in TDD -- Test isolation, and "listening to your tests" -- Continuous integration (CI) -- The token social bit, the page pattern, and an exercise for the reader -- Fast tests, slow tests, and hot lava -- Obey the testing goat! -- Appendix A: PythonAnywhere -- Appendix B: Django class-based views -- Appendix C: Provisioning with ansible -- Appendix D: Testing database migrations -- Appendix E: What to do next -- Appendix F: Cheat sheet.

Baker Berry Cook QA76.73.P98 P47 2014

Malware diffusion models for modern complex networks : theory and applications

Karyotis, Vasileios

Cambridge, MA, USA : Morgan Kaufmann is an imprint of Elsevier, [2016]

Baker Berry Cook QA76.76.C68 K37 2016

Mathematics in ancient Egypt : a contextual history

Imhausen, Annette

Princeton : Princeton University Press, [2016]

Prehistoric and Early Dynastic Period. -- 1. The invention of writing and number notation -- 2. The Egyptian number system -- 3. Uses of numbers and their contexts in predynastic and early dynastic times -- 4. Summary -- Old Kingdom. -- 5. The cultural context of Egyptian mathematics in the Old Kingdom -- 6. Metrological systems -- 7. Notation of fractions -- 8. Summary -- Middle Kingdom. -- 9. Mathematical texts (I): the mathematical training of scribes -- 10. Foundation of mathematics -- 11. Mathematics in practice and beyond -- New Kingdom. -- 12. New Kingdom mathematical texts: Ostraca Senmut 153 and Turin 57170 -- 13. Two examples of administrative texts -- 14. Mathematics in literature -- 15. Further aspects of mathematics from New Kingdom sources -- 16. Summary -- Greco-Roman Periods. -- 17. Mathematical texts (II): tradition, transmission, development -- 18. Conclusion: Egyptian mathematics in historical perspective -- Bibliography -- Subject index -- Egyptian words and phrases index -- Index of mathematical texts.

Baker Berry Cook QA27.E3 I43 2016

5000 years of geometry : mathematics in history and culture

Scriba, Christoph J

New York : Birkhauser, [2015]

Introduction -- 1. The beginnings of geometrical representations and calculations -- 2. Geometry in the Greek-Hellenistic era and late Antiquity -- 3. Oriental and old American geometry -- 4. Geometry in the European Middle Ages -- 5. New impulses for geometry during the Renaissance -- 6. The development of geometry in the 17th/18th centuries -- 7. New paths of geometry in the 19th century -- 8. Geometry in the 20th century -- Appendix: Selection of original texts -- References -- List of Figures -- Index of Names -- Index of Subjects.

The present volume provides a fascinating overview of geometrical ideas and perceptions from the earliest cultures to the mathematical and artistic concepts of the 20th cnetury. It is the English translation of the 3rd edition of the well received German book "5000 Jahre Geometrie," in which geometry is presented as a chain of developments in cultural history and their interaction with architecture, the visual arts, philosophy, science, and engineering. Geometry originated in the ancient cultures along the Indus and Nile Rivers and in Mesopotamia, experiencing its first "Goldon Age" in Ancient Greece. Inspired by the Greek mathematics, a new germ of geometry blossomed in the Islamic civilizations. Through the Oriental influence on Spain, this knowledge later spread to Western Europe. Here, as part of the medieval Quadrivium, the understanding of geometry in the 17th an 18th centuries, axiom systems, geometry as a theory with multiple structures, and geometry in computer sciences in the 19th and 20th centuries. Each chapter of the book starts with a table of key historical and cultural dates and ends with a summary of essential contents of geometry in the respective era. Compelling examples invite the reader to further explore the problems of geometry in ancient and modern times. -- from back cover.

Baker Berry Cook QA443.5 .S2513 2015

Combinatorics and random matrix theory

Baik, Jinho, 1973-

Providence, Rhode Island : American Mathematical Society, [2016]

Baker Berry Cook QA188 .B3345 2016

This page was dynamically generated on 24-Aug-2016 using data collected at the end of July 2016.