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

Weiterlesen
Computer Algebra in Scientific Computing

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

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

Weiterlesen
Computer Network Security

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

Weiterlesen
Computer Network Security

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

Weiterlesen
Computer Network Security (vol. # 3685)

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

Weiterlesen
Computer Science Logic (vol. # 3634)

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

Weiterlesen
Computer Science Logic (vol. # 4207)

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

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

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

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

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

Weiterlesen
Computing in Algebraic Geometry

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

Weiterlesen
Computing in Algebraic Geometry

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

Weiterlesen
Computing the Electrical Activity in the Heart

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

Weiterlesen
Computing the Electrical Activity in the Heart

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

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

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

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

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

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

Weiterlesen
Total Books: 241 - 260 /1344