Electronic Books

Total Books: 2421 - 2440 /3019

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

Scale Space and PDE Methods in Computer Vision

Welcome to the proceedings of the 5th International Conference on Scale-Space and PDE Methods in Computer Vision. The scale-space ...

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

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

Scheduling : Theory, Algorithms, and Systems

This book on scheduling covers theoretical models as well as scheduling problems in the real world. The book consists of ...

Science Literacy in Primary Schools and Pre-Schools

this well-written and thought-provoking book presents the state-of-the-art in science education for kindergarten and primary ...

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 Applications of Grid Computing

This workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web ...

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

Scientific Pharmaceutical Research and Competition : Between Doctors and Pharmacists رنيم الخاوندي ؛ رنيم علاء الدين ؛ نور السيد ؛ إشراف د. عبد الوهاب علاف

The profession of pharmacist and pharmacology is a science that researches drugs, their properties, the composition of drugs ...

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

Seagrasses: Biology, Ecology and Conservation

In this book experts in 26 areas of seagrass biology present their work in chapters which are state-of–the-art and designed ...

Seaside Building Design: Principles and Practice : Buildings in Maritime Zones / li Sayigh

Presents actual design projects that have been implemented at various seaside locations Covers all aspects of seaside building, ...

Secure Data Science : Integrating Cyber Security and Data Science / Bhavani Thuraisingham, Murat Kantarcioglu, Latifur Khan

Data science techniques being applied not only for cyber security but also for every application area—including healthcare, ...

Total Books: 2421 - 2440 /3019