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 ...
Lee mas
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; ...
Lee mas
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 ...
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 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Computer Safety, Reliability, and Security (vol. # 3688)
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
Lee mas
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 ...
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 Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
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 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, ...
Lee mas
Computer Viruses: from theory to applications
The purpose of this book is to propose a teaching approach to under- 1 stand what computer viruses really are and how they ...
Lee masComputer Vision Metrics : Survey, Taxonomy, and Analysis
Computer Vision Metrics provides an extensive survey and analysis of over 100 current and historical feature description ...
Lee mas
Computer and Information Sciences - ISCIS 2005
This book constitutes the refereed proceedings of the 20th International Symposium on Computer and Information Sciences, ...
Lee mas
Computer-Aided Design of User Interfaces IV
Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations ...
Lee mas
