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 ...
Weiterlesen
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 ...
Weiterlesen
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Weiterlesen
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 ...
Weiterlesen
Computer Algebra Recipes : An Advanced Guide to Scientific Modeling
The text is built around a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Computer Engineering in Applied Electromagnetism
Computer Engineering in Applied Electromagnetism contains papers which were presented at the International Symposium on Electromagnetic ...
Weiterlesen
Computer Graphics and Geometric Modelling
Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Computer Safety, Reliability, and Security (vol. # 3688)
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
Weiterlesen
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 ...
Weiterlesen
Computer Security – ESORICS 2006
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...
Weiterlesen
Computer Simulations in Condensed Matter: From Materials to Chemical Biology - Vol. 1
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all ...
Weiterlesen
Computer Supported Cooperative Work in Design I
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Weiterlesen
Computer Supported Cooperative Work in Design IV : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer ...
Weiterlesen
Computer Vision - ACCV 2006 (vol. # 3851)
proceedings. ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer ...
Weiterlesen
Computer Vision - ACCV 2006 (vol. # 3852)
ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer vision is ...
Weiterlesen
