Electronic Books

Total Books: 1041 - 1060 /1163

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed ...

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing / Roger Lee, Jong Bae Kim

Presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, ...

Software Technologies

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...

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

Speech, Audio, Image and Biomedical Signal Processing using Neural Networks

Humans are remarkable in processing speech, audio, image and some biomedical signals. Artificial neural networks are proved ...

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

Success in Evolutionary Computation

Darwinian evolutionary theory is one of the most important theories in human history for it has equipped us with a valuable ...

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

Total Books: 1041 - 1060 /1163