Filter by
Gallucci's Commentary on Dürer’s 'Four Books on Human Proportion'
"In 1591, Giovanni Paolo Gallucci published his Della simmetria dei corpi humani, an Italian translation of Albrecht Dürer’s Four Books on Human Proportion. While Dürer’s treatise had been translated earlier in the sixteenth-century into French and Latin, it was Gallucci’s Italian translation that endured in popularity as the most cited version of the text in later Baroque treatises, co…
- Edition
- -
- ISBN/ISSN
- 9781783748624
- Collation
- -
- Series Title
- -
- Call Number
- -
A Voice for Maria Favela
This open access book, originally published in Portuguese in 1988 and now available in English for the first time, describes the Brazilian educator, Antonio Leal's, experiences teaching so-called “unteachable” children in Rio de Janeiro’s favelas. A Voice for Maria Favela tells the story of how Leal considers what the children bring to the class, gradually engaging them in developing a na…
- Edition
- -
- ISBN/ISSN
- 9781350247598
- Collation
- -
- Series Title
- -
- Call Number
- -
The Foundations of Computability Theory
This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and f…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-62421-0
- Collation
- XXI, 422
- Series Title
- -
- Call Number
- -
Programs as Diagrams
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; prog…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-34827-3
- Collation
- XVII, 252, 1 b/w illustrations
- Series Title
- Theory and Applications of Computability
- Call Number
- -
The Digital Synaptic Neural Substrate
This book describes a new computational approach to creativity. With chess as the domain of investigation, the authors show experimentally how a computer can be imbued with the 'spark' of creativity that enables it to compose chess problems or puzzles that are both challenging and aesthetically appealing to humans. This new approach called the Digital Synaptic Neural Substrate (DSNS) mimics the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-28079-0
- Collation
- XV, 119, 9 b/w illustrations, 4 illustrations in colour
- Series Title
- SpringerBriefs in Cognitive Computation
- Call Number
- -
Reading Monuments A Comparative Study of Monuments in Poznań and Strasbourg…
This book tells the story of monuments in two cities that share a parallel and turbulent history: Strasbourg and Poznan. With the Franco-Prussian War begins the well-known story of the destruction and erection of memorials. This book not only explains the mechanisms related to how memorials have functioned in the past, but also contributes to our understanding of current modes of their percepti…
- Edition
- -
- ISBN/ISSN
- 9783653071481
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24318-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Formal Argumentation Third International Workshop…
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28460-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Application of Systems Thinking to Health Policy & Public Health Ethics: Publ…
This book looks at health policy through the lens of public versus private: population health versus the somatic, social, or emotional experiences of a patient. Rather than presenting policy/ethics as overly technical, this book takes a novel approach of framing public and private health in terms of political philosophy, ethics, and popular examples. Each chapter ties back to the general ethics…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-12203-8
- Collation
- XI, 100
- Series Title
- SpringerBriefs in Public Health
- Call Number
- 614 BAT a
Words and Graphs
This is the first comprehensive introduction to the theory of word-representable graphs, a generalization of several classical classes of graphs, and a new topic in discrete mathematics. After extensive introductory chapters that explain the context and consolidate the state of the art in this field, including a chapter on hereditary classes of graphs, the authors suggest a variety of proble…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25859-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography