Henning

Results: 1178



#Item
31Annotated list of diatom names by Horst Lange-Bertalot and co-workers Wolf-Henning Kusber & Regine Jahn Botanic Garden and Botanical Museum Berlin-Dahlem, Free University Berlin, Königin-Luise Str. 6-8, 14191 Berlin e-m

Annotated list of diatom names by Horst Lange-Bertalot and co-workers Wolf-Henning Kusber & Regine Jahn Botanic Garden and Botanical Museum Berlin-Dahlem, Free University Berlin, Königin-Luise Str. 6-8, 14191 Berlin e-m

Add to Reading List

Source URL: www.algaterra.org

Language: English - Date: 2003-06-24 02:36:24
    32How to facilitate entrepreneurial discovery in regions Henning Kroll, Fraunhofer ISI Telling stories from… • three EU wide surveys on RIS3 policy implementation

    How to facilitate entrepreneurial discovery in regions Henning Kroll, Fraunhofer ISI Telling stories from… • three EU wide surveys on RIS3 policy implementation

    Add to Reading List

    Source URL: www.wire2016.eu

    - Date: 2016-06-14 08:19:21
      33Multi Trajectory Pose Adjustment for Life-long Mapping Marc Sons1 , Henning Lategahn2 , Christoph G. Keller3 , Christoph Stiller1 Abstract— Current highly automated and self-driving vehicles heavily depend on detailed

      Multi Trajectory Pose Adjustment for Life-long Mapping Marc Sons1 , Henning Lategahn2 , Christoph G. Keller3 , Christoph Stiller1 Abstract— Current highly automated and self-driving vehicles heavily depend on detailed

      Add to Reading List

      Source URL: www.mrt.kit.edu

      - Date: 2017-08-11 04:11:47
        34Confluence and Convergence in Probabilistically Terminating Reduction Systems Maja H. Kirkeby Henning Christiansen

        Confluence and Convergence in Probabilistically Terminating Reduction Systems Maja H. Kirkeby Henning Christiansen

        Add to Reading List

        Source URL: www.sci.unich.it

        - Date: 2017-10-23 05:15:19
          35PrivacyScore: Improving Privacy and Security via Crowd-Sourced Benchmarks of Websites? Max Maass1 , Pascal Wichmann2 , Henning Prid¨ohl2 , Dominik Herrmann2 arXiv:1705.05139v2 [cs.CR] 30 Jun 2017

          PrivacyScore: Improving Privacy and Security via Crowd-Sourced Benchmarks of Websites? Max Maass1 , Pascal Wichmann2 , Henning Prid¨ohl2 , Dominik Herrmann2 arXiv:1705.05139v2 [cs.CR] 30 Jun 2017

          Add to Reading List

          Source URL: arxiv.org

          - Date: 2017-07-02 21:31:35
            36Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Frontmatter More information

            Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Frontmatter More information

            Add to Reading List

            Source URL: assets.cambridge.org

            - Date: 2008-10-20 04:00:11
              37Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Copyright Information More information

              Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Copyright Information More information

              Add to Reading List

              Source URL: assets.cambridge.org

              - Date: 2008-10-20 04:00:11
                38Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Excerpt More information

                Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Excerpt More information

                Add to Reading List

                Source URL: assets.cambridge.org

                - Date: 2008-10-20 04:00:11
                  39Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Table of Contents More information

                  Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Table of Contents More information

                  Add to Reading List

                  Source URL: assets.cambridge.org

                  - Date: 2008-10-20 04:00:11
                    40Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Index More information

                    Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Index More information

                    Add to Reading List

                    Source URL: assets.cambridge.org

                    - Date: 2008-10-20 04:00:11