Armin

Results: 701



#Item
201

Participants List, Plasticity 16, Sheraton, Kona, Hawaii, January 3-8, Niaz Abdolrahim (Massachusetts Institute of Technology, USA), Armin Abedini (University of Waterloo, Canada), Francis Adzima (Arts et Métiers

Add to Reading List

Source URL: www.internationalplasticity.com

Language: English - Date: 2015-12-22 08:01:50
    202

    A Way Forward in Parallelising Dynamic Languages Remigius Meier Armin Rigo Department of Computer Science

    Add to Reading List

    Source URL: bitbucket.org

    Language: English - Date: 2016-03-04 05:19:55
      203

      QLUSTER TASTEN CD / vinyl (incl. CD) / download Out: July 10, 2015 The artists: Hans-Joachim Roedelius (Piano), Onnen Bock (Piano), Armin Metz (Piano)

      Add to Reading List

      Source URL: bureau-b.de

      Language: English - Date: 2015-05-07 02:59:06
        204

        Exhaustive Testing of Exception Handlers with Enforcer Cyrille Artho1 , Armin Biere2 , and Shinichi Honiden3 1 Research Center for Information Security (RCIS),

        Add to Reading List

        Source URL: staff.aist.go.jp

        Language: English - Date: 2015-11-26 00:31:19
          205

          Prof. Dr. Armin Pfahl-Traughber (Brühl) „Bausteine“ zu einer kritischen Theorie über Religion Eine Aufarbeitung und Systematisierung aus atheistischer Perspektive 1. Einleitung und Fragestellung Was existierte zue

          Add to Reading List

          Source URL: www.gkpn.de

          Language: German - Date: 2010-10-21 03:04:21
            206

            Vertrag zu einem Modellvorhaben nach § 63 SGB V zur Optimierung der Arzneimittelversorgung in Sachsen und Thüringen (Arzneimittelinitiative Sachsen-Thüringen - ARMIN) zwischen der

            Add to Reading List

            Source URL: www.arzneimittelinitiative.de

            Language: German - Date: 2014-07-08 07:33:45
              207

              Microsoft Word - Armin-Fuegenschuh-KlausTschiraPreis.doc

              Add to Reading List

              Source URL: www.klaus-tschira-preis.info

              Language: German - Date: 2016-01-15 05:23:09
                208

                Using High Performance SAT and QBF Solvers Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria

                Add to Reading List

                Source URL: fmv.jku.at

                Language: English - Date: 2016-03-03 08:20:54
                  209

                  Efficiently Solving Bit-Vector Problems Using Model Checkers Andreas Fr¨ ohlich, Gergely Kov´asznai, Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

                  Add to Reading List

                  Source URL: smt2013.fbk.eu

                  Language: English - Date: 2013-07-15 07:39:36
                    UPDATE