Electronic Books

Total Books: 881 - 900 /4176

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

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

Computer Algebra Recipes

Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...

Computer Algebra Recipes

Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...

Computer Algebra Recipes for Mathematical Physics

Over two hundred novel and innovative computer algebra worksheets or ""recipes"" will enable readers in engineering, ...

Computer Algebra in Scientific Computing

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...

Computer Algebra in Scientific Computing

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...

Computer Algebra in Scientific Computing (vol. # 3718)

This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...

Computer Engineering in Applied Electromagnetism

Computer Engineering in Applied Electromagnetism contains papers which were presented at the International Symposium on Electromagnetic ...

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

Computer Music Modeling and Retrieval. Sense of Sounds : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Computer Music Modeling ...

Computer Networking: A Top-Down Approach / James F. Kurose, Keith W. Ross

The text works its way from theapplication layer down toward the physical layer, motivating students by exposing them to ...

Computer Networking: A Top-Down Approach / James Kurose, Keith Ross

The text works its way from the application layer down toward the physical layer, motivating students by exposing them to ...

Computer Organization and Architecture : Designing for Performance / William Stallings

For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively ...

Computer Organization and Design : The hardwrae /software interface / David A. Patterson, John L. Hennessy

Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. ...

Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

Total Books: 881 - 900 /4176