Computer Aided Systems Theory – EUROCAST 2005
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suite
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suite
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suite
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suite
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Lire la suite
Computer Aided Verification (vol. # 4144)
Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer ...
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 Network Security
As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. ...
Lire la suiteComputer Recognition Systems 2
Computer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents ...
Lire la suite
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
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 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 and Information Science
The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...
Lire la suite
