Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suite
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suite
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suite
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suite
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lire la suite
Computer Music Modeling and Retrieval (vol. # 3310)
This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...
Lire la suite
Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
Lire la suite
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lire la suite
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Lire la suite
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part II
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Lire la suite
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Lire la suite
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Lire la suiteComputer Vision and Internet of Things : Technologies and Applications / Lavanya Sharma, Mukesh Carpenter
Explores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications ...
Lire la suite
Computer-Aided Highway Engineering / Sandipan Goswami, Pradip Sarkar
Aimed at developing professional knowledge in the field of highway engineering with adequate skills in planning, designing ...
Lire la suite
Computers and Games
This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
Lire la suite
Computers and Games
This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
Lire la suite
