Electronic Books

Total Books: 21 - 40 /75

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles ...

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

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

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...

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

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

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

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...

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

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

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

This book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization ...

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

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

Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...

Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...

Total Books: 21 - 40 /75