Learn IT - Books tags validation

Verification Techniques for System-Level Design (Systems on Silicon)

Morgan Kaufmann, 2007

A must-read in formal and semi-formal verification!

This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the...

BPEL and Java Cookbook

Packt Publishing, 2013

Written by an SOA guru to help you orchestrate web services, the 100 recipes in this book will make integrating Java and BPEL a smooth process. Using the examples you'll avoid common problems and learn sophisticated techniques.

Overview

Easy-to-understand recipes for integrating Java and BPEL

...

An Introduction to Cyber Modeling and Simulation (Wiley Series in Modeling and Simulation)

John Wiley & Sons, 2018

Introduces readers to the field of cyber modeling and simulation and examines current developments in the US and internationally

This book provides an overview of cyber modeling and simulation (M&S) developments. Using scenarios, courses of action (COAs), and current M&S and simulation environments,...

Pattern Recognition in Medical Imaging

Academic Press, 2003

Medical Imaging has become one of the most important visualization and interpretation methods in biology and medecine over the past decade. This time has witnessed a tremendous development of new, powerful instruments for detecting, storing, transmitting, analyzing, and displaying medical images. This has led to a huge growth in the application of...

Mastering Python Regular Expressions

Packt Publishing, 2014

For Python developers, this concise and down-to-earth guide to regular expressions is all you need to gain vital new knowledge. From a theoretical overview to Python specifics, it explains everything in crystal clear language.

Overview

Explore the workings of Regular Expressions in Python

Microsoft Visual Studio LightSwitch Unleashed

Sams Publishing, 2012

Microsoft® Visual Studio® LightSwitch® Unleashed

Alessandro Del Sole

Microsoft Visual Studio LightSwitch represents a breakthrough in business application development for Windows clients, the Web, and the cloud....

SATA Storage Technology: Serial ATA

MindShare Press, 2007

The SATA (Serial ATA) interface is intended to expand and eventually replace the parallel ATA interface that has been the standard connection for hard drives and CD-ROM/DVD drives in Personal Computers for nearly twenty years. SATA, a high-speed serial version of ATA, is designed to maintain compatibility with software written for the...

Exam 70-647: Windows Server 2008 Enterprise Administrator

John Wiley & Sons, 2011

The newest iteration of the Microsoft Official Academic Course (MOAC) program for network administration courses using Windows...

Intellectual Property Protection in VLSI Design: Theory and Practice

Springer, 2003

The development and implementation of intellectual property (IP) protection mechanisms is of crucial importance for the emerging reuse-based system design methodology. Maybe even more importantly, it is such an elegant scientific and engineering challenge that it has drawn a lot of attention from academia and industry in recent years....

SAS Storage Architecture: Serial Attached SCSI

MindShare Press, 2006

The SAS Storage Architecture book is intended as a tutorial and to serve as classroom materials for the training MindShare delivers on this subject. It should be considered a companion to the SAS standard, helping to clarify and explain the concepts and provide the motivation for decisions that were made in the creation of the...

Murach's HTML5 and CSS3

Mike Murach & Associates, 2011

Note: There is a newer edition of this book

HTML5 and CSS3 (the latest standards for HTML and cascading style sheets) are packed with coding options that make it easier than ever to create web pages with the features users want today, from an up-to-date look and feel...to immediate validation of user entries...to audio and video...

Immobilized ?-Galactosidase-Mediated Conversion of Lactose: Process, Kinetics and Modeling Studies (Springer Theses)

Springer, 2019

This book describes the reaction rate profiles of the β-galactosidase-catalyzed conversion of lactose on the inner surface of a hollow fiber membrane, which is employed as an enzymatic reactor system. The reaction rate profiles were obtained by solving the mass transfer and kinetics of reaction in a 2-dimensional model...

Result Page: 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20