Electronic Books

Total Books: 2681 - 2700 /3348

Scalable Hardware Verification with Symbolic Simulation

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

Scalable Infrastructure for Distributed Sensor Networks

The book tackles the problems that must be addressed before sensors are deployed for surveillance, tracking, and other monitoring ...

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 ...

Scaling a Software Business

This book presents the Scaling Management Framework, a model based on collected experiences from companies that have already ...

Scaling of Differential Equations

The book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource ...

Scenarios: Models, Transformations and Tools

Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...

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 ...

Science and Technology of Semiconductor-On-Insulator Structures and Devices Operating in a Harsh Environment

This proceedings volume archives the contributions of the speakers who attended the NATO Advanced Research Workshop on “Science ...

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 Methods in Mobile Robotics

This book presents cutting-edge research results on the application of chaos theory, parametric and non-parametric statistics ...

Scientific and Technical Issues in the Management of Spent Fuel of Decommissioned Nuclear Submarines

This book addresses a very important challenge of the present – complex decommissioning of the nuclear-powered vessels ...

Screw Compressors

The first part of "Screw Compressors" gives a review of recent developments in screw compressor design.The second part ...

Screw Compressors

This book - the authors' second book on screw compressors – presents the results of the most up to date methods of three-dimensional ...

Search Engines, Link Analysis, and Users Web Behavior

This book presents a specific and unified approach framework to three major components: Search Engines Performance, Link ...

Second Generation Wavelets and Applications

This book details the mathematical fundamentals of the lifting transform and illustrates the latest applications of the transform ...

Second-Generation HTS Conductors

The book is divided into three sections. The first section discusses the three meth-ods to fabricate biaxially textured substrates, ...

Secure Transaction Protocol Analysis : Models and Applications

The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...

Security and Privacy in Communication Networks

This two-volume set LNICST 335 and 336 constitutes the post-conference proceedings of the 16th International Conference on ...

Total Books: 2681 - 2700 /3348