Electronic Books

Total Books: 941 - 960 /1052

Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

Songs generator محمد زيد سمير عربش ؛ محمد معاذ المناع ؛ أمجد المرعي ؛ أوس عبد الحميد ؛ محمد بدر الخضر ؛ شلدي عربيد ؛ إشراف د.ندى غنيم

Songs generator app is a tool to generate lyrics, musi,and voice based on the given selected choices of users using Deep ...

Spatial Cognition VI. Learning, Reasoning, and Talking about Space : International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

This book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...

Spatial Representation and Reasoning for Robot Mapping : A Shape-Based Approach

This book addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental ...

Special Topics in Information Technology Editors (view affiliations)

This book presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...

Special Topics in Information Technology

This book presents nine outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...

Squeak: Learn Programming with Robots

Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...

Stabilization, Safety, and Security of Distributed Systems

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...

Statistical Implicative Analysis : Theory and Applications

This volume collects significant research contributions of several rather distinct disciplines that benefit from SIA. Contributions ...

Statistical Language and Speech Processing

This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...

String Processing and Information Retrieval

This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, ...

Structural Information and Communication Complexity

This book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information ...

Super-Recursive Algorithms

New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic ...

Supercomputing Frontiers

This book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...

Supercomputing Frontiers

This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...

Support Vector Machines

This book explains the principles that make support vector machines (SVMs) a successful modelling and prediction tool for ...

Swarm Intelligence : Introduction and Applications

The laws that govern the collective behavior of social insects, flocks of birds, or fish schools continue to mesmerize researchers. ...

Symbiotic Interaction

The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The ...

Systematic Design for Emergence in Cellular Nonlinear Networks : With Applications in Natural Computing and Signal Processing

Cellular nonlinear networks are naturally inspired computing architectures where complex dynamic behaviors may emerge as ...

Systems, Software and Services Process Improvement

This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...

Total Books: 941 - 960 /1052