Huber

Results: 1185



#Item
11An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017 An adequacy theorem for partial type theory

An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017 An adequacy theorem for partial type theory

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2017-05-14 11:13:46
    12Équipe de recherche Prof. Dr. Stefan Huber (Direction) Dr. Anna-Konstanze Schröder Dr. Silvia Martens Plusieurs étudiants Groupe de travail pour la recherche empirique

    Équipe de recherche Prof. Dr. Stefan Huber (Direction) Dr. Anna-Konstanze Schröder Dr. Silvia Martens Plusieurs étudiants Groupe de travail pour la recherche empirique

    Add to Reading List

    Source URL: www.xeno.unibe.ch

    Language: French - Date: 2017-02-02 05:29:16
      13Behavior Research Methods, Instruments, & Computers 2003, 35 (2), Information search in the laboratory and on the Web: With or without an experimenter MICHAEL SCHULTE-MECKLENBECK and OSWALD HUBER

      Behavior Research Methods, Instruments, & Computers 2003, 35 (2), Information search in the laboratory and on the Web: With or without an experimenter MICHAEL SCHULTE-MECKLENBECK and OSWALD HUBER

      Add to Reading List

      Source URL: www.schulte-mecklenbeck.com

      Language: English - Date: 2013-08-07 16:24:37
        14GUINIER IMAGING PLATE CAMERA G670 INSTRUCTION MANUAL HUBER Diffraktionstechnik GmbH & Co. KG Sommerstrasse 4

        GUINIER IMAGING PLATE CAMERA G670 INSTRUCTION MANUAL HUBER Diffraktionstechnik GmbH & Co. KG Sommerstrasse 4

        Add to Reading List

        Source URL: www.xhuber.de

        Language: English - Date: 2012-04-17 05:54:32
          15Latin American Welfare Dataset, Evelyne Huber and John D. Stephens For financial support we thank the National Science Foundation Grant #SESand the Morehead Alumni Distinguished Professorship and the M

          Latin American Welfare Dataset, Evelyne Huber and John D. Stephens For financial support we thank the National Science Foundation Grant #SESand the Morehead Alumni Distinguished Professorship and the M

          Add to Reading List

          Source URL: www.lisdatacenter.org

          Language: English - Date: 2016-05-12 09:30:52
            1652nd IEEE Conference on Decision and Control December 10-13, 2013. Florence, Italy Comparison between explicit and implicit discrete-time implementations of sliding-mode controllers Olivier Huber, Vincent Acary and Berna

            52nd IEEE Conference on Decision and Control December 10-13, 2013. Florence, Italy Comparison between explicit and implicit discrete-time implementations of sliding-mode controllers Olivier Huber, Vincent Acary and Berna

            Add to Reading List

            Source URL: bipop.inrialpes.fr

            Language: English - Date: 2016-01-20 14:43:16
              17Fiber Optic Cables HUBER+SUHNER is certified according to ISO 9001, ISO 14001, ISO/TSand IRIS.

              Fiber Optic Cables HUBER+SUHNER is certified according to ISO 9001, ISO 14001, ISO/TSand IRIS.

              Add to Reading List

              Source URL: www.repic.co.jp

              Language: English - Date: 2016-06-02 23:29:49
                18Introduction Examples A new graphics API Deepayan Sarkar Indian Statistical Institute, Delhi

                Introduction Examples A new graphics API Deepayan Sarkar Indian Statistical Institute, Delhi

                Add to Reading List

                Source URL: www.huber.embl.de

                Language: English - Date: 2014-07-07 05:49:36
                  19Plugin in the Middle - Minimising Security Risks in Mobile Middleware Implementations Peter Aufner, Georg Merzdovnik, Markus Huber and Edgar Weippl SBA Research Sommerpalais Harrach, Favoritenstrasse 16, 2. Stock, AT-104

                  Plugin in the Middle - Minimising Security Risks in Mobile Middleware Implementations Peter Aufner, Georg Merzdovnik, Markus Huber and Edgar Weippl SBA Research Sommerpalais Harrach, Favoritenstrasse 16, 2. Stock, AT-104

                  Add to Reading List

                  Source URL: www.sba-research.org

                  Language: English - Date: 2014-08-27 08:27:26
                    201 Gauthier Huber Pour l’exposition WASTELAND, Galerie Mitterrand+Sanz, Zürich, 2011 Joëlle Flumet s’intéresse à la forme et à la valeur symbolique des objets, dont on sait depuis Baudrillard qu’ils forment un

                    1 Gauthier Huber Pour l’exposition WASTELAND, Galerie Mitterrand+Sanz, Zürich, 2011 Joëlle Flumet s’intéresse à la forme et à la valeur symbolique des objets, dont on sait depuis Baudrillard qu’ils forment un

                    Add to Reading List

                    Source URL: www.joelleflumet.org

                    Language: French - Date: 2017-10-21 10:42:10