This volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...
Lire la suiteFirst book to focus specifically on quadrupeds, Quadrupedal Locomotion: An Introduction to the Control of Four-legged Robots ...
Lire la suiteThis book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lire la suitePrefaceThis volume contains the papers presented at the 10th Annual InternationalConference on Research in Computational ...
Lire la suiteThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, ...
Lire la suiteSemantic Web Services, Processes and Applications brings contributions from researchers who study, explore and understand ...
Lire la suiteSensors are the most important component in any system and engineers in any field need to understand the fundamentals of ...
Lire la suiteThis book presents research results on the application of advanced signal processing techniques for improving the value of ...
Lire la suiteThe 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...
Lire la suiteSoftware is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
Lire la suiteThis book explores the nature and extent of students’ misconceptions and misunderstandings related to core concepts in ...
Lire la suiteThe support vector machine (SVM) has become one of the standard tools for machine learning and data mining. This carefully ...
Lire la suiteThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lire la suitePrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Lire la suiteConstitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suiteCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lire la suiteConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lire la suiteThis volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lire la suite