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 ...
Lire la suite
Computer Algebra Recipes
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...
Lire la suite
Computer Algebra Recipes
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Computer Applications in Sustainable Forest Management
Computer Applications in Sustainable Forest Management presents state-of-the-art computer applications in a variety of specialty ...
Lire la suite
Computer Music Modeling and Retrieval (vol. # 3902)
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...
Lire la suite
Computer Simulation Studies in Condensed-Matter Physics XVI
This status report features the most recent developments in the field, spanning a wide range of topical areas in the computer ...
Lire la suite
Computer Simulation Studies in Condensed-Matter Physics XVIII
This volume represents a "status report" emanating from presentations made during the 18th Annual Workshop on Computer ...
Lire la suite
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 ...
Lire la suite
Computer Simulations in Condensed Matter: From Materials to Chemical Biology - Vol. 2
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all ...
Lire la suite
Computer Simulations of Liquid Crystals and Polymers
Liquid crystals, polymers and polymer liquid crystals are soft condensed matter systems of major technological and scientific ...
Lire la suite
Computer Supported Cooperative Work in Design I
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Lire la suite
Computer Supported Cooperative Work in Design II
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Lire la suite
Computer Supported Cooperative Work in Design III
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lire la suite
Computer Supported Cooperative Work in Design III
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lire la suite
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 ...
Lire la suite
Computer Vision/Computer Graphics Collaboration Techniques
This volume contains foundational, methodological, and application issues.
Lire la suite
Computer Vision/Computer Graphics Collaboration Techniques
This volume contains foundational, methodological, and application issues.
Lire la suite
