Electronic Books

Total Books: 581 - 600 /2706

This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...

This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...

This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...

This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale ...

This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale ...

The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic ...

This edited book collects a number of representative applications of computational techniques in textile and garment industry. ...

This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...

This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...

Computational Studies of RNA and DNA includes, in an integrated way, modern computational studies of nucleic acids, ranging ...

MARTENS Bob and BROWN Andre Co-conference Chairs, CAAD Futures 2005 Computer Aided Architectural Design is a particularly ...

Examines the role of computer-assisted techniques for discovering, designing, optimizing and manufacturing new, effective, ...

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Total Books: 581 - 600 /2706