Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Computer Fundamentals and Programming in C
Computer Fundamentals and Programming in C

It provides a thorough understanding of the subject and its applications. The book begins with an introduction to the basic features of a digital computer, number systems and binary arithmetic, Boolean algebra and logic gates, software, operating systems, and the internet. A major part of the book provides a detailed coverage of programming...

Modal Logic: An Introduction to its Syntax and Semantics
Modal Logic: An Introduction to its Syntax and Semantics
In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result...
Algorithmic Puzzles
Algorithmic Puzzles

While many think of algorithms as specific to computer science, at its core algorithmic thinking is defined by the use of analytical logic to solve problems. This logic extends far beyond the realm of computer science and into the wide and entertaining world of puzzles. In Algorithmic Puzzles, Anany and Maria Levitin use many classic...

Faith and Place: An Essay in Embodied Religious Epistemology
Faith and Place: An Essay in Embodied Religious Epistemology
Faith and Place takes knowledge of place as a basis for thinking about the relationship between religious belief and our embodied life.

Recent epistemology of religion has appealed to various secular analogues for religious belief - especially analogues drawn from sense perception and scientific theory construction. These approaches tend
...
The Quantum Mechanics of Minds and Worlds
The Quantum Mechanics of Minds and Worlds
The book is at its best when it is distinguishing between the various versions of the Everett interpretation, and would certainly be useful to anyone who whishes to pursue Everett's approach. Barrett wisely separates out what can be reasonably ascribed to Everett, and what work remains to turn Everetts writings into a complete interpretation....
UNIX & Shell Programming
UNIX & Shell Programming

Beginning with the description of operating system in general the book discusses features that made Unix the most suitable operating system of its time. An overview of file management in Unix and commonly used Unix commands is then provided. Further, it delves into the detailed description of file system and compression techniques, processes...

The Artful Universe Expanded
The Artful Universe Expanded
Our love of art, writes John Barrow, is the end product of millions of years of evolution. How we react to a beautiful painting or symphony draws upon instincts laid down long before humans existed. Now, in this enhanced edition of the highly popular The Artful Universe, Barrow further explores the close ties between our aesthetic appreciation and...
Differential Geometry: Bundles, Connections, Metrics and Curvature (Oxford Graduate Texts in Mathematics, Vol. 23)
Differential Geometry: Bundles, Connections, Metrics and Curvature (Oxford Graduate Texts in Mathematics, Vol. 23)

Bundles, connections, metrics and curvature are the 'lingua franca' of modern differential geometry and theoretical physics. This book will supply a graduate student in mathematics or theoretical physics with the fundamentals of these objects.

Many of the tools used in differential topology are introduced and the
...

Algebraic Models in Geometry (Oxford Graduate Texts in Mathematics)
Algebraic Models in Geometry (Oxford Graduate Texts in Mathematics)
Rational homotopy is a very powerful tool for differential topology and geometry. This text aims to provide graduates and researchers with the tools necessary for the use of rational homotopy in geometry. Algebraic Models in Geometry has been written for topologists who are drawn to geometrical problems amenable to topological methods and also...
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing,...

Mental Actions
Mental Actions

This volume investigates the neglected topic of mental action, and shows its importance for the metaphysics, epistemology, and phenomenology of mind. Twelve specially written essays address such questions as the following: Which phenomena should we count as mental actions--imagining, remembering, judging, for instance? How should we explain our...

Oxford Handbook of the History of Mathematics (Oxford Handbooks)
Oxford Handbook of the History of Mathematics (Oxford Handbooks)

This Handbook explores the history of mathematics under a series of themes which raise new questions about what mathematics has been and what it has meant to practice it. It addresses questions of who creates mathematics, who uses it, and how. A broader understanding of mathematical practitioners naturally leads to a new appreciation of what...

Result Page: 41 40 39 38 37 36 35 34 33 32 
©2018 LearnIT (support@pdfchm.net) - Privacy Policy