Complex Decision Making : Theory and Practice
The increasingly complex environment of today's world, characterized by technological innovation and global communication, ...
اقرأ المزيد
Complex Motion
The world we live in is a dynamic one: we explore it by moving through it, and many of the objects which we are interested ...
اقرأ المزيد
Complex Motion
The world we live in is a dynamic one: we explore it by moving through it, and many of the objects which we are interested ...
اقرأ المزيد
Composite Systems Decisions
Composite decisions consist of interconnected parts or subdecisions and correspond to a composite (composable, modular, decomposable) ...
اقرأ المزيد
Computation Engineering
This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used ...
اقرأ المزيد
Computational Intelligence and Security (vol. # 3801)
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
اقرأ المزيد
Computational Intelligence and Security (vol. # 3802)
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
اقرأ المزيد
Computational Linguistics and Intelligent Text Processing (vol. # 3406)
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent ...
اقرأ المزيد
Computational Methods in Systems Biology : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, ...
اقرأ المزيد
Computational Thinking Education
This book is under a CC BY 4.0 license. This book offers a comprehensive guide, covering every important aspect of computational ...
اقرأ المزيد
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيد
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيد
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيد
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيد
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيد
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيد
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. # 4144)
Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer ...
اقرأ المزيد
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
اقرأ المزيد
