Subcategories
Tags
Language
Tags

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Posted By: AvaxGenius
Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Computational Logic and Set Theory: Applying Formalized Logic to Analysis by Jacob T. Schwartz
English | EPUB | 2011 | 426 Pages | ISBN : 0857298070 | 7.8 MB

As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem.

"Earthquakes: From Tectonics to Buildings" ed. by Walter Salazar

Posted By: exLib
"Earthquakes: From Tectonics to Buildings" ed. by Walter Salazar

"Earthquakes: From Tectonics to Buildings" ed. by Walter Salazar
ITexLi | 2021 | ISBN: 1839624299 9781839624292 1839624248 9781839624247 1839624302 9781839624308 | 203 pages | PDF | 28 MB

This volume is a compilation of eight chapters that explain tectonics and seismicity. The book presents state-of-the-art techniques for calculating ground motion amplification due to sediments above the engineering bedrock employing strong-motion recordings and microtremor data.

An Introduction to Computational Systems Biology: Systems-Level Modelling of Cellular Networks

Posted By: arundhati
An Introduction to Computational Systems Biology: Systems-Level Modelling of Cellular Networks

Karthik Raman, "An Introduction to Computational Systems Biology: Systems-Level Modelling of Cellular Networks "
English | ISBN: 1138597325 | 2021 | 358 pages | PDF | 26 MB

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions (Repost)

Posted By: AvaxGenius
Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions (Repost)

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions By Duc Thai Nguyen
English | PDF | 2006 | 545 Pages | ISBN : 0387293302 | 18.02 MB

FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale engineering applications. Efficient equation and eigen-solvers play critical roles in solving these problems. Sparse matrix technologies have evolved and are now mature enough that all popular and commercialized FEM codes have inserted sparse solvers into their software.

"Forecasting in Mathematics: Recent Advances, New Perspectives and Applications" ed. by Abdo Abou Jaoude

Posted By: exLib
"Forecasting in Mathematics: Recent Advances, New Perspectives and Applications" ed. by Abdo Abou Jaoude

"Forecasting in Mathematics: Recent Advances, New Perspectives and Applications" ed. by Abdo Abou Jaoude
ITexLi | 2021 | ISBN: 1838808272 9781838808273 1838808256 9781838808259 1838808280 9781838808280 | 138 pages | PDF | 8 MB

This book is an illustration of the use of mathematics to solve specific problems in engineering, statistics, and science in general.

"Computational Biology and Chemistry" ed. by Payam Behzadi, Nicola Bernabò

Posted By: exLib
"Computational Biology and Chemistry" ed. by Payam Behzadi, Nicola Bernabò

"Computational Biology and Chemistry" ed. by Payam Behzadi, Nicola Bernabò
ITexLi | 2020 | ISBN: 1789856914 9781789856910 1789853664 9781789853667 1789856922 9781789856927 | 126 pages | PDF | 7 MB

This volume is dedicated to use of computers and software tools in biochemistry (biology) - that has led to a deep revolution in basic sciences and medicine. Bioinformatics and systems biology are the direct results of this revolution.

Complexity and Real Computation (Repost)

Posted By: step778
Complexity and Real Computation (Repost)

Lenore Blum, Felipe Cucker, Michael Shub, "Complexity and Real Computation"
English | 1997 | pages: 469 | ISBN: 0387982817 | DJVU | 5,9 mb

Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015,

Posted By: arundhati
Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015,

Helle Hvid Hansen, "Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015,"
English | ISBN: 3662543311 | 2017 | 383 pages | EPUB | 6 MB

Algorithms for Computational Biology (Repost)

Posted By: DZ123
Algorithms for Computational Biology (Repost)

Ian Holmes, Carlos Martín-Vide, Miguel A. Vega-Rodríguez, "Algorithms for Computational Biology"
English | 2019 | ISBN: 3030181731 | PDF | pages: 234 | 9.6 mb

Mathematics and Computation in Music (Repost)

Posted By: DZ123
Mathematics and Computation in Music (Repost)

Mariana Montiel, Francisco Gomez-Martin, Octavio A. Agustín-Aquino, "Mathematics and Computation in Music"
English | 2019 | ISBN: 3030213919 | PDF | pages: 402 | 26.0 mb

Principles Of Quantum Computation And Information

Posted By: hill0
Principles Of Quantum Computation And Information

Principles Of Quantum Computation And Information: A Comprehensive Textbook
by Giuliano Benenti

English | 2019 | ISBN: 0000989797 | 703 Pages | PDF | 12 MB

Reversible Computation (Repost)

Posted By: step778
Reversible Computation (Repost)

Jarkko Kari, Irek Ulidowski, "Reversible Computation"
English | 2018 | pages: 359 | ISBN: 3319994972 | PDF | 15,7 mb

Advances in Computational Intelligence, Part II (Repost)

Posted By: DZ123
Advances in Computational Intelligence, Part II (Repost)

Ignacio Rojas, Gonzalo Joya, Andreu Catala, "Advances in Computational Intelligence, Part II"
English | 2019 | ISBN: 3030205177 | PDF | pages: 938 | 100.0 mb

Computational Science – ICCS 2019, Part II (Repost)

Posted By: DZ123
Computational Science – ICCS 2019, Part II (Repost)

João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, "Computational Science – ICCS 2019, Part II"
English | 2019 | ISBN: 3030227405 | PDF | pages: 690 | 66.5 mb

Reversible Computation (Repost)

Posted By: DZ123
Reversible Computation (Repost)

Michael Kirkedal Thomsen, Mathias Soeken, "Reversible Computation"
English | 2019 | ISBN: 3030214990 | PDF | pages: 246 | 11.3 mb