Programming Languages and Systems
This volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...
اقرأ المزيد
Quadrupedal Locomotion
First book to focus specifically on quadrupeds, Quadrupedal Locomotion: An Introduction to the Control of Four-legged Robots ...
اقرأ المزيد
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
اقرأ المزيد
Research in Computational Molecular Biology (vol. # 3909)
PrefaceThis volume contains the papers presented at the 10th Annual InternationalConference on Research in Computational ...
اقرأ المزيد
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
اقرأ المزيد
Scalable Uncertainty Management
This book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, ...
اقرأ المزيد
Semantic Web Services, Processes and Applications
Semantic Web Services, Processes and Applications brings contributions from researchers who study, explore and understand ...
اقرأ المزيد
Sensors : Advancements in Modeling, Design Issues, Fabrication and Practical Applications
Sensors are the most important component in any system and engineers in any field need to understand the fundamentals of ...
اقرأ المزيد
Signal Processing for Image Enhancement and Multimedia Processing
This book presents research results on the application of advanced signal processing techniques for improving the value of ...
اقرأ المزيد
Software Engineering Research, Management and Applications
The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...
اقرأ المزيد
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. ...
اقرأ المزيد
Student Misconceptions and Errors in Physics and Mathematics Exploring Data from TIMSS and TIMSS Advanced
This book explores the nature and extent of students’ misconceptions and misunderstandings related to core concepts in ...
اقرأ المزيد
Support Vector Machines: Theory and Applications
The support vector machine (SVM) has become one of the standard tools for machine learning and data mining. This carefully ...
اقرأ المزيد
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
اقرأ المزيد
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
اقرأ المزيد
Tests and Proofs
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
اقرأ المزيد
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
اقرأ المزيد
The Seventeen Provers of the World
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
اقرأ المزيد
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
اقرأ المزيد
Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
اقرأ المزيد
