Electronic Books

Total Books: 841 - 860 /3272

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 ; 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 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 Analysis of Images and Patterns

This volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...

Computer Analysis of Images and Patterns

This volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...

Computer And Computing Technologies In Agriculture, Volume I : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Computer And Computing Technologies In Agriculture, Volume II : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Computer Graphics and Geometric Modelling

Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume ...

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 (vol. # 3902)

This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...

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 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 Design : The hardwrae /software interface / David A. Patterson, John L. Hennessy

Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...

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

Computer Recognition Systems

Presents the results of the 4th International Conference on Computer Recognition Sytems CORES-05. This book covers various ...

Computer Recognition Systems 2

Computer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents ...

Computer Safety, Reliability, and Security

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...

Computer Safety, Reliability, and Security

It' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied ...

Total Books: 841 - 860 /3272