Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lee mas
Software Engineering for Multi-Agent Systems IV
With the integration of computing and communication into the very fabric of our social, economic, and personal existence, ...
Lee mas
Software Engineering for Multi-Agent Systems V
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
Lee mas
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed ...
Lee mas
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, ...
Lee mas
Software Technologies
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
Lee mas
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 ...
Lee mas
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lee masSolid State Development and Processing of Pharmaceutical Molecules: Salts, Cocrystals, and Polymorphism / Michael Gruss
The book explores the most recent trends in the digitization and automation of the pharmaceutical production processes that ...
Lee masSongs generator محمد زيد سمير عربش ؛ محمد معاذ المناع ؛ أمجد المرعي ؛ أوس عبد الحميد ؛ محمد بدر الخضر ؛ شلدي عربيد ؛ إشراف د.ندى غنيم
Songs generator app is a tool to generate lyrics, musi,and voice based on the given selected choices of users using Deep ...
Lee mas
Spatial Analysis and GeoComputation
Spatial analysis has been in existence for a long time. More recently, GeoComputation - a new computationally intensive paradigm ...
Lee mas
Spatial Cognition IV Reasoning, Action, Interaction
This is the fourth volume in a series of books dedicated to basic research in spatial cognition. Spatial cognition is a field ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Special Topics in Information Technology Editors (view affiliations)
This book presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...
Lee mas
Special Topics in Information Technology
This book presents nine outstanding doctoral dissertations in Information Technology from the Department of Electronics, ...
Lee mas
Spectral Finite Element Method : Wave Propagation, Diagnostics and Control in Anisotropic and Inhomogeneous Structures
This book is the first to apply SFEM to inhomogeneous and anisotropic structures in a unified and systematic manner. The ...
Lee mas
Spies, Lies, And Algorithms: The History And Future Of American Intelligence / Amy B. Zegart
Spying has never been more ubiquitous—or less understood. The world is drowning in spy movies, TV shows, and novels, but ...
Lee mas
Squeak: Learn Programming with Robots
Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...
Lee mas
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Lee mas
