Learn IT - Books tags computation

Advances in Mathematical Modeling for Reliability

IOS Press, 2008

Advances in Mathematical Modeling for Reliability discusses fundamental issues on mathematical modeling in reliability theory and its applications. Beginning with an extensive discussion of graphical modeling and Bayesian networks, the focus shifts towards repairable systems: a discussion about how sensitive availability calculations parameter...

Analytic Hyperbolic Geometry And Albert Einstein's Special Theory Of Relativity

World Scientific Publishing, 2008

This book presents a powerful way to study Einstein's special theory of relativity and its underlying hyperbolic geometry in which analogies with classical results form the right tool. It introduces the notion of vectors into analytic hyperbolic geometry, where they are called gyrovectors.

Newtonian velocity addition is the common vector...

An Introduction to Formal Languages and Automata

Jones and Bartlett Publishers, 2000

This text covers all the material essential to an introductory theory of computation course for undergraduate students. The text has a solid mathematical base, and provides precise mathematical statements of theorems and definitions, giving an intuitive motivation for constructions and proofs. Proofs and arguments are clearly stated, without...

Computable Models of the Law: Languages, Dialogues, Games, Ontologies (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Springer, 2008

Information technology has now pervaded the legal sector, and the very modern concepts of e-law and e-justice show that automation processes are ubiquitous. European policies on transparency and information society, in particular, require the use of technology and its steady improvement.

Some of the revised papers presented in this book...

Principles of Solid Mechanics

CRC Press, 2000

There is no area of applied science more diverse and powerful than the mechanics of deformable solids nor one with a broader and richer history. From Galileo and Hooke through Coulomb, Maxwell, and Kelvin to von Neuman and Einstein, the question of how solids behave for structural applications has been a basic theme for physical research exciting...

Multidimensional Programming

Oxford University Press, 1995

This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically...

How to Think About Algorithms

Cambridge University Press, 2008

There are many algorithm texts that provide lots of well-polished code and proofs of correctness. This book is not one of them. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing...

Mobile Robots: The Evolutionary Approach (Studies in Computational Intelligence)

Springer, 2007

The design and control of autonomous intelligent mobile robotic systems operating in unstructured changing environments includes many objective difficulties. There are several studies about the ways in which, robots exhibiting some degree of autonomy, adapt themselves to fit in their environments. The application and use of bio-inspired and...

Mathematical Principles of Optical Fiber Communication (CBMS-NSF Regional Conference Series in Applied Mathematics)

SIAM, 2004

With the maturing of mobile portable telephony and the emerging broadband access market, greater fiber transmission capacity will be essential in the early 21st century. Since the demand for more capacity drives the development of new optics-based technologies, fiber optics therefore remains a vibrant area for research. Mathematical Principles of...

The Physics of Information Technology

Cambridge University Press, 2000

"...throughout the text, Gershenfeld retains much of the conversational tone and spontaneity of a lecture. At its best, this makes for enjoyable reading, with interesting tidbits and asides that enliven the discussions....Gershenfeld's book will be valuable for physical scientists looking for an enjoyable introduction to the information...

Colossus: The Secrets of Bletchley Park's Code-breaking Computers (Popular Science)

Oxford University Press, 2006

"An excellent, ground breaking book, highly recommended."--Books-On-Line

The American ENIAC is customarily regarded as having been the starting point of electronic computation. This book rewrites the history of computer science, arguing that in reality Colossus--the giant computer built by the British secret service during...

Handbook of Logic in Computer Science 5

Oxford University Press, 2001

"Oxford University Press publishes a wonderful series of books entitled Handbook of Logic in Computer Science. ... Volume 5: Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read."--he Bulletin of Mathematics Books

Logic is now widely recognized as one of the foundational...

Result Page: 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 37 36