Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee masAutonomous Driving : Technical, Legal and Social Aspects
This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles ...
Lee masBuilding an automated exam system / Hani Almoalem , Kinan Sharaf , Nour Aldeen Mardene , Omran Mohyideen and Mhd Yazan Al-Tahan ; supervised by Mustapha Dakkak هاني المعلم ، كنان شرف ، نور الدين محمود مارديني عمران محي الدين و محمد يزن الطحان ؛ إشراف مصطفى الدكاك
The project aims to build an automated exam for various exams, fields and institutions, and we have adopted in our project ...
Lee mas
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lee mas
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lee mas
Computer Aided Systems Theory – EUROCAST 2005
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
Lee mas
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Lee mas
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Lee mas
Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Lee mas
Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
Lee mas
DNA Computing (vol. # 3384)
This book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on DNA Based Computers, ...
Lee mas
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Lee mas
Digital Transformation in Semiconductor Manufacturing Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2019, Milan, Italy
This book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization ...
Lee mas
Experimental Vibration Analysis for Civil Structures : Testing, Sensing, Monitoring, and Control / Jian Zhang, Zhishen Wu, Mohammad Noori, Yong Li
Covers a wide range of topics in the areas of vibration testing, instrumentation, and analysis of civil engineering and critical ...
Lee mas
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lee mas
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lee mas
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lee mas
Generative Programming and Component Engineering
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
Lee mas
