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