The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
WeiterlesenThe book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
WeiterlesenThis volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
WeiterlesenThis volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
WeiterlesenThis volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
WeiterlesenThis volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...
WeiterlesenThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
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 ...
WeiterlesenProvides the most complete treatment of modern computer vision methods by two of the leading authorities in the field. This ...
WeiterlesenFlow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...
WeiterlesenFlow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...
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 describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
WeiterlesenThis book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
WeiterlesenThis book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
WeiterlesenExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
WeiterlesenExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
WeiterlesenThis book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...
Weiterlesen