Electronic Books

Total Books: 241 - 260 /1344

Computer Algebra in Scientific Computing

The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...

Computer Algebra in Scientific Computing

The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...

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 ...

Computer Network Security

This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...

Computer Network Security

This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...

Computer Network Security (vol. # 3685)

This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...

Computer Science Logic (vol. # 3634)

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Computer Science Logic (vol. # 4207)

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...

Computer Vision: A Modern Approach / David Forsyth

Provides the most complete treatment of modern computer vision methods by two of the leading authorities in the field. This ...

Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...

Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...

Computing in Algebraic Geometry

Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...

Computing in Algebraic Geometry

Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...

Computing the Electrical Activity in the Heart

This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...

Computing the Electrical Activity in the Heart

This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...

Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers

This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...

Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python / Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...

Conceptual Structures: Knowledge Visualization and Reasoning : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...

Total Books: 241 - 260 /1344