Product Description

What’s the use of putting out reports that no one reads? Properly created dashboards are graphical representations that put data in a context for your audience, and they look really cool! How cool? You’ll find out when you see the dazzling examples in Excel 2007 Dashboards & Reports For Dummies. And, before long, everyone’s eyes will be riveted to your dashboards and reports too!

This revolutionary guide shows you how to turn Excel into your own personal Business Intelligence tool. You’ll learn the fundamentals of using Excel 2007 to go beyond simple tables to creating dashboard-studded reports that wow management. Get ready to catch dashboard fever as you find out how to use basic analysis techniques, build advanced dashboard components, implement advanced reporting techniques, and import external date into your Excel reports. Discover how to:

* Unleash the power of Excel as a business intelligence tool
* Create dashboards that communicate and get noticed
* Think about your data in a new way
* Present data more effectively and increase the value of your reports
* Create dynamic labels that support visualization
* Represent time and seasonal trending
* Group and bucket data
* Display and measure values versus goals
* Implement macro-charged reporting

Using Excel 2007 as a BI tool is the most cost-efficient way for organizations of any size create powerful and insightful reports and distribute throughout the enterprise. And Excel 2007 Dashboards and Reports for Dummies is the fastest you for you to catch dashboard fever!
Product Details

* Amazon Sales Rank: #12601 in Books
* Published on: 2008-03-04
* Original language: English
* Number of items: 1
* Binding: Paperback
* 318 pages

Editorial Reviews

From the Back Cover
Create dashboards that communicate and get noticed

Use pivot tables and form controls to build reports that mean something

What's the use of putting out reports that no one bothers to read? Properly created dashboards are graphical representations that put data in a context for your audience, and they look really cool. You'll find out when you see the examples in this book, and soon your dashboards and reports will be getting rave reviews.

Discover how to:

*

Think about your data in a new way
*

Create dynamic labels that support visualization
*

Represent time and seasonal trending
*

Display and measure values versus goals
*

Give users an active interface

About the Author
Michael Alexander is a Microsoft Certified Application Developer (MCAD) with over 14 years experience consulting and developing office solutions. He is the author/co-author of several books on business analysis using Microsoft Excel and Access. Michael is one of 96 Microsoft Excel MVPs worldwide who has been recognized for his contributions to the Excel community. He is also the principal player behind DataPigTechnologies.com, a site that offers video tutorials to beginning and intermediate Excel and Access users. He currently lives in Frisco, Texas where he works as a Senior Program Manager for a top technology firm. Michael can be contacted at mike@datapigtechnologies.com.
Customer Reviews

Great book5
This is a great book to have as a resource for not only some of the new features of Excel 2007, but also as a primer to what a data warehouse is and what it means to build one. Of course, the latter is something that can be learned in depth in many other texts, but for a user of Excel, it makes for a good launching point to other more complex concepts of data warehouses and BI (Business Intelligence).

There are many great examples that can simply make spreadsheets look and work better regardless of whether you are building a dashboard or not.

Great, Informative Resource5
Excel 2007 Dashboards & Reports is an excellent resource. The book gives very clear and concise instructions for building Excel dashboards. I highly recommend this book.

Product Description

Extract and analyze mission-critical enterprise data using Microsoft Office 2007

This authoritative volume is a practical guide to the powerful new collaborative Business Intelligence tools available in Office 2007. Using real-world examples and clear explanations, Microsoft Office 2007 Business Intelligence: Reporting, Analysis, and Measurement from the Desktop shows you how to use Excel, Excel Services, SharePoint, and PerformancePoint with a wide range of stand-alone and external data in today's networked office. You will learn how to analyze data and generate reports, scorecards, and dashboards with the Office tools you're already using to help you in your everyday work.

*
Create Excel PivotTables and PivotCharts and apply Conditional Formatting
*
Convert Excel spreadsheets into Excel Tables with Conditional Formatting and Charting
*
Connect external data to Excel using Office Data Connections and SharePoint
*
Create SharePoint dashboards that display data from multiple sources
*
Add Key Performance Indicators and Excel Services reports to your dashboards
*
Harness advanced SQL Server 2005 data analysis tools with the Excel Data Mining Add-In and Visio Cluster Diagrams
*
Generate integrated PerformancePoint Scorecards
*
Create Visio PivotDiagrams and Windows Mobile spreadsheets

Product Details

* Amazon Sales Rank: #53722 in Books
* Published on: 2007-11-16
* Original language: English
* Number of items: 1
* Binding: Paperback
* 444 pages

Editorial Reviews

About the Author

Doug Harts is a member of the Microsoft Business Intelligence Advisory Council and the Excel Advisory Council. He is the Chief Technology Officer of Cizer Software and is a frequent speaker at SQL Server and Microsoft conferences. Doug maintains an Office Business Intelligence & Data Mining community website at OfficeBIcentral.com. With 20 years of experience in the field, Doug brings a lively style to the explanation of practical BI techniques.

Customer Reviews

Business Intelligence Developer likes this book4
This is a good book.

Business Intelligence is a broad and many times an incorrectly used term. My opinion is that in essence, Business Intelligence is all about getting information into the hands of business users so they can make decisions.

This book is written for the business user. Microsoft is the fastest growing player in the Business Intelligence world. Their strategy is to leverage Microsoft Office to get the information into the hands of the business users. For example, think of how many people use Excel in the business place. That is a huge number of people to tap into who will already know how to use their Business Intelligence tools.

The book uses a diagram to show the Microsoft Business Intelligence platform. Each chapter then focuses in on a section of the diagram. It gives you a "you are here" pointer in the diagram. It gives you and explanation and then an example of how to do the important and common tasks. Each chapter is also independent of the other chapter, so you focus in on what you need to know with no worries that you missed something important in a previous chapter.

I am a Senior Business Intelligence Developer. I build the Data Warehouse and Data Cubes and develop the ETL. I have enough on my plate to keep me busy, but I still need to know all aspects of the platform. If you are a developer, I recommend this book because it gives you enough information to get you up to speed with Office 2007 as it relates to BI quickly. It shows you how to get your KPI's into SharePoint, for example. I recommend the book for developers as well.

Good Concise Review5
This book provided a great, easy to understand review of the features of Office 2007. Touched upon pivot tables, performance point, dashboards and scorecards. Plenty of examples were provided. This will definitely help me with implementing executive dashboards at my company.

Excellent book for the government contractor5
While I have considered myself reasonably good with Office, this book dramatically increased my understanding of the power hidden in Excel and the new possibilities of presentation. I would highly recommend the book to any government contractor, even if you haven't upgraded to Office 2007 as the descriptive text and easy to follow examples have direct application to earlier versions as well. I've cut my production time dramatically and, more importantly, can 'slice and dice' the data quicker and with better insight than ever before.

Product Description

If you're an experienced system administrator looking to acquire Linux skills, or a seasoned Linux user facing a new challenge, Linux System Administration offers practical knowledge for managing a complete range of Linux systems and servers. The book summarizes the steps you need to build everything from standalone SOHO hubs, web servers, and LAN servers to load-balanced clusters and servers consolidated through virtualization. Along the way, you'll learn about all of the tools you need to set up and maintain these working environments.


Linux is now a standard corporate platform with users numbering in the hundreds of millions, and there is a definite shortage of talented administrators. Linux System Administration is ideal as an introduction to Linux for Unix veterans, MCSEs, and mainframe administrators, and as an advanced (and refresher) guide for existing Linux administrators who will want to jump into the middle of the book. Inside, you'll learn how to:



* Set up a stand-alone Linux server


* Install, configure, maintain, and troubleshoot a DNS server using BIND


* Build an Internet server to manage sites, perform email and file transfers, and more


* Set up an email service for a small-to-medium-sized site, complete with authentication


* Install and configure Apache, PHP, and MySQL on a web server built from scratch


* Combine computers into a load-balanced Apache web server cluster based on the free Linux Virtual Server


* Set up local network services from distributed file systems to DHCP services, gateway services, print services, user management and more


* Use Linux virtualization with Xen or VMWare to run multiple kernels on one piece of hardware; manage each kernel's access to processor time, devices, and memory


* Create shell scripts and adapt them for your own needs


* Back up and restore data with rsync, tar, cdrecord, Amanda, and MySQL tools






Linux System Administration is not only knowledgeable and practical, but convenient. The ingredients for this book had been scattered throughout mailing lists, forums, and discussion groups, as well as books, periodicals, and the experiences of colleagues. Everything is now in one handy guide. In the course of their research, the authors also solved many problems whose solutions were completely undocumented. They now pass their lessons on to you.

Product Details

* Amazon Sales Rank: #93005 in Books
* Published on: 2007-03-01
* Released on: 2007-03-01
* Format: Illustrated
* Original language: English
* Number of items: 1
* Binding: Paperback
* 291 pages

Editorial Reviews

About the Author
Tom Adelstein works as a system administrator and a technical writer. He became a young author by accident in 1985 and has written prolifically ever since. Tom's career began in public accounting and investment banking where he excelled by using computer technology to help his companies become industry leaders in the financial service sector. In 1993, he decided to change industries completely to pursue information technology full time. He says he chose to follow his heart instead of his head.

Waiting for information.
Customer Reviews

Great reference4
This Linux system administration book has been very handy for me over the last 6 months. I found the information on high availability and virtualization very helpful since I am deploying this in my domain. This book is also a great command line reference for me. The security recommendations also came in very handy. This book also gave me guidance on other books to purchase for more indepth information certain topics. I recommend this book for new system administrators!

Quite Disappointing2
I shelled out the full price for this at a local bookstore with the hopes that it could help me setup a new Debian LINUX server. Normally, O'Reilly books have a very high level of accuracy and detail, this one deviates from that standard quite a bit. I used to admin BSD boxes many moons ago and thought this would be the perfect refresher course for me to get back up to speed with the current technology. From the beginning of the book, I started running into problems and was getting confusing errors that were not at all mentioned in the book. For starters, this book is based on older software packages that aren't included in the current distribution, so you have to use your favorite search engine to find out what the current version and installation package names are. Next, the configuration files the authors tell you to modify are in many cases wrong or non-existent. They have you comment out lots of lines in various config files only to discover later on in the book that you have to uncomment them so things like PHP will actually work. On top of that, the ISPCONFIG setup fails, as there is some sort of problem with the PHP installation. AARGH! I think I spent more time playing Sherlock Holmes on the web than I did reading the book. Which, I actually recommend that YOU do if you are in a similar position as me... To add to my frustration with the authors, their website is basically vacant. My opinion is they cashed the check from O'Reilly and forgot about the rest of their commitments to the readers who are spending from $29 to $44.99 USD on a copy of this outdated and confusing waste of paper. There might be a few useful tidbits here and there, but the web is your best resource for this information. I gave it 2 stars because it does point you in a general direction of how you might want to set things up, but the explanation of it all is generally wrong.

This Book should be renamed Debian Sys Admin2
I found this book very disapointing. My main concern was with the authors decision to base the examples solely on Debian distros of Linux. This is not mentioned in the the books description.

The book also advises that there is a website to accompany the book with examples, tips and new procedures. This turns out to be a one page website with 5 links that refer back to the same homepage with no content.

Product Description

The Best Fully Integrated Study System Available

With hundreds of practice questions and hands-on exercises, RHCE Red Hat Certified Engineer Linux Study Guide, Fifth Edition covers what you need to know--and shows you how to prepare--for this challenging exam.

*
100% complete coverage of all objectives for exam RH302
*
Exam Readiness Checklist at the front of the book--you're ready for the exam when all objectives on the list are checked off
*
Inside the Exam sections in every chapter highlight key exam topics covered
*
Real-world exercises modeled after hands-on exam scenarios
*
Two complete lab-based exams simulate the format, tone, topics, and difficulty of the real exam
*
Bonus content (available for download) includes installation screen review, basic instructions for using VMware and Xen as testbeds, and paper and pencil versions of the lab exams

Covers all RH302 exam topics, including:

* Hardware installation and configuration
* The boot process
* Linux filesystem administration
*
Package management and Kickstart
*
User and group administration
* System administration tools
* Kernel services and configuration
* Apache and Squid
*
Network file sharing services (NFS, FTP, and Samba)
* Domain Name System (DNS)
*
E-mail (servers and clients)
* Extended Internet Services Daemon (xinetd), the Secure package, and DHCP
* The X Window System
*
Firewalls, SELinux, and troubleshooting

Product Details

* Amazon Sales Rank: #3282 in Books
* Published on: 2007-06-21
* Original language: English
* Number of items: 1
* Binding: Paperback
* 848 pages

Editorial Reviews

From the Author
This book covers every published objective in the latest two-part hands-on exam (Troubleshooting and System Maintenance; Installation and Configuration) for the Red Hat Certified Engineer credential from Red Hat. Plus it's up to date for Red Hat Enterprise Linux 5. The best way to prepare for the RHCE exam is with Red Hat's prep courses, but you'll find this book an invaluable resource in your studies and afterwards on the job.

Everything you see on the RHCT exam is part of the RHCE exam. In other words, you can use this book to study for both exams. If you're studying first for the RHCT, read the Introduction. You'll find a guide to the topics to study in the book, based on the publicly available Red Hat exam prep requirements.

But more importantly, to pass the Red Hat exams, you need real-world Linux administration skills. This book can help you brush up and enhance skills in areas where you might be a bit rusty. The problem-based focus means you can use this book even after you pass the RHCE exam.

I've updated this book to the latest requirements, including tips on making Security Enhanced Linux play well with any services you may configure. There are now 16 chapters in this book, which means there are many more labs that can help you practice configuring and troubleshooting Linux.

If you're serious about passing the RHCE or RHCT exam, and can afford it, take the Red Hat courses. And read this book. As suggested by Red Hat's Exam prep guide, practice installing and configuring Red Hat Enterprise Linux. Practice installing, configuring, and activating network services. Configure scenarios that require you to debug the boot process. Configure scenarios that require you to repair network services. Practice until installing, configuring, troubleshooting, and maintaining Red Hat Enterprise Linux is second nature to you.

Thank you, and good luck!

From the Back Cover
Get the book that shows you not only what--but how--to study

* 100% complete coverage of all official objectives for exam RH302
* Exam Readiness checklist at the front of the book--you’re ready for the exam when all objectives on the list are checked off
* Real-World Exercises--Step-by-step instruction modeled after the hands-on RHCE exam questions
* Inside the Exam sections highlight key exam topics covered and how to answer questions correctly
* Simulated exam lab questions match the format, tone, topics, and difficulty of the real exam
* Money-saving tips explain how you can study for the exam without buying Red Hat Enterprise Linux

Covers all RH302 exam topics, including: Installation * Configuration * Partitioning * Filesystem Management * Kernel, Cron, and User Administration * X Window System * Linux Sharing Services * Samba Networking * DNS/BIND, NFS and DHCP * Systems Administration and Security

The best fully integrated study system available

True to the format of the latest RHCE exam! CD-ROM includes:
+ Two complete RHCE exams featuring the same types of hands-on problems that you’ll see on the live exam
+ Electronic book for studying on-the-go
+ Bonus installation screen review for Red Hat Enterprise Linux 3

About the Author: Michael Jang, RHCE, Linux+, LCP, is the author of several computer books and professional certification study guides on Linux and Microsoft operating systems and networking.

About the Author

Michael Jang, LCP, MCSE, RHCE is the authorof the previous two bestselling editions of the RHCE Study Guide and several other certification prep books.

Customer Reviews

on the way for the rhce5
im not in the habit of writing reviews but i got my rhce certification
and a lot of my study time was with this book i did took the red hat course with it so my recomendation is if u want the rhce cert take the course & read the book this book is a great study tool to acompany u thurgth the couse not as a replacement but it can really sharpen your knowlege and get ready to the exam . but dont pass on the course
& good luck on the exam thogter it will be a pice of cake

Excellent4
This isn't a book for Linux beginners for sure but for those who have a bit of experience with Linux you'll hit the ground running. Some areas such as NIS server set up I wish it would go into and the first couple chapters seem like a waste of space since there is no depth, but the later content is A+. I give it a good recommendation to jump start your RHCE studies. Just don't forget to supplement with labs of your own afterwords!

Outstanding review for the test!!!5
I can say without a doubt that this book is what put me over the top in gaining my RHEL5 RHCE.

Without divulging any details of the test, let me just say that for anyone who has administered RHEL in a production environment for a couple of years, the test isn't hard. It is mostly a test of your experience.

This book gives you the guideline for everything you need to know to pass the test. This means that along with this book, those things you may not administer on an everyday basis like NIS, NFS, ACLs, etc.; you will need other sources for in-depth information like the Red Hat Enterprise Linux Installation and Deployment Guides from Redhat, Redhat Enterprise Linux 5 Administration Unleashed, and the various O'Reilly books. Read the RHCE Prep Guide and understand what they want, and you will, along with this book, pass the test.

Product Description

In order to thoroughly understand what makes Linux tick and why it works so well on a wide variety of systems, you need to delve deep into the heart of the kernel. The kernel handles all interactions between the CPU and the external world, and determines which programs will share processor time, in what order. It manages limited memory so well that hundreds of processes can share the system efficiently, and expertly organizes data transfers so that the CPU isn't kept waiting any longer than necessary for the relatively slow disks.

The third edition of "Understanding the Linux Kernel" takes you on a guided tour of the most significant data structures, algorithms, and programming tricks used in the kernel. Probing beyond superficial features, the authors offer valuable insights to people who want to know how things really work inside their machine. Important Intel-specific features are discussed. Relevant segments of code are dissected line by line. But the book covers more than just the functioning of the code; it explains the theoretical underpinnings of why Linux does things the way it does.

This edition of the book covers Version 2.6, which has seen significant changes to nearly every kernel subsystem, particularly in the areas of memory management and block devices. The book focuses on the following topics:

Memory management, including file buffering, process swapping, and Direct memory Access (DMA)

The Virtual Filesystem layer and the Second and Third Extended Filesystems

Process creation and scheduling

Signals, interrupts, and the essential interfaces to device drivers

Timing

Synchronization within the kernel

Interprocess Communication (IPC)

Program execution

"Understanding the Linux Kernel" will acquaint you with all the inner workings of Linux, but it's more than just an academic exercise. You'll learn what conditions bring out Linux's best performance, and you'll see how it meets the challenge of providing good system response during process scheduling, file access, and memory management in a wide variety of environments. This book will help you make the most of your Linux system.
Product Details

* Amazon Sales Rank: #6216 in Books
* Published on: 2005-11-17
* Format: Illustrated
* Original language: English
* Number of items: 1
* Binding: Paperback
* 942 pages

Editorial Reviews

About the Author
Daniel P. Bovet got a Ph.D. in computer science at UCLA in 1968 and is now full Professor at the University of Rome, "Tor Vergata," Italy. He had to wait over 25 years before being able to teach an operating system course in a proper manner because of the lack of source code for modern, well-designed systems. Now, thanks to cheap PCs and to Linux, Marco and Dan are able to cover all the facets of an operating system from booting to tuning and are able to hand out tough, satisfying homework to their students. (These young guys working at home on their PCs are really spoiled; they never had to fight with punched cards.) In fact, Dan was so fascinated by the accomplishments of Linus Torvalds and his followers that he spent the last few years trying to unravel some of Linux's mysteries. It seemed natural, after all that work, to write a book about what he found.

Marco Cesati received a degree in mathematics in 1992 and a Ph.D. in computer science (University of Rome, "La Sapienza") in 1995. He is now a research assistant in the computer science department of the School of Engineering (University of Rome, "Tor Vergata"). In the past, he served as system administrator and Unix programmer for the university (as a Ph.D. student) and for several institutions (as a consultant).
Customer Reviews

The comments needed by the Linux code5
These are the comments needed to understand Linux code, very helpful and thorough. The authors are knowledgeable, and explain the material well.

Greatly Detailed and Very Comprehensive4
I had originally intended to read this book to knock out two birds with one stone. I wanted to learn Operating System theory and specifically how it was implemented in Linux. I quickly learned, however, that I would of been much better suited if I already had a good OS theory background. But I pressed on and finally couldn't take it anymore and had to put it down and pick up Linux Kernel Development by Robert Love. I began reading Linux Kernel Development concurrently with this book and it is definitely what I would recommend for those new to OS internals.

After using both of those books I started to get a good foothold on the kernel. And Understanding the Linux Kernel quickly becomes like a good novel you can't put down. I did like how it was x86-centric because abstract is nice and all but sometimes it helps to see how things actually are done. However some might not like that. I did not like how it threw a bunch of detail at you without completely unifying everything.. But thats why I read Linux Kernel Development concurrently. All and all this book is definitely worth it for those who want to know about the Linux kernel and now as I use my GNU/Linux operating system I can't help and point out to myself whats going on under the hood.

Good book4
I purchased this book as a complimentary book for the regular OS text books, so far the coverage is very good and helpful.

Product Description

GTK+ is one of the most influential graphical toolkits for the Linux operating system. It is the technology upon which the GNOME and XFCE desktop environments are based, and its crucial to have clear understanding of its complexities to build even a simple Linux desktop application. Foundations of GTK+ Development guides you through these complexities, laying the foundation that will allow you to cross from novice to professional.

Foundations of GTK+ Development is aimed at C programmers and presents numerous real-life examples that you can immediately put to use in your projects. Some familiarity with C programming is assumed, as the book delves into new topics from the beginning. Topics like object inheritance are covered early on to allow for complete understanding of code examples later. And the provided examples are real-life situations that can help you get a head start on your own applications.

Product Details

* Amazon Sales Rank: #169576 in Books
* Published on: 2007-04-23
* Original language: English
* Number of items: 1
* Binding: Paperback
* 630 pages

Editorial Reviews

About the Author
Andrew Krause is the creator of OpenLDev, an integrated development environment that focuses on C, C++, Gtk+, and Gtkmm project management. He is currently attending Pennsylvania State University with a major in computer engineering.


Andrew has 8 years of experience with many computer and web programming languages such as C, C++, Perl, PHP, and others. He also designs flight hardware for the Low Ionosphere Measurement Satellite project at Penn State.

Customer Reviews

Good but could be even better4
I may be the first person to rate this book less than five stars. And please don't get me wrong this is a good book in the sense that it is right up to date and the examples are very helpful. There are, in my opinion, two main areas where the book could have been improved. It dives off into a discussion of some very interesting applications of GLib including socket programming which the author says must of needs be incomplete. This doesn't really fit in with the main thrust of the book and probably should have been the basis, in an expanded form, for a separate book. This space could well have been used for a more expanded treatment of the issues at hand. Secondly the author's views on user interface design have overly influenced his treatment of GtkFixed, GtkLayout etc. One suspects that his work as a developer has been primarily in producing tools for anyone anywhere rather than applications for corporations and / or small businesses. However, regardless of the above, armed with this book plus the API documentation will get you going much faster and more efficiently than if you have only the API documentation.

marginal thumbs up3
I wanted to like this book, but unfortunately I cannot in good conscience give it 5 stars as the other reviewers have.

I will say the book is well organized and is definitely useful as a starting point for studying GTK+ and the author clearly has a great deal of knowledge about the subject. But what should have been the main strength of the book that differentiates it from the mostly inadequate online tutorials is the author conveying to the reader straightforward explanations of important concepts and insider tips and tricks that can only come from extensive experience. He tries to do this, but I found many of his explanations ambiguous and confusing. Important terminology was left undefined or poorly defined which contributed to the confusion.

The author dutifully plods through a presentation of most of the main widgets, providing essentially the same trivial example code each time with minor variations- basically just showing how to put the widget onscreen. But there was a frustrating lack of material devoted to how to use signals and events to perform any useful tasks. The vast majority of the functionality of any GUI application lies in its event handlers and callback functions. After reading this book, you will be able to prototype the GUI for your application, but you may be at a loss to make it actually do something.

By Ch.3 and 4, the same example code has been replicated so many times that there is an increasing frequency of copy-paste errors that gradually becomes very annoying. Also, there are many typos in the text. The lack of editorial oversight and technical review on the part of the publisher combined with the author's lack of attention to detail and failures in exposition has created a book that I can only marginally recommend- mostly because all of the other books that have been published on GTK+ are either out of date or out of print, so this book seems to be the winner by default.

Foundations of GTK+ Development Review5
I picked up this book to help me develop an application knowing absolutely nothing about GTK+ programming and it was beyond helpful. Excellently written, not to mention many code examples showing how to use the GTK+ library properly and efficiently. This book gives you the tools and the understanding for building your own applications and not just re-creating the examples given to you.
I highly recommend this book to anyone programing in C and want to learn how to use the GTK+ library along with the GLib and Pango libraries. This is one book I'm not going to let go of.

Product Description

The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense.

Two kernels are specified and refined. The first is small and of the kind often used in embedded and real-time systems. It closely resembles the one modelled in our Formal Models of Operating System Kernels. The second is a Separation Kernel, a microkernel architecture devised for cryptographic and other secure applications. Both kernels are refined to the point at which executable code can be extracted. Apart from documenting the process, including proofs, this book also shows how refinement of a realistically sized specification can be undertaken.

Product Details

* Amazon Sales Rank: #1107551 in Books
* Published on: 2007-07-25
* Original language: English
* Number of items: 1
* Binding: Hardcover
* 336 pages

Customer Reviews

This book is written by Z notation. I want to use B methods.5
This book include two specification of operating system, micro C/OS and a kernel for cryptographic systems using Z schemata.
Z is ISO/IEC standards.ISO/IEC 13568:2002 Information technology -- Z formal specification notation -- Syntax, type system and semantics.
And related standard is followint.
ISO/IEC 10165-4:1992/Amd 3:1998 Guidelines for the use of Z in formalizing the behaviour of managed objects .

I am no Z specialist nor OS specialist. And I do not have Z translator to C language.So I cannot understand main part of this book.
So I request my colleague to rewrite this Z example to be utilized B methods.
Also I request another colleague to write TOPPERS/SSP(smallest set profile) specification using Z.
It should be rewrite to be utilised B methods.

This is the first book who can start to formally designe and evaluate the architecture of operating system.

Product Description

Que crafted this book to grow with you, providing the reference material you need as you move toward Vista proficiency and use of more advanced features. If you buy only one book on Vista, Special Edition Using Microsoft® Windows® Vista is the only book you need.



*
Tired of the constant barrage of spam, spyware, viruses and other Net nasties? We show you how to rebuke the onslaught of hacker attacks, protect your identity, and keep your sanity, all at the same time.
*
· Is the new Vista interface making your trigger-finger itch? Ours too…that is, until we turned Windows inside out, shook out all the loose parts and figured out just what makes this beast tick. Learn from our pain and suffering.
*
If you finally broke down and purchased a Windows Media Center computer, or you think you have one and didn't even know it, then you are holding just the book for you. We show you how to get up to speed with your new computer, transforming it from the little PC that could into the media juggernaut you never knew it could be.
*
Ready to upgrade? We provide from-the-trenches advice on upgrading to Windows Vista–including detailed rollout advice for IT managers. Plan and manage deployment of Windows easily and efficiently–whether you're upgrading just a handful of computers, or an entire corporation!
*
Want to set up a network at work or at play? Check out our hands-on coverage of installing, configuring and surviving on a Windows Vista-based network. We not only show you how to set up Windows networking features, we show you how to install and setup basic networking hardware. No other Windows book goes as deeply into networking as the one you are holding.
*
Do you like to fileshare, but wish you could share with the open source community and Apple users? The wait is over; share files with other platforms, such as Novell Netware, Unix, Linux, Macintosh, and other Windows flavors. No longer will the Macs in your network be segregated from the Windows users.



I Introducing Windows Vista

1 Introducing Windows Vista . . . . . . . . . . . . . . . . .3

2 Installing and Upgrading Windows Vista . . . .41

3 The First Hour . . . . . . . . . . . . . . . . . . . . . . . . . .79

II Using Windows Vista

4 Using the Windows Vista Interface . . . . . . . .123

5 Managing Files and Searching . . . . . . . . . . . .165

6 Printing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .205

7 Sidebar and Other Supplied Accessories . . .235

III Multimedia and Imaging

8 Windows Media Player . . . . . . . . . . . . . . . . . .261

9 Windows Imaging Tools . . . . . . . . . . . . . . . . .289

10 Scanning and Faxing . . . . . . . . . . . . . . . . . . . .309

11 Producing Videos with Windows Movie

Maker . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .325

12 Sound Recorder, DVD Maker, and Other

Multimedia Tools . . . . . . . . . . . . . . . . . . . . . . .351

13 Windows Media Center . . . . . . . . . . . . . . . . .363

IV Windows Vista and the Internet

14 Getting Connected . . . . . . . . . . . . . . . . . . . . .395

15 Using Internet Explorer 7 . . . . . . . . . . . . . . . .425

16 Email and Newsgroups with Windows

Mail . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .473

17 Troubleshooting Your Internet Connection . . .529

18 Hosting Web Pages with Internet

Information Services . . . . . . . . . . . . . . . . . . . .555

V Networking

19 Overview of Windows Networking . . . . . . . .591

20 Creating a Windows Network . . . . . . . . . . . .613

21 Mix and Match with Old Windows

and Macs . . . . . . . . . . . . . . . . . . . . . . . . . . . . .665

22 Connecting Your Network to the Internet . .703

23 Using a Windows Network . . . . . . . . . . . . . . .741

24 Troubleshooting Your Network . . . . . . . . . . .787

VI Maintaining Windows Vista

25 Windows Management and Maintenance . .805

26 Tweaking the GUI . . . . . . . . . . . . . . . . . . . . . .901

27 Managing Hard Disks . . . . . . . . . . . . . . . . . . .933

28 Troubleshooting and Repairing Problems . .965

29 Keeping Windows and Other Software

Up to Date . . . . . . . . . . . . . . . . . . . . . . . . . . . .989

30 Installing and Replacing Hardware . . . . . . .1013

31 Editing the Registry . . . . . . . . . . . . . . . . . . . .1041

32 Command-Line and Automation Tools . . . .1073

VII Security

33 Protecting Windows from Viruses and

Spyware . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1135

34 Protecting Your Data from Loss and Theft . .1153

35 Protecting Your Network from Hackers

and Snoops . . . . . . . . . . . . . . . . . . . . . . . . . .1197

36 Protecting Yourself from Fraud and Spam . .1235

VIII Windows on the Move

37 Wireless Networking . . . . . . . . . . . . . . . . . . .1253

38 Hitting the Road . . . . . . . . . . . . . . . . . . . . . .1271

39 Meetings, Conferencing, and Collaboration . .1303

40 Remote Desktop . . . . . . . . . . . . . . . . . . . . . .1321

41 Tablet PC Features . . . . . . . . . . . . . . . . . . . . .1347

IX Appendix

A Windows Programs and Services . . . . . . . .1371

Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1409

Product Details

* Amazon Sales Rank: #474245 in Books
* Published on: 2007-01-05
* Original language: English
* Number of items: 1
* Binding: Paperback
* 1512 pages

Editorial Reviews

About the Author

About the Authors



Robert Cowart has written more than 40 books on computer programming and applications,

with more than a dozen on Windows. His titles include Windows NT Unleashed,

Mastering Windows 98, Windows NT Server Administrator’s Bible, and Windows NT Server

4.0: No Experience Required. Several of his books have been bestsellers in their category

and have been translated into more than 20 languages. He has written on a wide range of

computer-related topics for such magazines as PC Week, PC World, PC Magazine, PC Tech

Journal, Mac World, and Microsoft Systems Journal. In addition to working as a freelance

consultant specializing in small businesses, he has taught programming classes at the

University of California Extension in San Francisco. He has appeared as a special guest on

the PBS TV series Computer Chronicles, CNN’s Headline News, ZD-TV’s The Screen Savers,

and ABC’s World News Tonight with Peter Jennings. Robert lives in Berkeley, California. In

his spare time he is involved in the music world, producing chamber-music concerts and

playing various genres of music. He meditates regularly in hopes of rewiring his inner

computer.



Brian Knittel has been a software developer for more than 20 years. After doing graduate

work in nuclear medicine and magnetic resonance imaging technologies, he began a career

as an independent consultant. An eclectic mix of clients has led to long-term projects in

medical documentation, workflow management, real-time industrial system control, and

most importantly, 20 years of real-world experience with MS-DOS, Windows, and computer

networking in the business world. Previously, he coauthored Special Edition Using

Microsoft Windows 2000 Professional, Special Edition Using Microsoft Windows XP, and contributed

to several of Bob Cowart’s other Windows books. Brian also coauthored

Upgrading and Repairing Windows, with Scott Mueller, and is the sole author of Windows XP

Under the Hood. Brian lives in Oakland, California, and spends his free time restoring

antique computers and trying to perfect his wood-fired pizza recipes.



About the Contributors



Everette Beatley is a fourth-year computer engineering major at Christopher Newport

University in Newport News, Virginia. He currently works for Southern Electronics, Inc.

in Kilmarnock, Virginia, as a System Administrator. When not in school, Everette lives in

Lancaster, Virginia, where he enjoys road cycling and waterskiing on the Rappahannock

River.



Eric Butow has authored or coauthored seven books since 2000, including Master Visually

Windows 2000 Server, Teach Yourself Visually Windows 2000 Server, FrontPage 2002 Weekend

Crash Course, C#: Your Visual Blueprint, Creating Web Pages Bible, and Dreamweaver MX

2004 Savvy. His most recent book is The PDF Book for Microsoft Office, an e-book produced

by ExcelUser.com. He is also the CEO of Butow Communications Group (BCG), a technical

writing and web design firm based in Roseville, California. Butow also writes for

Addison-Wesley.



Greg Dickinson lives in Birmingham, Alabama, and has 10 years experience with computer

networking. He works for one of the top 30 banks in the country, packaging and distributing

software packages and updates to the bank’s 6,000 desktops. When not wrestling

with the intricacies of enterprise networks, Greg likes to spend his time recording training

videos and singing in a barbershop chorus.



Diana Huggins is currently the Information Services Technical Communication Specialist

for Great-West Life. She also works as an independent contractor providing both technical

writing and consulting services. Diana has authored/coauthored several certification study

guides, including Windows 2000 Directory Services Design (Exam Cram 70-219) as well as

MCSE Planning and Maintaining a Microsoft Windows Server 2003 Network Infrastructure

(Exam 70-293). To complement this, she also spends a portion of her time providing

technical-editing services and developing certification practice exams.



Alex G. Morales first managed networked computer systems in the 1980s and has since

managed some of the world’s largest Internet sites. Along with several industry certifications,

he holds a bachelor’s degree in anthropology from the University of Texas, and currently

leads a stalwart team of engineers in the global deployment of Windows Vista at

Dell, Inc. Alex lives in Austin, Texas, with his muse, Gwen, her son Evan, and Molly the

Border Collie.



Will Schmied, MCSE, is a Senior Systems Administrator for a world-renowned