Electronic Books

Total Books: 21 - 40 /80

Automated Reasoning with Analytic Tableaux and Related Methods

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

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 ...

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 ...

Autonomous 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 ...

Building 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 ...

Computational Discovery of Scientific Knowledge

Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...

Computational Discovery of Scientific Knowledge

Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...

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 ...

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification (vol. # 3576)

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...

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, ...

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, ...

Constraint Satisfaction Techniques for Agent-Based Reasoning

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...

DNA Computing (vol. # 3384)

This book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on DNA Based Computers, ...

Declarative Programming for Knowledge Management

This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...

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 ...

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 ...

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 ...

Frontiers of Combining Systems

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...

Total Books: 21 - 40 /80