Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
اقرأ المزيدComputational Textile
This edited book collects a number of representative applications of computational techniques in textile and garment industry. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
اقرأ المزيد
Computer Algebra and Geometric Algebra with Applications
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
اقرأ المزيد
Computer Analysis of Images and Patterns
This volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...
اقرأ المزيد
Computer Analysis of Images and Patterns
This volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...
اقرأ المزيد
Computer Applications in Sustainable Forest Management
Computer Applications in Sustainable Forest Management presents state-of-the-art computer applications in a variety of specialty ...
اقرأ المزيد
Computer Music Modeling and Retrieval (vol. # 3310)
This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...
اقرأ المزيد
Computer Music Modeling and Retrieval (vol. # 3902)
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...
اقرأ المزيد
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 ...
اقرأ المزيد
Computer Network Security
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
اقرأ المزيد
Computer Network Security
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
اقرأ المزيد
Computer Network Security (vol. # 3685)
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...
اقرأ المزيد
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
اقرأ المزيد
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
اقرأ المزيد
