Electronic Books

Total Books: 781 - 800 /3337

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 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 Network Security

This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...

Computer Network Security

This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...

Computer Network Security (vol. # 3685)

This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...

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

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

Computer Safety, Reliability, and Security (vol. # 3688)

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

Computer Safety, Reliability, and Security (vol. # 4166)

The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...

Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

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

Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...

Computer Science -- Theory and Applications

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...

Computer Science – Theory and Applications

This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...

Computer Science – Theory and Applications

This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...

Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings

This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...

Total Books: 781 - 800 /3337