Computational Science and Its Applications – ICCSA 2007
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...
Lee mas
Computational Science and Its Applications – ICCSA 2007
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...
Lee mas
Computational Science and Its Applications – ICCSA 2007
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, ...
Lee mas
Computational and Information Science
this book present the proceedings of The 2004 International Symposium on Computational and Information Sciences (CIS 2004) ...
Lee mas
Computational and Statistical Approaches to Genomics
Computational and Statistical Approaches to Genomics, 2nd Edition, aims to help researchers deal with current genomic challenges. ...
Lee mas
Computer Aided Architectural Design Futures 2005
MARTENS Bob and BROWN Andre Co-conference Chairs, CAAD Futures 2005 Computer Aided Architectural Design is a particularly ...
Lee mas
Computer Aided Pharmaceutics and Drug Delivery : An Application Guide for Students and Researchers of Pharmaceutical Sciences / Vikas Anand Saharan
Examines the role of computer-assisted techniques for discovering, designing, optimizing and manufacturing new, effective, ...
Lee mas
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Lee mas
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Lee mas
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee mas
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Computer Algebra Recipes
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...
Lee mas
Computer Algebra Recipes
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...
Lee mas
Computer Algebra and Geometric Algebra with Applications
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
Lee mas
Computer Algebra in Scientific Computing
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...
Lee mas
Computer Algebra in Scientific Computing (vol. # 3718)
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
Lee mas
Computer Applications in Sustainable Forest Management
Computer Applications in Sustainable Forest Management presents state-of-the-art computer applications in a variety of specialty ...
Lee mas
Computer Insecurity
Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recent ...
Lee mas
