Learn IT - Books tags specification

Secrets of Podcasting : Audio Blogging for the Masses

Peachpit Press, 2005

If you thought Internet radio was cool, wait 'til you experience podcasting--regular audio programs delivered via the Internet, which you can listen to when you want, where you want! Here to lead you into this brave, new world of mass audio blogging--and quite possibly change your listening habits forever--is a fun, fact-filled guide that shows you...

Microsoft SQL Server 2005 Analysis Services (SQL Server Series)

Sams Publishing, 2006

Microsoft SQL Server Analysis Services provides fast access to data by means of multidimensional data structures and the multidimensional query languag MDX. Analysis Services provides the capability to design, create, and manage multidimensional cubes based on data warehouse tables, and it serves as the foundation for the Microsoft Business...

Software Engineering: A Methodical Approach

Apress, 2014

This text provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineering problems proven over several years of teaching, with outstanding results.

The book covers concepts, principles, design, construction, implementation, and management issues of...

WebGL: Up and Running

O'Reilly, 2012

In early 1994, Tim Berners-Lee put out an open call for a virtual reality specification for the Web; Mark Pesce and I answered. Only being able to afford one plane ticket, we sent Mark to Geneva to present our Labyrinth prototype at the first-ever World Wide Web Developers’ Conference. With typical bombast,...

Masonry Instant Answers (Instant Answer Series)

McGraw-Hill, 2003

THE EASIEST, FASTEST WAY TO ANSWER ANY MASONRY-RELATED CONSTRUCTION QUESTION!

INCLUDES CODE REQUIREMENTS!

Masonry Instant Answers delivers a no-nonsense, informational format packed with charts, tables, and figures -- just enough detail to get the job done. Perfectly sized for carrying...

Mastering Selenium WebDriver

Packt Publishing, 2015

Increase the performance, capability, and reliability of your automated checks by mastering Selenium WebDriver

About This Book

Create an extensible test framework in Java supporting parallel execution with TestNG

Understand the power, simplicity, and limitations of the core Selenium...

Linux Desk Reference (2nd Edition)

Prentice Hall, 2001

I hope you get a lot of use out of this book. Since I first got started with Unix in 1986, I've spent a ton of cash buying reference books. I've always been a bibliophile, and computer books have the advantage of being tax deductible, so I've amassed quite a collection. It always annoys me when I get home and...

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Springer, 1996

This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...

Real Time Programming: Languages, Specification & Verification

World Scientific Publishing, 2002

The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly...

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer, 2012

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory...

Break Free with DB2 9.7: A tour of Cost-Slashing New Features

McGraw-Hill, 2010

The DB2 9.7 server (herein referred to as DB2 9.7) release is a significant one, though that shouldn’t come as any surprise to anyone. In fact, all the releases since DB2 8.2 have propelled DB2 as an industry leader in ease of use, storage optimization, scalability, and more. DB2 9.7 is packed with so many really cool features (and...

Design of Image Processing Embedded Systems Using Multidimensional Data Flow

Springer, 2010

With the availability of chips offering constantly increasing computational performance and functionality, design of more and more complex applications becomes possible. This is particularly true for the domain of image processing, which is characterized by huge computation efforts. Unfortunately, this evolution risks to be stopped by...

Result Page: 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14