Electronic Books

Total Books: 1341 - 1360 /1725

Routing Congestion in VLSI Circuits

Routing Congestion in VLSI Circuits: Estimation and Optimization provides the reader with a complete understanding of the ...

Routledge Handbook of Urban Landscape Research / Kate Bishop, Linda Corkery

Presents current writing about the pivotal roles that landscape architects play in addressing some of the most pressing problems ...

Rule Extraction from Support Vector Machines

This book provides an overview of the field and introduces a number of different approaches to extracting rules from support ...

Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...

SCJD Exam with J2SE 5

You already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...

SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

Safety, Reliability and Risks Associated with Water, Oil and Gas Pipelines

In this book, the three two major defect assessment tools for pipes are presented : i) the failure assessment diagram and ...

Sampling Algorithms

Over the last few decades, important progresses in the methods of sampling have been achieved. This book draws up an inventory ...

Satisfying Safety Goals by Probabilistic Risk Assessment

Safety is one of the most important issues today. Recent international standards such as ISO and IEC have consistently advocated ...

Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...

Scalable Optimization via Probabilistic Modeling

The volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your ...

Scaling Topic Maps : Third International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers

This book is organized in topical sections on applied topic maps in industry and administration, visualisation and representation ...

Scenographic Design Drawing: Performative Drawing in an Expanded Field / Sue Field, Marsha Meskimmon, Phil Sawdon

Scenographic design drawings visualize the images in the designer’s ‘mind’s eye’ early in the design process. They ...

Science and Technologies for Smart Cities

This book constitutes the refereed proceedings of the 5th Annual Smart City 360° Summit, held in Braga, Portugal, in December ...

Scientific Computing in Electrical Engineering

This book is composed of papers presented at the Conference on Scientific Computing in Electrical Engineering, which was ...

Scientific Computing in Electrical Engineering

This book is a collection of papers presented at the last Scientific Computing in Electrical Engineering (SCEE) Conference, ...

Scientific Computing with MATLAB and Octave

This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of ...

Scientific Engineering of Distributed Java Applications

The scope of the workshop included the following topics: – design of distributed applications – development methodologies ...

Scientific Inquiry and Nature of Science

This book synthesizes the most current literature and research on scientific inquiry and nature of science in K-12 instruction. ...

Total Books: 1341 - 1360 /1725