This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from an introduction of the basic concepts, the author explains the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. The practical use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of specification, programs, and proofs. Students and researchers in computer science and logic will welcome this exciting new book.
List Price:
Price: 90.98

"Probability with R" is a comprehensive introductory book on probability with an emphasis on computing-related applications. Real examples show how probability can be used in practical situations, and the freely available and downloadable statistical programming language R illustrates and clarifies the book’s main principles. Promoting a simulation- and experimentation-driven method, this book is the ultimate introduction to probability and its computer science applications using R.
List Price:
Price: 96.98

This book is in Used condition
List Price: 30.95
Price: 60.07

This book constitutes the refereed proceedings of 5th International Conference on Theoretical Computer Science held in Milano, Italy in 2008. "The IFIP" series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and, human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the "IFIP" series is to encourage education and the dissemination and exchange of information about all aspects of computing.
List Price:
Price: 219.00

This book is in New – Excellent condition
List Price: 61.95
Price: 58.85

This book is in Used condition
List Price: 198.0
Price: 415.66

This book is in New – Excellent condition
List Price: 115.95
Price: 66.60

This book is in Acceptable condition
List Price: 64.95
Price: 89.46

Ultimate NLP Practitioner Manual
The Official NLP Practitioner Manual
Ultimate NLP Practitioner Manual

This book is in New – Excellent condition
List Price: 151.0
Price: 143.45

This book is in New – Excellent condition
List Price: 96.95
Price: 59.73

This book is in Used condition
List Price: 63.0
Price: 193.28

This book is in New – Excellent condition
List Price: 69.95
Price: 66.45

Everything You Need To Know About Windows
You Want Your Computer To Go Faster… To Boost Your Productivity… To Protect Your Privacy… And Of Course Keep You Safe Online. But Windows Doesn’t Always Make It Easy. End The Frustration And Maximize Your Windows Experience With This Ebook!
Everything You Need To Know About Windows

Spyrecon
We Allow You To Easily Monitor A Computer From Any Location. Do You Really Know What Your Family Members Do Online? Spyrecon Can Do Anything From Secretly Reading Someone’s Private Instant Messenger Conversations To Finding Out Their Email Passwords.
Spyrecon

Flip Your Websites Or Blogs For Cash-video And Ebook Training Program
Learn How To Create Instant Revenue On Demand… With Nothing But The Computer In Front Of You?”…discover The Insider Secrets To Flipping Sites For Cash! Whenever You Need Cash-go Site Flipping.
Flip Your Websites Or Blogs For Cash-video And Ebook Training Program

The Encyclopedia of Computer Science is the definitive reference in computer science and technology. First published in 1976, it is still the only single volume to cover every major aspect of the field. Now in its Fourth Edition, this influential work provides an historical timeline highlighting the key breakthroughs in computer science and technology, as well as clear and concise explanations of the latest technology and its practical applications. Its unique blend of historical perspective, current knowledge and predicted future trends has earned it its richly deserved reputation as an unrivalled reference classic.

What sets the Encyclopedia apart from other reference sources is the comprehensiveness of each of its entries. Encompassing far more than mere definitions, each article elaborates on a topic giving a remarkable breadth and depth of coverage. The visual impact of the volume is enhanced with a 16 page colour insert spotlighting advanced computer applications and computer-generated graphics technology. In addition, the text is enlivened with figures, tables, diagrams, illustrations and photographs.
 
With contributions from over 300 international experts, the 4th Edition contains over 100 completely new articles ranging from artificial life to computer ethics, data mining to Java, mobile computing to quantum computing and software safety to the World Wide Web. In addition, each of the more than 600 articles have been extensively revised, expanded and updated to reflect the latest developments in computer science and technology.

Intelligently and thoughtfully organised, all the articles are classified around 9 main themes

• Hardware
• Software
• Computer Systems
• Information and Data
• Mathematics of Computing
• Theory of Computation
• Methodologies
• Applications
• Computing Milieux

Within each of these major headings are a wealth of articles that provide the reader with concise yet thorough coverage of the topic. In addition, cross-references are included at the beginning of each article, directing the reader immediately to related material.

In addition the Encyclopedia contains useful appendices including:

• An expanded glossary of major terms in English, German, Spanish and Russian
• A revised list of abbreviations and acronyms
• An updated list of computer science and engineering research journals
• A list of articles from previous editions not included in the 4th edition
• A Name Index listing almost 3500 individuals cited in the text
• A comprehensive General Index with 7000 entries
• A chronology of significant milestones
• Computer Society & Academic Computer Science Department Listings
• Numerical Tables, Mathematical Notation and Units of Measure

Highly-regarded as an essential resource for computer professionals, engineers, mathematicians, students and scientists, the Encyclopedia of Computer Science is a must-have reference for every college, university, business and high-school library.

List Price: $ 280.00

Price: $ 228.35

More Computer Science Products

Easy Network Wiring
How To Wire Computer Networks. Shows Ethernet Wiring And How To Run It And Terminate It Using Cat5e And Cat6 Cabling. Also Shows How To Start Your Own Network Business.
Easy Network Wiring

Football Tips Pro
We Are A Small Team Of Experts In The Fields Of Mathematics, Statistics And Computing And Have Used This Knowledge To Create A Series Of Profitable Soccer Betting Systems. We Had Our Best Season Yet In 2010/11, Turning A
Football Tips Pro