Helmut

Results: 1466



#Item
51

PROGRAM EXTRACTION IN EXACT REAL ARITHMETIC KENJI MIYAMOTO AND HELMUT SCHWICHTENBERG Dedicated to John Tucker on occasion of his 60th birthday Abstract. The importance of an abstract approach to a computation theory over

Add to Reading List

Source URL: www.math.lmu.de

- Date: 2013-01-18 04:56:23
    52

    W eihnachten – eine Illusion! Der Illusion Weihnachten verfallen wir alle Jahre wieder. Das beweist schon der Blick in die Schaufenster – und natürlich, dass Helmut Jacob mich wieder gebeten hat, einen Weihnachtsgr

    Add to Reading List

    Source URL: dierkschaefer.files.wordpress.com

    - Date: 2016-12-08 09:01:42
      53

      Enforcing Termination of Interprocedural Analysis arXiv:1606.07687v1 [cs.PL] 24 JunStefan Schulze Frielinghaus, Helmut Seidl, and Ralf Vogler

      Add to Reading List

      Source URL: arxiv.org

      - Date: 2016-06-26 21:00:09
        54

        Global human appropriation of net primary production doubled in the 20th century Supporting Information Fridolin Krausmann,1,* Karl-Heinz Erb,1 Simone Gingrich,1 Helmut Haberl,1 Alberte Bondeau,2,3 Veronika Gaube,1 Chris

        Add to Reading List

        Source URL: www.pnas.org

        - Date: 2013-05-31 07:49:08
          55

          Helmut Veith “Und wenn Du dich getröstet hast, wirst Du froh sein, mich gekannt zu haben.

          Add to Reading List

          Source URL: www.vcla.at

          - Date: 2016-03-30 04:05:46
            56

            On March 12th 2016, Prof. Helmut Veith has unexpectedly passed away after a short and severe illness. We, the students of the Doctoral College Logical Methods in Computer Science – LogiCS, are deeply moved by these dev

            Add to Reading List

            Source URL: www.vcla.at

            - Date: 2016-03-15 12:44:47
              57

              LOGIC FOR GRAY-CODE COMPUTATION ULRICH BERGER AND KENJI MIYAMOTO AND HELMUT SCHWICHTENBERG AND HIDEKI TSUIKI Abstract. Gray-code is a well-known binary number system where neighboring values differ in one digit only. Tsu

              Add to Reading List

              Source URL: www.math.lmu.de

              - Date: 2015-09-28 04:29:31
                58

                © Helmut Hofbauer www.philohof.com 15. November 2015

                Add to Reading List

                Source URL: philohof.com

                - Date: 2015-11-15 12:27:44
                  59

                  www.tredition.de © 2015 Helmut Hofbauer Verlag: tredition GmbH, Hamburg ISBN Paperback:

                  Add to Reading List

                  Source URL: philohof.com

                  - Date: 2016-01-10 18:56:54
                    60

                    © www.philohof.com Schematische Darstellung Erstellt von Helmut Hofbauer (2004)

                    Add to Reading List

                    Source URL: philohof.com

                    - Date: 2012-02-29 08:11:22
                      UPDATE