Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee mas
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee mas
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee mas
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 ...
Lee mas
Computer Network Security
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Lee mas
Computer Network Security
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Lee mas
Computer Network Security (vol. # 3685)
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...
Lee mas
Computer Organization and Architecture : Designing for Performance / William Stallings
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Computer Recognition Systems
Presents the results of the 4th International Conference on Computer Recognition Sytems CORES-05. This book covers various ...
Lee masComputer Recognition Systems 2
Computer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents ...
Lee mas
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Lee mas
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, ...
Lee mas
Computer Science -- Theory and Applications
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
Lee mas
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lee mas
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lee mas
Computer Supported Cooperative Work in Design II
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Lee mas
Computer Vision Systems
Computer Vision has reached a level of maturity that allows us not only to p- form research on individual methods and system ...
Lee mas
Computer and Information Science
The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...
Lee mas
