Helmut

Results: 1466



#Item
41

Fundamentals of Sensory Physiology Edited by Robert F. Schmidt With Contributions by Helmut Altner Josef Dudel Otto-J oachim Griisser Ursula Griisser-Cornehls Rainer Klinke

Add to Reading List

Source URL: rd.springer.com

    42

    Program Extraction from Nested Definitions Kenji Miyamoto1,? , Fredrik Nordvall Forsberg2,?,?? and Helmut Schwichtenberg1 1 Ludwig-Maximilians-Universit¨

    Add to Reading List

    Source URL: personal.cis.strath.ac.uk

    - Date: 2013-12-28 10:04:09
      43

      Microsoft Word - Vortrag Helmut Pelzer, Ute Fischer, Workshop 3, Transfergrenzen-Modell.doc

      Add to Reading List

      Source URL: www.archiv-grundeinkommen.de

      - Date: 2004-12-12 06:26:42
        44

        The Open Government Data Stakeholder Survey Michael Martin+, Martin Kaltenböck*, Helmut Nagy*, and Sören Auer+ + Universität Leipzig, Institut für Informatik, AKSW, Postfach, DLeipzig, Germany, {martin|

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2011-06-22 11:00:38
          45

          Evidence for Preindustrial Variations in the Marine Surface Water Carbonate System from Coralline Sponges Florian Böhm, Alexandra Haase-Schramm, Anton Eisenhauer, Wolf-Christian Dullo, Michael M. Joachimski, Helmut Lehn

          Add to Reading List

          Source URL: www.boehmf.de

          - Date: 2010-03-30 10:35:15
            46

            Program Extraction from Nested Definitions Kenji Miyamoto1,? , Fredrik Nordvall Forsberg2,?,?? and Helmut Schwichtenberg1 1 Ludwig-Maximilians-Universit¨

            Add to Reading List

            Source URL: www.math.lmu.de

            - Date: 2013-04-19 08:38:51
              47

              What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

              Add to Reading List

              Source URL: forsyte.at

              - Date: 2016-03-08 09:52:31
                48

                Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

                Add to Reading List

                Source URL: multicore.doc.ic.ac.uk

                - Date: 2015-06-04 05:51:35
                  49

                  Einführung in die Software-Ergonomie Herausgegeben von Helmut Balzert, Heinz U. Hoppe, Reinhard Oppermann, Helmut Peschke, Gabriele Rohr, Norbert A. Streitz

                  Add to Reading List

                  Source URL: tocs.ulb.tu-darmstadt.de

                  - Date: 2011-07-22 02:35:04
                    50

                    Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto?2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2

                    Add to Reading List

                    Source URL: www.math.lmu.de

                    - Date: 2011-05-23 12:16:42
                      UPDATE