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 ...
اقرأ المزيد
