Filter by
A Framework for Priority Arguments
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…
- Edition
- -
- ISBN/ISSN
- 9780511750779
- Collation
- -
- Series Title
- Lecture Notes in Logic
- Call Number
- -
Collaborative Learning and New Media New Insights into an Evolving Field (Ed…
This book is an essential resource for researchers in the field of applied linguistics as well as practising teachers and teacher trainees in secondary and higher education. It explores collaboration in the foreign language classroom through the use of new media. Combining theoretical, empirical and practical insights into this intricate area of research, the contributions take different approa…
- Edition
- -
- ISBN/ISSN
- 9783653059212
- Collation
- -
- Series Title
- -
- Call Number
- -
A First Course of Homological Algebra
Based on a series of lectures given at Sheffield during 1971–72, this text is designed to introduce the student to homological algebra avoiding the elaborate machinery usually associated with the subject. This book presents a number of important topics and develops the necessary tools to handle them on an ad hoc basis. The final chapter contains some previously unpublished material and will p…
- Edition
- -
- ISBN/ISSN
- 9780511565885
- Collation
- -
- Series Title
- -
- Call Number
- -
Introduction to Calculus and Classical Analysis
Involving rigorous analysis, computational dexterity, and a breadth of applications, this text is ideal for an undergraduate honors calculus course or for an introduction to analysis. This fourth edition includes corrections as well as some additional material. Some features of the text: • The text is completely self-contained and starts with the real number axioms; • The integral is def…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28400-2
- Collation
- XIII, 427
- Series Title
- Undergraduate Texts in Mathematics
- Call Number
- -
Computational Linear and Commutative Algebra
This book combines, in a novel and general way, an extensive development of the theory of families of commuting matrices with applications to zero-dimensional commutative rings, primary decompositions and polynomial system solving. It integrates the Linear Algebra of the Third Millennium, developed exclusively here, with classical algorithmic and algebraic techniques. Even the experienced reade…
- Edition
- -
- ISBN/ISSN
- 978-3-319-43599-2
- Collation
- XVIII, 321 Seiten in 1 Teil 1 Illustrationen 23.5 cm x 15.5 cm, 522 g
- Series Title
- -
- Call Number
- -
A First Course in the Numerical Analysis of Differential Equations
Numerical analysis presents different faces to the world. For mathematicians it is a bona fide mathematical theory with an applicable flavour. For scientists and engineers it is a practical, applied subject, part of the standard repertoire of modelling techniques. For computer scientists it is a theory on the interplay of computer architecture and algorithms for real-number calculations. The te…
- Edition
- -
- ISBN/ISSN
- 9780511995569
- Collation
- -
- Series Title
- Cambridge Texts in Applied Mathematics (44)
- Call Number
- -
Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, …
Normal 0 false false false EN-US X-NONE X-NONE This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Trusted Systems, INTRUST 2014, held in Beijing, China, in December 2014. The conference brings together academic and industrial researchers, designers, and implementers with end-users of trusted systems, in order to foster the exchan…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27998-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Trends in Differential Equations and Applications
This work collects the most important results presented at the Congress on Differential Equations and Applications/Congress on Applied Mathematics (CEDYA/CMA) in Cádiz (Spain) in 2015. It supports further research in differential equations, numerical analysis, mechanics, control and optimization. In particular, it helps readers gain an overview of specific problems of interest in the current m…
- Edition
- -
- ISBN/ISSN
- 978-3-319-32013-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Treks into Intuitive Geometry The World of Polygons and Polyhedra
This book is written in a style that uncovers the mathematical theories buried in our everyday lives such as examples from patterns that appear in nature, art, and traditional crafts, and in mathematical mechanisms in techniques used by architects. The authors believe that through dialogues between students and mathematicians, readers may discover the processes by which the founders of the theo…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55843-9
- Collation
- -
- Series Title
- -
- Call Number
- -
The Fractal Dimension of Architecture
Fractal analysis is a method for measuring, analysing and comparing the formal or geometric properties of complex objects. In this book it is used to investigate eighty-five buildings that have been designed by some of the twentieth-century’s most respected and celebrated architects. Including designs by Le Corbusier, Eileen Gray, Frank Lloyd Wright, Robert Venturi, Frank Gehry, Peter Eisenma…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-32426-5
- Collation
- XVII, 423, 202 b/w illustrations
- Series Title
- Mathematics and the Built Environment
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography