25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
3D-Position Tracking and Control for All-Terrain Robots
Rough terrain robotics is a fast evolving field of research and a lot of effort is deployed towards enabling a greater level ...
Lee mas
501 Math Word Problems / Mark A. McKibben, LearningExpress
Contains only word problems - the kinds you encounter at school and on high stakes tests. Gaining familiarity with this specific ...
Lee mas
A Treatise of Legal Philosophy and General Jurisprudence
A Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
Lee mas
A Treatise of Legal Philosophy and General Jurisprudence ; Volume 7: The Jurists’ Philosophy of Law from Rome to the Seventeenth Century, Volume 8: A History of the Philosophy of Law in The Common Law World, 1600–1900
A Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
Lee mas
AI For Emerging Verticals : Human-robot computing, sensing and networking
Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...
Lee mas
AI and the Future of Banking / Tony Boobier
Across its entire breadth and depth, the banking industry is at the forefront of investigating Advanced Analytics and AI ...
Lee mas
AI based Robot Safe Learning and Control
This book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...
Lee masAI virtual mouse system بتول نجف علي ؛ نقولا أو جراب ؛ آية الله سمير خانجي ؛ يزن ماجد الشعبي ؛ إشراف د.رؤوف حمدان
Even today, many people still find interacting with computers and hardware to be an unpleasant experience, despite the development ...
Lee mas
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lee mas
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lee mas
Active Conceptual Modeling of Learning
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...
Lee mas
Active Networks
The proceedings of the sixth Annual International Working Conference on Active Networks, which took place in October 2004 ...
Lee mas
Ad-Hoc, Mobile, and Wireless Networks (vol. # 4104)
The 5th International Conference on Adhoc, Mobile and Wireless Networks (Adhoc-Now 2006) was held during August 17–19, ...
Lee mas
Ad-hoc, Mobile and Wireless Networks : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ...
Lee mas
Adaptive Backstepping Control of Uncertain Systems : Nonsmooth Nonlinearities, Interactions or Time-Variations
This book employs the powerful and popular adaptive backstepping control technology to design controllers for dynamic uncertain ...
Lee mas
Adaptive Scalarization Methods in Multiobjective Optimization
This book presents new adaptive solution methods for multiobjective optimization problems based on parameter dependent scalarizations. ...
Lee mas
Advanced Autonomic Networking and Communication
This book presents a comprehensive reference of state-of-the-art efforts and early results in the area of autonomic networking ...
Lee mas
Advanced Concepts for Intelligent Vision Systems (vol. # 4179)
This book constitutes the refereed proceedings of the 8th International Conference on Advanced Concepts for Intelligent Vision ...
Lee mas
Advanced Data Mining and Applications (vol. # 3584)
This book constitutes the refereed proceedings of the First International Conference on Advanced Data Mining and Applications, ...
Lee mas
