Books in Computer science

Computability Theory

1st Edition
December 2, 2010
Herbert B. Enderton
English
Hardback
9 7 8 0 1 2 3 8 4 9 5 8 8
eBook
9 7 8 0 1 2 3 8 4 9 5 9 5

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The text includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science. Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable way.

Advances in Computers

1st Edition
Volume 80
July 13, 2010
Marvin Zelkowitz
English
Hardback
9 7 8 0 1 2 3 8 1 0 2 5 0
eBook
9 7 8 0 1 2 3 8 1 0 2 6 7

This series, since its first volume in 1960 and now the oldest series still being published, covers new developments in computer technology. Each volume contains from 5 to 7 chapters and 3 volumes are produced annually. Most chapters present an overview of a current subfield within computer science, include many citations, and often new developments in the field by the authors of the individual chapters. Topics include hardware, software, web technology, communications, theoretical underpinnings of computing, and novel applications of computers. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

Advances in Computers

1st Edition
Volume 79
March 13, 2010
Marvin Zelkowitz
English
eBook
9 7 8 0 1 2 3 8 1 0 2 8 1

This is volume 79 of Advances in Computers. This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today.

Advances in Computers

1st Edition
Volume 78
March 2, 2010
Marvin Zelkowitz
English
eBook
9 7 8 0 1 2 3 8 1 0 2 0 5

This is volume 78 of Advances in Computers. This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today.

Advances in Computers

1st Edition
Volume 77
June 22, 2009
Marvin Zelkowitz
English
eBook
9 7 8 0 0 8 0 9 5 1 1 3 3

This is volume 77 of Advances in Computers. Since 1960, annual volumes are produced containing chapters by some of the leading experts in the field of computers today. For 50 years these volumes offer ideas and developments that are changing our society. This volume presents eight different topics covering many different aspects of computer science. A wide range of subjects are covered from insights into the different ways individuals can interact with electronic devices to how common law is adapting to and impacting on the Internet.

Why Programs Fail

2nd Edition
June 12, 2009
Andreas Zeller
English
Paperback
9 7 8 0 1 2 3 7 4 5 1 5 6
eBook
9 7 8 0 0 8 0 9 2 3 0 0 0

Why Programs Fail: A Guide to Systematic Debugging is proof that debugging has graduated from a black art to a systematic discipline. It demystifies one of the toughest aspects of software programming, showing clearly how to discover what caused software failures, and fix them with minimal muss and fuss. The fully updated second edition includes 100+ pages of new material, including new chapters on Verifying Code, Predicting Erors, and Preventing Errors. Cutting-edge tools such as FindBUGS and AGITAR are explained, techniques from integrated environments like Jazz.net are highlighted, and all-new demos with ESC/Java and Spec#, Eclipse and Mozilla are included. This complete and pragmatic overview of debugging is authored by Andreas Zeller, the talented researcher who developed the GNU Data Display Debugger(DDD), a tool that over 250,000 professionals use to visualize the data structures of programs while they are running. Unlike other books on debugging, Zeller's text is product agnostic, appropriate for all programming languages and skill levels. The book explains best practices ranging from systematically tracking error reports, to observing symptoms, reproducing errors, and correcting defects. It covers a wide range of tools and techniques from hands-on observation to fully automated diagnoses, and also explores the author's innovative techniques for isolating minimal input to reproduce an error and for tracking cause and effect through a program. It even includes instructions on how to create automated debugging tools. The text includes exercises and extensive references for further study, and a companion website with source code for all examples and additional debugging resources is available.

Why Programs Fail

2nd Edition
June 12, 2009
Andreas Zeller
English
Paperback
9 7 8 0 1 2 3 7 4 5 1 5 6
eBook
9 7 8 0 0 8 0 9 2 3 0 0 0

Advances in Computers

1st Edition
Volume 76
May 20, 2009
Marvin Zelkowitz
English
eBook
9 7 8 0 0 8 0 9 5 1 1 2 6

This is volume 76 of the Advances in Computers. Since 1960, annual volumes are produced containing chapters by some of the leading experts in the field of computers today. For almost 50 years these volumes present ideas and developments that are radically changing our society. One of the most important ideas sweeping though society today is the social networking website. Names like Wikipedia, Flickr, Second Life, Twitter, Facebook, Meetup, MySpace, LinkedIn, among others, are becoming common parlance as the youth, and a growing segment of the adult population, now view such websites as alternatives to the corner convenience store or coffee shop and critically important avenues for social interactions. In this volume we explore this phenomenon to describe the development of some of these ideas as well as developments in web technology that enable this to occur. This volume contains seven chapters divided into two parts. The first three chapters describe the social networking phenomenon and provide insights into the technology and influences on our culture. The last four chapters provide details of the underlying technology that allows the web to expand to include these social networking sites, as well as other new applications for information dissemination, accessing, and sharing.

Advances in Computers

1st Edition
Volume 75
May 6, 2009
Marvin Zelkowitz
English
eBook
9 7 8 0 0 8 0 9 5 1 1 1 9

This is volume 75 of Advances in Computers. This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today. In this present volume we present five chapters describing new technology affecting users of such machines. In this volume we continue a theme presented last year in volume 72 – High Performance Computing. In volume 72 we described several research projects being conducted in the United States on the development of a new generation of high performance supercomputers.

Mac OS X, iPod, and iPhone Forensic Analysis DVD Toolkit

1st Edition
December 9, 2008
Jesse Varsalone
English
eBook
9 7 8 0 0 8 0 9 4 9 1 8 5

This book provides digital forensic investigators, security professionals, and law enforcement with all of the information, tools, and utilities required to conduct forensic investigations of computers running any variant of the Macintosh OS X operating system, as well as the almost ubiquitous iPod and iPhone. Digital forensic investigators and security professionals subsequently can use data gathered from these devices to aid in the prosecution of criminal cases, litigate civil cases, audit adherence to federal regulatory compliance issues, and identify breech of corporate and government usage policies on networks. MAC Disks, Partitioning, and HFS+ File System Manage multiple partitions on a disk, and understand how the operating system stores data.FileVault and Time Machine Decrypt locked FileVault files and restore files backed up with Leopard's Time Machine.Recovering Browser History Uncover traces of Web-surfing activity in Safari with Web cache and .plist filesRecovering Email Artifacts, iChat, and Other Chat Logs Expose communications data in iChat, Address Book, Apple's Mail, MobileMe, and Web-based email.Locating and Recovering Photos Use iPhoto, Spotlight, and shadow files to find artifacts pof photos (e.g., thumbnails) when the originals no longer exist.Finding and Recovering QuickTime Movies and Other Video Understand video file formats--created with iSight, iMovie, or another application--and how to find them.PDF, Word, and Other Document Recovery Recover text documents and metadata with Microsoft Office, OpenOffice, Entourage, Adobe PDF, or other formats.Forensic Acquisition and Analysis of an iPod Documentseizure of an iPod model and analyze the iPod image file and artifacts on a Mac.Forensic Acquisition and Analysis of an iPhone Acquire a physical image of an iPhone or iPod Touch and safely analyze without jailbreaking.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Books in Computer science

Computability Theory

Advances in Computers

Advances in Computers

Advances in Computers

Advances in Computers

Why Programs Fail

Why Programs Fail

Advances in Computers

Advances in Computers

Mac OS X, iPod, and iPhone Forensic Analysis DVD Toolkit