Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
Lee mas
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 ...
Lee mas
Scalable Optimization via Probabilistic Modeling
The volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your ...
Lee mas
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 ...
Lee mas
Scaling a Software Business
This book presents the Scaling Management Framework, a model based on collected experiences from companies that have already ...
Lee masScaling of Differential Equations
The book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Scientific Computing in Electrical Engineering
This book is composed of papers presented at the Conference on Scientific Computing in Electrical Engineering, which was ...
Lee mas
Scientific Computing in Electrical Engineering
This book is a collection of papers presented at the last Scientific Computing in Electrical Engineering (SCEE) Conference, ...
Lee mas
Scientific Methods in Mobile Robotics
This book presents cutting-edge research results on the application of chaos theory, parametric and non-parametric statistics ...
Lee mas
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 ...
Lee mas
Screw Compressors
The first part of "Screw Compressors" gives a review of recent developments in screw compressor design.The second part ...
Lee masScrew Compressors
This book - the authors' second book on screw compressors – presents the results of the most up to date methods of three-dimensional ...
Lee mas
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 ...
Lee mas
Second Generation Wavelets and Applications
This book details the mathematical fundamentals of the lifting transform and illustrates the latest applications of the transform ...
Lee mas
Second-Generation HTS Conductors
The book is divided into three sections. The first section discusses the three meth-ods to fabricate biaxially textured substrates, ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
