Electronic Books

Total Books: 841 - 860 /3272
978-3-030-81688-9
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 ...

Continue reading
978-3-030-25543-5
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; ...

Continue reading
978-3-030-60026-6
Computer Algebra in Scientific Computing

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

Continue reading
978-3-030-85165-1
Computer Algebra in Scientific Computing

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

Continue reading
978-3-540-74272-2
Computer Analysis of Images and Patterns

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

Continue reading
978-3-540-74272-2
Computer Analysis of Images and Patterns

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

Continue reading
978-0-387-77251-6
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 ...

Continue reading
978-0-387-77253-0
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 ...

Continue reading
978-1-84628-108-2
Computer Graphics and Geometric Modelling

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

Continue reading
978-3-540-31807-1
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 ...

Continue reading
978-3-540-34028-7
Computer Music Modeling and Retrieval (vol. # 3902)

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

Continue reading
978-3-540-85035-9
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 ...

Continue reading
9780133594140
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 ...

Continue reading
9780128012857
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 ...

Continue reading
9780128201091
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. ...

Continue reading
978-3-540-49668-7
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 ...

Continue reading
978-3-540-32390-7
Computer Recognition Systems

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

Continue reading
NoIMG
Computer Recognition Systems 2

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

Continue reading
978-3-030-54549-9
Computer Safety, Reliability, and Security

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

Continue reading
978-3-540-75101-4
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 ...

Continue reading
Total Books: 841 - 860 /3272