The book includes the micro-scale, the meso-scale and the macro-scale. The chapters follow this classification. The book ...
WeiterlesenThis open access volume compiles student reports from the 2021 Simula Summer School in Computational Physiology. Interested ...
WeiterlesenThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenThis book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
WeiterlesenThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
WeiterlesenThe text is built around a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE ...
WeiterlesenOver two hundred novel and innovative computer algebra worksheets or ""recipes"" will enable readers in engineering, ...
WeiterlesenCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
WeiterlesenThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
WeiterlesenAlgebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...
WeiterlesenAlgebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...
WeiterlesenThis book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
WeiterlesenThis book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...
WeiterlesenThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
WeiterlesenThis book provides a self-contained overview of this important area of mathematical physics, beginning with its origins in ...
WeiterlesenThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
WeiterlesenThis book's methodological approach familiarizes readers with the mathematical tools required to correctly define and solve ...
WeiterlesenThe general goal of this book is to deduce rigorously, from the first principles, the partial differential equations governing ...
WeiterlesenThis open access brief introduces the basic principles of control theory in a concise self-study guide. It complements the ...
Weiterlesen