Electronic Books

Total Books: 1041 - 1060 /5636

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 ...

Total Books: 1041 - 1060 /5636