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