Helmut Schwichtenberg (u. A.) | Proofs And Computations | Buch |

Helmut Schwicht Proof And Computation: Digitization In Mathe

Hubert Comon-lundh (u. A.) | Rewriting, Computation And Proof |

Proof And Computation 2030

Proof and Computation, Fachbücher

Gilles Dowek | Computation, Proof, Machine | Buch | Englisch (2017)

R. Paton (u. A.) | Computation In Cells And Tissues | Buch | Englisch

Paul W. Gross (u. A.) | Electromagnetic Theory And Computation | Buch

Leszek Rutkowski (u. A.) | Swarm And Evolutionary Computation |

Pekka Orponen (u. A.) | Unconventional Computation And Natural

Yurii Rogozhin (u. A.) | Machines, Computations, And Universality |

Jianer Chen (u. A.) | Parameterized And Exact Computation |

Biomechanics | Concepts And Computation | Cees Oomens (u. A.) |

Walter Gautschi (u. A.) | Approximation And Computation | Taschenbuch

Tetsuo Asano (u. A.) | Algorithms And Computation | Taschenbuch |

Maurice Margenstern (u. A.) | Machines, Computations, And Universality