5/11/2011

BackTrack 4: Assuring Security by Penetration Testing - free download ebook

Book Description
BackTrack is a penetration testing and security auditing platform with advanced tools to identify, detect, and exploit any vulnerabilities uncovered in the target network environment. Applying appropriate testing methodology with defined business objectives and a scheduled test plan will result in robust penetration testing of your network.

BackTrack 4: Assuring Security by Penetration Testing is a fully focused, structured book providing guidance on developing practical penetration testing skills by demonstrating the cutting-edge hacker tools and techniques in a coherent step-by-step strategy. It offers all the essential lab preparation and testing procedures to reflect real-world attack scenarios from your business perspective in today's digital age.

The authors' experience and expertise enables them to reveal the industry's best approach for logical and systematic penetration testing.

The first and so far only book on BackTrack OS starts with lab preparation and testing procedures, explaining the basic installation and configuration set up, discussing types of penetration testing (black-box and white-box), uncovering open security testing methodologies, and proposing the BackTrack specific testing process. The authors discuss a number of security assessment tools necessary to conduct penetration testing in their respective categories (target scoping, information gathering, discovery, enumeration, vulnerability mapping, social engineering, exploitation, privilege escalation, maintaining access, and reporting), following the formal testing methodology. Each of these tools is illustrated with real-world examples to highlight their practical usage and proven configuration techniques. The authors also provide extra weaponry treasures and cite key resources that may be crucial to any professional penetration tester.

This book serves as a single professional, practical, and expert guide to developing hardcore penetration testing skills from scratch. You will be trained to make the best use of BackTrack OS either in a commercial environment or an experimental test bed.

A tactical example-driven guide for mastering the penetration testing skills with BackTrack to identify, detect, and exploit vulnerabilities at your digital doorstep.

What you will learn from this book :

  • Initiate the BackTrack OS environment in your test lab by installing, configuring, running, and updating its core system components
  • Draw a formal BackTrack testing methodology
  • Scope your target with definitive test requirements, limitations, and business objectives, and schedule the test plan
  • Gain practical experience with a number of security tools from BackTrack logically divided into sub-categories of testing methodology
  • Practice the process of reconnaissance, discovery, enumeration, vulnerability mapping, social engineering, exploitation, privilege escalation, and maintaining access to your target for evaluation purposes
  • Document, report, and present your verified test results to the relevant authorities in a formal reporting structure
  • Assess the various technologies comprising your target information system's environment, such as web applications, network administration servers, workstations, Cisco devices, firewalls, load balancers, routers, switches, intrusion detection and prevention devices, and many more
  • Examine and research the vulnerability in greater detail before attempting to exploit it by taking control of the target, thus reducing any false positives
  • Exploit human vulnerability by wrapping yourself with the art of deception to acquire the target

Approach
Written as an interactive tutorial, this book covers the core of BackTrack with real-world examples and step-by-step instructions to provide professional guidelines and recommendations to you. The book is designed in a simple and intuitive manner, which allows you to explore the whole BackTrack testing process or study parts of it individually.

Who this book is written for
If you are an IT security professional or network administrator who has a basic knowledge of Unix/Linux operating systems including awareness of information security factors, and you want to use BackTrack for penetration testing, then this book is for you.

Book Details

  • Paperback: 392 pages
  • Publisher: Packt Publishing (April 2011)
  • Language: English
  • ISBN-10: 1849513945
  • ISBN-13: 978-1849513944
  • File Size: 22.1 MiB
  • Hits: 790 times
Download Link

CMS Made Simple Development Cookbook - free download ebook

Book Description
CMS Made Simple has great capabilities "out of the box," but one of its great strengths is the ease of extending those capabilities. You can add a surprising amount of functionality just by customizing the core modules, but once you learn to write your own tags and modules, your ability to add features is virtually limitless.

CMS Made Simple Development Cookbook will show you how to use custom PHP code to extend the power and features of CMS Made Simple, and make it do exactly what you want. This easy to use guide contains clear recipes that introduce the key concepts behind each approach to extending the CMS, while also providing examples of solutions to real-world problems.

You will learn the differences between the various kinds of tags and modules in the CMS Made Simple environment, and to which purposes each is best fit. Each technology is then explored in detail with a series of practical recipes and examples.You will not only learn the basics of creating tags and modules, but you will explore the underlying APIs that you will use to solve real-world website problems. You will become proficient with the database and form APIs, so that the code you write is portable and maintainable. You'll learn to localize your code and use templates to add its flexibility. You'll master the safe handling of parameters and the creation of secure code. You'll be familiar with the CMS Made Simple Developer's Forge, and how you can use it in conjunction with revision control as a community-focused code management system, complete with web-based bug tracking and feature requests. You will learn to code complex interactions between modules, both directly and via the creation and handling of events. You will gain exposure to an array of advanced tips and tricks, along with commentary from the distilled experience of someone who has written dozens of modules. The CMS Made Simple Developer's Cookbook offers an amazing wealth of knowledge in approachable, bite-sized recipes. Whether you're new to the CMS or an old hand, you're sure to find valuable tips and information that will have you creating a richer CMS.

A hands-on collection of recipes for extending CMS Made Simple, with detailed explanations – useful for beginners and experts alike!

What you will learn from this book :

  • Use template logic to achieve complex functionality without installing anything beyond the CMS Made Simple core
  • Create tags to achieve such varied tasks as filtering content and interacting with web services
  • Write fully-localizable modules in a maintainable and memory-efficient fashion
  • Interact with the underlying database using the API for safe, platform-independent access
  • Render and process complex forms and user interfaces with the Form API
  • Share your work with the community via the Developer's Forge and shared source-control repositories
  • Build admin-side panels so site administrators can manage and configure your module
  • Trigger and handle events for complex interactions with tags and modules

Approach
This is a cookbook, with practical recipes providing tips and tricks to the most common problems and scenarios faced with CMS Made Simple Development.

Who this book is written for
If you are a CMS Made Simple user wanting to expand your skill set, or a programmer who wants to develop for CMS Made Simple, this book is for you. You will need working knowledge of PHP, HTML, and SQL. Some experience with CMS Made Simple is recommended.

Book Details

  • Paperback: 340 pages
  • Publisher: Packt Publishing (April 2011)
  • Language: English
  • ISBN-10: 1849514682
  • ISBN-13: 978-1849514682
  • File Size: 13.8 MiB
  • Hits: 480 times
Download Link

WordPress 3.0 Search Engine Optimization - free download ebook

Book Description
WordPress is a powerful platform for creating feature-rich and attractive websites and blogs; but with a little extra tweaking and effort your WordPress site can dominate the search engines and bring thousands of new customers to your blog or business.

WordPress3.0 Search Engine Optimization will show you the secrets that professional SEO companies use to take websites to the top of search results and proliferate their business. You'll be able to take your WordPress blog/site to the next level, as well as brush aside even the stiffest competition with this book in hand.

We'll begin with a typical WordPress installation and with a variety of simple techniques, turn it into a powerful website that search engines will reward with high rankings.

We'll go further: with advanced plug-ins we'll connect your WordPress site to popular social media sites and expand the reach of your site to bring more visitors. You'll learn about dozens of free online tools to accomplish everything from keyword research to monitoring your ranking progress.

WordPress is a great start for building search-friendly sites. However, with the tools in this book, you'll get your website/blog noticed by numerous new users/customers or your target audience.

A complete guide to dominating the search engines with your WordPress site

What you will learn from this book :

  • Understand the elements that search engines use to rank websites—and how to optimize you site for premium placement
  • Empower your site with the functionality of social media sites to extend its reach and gain more visitors
  • Discover the high-volume, high-value search phrases that customers use
  • Learn to avoid dangerous black-hat optimization techniques
  • Build high-quality, high-value links from other websites to raise your rankings in search engines
  • Create optimized and engaging content that both search engines and readers will love
  • Avoid common SEO mistakes that can get your site penalized by search engines
  • Acquire web video for higher rankings and more visitors
  • Learn to test your site and monitor your progress
  • Harness the power of third-party plugins to turn your WordPress blog into a high-powered ranking machine

Approach
This is a practical, hands-on book based around sound SEO techniques specifically applied to WordPress. Each chapter starts with a brief overview of the important concepts then quickly moves into practical step-by-step actions you can take immediately. Throughout the book, you'll get clear instructions and detailed screenshots, so you can see exactly what to do each step of the way.

Who this book is written for
This book is written for anyone using WordPress, ranging from owners of business sites to website developers and blog owners. Any WordPress user who wants to sell products or services, or send out a message to the world will find that getting better rankings in the search engines will help them reach their goal faster.

Some prior knowledge of WordPress is expected but no prior knowledge of search engine optimization is needed for this book. Readers will get a deeper level of knowledge on how to make their website rank better and attract more visitors.

Book Details

  • Paperback: 344 pages
  • Publisher: Packt Publishing (April 2011)
  • Language: English
  • ISBN-10: 1847199003
  • ISBN-13: 978-1847199003
  • File Size: 13.7 MiB
  • Hits: 551 times
Download Link

Inkscape 0.48 Illustrator’s Cookbook - free download ebook

Book Description
Inkscape is an open source vector graphics editor with an intuitive user interface that has enough depth to make quality graphic designs with an attractive layout comparable to what you would make using Illustrator or CorelDraw. But choosing the right tool and the best approach to creating the desired effect can be challenging. Inkscape 0.48 Illustrator's Cookbook makes it super-easy for you to make your own vector-based graphics with the powerful Inkscape editor.

Inkscape 0.48 Illustrator's Cookbook provides you with the latest recipes to quickly create scalable vector graphics. Recipes in this book teach you about some of the most useful time-saving features in Inkscape accompanied by a list of keyboard shortcuts that you can easily memorize. In addition to covering use of Inkscape tools and their advanced features, examples from the recipes uncover solutions to common graphics problems.

The book starts off with familiarizing you with the tools and techniques in Inkscape that you can use to draw 2D shapes, calligraphic shapes, and 3D boxes easily. It then guides you through the most common color-changing steps performed in Inkscape along with some convenient procedures that can save your time when dealing with colors. It explains drawing using linear and radial gradients, which are irreplaceable, usage of clones to create interesting effects in illustrations, and live-path effects that can help you speed up constructing a shape and make the process more natural. You will learn how to make those tweaks on some of the ready-made filters, and in the final recipe we will create a filter from scratch. This practical book also contains recipes showing how to use Inkscape as a raster editor and how to achieve photo-realistic effects in Inkscape. For each important technique and skill, you'll see some simple recipes, then some more advanced recipes followed by an explanation of how Inkscape works to produce the desired effects in your illustrations.

By the end of this book you will be confident enough to create your own vector-based graphics with Inkscape.

Get solutions to common graphic problems to achieve photo-realistic effects with Inkscape

What you will learn from this book :

  • Introduce you to the fascinating world of two-dimensional, calligraphic, and three-dimensional objects, using the Inkscape's powerful tools
  • Assist you in adjusting color using hue, brightness, saturation, and stroke width, until you find the perfect look and feel
  • Guide you in recreating iconic images from cult movies, with the help of gradient colors and complex vector shapes
  • Leverage Inkscape 0.48′s advanced path editing tools and techniques, producing great looking text and beautiful drawings
  • Help you produce professional looking posters, calendars, and wallpapers, packaging them so you can print or share them on the Internet
  • Illustrate the spectacular, and often surprising, effects of the many extensions and image filters found in version 0.48
  • Teach you to develop a standards-compliant and gorgeous looking Web 2.0 site layout, complete with widgets and buttons
  • Help you design and build your very own HTML5 and AJAX powered web games, presentations, and business applications, using JQuery powered SVG animation
  • Aid you in extending Inkscape by writing your own plugins in the Python programming language

Approach
Each recipe comprises step-by-step instructions followed by an analysis of what was done in each task and other useful information. The book is designed so that you can read it chapter by chapter, or look at the list of recipes and refer to them in no particular order. It is packed with useful screenshots to make your learning even easier.

Who this book is written for
This book is written for both beginners and developers who have a basic knowledge of Inkscape. With this book illustrators who have just started using Inkscape can quickly dive into the world of Inkscape and graphics editing. Software developers and web designers can learn how to create graphics for their software on their own or build SVG and other web-based interfaces. Users of other graphics editing applications can find out how Inkscape can be used as an alternative to solve common graphics problems.

Book Details

  • Paperback: 340 pages
  • Publisher: Packt Publishing (April 2011)
  • Language: English
  • ISBN-10: 1849512663
  • ISBN-13: 978-1849512664
  • File Size: 53.1 MiB
  • Hits: 547 times
Download Link

Zenoss Core 3.x Network and System Monitoring - free download ebook

Book Description
For system administrators, network engineers, and security analysts, it is essential to keep a track of network traffic.

Zenoss Core is an enterprise-level systems and network monitoring solution that can be as complex as you need it to be. And while just about anyone can install it, turn it on, and monitor "something", Zenoss Core has a complicated interface packed with features. The interface has been drastically improved over version 2, but it's still not the type of software you can use intuitively – in other words, a bit of guidance is in order.

The role of this book is to serve as your Zenoss Core tour guide and save you hours, days, maybe weeks of time.

This book will show you how to work with Zenoss and effectively adapt Zenoss for System and Network monitoring. Starting with the Zenoss basics, it requires no existing knowledge of systems management, and whether or not you can recite MIB trees and OIDs from memory is irrelevant. Advanced users will be able to identify ways in which they can customize the system to do more, while less advanced users will appreciate the ease of use Zenoss provides. The book contains step-by-step examples to demonstrate Zenoss Core's capabilities. The best approach to using this book is to sit down with Zenoss and apply the examples found in these pages to your system.

The book covers the monitoring basics: adding devices, monitoring for availability and performance, processing events, and reviewing reports. It also dives into more advanced customizations, such as custom device reports, external event handling (for example, syslog server, zensendevent, and Windows Event Logs), custom monitoring templates using SNMP data sources, along with Nagios, and Cacti plugins. An example of a Nagios-style plugin is included and the book shows you where to get an example of a Cacti-compatible plugin for use as a command data source in monitoring templates. In Zenoss Core, ZenPacks are modules that add monitoring functionality. Using the Nagios plugin example, you will learn how to create, package, and distribute a ZenPack. You also learn how to explore Zenoss Core's data model using zendmd so that you can more effectively write event transformations and custom device reports.

Implement Zenoss core and fit it into your security management environment using this easy-to-understand tutorial guide

What you will learn from this book :

  • Discover devices and prepare your monitoring environment
  • Set up, model, and configure devices
  • Monitor availability and performance
  • Customize monitoring templates using SNMP, Nagios, and Cacti data sources
  • Process events via the event console and event commands
  • Collect and process events (including event transformations) from non-Zenoss Core monitoring activities
  • Administer Zenoss Core's users, alerting rules, data backups, and settings
  • Review built-in reports and create custom graph and multi-graph reports
  • Write custom device reports and explore Zenoss Core data model with zendmd
  • Incorporate device and event attributes using TALES expressions throughout Zenoss Core

Approach
The book starts by covering installation and configuration, before moving on to administration and dashboard usage. It contains step-by-step instructions for setting up and using a working, capable Zenoss system.

Who this book is written for
This book is written primarily for network and systems administrators who are monitoring their IT assets with Zenoss Core or who plan to monitor them. In reality, this book will benefit anyone, regardless of job title, who recognizes the importance of proactively monitoring the servers, routers, computers, websites, and devices that connect companies to customers.

Book Details

  • Paperback: 312 pages
  • Publisher: Packt Publishing (April 2011)
  • Language: English
  • ISBN-10: 1849511586
  • ISBN-13: 978-1849511582
  • File Size: 23.6 MiB
  • Hits: 448 times
Download Link

5/10/2011

Murach’s Visual Basic 2010 - free download ebook

Book Description
Whether you're new to Visual Basic or you're upgrading to VB 2010 from an earlier version, this new edition of Murach's core VB book shows you how to develop the kind of bullet-proof Windows Forms applications that businesses rely on. Along the way, you'll learn how to quickly build database applications by using RAD features like data sources and the DataGridView control. You'll learn how to use object-oriented features like inheritance and interfaces as well as 2010 features like auto-implemented properties and collection initializers. You'll learn how to use LINQ to query data and XML to exchange data between applications. You'll learn how to take advantage of all the productivity features of Visual Studio 2010. When you re done, you'll be able to develop Windows Forms applications the way the best professionals develop them. That's why we say: No other book teaches you so much, so fast, or so thoroughly.

Now, Anne Boehm continues this tradition of quality and usefulness in the latest edition of our VB text, written for Visual Basic 2010.

So if you're new to VB development…or if you're upgrading to VB 2010 and are looking for an up-to-date reference…you'll find that this book is packed with the information you need, delivered in a way that's made earlier editions such favorites among professional developers:

  • It's concise, practical, and crystal-clear in telling you what you need to know.
  • It shows you how to get the most from Visual Studio 2010 as you design, code, debug, and deploy Windows Forms applications using VB 2010.
  • It gives you solid training in the essential skills that you'll use every day, including data validation…handling numeric, date, and string data…working with arrays and collections…handling exceptions…working with text, binary, and XML files…and understanding how OOP works.
  • It gives you a 4-chapter section on database programming…far more than you'll find in any other VB book, even though database handling is essential in business applications.
  • It introduces you to LINQ, the .NET feature lets you use VB to query almost any data source, from databases to arrays to XML files.
  • It shows you how to build real-world applications so you always see how the features you're learning interact with each other.
  • It gives you chapter exercises that let you practice what you're learning and apply your skills in new ways.

In short, if you're going to be working with Visual Basic 2010, take the advice of your fellow developers: Save yourself some time and money by making this book your first choice for VB 2010 education and reference.

Book Details

  • Paperback: 854 pages
  • Publisher: Mike Murach & Associates; 4th Edition (September 2010)
  • Language: English
  • ISBN-10: 1890774588
  • ISBN-13: 978-1890774585
  • File Size: 127.5 MiB
  • Hits: 727 times
Download Link

Murach’s Oracle SQL and PL/SQL - free download ebook

Book Description
If you're developing applications that access Oracle databases, you can save time and work by having SQL do more of the data handling for you: This new book shows you how. It teaches you how to create effective SQL queries to extract and update the data in an Oracle database. It teaches you how to design and implement a database, giving you insight into performance and security issues. It teaches you how to use PL/SQL to take advantage of powerful features like stored procedures, functions, and triggers. In short, it teaches you to create the kind of efficient database applications that make you a more effective and valuable developer.

Here are 5 of the ways that our book differs from the others
#1: You'll see how to take advantage of the Oracle SQL Developer tool
SQL Developer is a free tool for working with database objects and SQL statements. Its graphical interface makes it more intuitive and easier to use than older command-line tools like SQL*Plus. I think you ll find it boosts your productivity as you use it to write and run queries, to work with database objects, or to debug stored procedures.

#2: You'll start off with how to query a database, not how to design one
This book is written for application developers, and the first thing an application developer needs to know is how to write queries. So that's what's covered in the first 8 chapters of this book. It starts with simple queries, then moves on to complex inner and outer joins, summary queries, and subqueries that do more of the database processing so that your applications can do less.
Once you're comfortable with querying databases, this book shows how to design a database and how to create database tables. Having this background can help you query a database more effectively. And it provides a solid introduction to DBA skills if you're interested in that career path.

#3: You get 2 books in 1: A SQL book and a PL/SQL book
PL/SQL allows you to write complex scripts, stored procedures, functions, and triggers, all essential skills for most application developers. So along with SQL, this book covers the PL/SQL that you'll use most of the time; there's no need to buy a second book to learn PL/SQL.

#4: Complete applications show you how all the pieces interact
One key to mastering SQL is to have plenty of coding examples that show how the features you re learning work and what problems you may run into as you use them on your own. So this book provides dozens of SQL statements and PL/SQL scripts for various jobs that are routine in business applications. Download the examples for free from our website and use them as starting points for your own SQL routines.

#5: The paired-pages format lets you set your own pace
Depending on what you already know about Oracle SQL and how fast you want to go, you can read every page and study each example…skim through the headings for topics you don't know…scan through the righthand pages for development details you might have missed in the past…or turn to any two-page spread when you need reference information. The paired-pages format makes it easy and fast for you to use the book the way you want to.

Book Details

  • Paperback: 600 pages
  • Publisher: Mike Murach & Associates (August 2008)
  • Language: English
  • ISBN-10: 1890774502
  • ISBN-13: 978-1890774509
  • File Size: 82.5 MiB
  • Hits: 821 times
Download Link

Murach’s Java SE 6 - free download ebook

Book Description
This book teaches how to develop Java applications at the professional level. It starts by showing how to code, test, and debug everyday business applications that won t crash. It presents object-oriented features like classes, inheritance, interfaces, and polymorphism in a way that s both understandable and useful in the real world…perspective that s often missing in Java training. It presents essential Java skills such as working with data types, control statements, arrays, collections, generics, enumerations, exceptions, threads, Swing components, applets, and text and binary files. It covers new Java SE 6 features such as new JDBC features, the StAX XML API, and the built-in Derby database. And it s all done in the distinctive Murach style that has been training professional programmers for more than 30 years.

Developers often tell me they wish they'd found our Java book first, before spending time and money on others. Here are 4 of the reasons why I believe this book will work equally well for you:

#1: The first six chapters get you off to a fast start
By the time you complete these chapters, you'll be writing bulletproof, object-oriented applications with business classes and objects. These chapters work well for the complete beginner. But they also get the experienced developer up-to-speed fast.

#2: The class summaries help you master the Java API and save you hours of research
Although most books present dozens of coding examples that illustrate the use of some Java classes, they don't try to summarize all of the classes, constructors, and methods that you'll use the most. Our book does both. For instance, to learn how to use the LinkedList class, you'll first see a summary of its primary constructors and methods. Then, you'll see coding examples that show you how you can apply those constructors and methods. This can save you hundreds of hours of research over the course of the book.

#3: Chapters 7 and 8 show you how to use inheritance, interfaces, and polymorphism in a way that is both practical and understandable
You won't find any toy applications or cat and dog objects in these chapters. Instead, you'll study practical examples that show you how to use inheritance, polymorphism, interfaces, type-safe enumerations, and the factory pattern in business applications. This at last takes the mystery out of object-oriented programming. And we just haven't seen this done right in any other book.

#4: The paired-pages format lets you set your own pace
Murach books have a distinctive format, where each two-page spread presents a single topic. Both beginning and experienced developers find that this format makes it easy to focus on the information they need, whether they're using the book for training or reference. To see how this works, you can download sample chapters for free from the Murach web site.

Book Details

  • Paperback: 832 pages
  • Publisher: Mike Murach & Associates Inc (April 2007)
  • Language: English
  • ISBN-10: 9781890774424
  • ISBN-13: 978-1890774424
  • File Size: 121.1 MiB
  • Hits: 1,046 times
Download Link

Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 – December 1, 2010 Proceedings - free download ebook

Book Description
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.

Table of Contents
A Calculus for Hybrid CSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Foundations of Quantum Programming (Extended Abstract) . . . . . . . . . . 16
From a Verified Kernel towards Verifed Systems . . . . . . . . . . . . . . . . . . . . . 21
Reasoning about Computations Using Two-Levels of Logic . . . . . . . . . . . . 34

Session 1
Typechecking Higher-Order Security Libraries . . . . . . . . . . . . . . . . . . . . . . . 47
Towards Deriving Type Systems and Implementations for Coroutines . . . 63
Liberal Typing for Functional Logic Programs . . . . . . . . . . . . . . . . . . . . . . . 80

Session 2
Bytecode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
JNI Light: An Operational Model for the Core JNI . . . . . . . . . . . . . . . . . . . 114
An Interactive Tool for Analyzing Embedded SQL Queries . . . . . . . . . . . . 131

Session 3
Simple and Precise Widenings for H-Polyhedra . . . . . . . . . . . . . . . . . . . . . . 139
Metric Spaces and Termination Analyses . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156

Session 4
Big-Step Operational Semantics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
Interprocedural Control Flow Reconstruction . . . . . . . . . . . . . . . . . . . . . . . . 188
Data Structure Fusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204

Session 5
Categorical Descriptional Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
for Polynomial Coalgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
Context-Preserving XQuery Fusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255

Session 6
Index-Compact Garbage Collection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271
Live Heap Space Bounds for Real-Time Systems . . . . . . . . . . . . . . . . . . . . . 287

Session 7
A Quick Tour of the VeriFast Program Verifier . . . . . . . . . . . . . . . . . . . . . . 304
Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312
Automatically Inferring Quantified Loop Invariants by Algorithmic
Learning from Simple Templates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328

Session 8
Relational Parametricity for a Polymorphic Linear Lambda Calculus . . . 344
A Certified Implementation of ML with Structural Polymorphism . . . . . . 360
Type Inference for Sublinear Space Functional Programming . . . . . . . . . . 376

Session 9
Liveness of Communicating Transactions (Extended Abstract) . . . . . . . . . 392
Model Independent Order Relations for Processes . . . . . . . . . . . . . . . . . . . . 408
Concurrency Can't Be Observed, Asynchronously . . . . . . . . . . . . . . . . . . . . 424

Tutorial
A Logical Mix of Approximation and Separation . . . . . . . . . . . . . . . . . . . . . 439
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 455

Book Details

  • Paperback: 450 pages
  • Publisher: Springer (January 2011)
  • Language: English
  • ISBN-10: 364217163X
  • ISBN-13: 978-3642171635
  • File Size: 4.3 MiB
  • Hits: 348 times
Download Link

Web Security, Privacy and Commerce, 2nd Edition - free download ebook

Book Description
Since the first edition of this classic reference was published, World Wide Web use has exploded and e-commerce has become a daily part of business and personal life. As Web use has grown, so have the threats to our security and privacy–from credit card fraud to routine invasions of privacy by marketers to web site defacements to attacks that shut down popular web sites.

Web Security, Privacy & Commerce goes behind the headlines, examines the major security risks facing us today, and explains how we can minimize them. It describes risks for Windows and Unix, Microsoft Internet Explorer and Netscape Navigator, and a wide range of current programs and products. In vast detail, the book covers:

  • Web technology–The technological underpinnings of the modern Internet and the cryptographic foundations of e-commerce are discussed, along with SSL (the Secure Sockets Layer), the significance of the PKI (Public Key Infrastructure), and digital identification, including passwords, digital signatures, and biometrics.
  • Web privacy and security for users–Learn the real risks to user privacy, including cookies, log files, identity theft, spam, web logs, and web bugs, and the most common risk, users' own willingness to provide e-commerce sites with personal information. Hostile mobile code in plug-ins, ActiveX controls, Java applets, and JavaScript, Flash, and Shockwave programs are also covered.
  • Web server security–Administrators and service providers discover how to secure their systems and web services. Topics include CGI, PHP, SSL certificates, law enforcement issues, and more.
  • Web content security–Zero in on web publishing issues for content providers, including intellectual property, copyright and trademark issues, P3P and privacy policies, digital payments, client-side digital signatures, code signing, pornography filtering and PICS, and other controls on web content.

Nearly double the size of the first edition, this completely updated volume is destined to be the definitive reference on Web security risks and the techniques and technologies you can use to protect your privacy, your organization, your system, and your network.

Book Details

  • Paperback: 800 pages
  • Publisher: O'Reilly Media; 2nd Edition (November 2001)
  • Language: English
  • ISBN-10: 9780596000455
  • ISBN-13: 978-0596000455
  • File Size: 11.5 MiB
  • Hits: 1,018 times
Download Link

Introduction to Search with Sphinx: From installation to relevance tuning - free download ebook

Book Description
Webmasters want fast and powerful search capabilities on their sites, and content management system administrators would like to reveal the wealth of their databases. The solution in both cases is the Sphinx search engine. This concise introduction to Sphinx shows you how to use this free software to index an enormous number of documents and provide fast results to both simple and complex searches.

This concise introduction to Sphinx shows you how to use this free software to index an enormous number of documents and provide fast results to both simple and complex searches. Written by the creator of Sphinx, this authoritative book is short and to the point.

  • Understand the particular way Sphinx conducts searches
  • Install and configure Sphinx, and run a few basic tests
  • Issue basic queries to Sphinx at the application level
  • Learn the syntax of search text and the effects of various search options
  • Get strategies for dealing with large data sets, such as multi-index searching
  • Apply relevance and ranking guidelines for presenting best results to the user

Table of Contents
Chapter 1 The World of Text Search
Chapter Getting Started with Sphinx
Chapter 3 Basic Indexing
Chapter 4 Basic Searching
Chapter 5 Managing Indexes
Chapter 6 Relevance and Ranking

Book Details

  • Paperback: 140 pages
  • Publisher: O'Reilly Media (April 2011)
  • Language: English
  • ISBN-10: 0596809557
  • ISBN-13: 978-0596809553
  • File Size: 3.7 MiB
  • Hits: 1,170 times
Download Link

Graphics and Animation on iOS: A Beginner’s Guide to Core Graphics and Core Animation - free download ebook

Book Description
Jazz up your iPhone and iPad apps with some slick graphics and animation—and keep users from looking elsewhere. This short and concise book shows developers with even little Cocoa programming experience how to create impressive graphics and animation effects with relatively easy coding. Learn how to incorporate smooth animations and draw images in your apps to achieve the classy look you want.

The recipes in this book include step-by-step instructions and simple code solutions that you can put to work right away.

  • Learn basic concepts for adapting to different screen sizes
  • Construct, set, and use colors
  • Draw text, images, lines, and rectangles
  • Add shadows to shapes
  • Create and draw gradients
  • Learn how to animate and scale, rotate, or move views

About the Author
Vandad Nahavandipoor has developed software using Cocoa, Cocoa Touch, Assembly, Delphi, and .NET for many years. As a staff member of a company that is a global leader in mobile money solutions in London, he has worked with some of the world's biggest brands–such as Visa and US Bank—to deliver mobile applications to their customers. Vandad brings an interest in management, leadership and entrepreneurship to his work, believing in the synergy that is achieved as a result of cooperation and working together in a team.

Book Details

  • Paperback: 78 pages
  • Publisher: O'Reilly Media (April 2011)
  • Language: English
  • ISBN-10: 1449305679
  • ISBN-13: 978-1449305673
  • File Size: 10.2 MiB
  • Hits: 1,287 times
Download Link

Writing Game Center Apps in iOS: Bringing Your Players Into the Game - free download ebook

Book Description
Learn how to integrate Game Center features directly into your iPhone and iPad apps with the recipes in this short and concise cookbook. Each recipe gives you the solution and the code for adding features such as leaderboards, user authentication, achievements, multiplayer games and many others, using Apple's GameKit framework in the iOS SDK.

Now that Apple has introduced the GameKit framework to its iOS SDK, you can integrate Game Center features directly into your iPhone and iPad apps. This concise cookbook shows you how it's done, with 18 targeted recipes for adding leaderboards, user authentication, achievements, multiplayer games, and many other features.

How do you display players' scores and achievements? How do you create Game Center accounts and add friends? Each recipe in this book includes a simple code solution you can put to work immediately, along with a detailed discussion that offers insight into why and how the recipe works.

Recipes include techniques to:

  • Set up Game Center for an iOS App
  • Use block objects and Grand Central Dispatch to write Game Center apps
  • Authenticate a local player in Game Center
  • Use iTunes Connect to create leaderboards and achievements
  • Retrieve leaderboard and achievement information programmatically
  • Handle players' state changes in multiplayer games

Book Details

  • Paperback: 70 pages
  • Publisher: O'Reilly Media (April 2011)
  • Language: English
  • ISBN-10: 1449305652
  • ISBN-13: 978-1449305659
  • File Size: 7.8 MiB
  • Hits: 1,012 times
Download Link

App Inventor - free download ebook

Book Description
Create mobile services and applications regardless of your computer programming knowledge. This extraordinary book introduces you to App Inventor for Android, a powerful tool that exposes you to the world of computer programming, so you can create technology rather than merely consume it.

You don't need years of training to build your own Android apps. This book teaches you how to quickly design and code apps for anything from texting to location awareness to data storage on the Web, using App Inventor's unique visual interface. Ideal for beginning and intermediate Android developers, hobbyists and makers, and students of any age, App Inventor will help you turn your great idea into a full-functioning app in no time.

  • Take advantage of App Inventor's GPS-location sensor: Build an app shows the location of friends or colleagues at a concert or conference, or one that gives you a custom tour of your school, workplace, or a museum.
  • Use an Android device's phone features: Write an app that periodically texts "missing you" to loved ones, an app that responds to texts automatically when you're driving, and an app that reads incoming texts aloud.
  • Communicate with the Web: Create Android apps that talk to your favorite web sites, such as Amazon and Twitter.

Book Details

  • Paperback: 384 pages
  • Publisher: O'Reilly Media (April 2011)
  • Language: English
  • ISBN-10: 1449397484
  • ISBN-13: 978-1449397487
  • File Size: 43.4 MiB
  • Hits: 1,074 times
Download Link

5/09/2011

Remote Exposure: A Guide to Hiking and Climbing Photography - free download ebook

Book Description
Though many hikers and climbers carry cameras with them, they often come away feeling disappointed because their images fail to visually translate their experiences. In Remote Exposure Alexandre Buisse goes beyond the mere basics of photography and gives you the tools needed to create images that are not only of good technical quality but that are compelling as well.

This book will guide you through the various options for equipment, since the requirement for lightweight gear that is able to withstand cold, adverse weather conditions presents unique challenges. Learn about the importance of having an efficient carrying system and a logical, planned workflow.

Throughout the book you will find advice on where to point your camera and how to compose a strong image. Included are specific requirements for rock climbing, hiking, mountaineering, and camping. More advanced photographic topics are also covered such as digital capture and optimization techniques like high dynamic range imaging (HDRI), panoramic stitching, and how to achieve excellent results without a tripod.

The pages are filled with over 100 stunning images captured by Buisse as he hiked and climbed through mountain ranges on three continents. Photographers of all levels and those who just appreciate beautiful images are sure to be inspired by this book.

Foreword by Cory Richards (member of the historic climbing expedition that reached the summit of Gasherbrum II in winter).

Book Details

  • Hardcover: 168 pages
  • Publisher: Rocky Nook (April 2011)
  • Language: English
  • ISBN-10: 1933952652
  • ISBN-13: 978-1933952659
  • File Size: 55.4 MiB
  • Hits: 620 times
Download Link

HTML5 Canvas - free download ebook

Book Description
HTML5 is revolutionizing the way web applications are developed, and this practical, hands-on book puts you right in the middle of the action. You'll learn how to build interactive multimedia applications with HTML5′s Canvas, using this new element to draw, animate, compose images, and more. You'll also learn the best way to use existing JavaScript libraries, as well as how to incorporate related aspects such as audio and video.

Ideal for web developers and experienced Flash and Silverlight developers, HTML5 Canvas shows you how to build several interactive web games as a way to learn the topics presented. The book also includes tips for Flash developers on how to transfer their skills to HTML5 programming. Now is the time to join the HTML5 revolution, and this is the book to get you started.

  • Get an introduction to working with HTML 5 Canvas and JavaScript
  • Create an application to learn how to use HTML5 text and text animation
  • Use the Canvas drawing and animation API to build a progressive breakout-style game
  • Learn how to use the image API, and create an application using drag-and-drop
  • Create an advanced arcade game to learn about HTML5′s
  • Delve into advanced topics, including additional APIs and libraries

About the Author
Steve is an R.I.A. and web game developer who has been cultivating an audience for news, stories, blogs and tutorials about Flash, Silverlight, and now the HTML 5 Canvas at their own web site, http://www.8bitrocket.com, for the past 3 1/2 years. He has one of the highest Alexa rankings among Flash game developers blogs. Steve has worked as a web development manager at Mattel Toys for the past 14 years, helping to create Mattel's extensive online presence.

Jeff is an R.I.A. and web game developer who has been cultivating an audience for news, stories, blogs and tutorials about Flash, Silverlight, and now the HTML 5 Canvas at their own web site, http://www.8bitrocket.com, for the past 3 1/2 years. He has one of the highest Alexa rankings among Flash game developers blogs. Jeff has worked as a web development manager at Mattel Toys for the past 14 years, helping to create Mattel's extensive online presence.

Book Details

  • Paperback: 630 pages
  • Publisher: O'Reilly Media (April 2011)
  • Language: English
  • ISBN-10: 144939390X
  • ISBN-13: 978-1449393908
  • File Size: 20.3 MiB
  • Hits: 3,066 times
Download Link

Asterisk: The Definitive Guide, 3rd Edition - free download ebook

Book Description
Design a complete VoIP or analog PBX with Asterisk, even if you have no previous Asterisk experience and only basic telecommunications knowledge. This bestselling guide makes it easy, with a detailed roadmap to installing, configuring, and integrating this open source software into your existing phone system.

Ideal for Linux administrators, developers, and power users, this book shows you how to write a basic dialplan step by step, and quickly brings you up to speed on the latest Asterisk features in version 1.8.

  • Integrate Asterisk with analog, VoIP, and digital telephony systems
  • Build a simple interactive dialplan, and dive into advanced concepts
  • Use Asterisk's voicemail options—including a standalone voicemail server
  • Build a menuing system and add applications that act on caller input
  • Incorporate a relational database with MySQL and Postgre SQL
  • Connect to external services such as LDAP, calendars, XMPP, and Skype
  • Use Automatic Call Distribution to build a call queuing system
  • Learn how to use Asterisk's security, call routing, and faxing features

About the Author
Jim Van Meggelen has over 20 years of enterprise telecom experience. In other words, he's an old school PBX guy. He is a partner in Core Telecom Innovations Inc, and iConverged LLC.

Leif Madsen first got involved with the Asterisk community when he was looking for a voice conferencing solution. Once he learned that there was no official Asterisk documentation, he co-founded the Asterisk Documentation Project. Leif is currently working as a consultant, specializing in Asterisk clustering and call-center integration. You can get more information at leifmadsen.com.
Russell Bryant is the Engineering Manager for the Open Source Software team at Digium, Inc. He has been a core member of the Asterisk development team since the Fall of 2004. At the first AstriCon in 2004, he was named the release maintainer for Asterisk's first major release series, Asterisk 1.0. He has since contributed to almost all areas of Asterisk development, from project management to core architectural design and development.

Book Details

  • Paperback: 736 pages
  • Publisher: O'Reilly Media; 3rd Edition (April 2011)
  • Language: English
  • ISBN-10: 0596517343
  • ISBN-13: 978-0596517342
  • File Size: 16.5 MiB
  • Hits: 1,451 times
Download Link

iPad 2: The Missing Manual - free download ebook

Book Description
The iPad is an amazing media device, once you really know how to use it. In this entertaining book, New York Times tech columnist and iPad expert Jude Biersdorfer shows you how to get the most out of this sleek tablet to surf the Web, send and receive email, watch movies and TV shows, read eBooks, listen to music, play games, and even do a little iWork. It's the book that should have been in the box.

The important stuff you need to know

  • Learn undocumented tips and tricks. Get the lowdown on cool iPad secrets
  • Build and play your media library. Fill up your iPad with music, movies, TV shows, eBooks, photos, music videos, audiobooks, and podcasts
  • Get online. Connect through Wi-Fi and Wi-Fi+3G—on both GSM and CDMA networks
  • Discover state-of-the-art e-reading. Buy and read books and magazines in full color
  • Consolidate your email accounts. Read email from your personal and work accounts
  • Shop iTunes and the App Store. Navigate Apple's media emporiums, and learn how to get free music, video, books, and apps

About the Author
J.D. Biersdorfer is a best-selling, veteran Missing Manual author. J.D. wrote Best iPad Apps and iPad: The Missing Manual (First Edition), and co-wrote iPod: The Missing Manual and iPhoto: The Missing Manual, and is the author of Netbooks: The Missing Manual, Google: The Missing Manual, and The iPod Shuffle Fan Book. She has authored a weekly technology column for the The New York Times since 1998.

Book Details

  • Paperback: 336 pages
  • Publisher: O'Reilly Media; 2nd Edition (April 2011)
  • Language: English
  • ISBN-10: 1449301738
  • ISBN-13: 978-1449301736
  • File Size: 82.1 MiB
  • Hits: 1,286 times
Download Link

Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures - free download ebook

Book Description
This book covers all you need to know to model and design software applications from use cases to software architectures in UML and shows how to apply the COMET UML-based modeling and design method to real-world problems. The author describes architectural patterns for various architectures, such as broker, discovery, and transaction patterns for service-oriented architectures, and addresses software quality attributes including maintainability, modifiability, testability, traceability, scalability, reusability, performance, availability, and security. Complete case studies illustrate design issues for different software architectures: a banking system for client/server architecture, an online shopping system for service-oriented architecture, an emergency monitoring system for component-based software architecture, and an automated guided vehicle for real-time software architecture. Organized as an introduction followed by several short, self-contained chapters, the book is perfect for senior undergraduate or graduate courses in software engineering and design, and for experienced software engineers wanting a quick reference at each stage of the analysis, design, and development of large-scale software systems.

Review
"In Software Modeling and Design, Hassan Gomaa provides a clear, lucid presentation of a comprehensive software design method, based on industry-standard design notation, and battletested in the context of graduate-level software engineering courses taught at George Mason University. The book includes four, diverse case studies, showing readers how to apply the method to solve industrial-scale software design problems. These traits make this book unique within the field of software design and engineering."
–Kevin Mills, NIST

"This book presents a general, complete, and precise engineering solution, illustrated by many thorough examples, for model-based architecture and design. I strongly recommend it to anybody who wants to teach, or get acquainted with, the practice of modeling software. Beyond notation, this book focuses on fundamental and practical modeling and architecting principles."
–Lionel Briand, Simula Research Laboratory and University of Oslo

"This is a 'must have' book for any senior technologist actively involved in the software development life cycle. It provides not only principles of software architecture, design and development but also practical examples of how to apply these techniques to produce high-quality, maintainable and extensible software. Dr. Gomaa, a recognized thought leader in software engineering, hits another home run with this volume."
–Mark Gianturco, Intelligent Discovery Solutions

"Software modeling and designing are complex activities. Developing high quality models, particularly by novice analysts, requires a thorough understanding of the fundamentals of modeling as well as its nuances. This book provides a comprehensive coverage of modeling the static and dynamic aspects of software systems and architectures. It presents a fresh perspective on software modeling and design through the application of the UML based COMET (Collaborative Object Modeling and Architectural Design Method) approach to real world examples. Dr Gomaa has done an excellent job of presenting the material in a simple and elegant manner. The fundamental concepts have been explained with lots of examples and further solidified through several case studies presented at the end of the book. Overall, this is an excellent book on software modeling and design that will be valuable for not only software engineering students but also practitioners."
–Vijayan Sugumaran, Oakland University, Rochester, Michigan

"Software modeling continues to dominate as a method of choice for practitioners to gain an in-depth understanding of complex systems. Gomaa's book stands out from other titles on software modeling in both its breadth and depth of coverage. Its detailed case studies are second to none when it comes to really seeing how modeling can be applied in practice."
–Jon Whittle, Lancaster University

"The COMET method is a unique UML-based approach covering theories and practices for modeling and design of software systems. This book is the core of author's experiences and philosophy on software development."
–Michael Shin, Texas Tech University

Book Details

  • Hardcover: 592 pages
  • Publisher: Cambridge University Press (February 2011)
  • Language: English
  • ISBN-10: 9780521764148
  • ISBN-13: 978-0521764148
  • File Size: 3.0 MiB
  • Hits: 2,564 times
Download Link

Introduction to Evolutionary Algorithms - free download ebook

Book Description
Evolutionary algorithms are becoming increasingly attractive across various disciplines, such as operations research, computer science, industrial engineering, electrical engineering, social science and economics. Introduction to Evolutionary Algorithms presents an insightful, comprehensive, and up-to-date treatment of evolutionary algorithms. It covers such hot topics as: • genetic algorithms, • differential evolution, • swarm intelligence, and • artificial immune systems.

The reader is introduced to a range of applications, as Introduction to Evolutionary Algorithms demonstrates how to model real world problems, how to encode and decode individuals, and how to design effective search operators according to the chromosome structures with examples of constraint optimization, multiobjective optimization, combinatorial optimization, and supervised/unsupervised learning. This emphasis on practical applications will benefit all students, whether they choose to continue their academic career or to enter a particular industry. Introduction to Evolutionary Algorithms is intended as a textbook or self-study material for both advanced undergraduates and graduate students. Additional features such as recommended further reading and ideas for research projects combine to form an accessible and interesting pedagogical approach to this widely used discipline.

About the Author
Xinjie Yu is an associate professor of the department of electrical engineering at Tsinghua University. He received his PhD in Electrical Engineering from Tsinghua University in 2001. Then he served as a lecturer at Tsinghua University until 2005 and was promoted to the position of associate professor; a role he has held ever since. He was a visiting scholar at the Massachusetts Institute of Technology in 2003 and at the Graduate School of Information, Production and Systems of Waseda University in 2008 and 2009 separately. Dr Yu's research interests include evolutionary computation (especially genetic algorithms, evolution strategy, multimodal optimization, and multiobjective optimization) and its applications in various aspects of electrical engineering, power electronics, wireless energy transferring, etc. Mitsuo Gen is a visiting scientist at the Fuzzy Logic Systems Institute (FLSI), Iizuka, Japan, which he joined in August 2009 after retiring from his position as a professor in the Graduate School of Information, Production and Systems, Waseda University; a role he had held since April 2003. He received a PhD in Engineering from Kogakuin University in 1974 and a PhD in Informatics from Kyoto University in 2006. He worked at Ashikaga Institute of Technology for several years: as a lecturer during the period 1974–1980, an associate professor during the period 1980–1987, and as a professor during the period 1987–2003. He was a visiting associate professor at the University of Nebraska-Lincoln from 1981–1982, and a visiting professor at the University of California at Berkeley from 1999-2000, at POSTECH in Fall 2008 and at the Asian Institute of Technology in Spring 2009. His research interests include genetic and evolutionary algorithms, artificial neural networks, fuzzy logic, and their applications to scheduling, network design, logistics systems, etc. He has authored several books, such as Genetic Algorithms and Engineering Design, (1997), Genetic Algorithms and Engineering Optimization, (2000) with Dr. R. Cheng, and Network Models and Optimization: Multiobjective Genetic Algorithm Approach, Springer, London (2008) with Dr. R. Cheng and Dr. L. Lin. He has edited Intelligent and Evolutionary Systems, Studies in Computational Intelligence, vol. 187, Springer, Heidelberg (2009) with Dr. M. Gen et al., and has published more than 200 international journal papers. His books and papers have been cited more than 5000 times by researchers throughout the world.

Book Details

  • Hardcover: 435 pages
  • Publisher: Springer (July 2010)
  • Language: English
  • ISBN-10: 9781849961288
  • ISBN-13: 978-1849961288
  • File Size: 4.7 MiB
  • Hits: 1,449 times
Download Link

The Book of CSS3: A Developer’s Guide to the Future of Web Design - free download ebook

Book Description
CSS3 is the technology behind most of the eye-catching visuals on the Web today, but the official documentation can be dry and hard to follow. Luckily, The Book of CSS3 distills the heady technical language of the CSS3 specification into plain English, so you can get started on your next project right away.

With real-world examples and a focus on results, The Book of CSS3 shows you how to transform ordinary text into stunning, richly detailed web pages fit for any browser. You'll master the latest cutting-edge CSS features, like multi-column layouts, borders and box effects, and new color and opacity settings. You'll also learn how to:

  • Stylize text with fully customizable outlines, drop shadows, and other effects
  • Create, position, and resize unlimited background images on the fly
  • Spice up static web pages with event-driven transitions and animations
  • Apply 2D and 3D transformations to text and images
  • Use linear and radial gradients to create smooth color transitions
  • Tailor a website's appearance to smartphones and other devices

From the simplest blog layout to the most feature-rich web portal, The Book of CSS3 puts the whole wide world of web design at your fingertips. The future of web design is now—what will you create with it?

About the Author
Peter Gasston has been a web developer for over 10 years in both agency and corporate settings. He was one of the original contributors the website CSS3.info, his work has been published in the UK's .net magazine, and he runs the web technology blog Broken Links. He lives in London, England.

Book Details

  • Paperback: 304 pages
  • Publisher: No Starch Press (April 2011)
  • Language: English
  • ISBN-10: 1593272863
  • ISBN-13: 978-1593272869
  • File Size: 21.2 MiB
  • Hits: 3,765 times
Download Link

Beyond Bullet Points: Using Microsoft PowerPoint to Create Presentations that Inform, Motivate, and Inspire, 3rd Edition - free download ebook

Book Description
Unlock the amazing story buried in your presentation—and forget boring, bullet-point-riddled slides forever! Guided by communications expert Cliff Atkinson, you'll walk you through an innovative, three-step methodology for increasing the impact of your presentation. Discover how to combine classic storytelling techniques with the power of visual media to create a rich, engaging experience with your audience. Fully updated for PowerPoint 2010, and featuring compelling presentation examples from classroom to boardroom, this book will help transform your presentations—and your business impact!

Table of Contents
Chapter 1 The Perfect PowerPoint Storm
Chapter 2 Realigning Our PowerPoint Approach with the Research
Chapter 3 Building a Foundation with the BBP Story Template
Chapter 4 Planning Your First Five Slides
Chapter 5 Planning the Rest of Your Slides
Chapter 6 Setting Up Your Storyboard and Narration
Chapter 7 Sketching Your Storyboard
Chapter 8 Adding Graphics to Your Slides
Chapter 9 Delivering Your BBP Presentation
Chapter 10 Reviewing a Range of BBP Examples
Appendix BBP Ground Rules and Checklists
Appendix Presenting BBP with Two Views
Appendix Starting Your Point A and B Headlines
Appendix Starting Your Call to Action Headlines
Appendix Creating Custom BBP Layouts

About the Author
Critically praised author and presentation expert Cliff Atkinson is revolutionizing the way people use Microsoft PowerPoint to communicate. He is a popular keynote speaker and consultant—teaching his innovative three-step method to Fortune 500 companies, law firms, government agencies, and business schools.

Book Details

  • Paperback: 352 pages
  • Publisher: Microsoft Press; 3rd Edition (April 2011)
  • Language: English
  • ISBN-10: 0735627355
  • ISBN-13: 978-0735627352
  • File Size: 23.8 MiB
  • Hits: 1,801 times
Download Link

Documents, Presentations, and Workbooks: Using Microsoft Office to Create Content That Gets Noticed - free download ebook

Book Description
Get expert techniques and best practices for creating professional-looking documents, slide presentations, and spreadsheets — and apply these skills with Microsoft Word, PowerPoint®, and Excel® in Office 2010 or Office for Mac 2011. This practical guide provides constructive advice and timesaving tips to help you produce compelling content that delivers. You'll work smarter, not harder!
  • Plan and design presentations and reports that get your message across
  • Determine the best ways to use templates and themes in Word, PowerPoint, and Excel
  • Learn how to use tables and styles to make complex documents more presentable
  • Make a lasting impression with professional-quality graphics and media
  • Use proven tips and shortcuts to get more from slide masters and layouts
  • Design PivotTables for more effective data analysis and reporting
  • Customize your content with Microsoft Visual Basic® for Applications (VBA)

About the Author
Stephanie Krieger, Microsoft Office MVP, is a consultant, trainer, and author who specializes in developing custom enterprise solutions using Microsoft Office. She teaches clients how to build great documents easily by helping them understand how Microsoft Office applications "think." Stephanie contributes regularly to websites on Microsoft.com.

Book Details

  • Paperback: 864 pages
  • Publisher: Microsoft Press (April 2011)
  • Language: English
  • ISBN-10: 073565199X
  • ISBN-13: 978-0735651999
  • File Size: 41.2 MiB
  • Hits: 1,704 times
Download Link

Microsoft Outlook for Mac 2011 Step by Step - free download ebook

Book Description
Teach yourself the fundamentals of Microsoft® Outlook® for Mac 2011 — one step at a time! With this practical tutorial, you'll work at your own pace with easy-to-follow lessons, and learn exactly what you need to know to organize your e-mail and contacts, schedule meetings, and manage tasks on you Mac.

Discover how to:

  • Switch from Microsoft Entourage with a minimum of disruption
  • Organize your e-mail messages, contact information, calendar, and task lists
  • Read e-mail threads as conversations that you can categorize and file
  • Use rules to automate the categorization and filing of e-mail
  • Schedule appointments and coordinate meetings with contacts
  • Flag e-mail messages and Microsoft Office documents to create tasks on the fly
  • Customize the Outlook window and toolbar to accommodate the way you work

Your Step by Step digital content includes:

  • All the book's practice files — ready to download and put to work
  • Fully searchable online edition of this book — with unlimited access on the Web

Book Details

  • Paperback: 448 pages
  • Publisher: Microsoft Press (April 2011)
  • Language: English
  • ISBN-10: 0735651892
  • ISBN-13: 978-0735651890
  • File Size: 76.7 MiB
  • Hits: 362 times
Download Link

Digital Forensics with Open Source Tools - free download ebook

Book Description
Digital Forensics with Open Source Tools is the definitive book on investigating and analyzing computer systems and media using open source tools. The book is a technical procedural guide, and explains the use of these tools on Linux and Windows systems as a platform for performing computer forensics. Both well known and novel forensic methods are demonstrated using command-line and graphical open source computer forensic tools for examining a wide range of target systems and artifacts.
  • Written by world-renowned forensic practitioners
  • Details core concepts and techniques of forensic file system analysis
  • Covers analysis of artifacts from the Windows, Mac, and Linux operating systems

From the Back Cover
Digital Forensics with Open Source Tools is the definitive book on investigating and analyzing computer systems and media using open source tools. The book is a technical procedural guide, and explains the use of these tools on Linux and Windows systems as a platform for performing computer forensics. Both well known and novel forensic methods are demonstrated using command-line and graphical open source computer forensic tools for examining a wide range of target systems and artifacts.

"Digital Forensics – MacGyver Style! The practical solutions of this book, Digital Forensics with Open Source Tools, save the day when commercial tools fail. During an incident, the clock ticks. Response teams scramble to pull anything together to solve the immediate challenge. Cory Altheide and Harlan Carvey take you through the tools and tactics that you need – the ones that in a pinch will get the job done. A welcome addition to my library."
–Rob Lee, SANS Institute

Book Details

  • Paperback: 288 pages
  • Publisher: Syngress (April 2011)
  • Language: English
  • ISBN-10: 1597495867
  • ISBN-13: 978-1597495868
  • File Size: 4.4 MiB
  • Hits: 2,080 times
Download Link