Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The SPIN Model Checker: Primer and Reference Manual
The SPIN Model Checker: Primer and Reference Manual
SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects
in concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteen
years ago. The tool has been applied to everything from the verification of complex call processing
...
Data Structures and Algorithms in Java
Data Structures and Algorithms in Java
Fundamental data structures in a consistent object-oriented framework

Now revised to reflect the innovations of Java 5.0, Goodrich and Tamassia’s Fourth Edition of Data Structures and Algorithms in Java continues to offer accessible coverage of fundamental data structures, using a consistent...

Expert .NET Micro Framework, Second Edition
Expert .NET Micro Framework, Second Edition
The Microsoft .NET Micro Framework is a small and efficient .NET runtime environment used to run managed code on devices that are too small and resource constrained for Windows CE and the Compact Framework.

Expert .NET Micro Framework will teach you everything you need to know to use the .NET Micro Framework to create effective...

Sap on DB2 for Z/OS and Os/390: High Availability and Performance Monitoring With Data Sharing
Sap on DB2 for Z/OS and Os/390: High Availability and Performance Monitoring With Data Sharing

This IBM Redbook addresses the challenges posed by monitoring high availability, scalability, and performance in an SAP sysplex data sharing environment. It introduces the motivations for utilizing a design based on DB2 data sharing. It includes the principal SAP-DB2 data sharing architecture options and trade-offs used in the industry today and...

Powerpoint 2003 Just The Steps For Dummies
Powerpoint 2003 Just The Steps For Dummies
Insert an Action Button

  1. Open a presentation in PowerPoint.
  2. Go to the slide on which you want to insert an action button.
  3. Choose Slide Show?Action Buttons.
  4. Choose your desired button from the submenu, as shown in Figure 13-15.
  5. ...
Professional Web Parts and Custom Controls with ASP.NET 2.0 (Wrox Professional Guides)
Professional Web Parts and Custom Controls with ASP.NET 2.0 (Wrox Professional Guides)
Professional Web Parts and Custom Controls with ASP.NET 2.0

Custom controls, user controls, and Web Parts can make you more productive in many ways. You can create re-usable components for your WebForms, package a piece of your user interface and re-use it across several Web sites, and create exactly the ASP.NET controls you want. Web Parts,...

Applied SAP BI 7.0 Web Reports: Using BEx Web Analyzer and Web Application Designer
Applied SAP BI 7.0 Web Reports: Using BEx Web Analyzer and Web Application Designer

Deliver SAP BI 7.0 Web Reports

Distribute integrated, accurate, and timely data across your enterprise using the Web-based reporting components in SAP BI. Written by an SAP insider, Applied SAP BI 7.0 Web Reports: Using BEx Web Analyzer and Web Application Designer shows you how to construct effective queries, create...

Microsoft Enterprise Library 5.0
Microsoft Enterprise Library 5.0

Microsoft Enterprise Library is a collection of reusable software components (also known as Application Blocks) that are designed to assist developers with common enterprise development challenges. Before using an Application block, you should have a good understanding of your application requirements and of the scenarios that the Application...

Managing Multimedia Semantics
Managing Multimedia Semantics
Managing multimedia semantics is a complex task because content creators and archivists describe and interpret semantics associated with the multimedia content in several ways, depending on the context and use of the information. Disciplines such as computer vision and pattern recognition, multimedia database management and modeling, and film...
Introducing 3ds Max 2008
Introducing 3ds Max 2008
Introducing 3ds Max 2008 breaks down the complexities of 3D modeling, texturing, animating, and visual effects. You'll jump right into the 3ds Max pipeline—from preproduction through postproduction—with clear-cut explanations, tutorials, and hands-on projects to build your skills. A special color insert includes real-world...
Social Media ROI: Managing and Measuring Social Media Efforts in Your Organization (Que Biz-Tech)
Social Media ROI: Managing and Measuring Social Media Efforts in Your Organization (Que Biz-Tech)

“Blanchard is demanding. He won’t allow you to flip through this book, nod your head, and leave. If you’re in, you’re going to have to invest to get your rewards.”

--Chris Brogan, president of Human Business Works

...

Knowledge Management Tools and Techniques: Practitioners and Experts Evaluate KM Solutions
Knowledge Management Tools and Techniques: Practitioners and Experts Evaluate KM Solutions
"Dr. Rao has brought together a practical, contemporary, and comprehensive view of the realities of applying knowledge management tools. The rich array of leading-edge practice he exposes will prove valuable to all knowledge practitioners."
Ross Dawson, CEO, Advanced Human Technologies, and author, Developing Knowledge-Based Client
...
unlimited object storage image
Result Page: 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy