Tool

Results: 33645



#Item
891

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
    892

    Twine is an open source tool for writing Choose Your Own Adventure-style narratives. The program helps you keep track of the connections between paths in a simple, visual way. You can download the program or work in your

    Add to Reading List

    Source URL: visualibrarian.files.wordpress.com

    - Date: 2016-10-30 23:05:45
      893

      Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri.info Abstract. Linear logic is increasingly being used as a tool for communicating reasoning agents in domains such as

      Add to Reading List

      Source URL: kaustuv.chaudhuri.info

      - Date: 2012-11-06 02:56:18
        894

        3.5 AUTOMATIC TOOL EXCHANGE The assembly groups specified to perform unloading, manipulation, position setting and clamping of tool units in the machining centre without application of human force, skilfulness and manage

        Add to Reading List

        Source URL: www.mmspektrum.com

        - Date: 2015-09-30 05:22:58
          895

          RAMPF RAKU-TOOL ケミカルウッド 三洋化成工業

          Add to Reading List

          Source URL: www.c-wood.com

          - Date: 2015-09-13 20:05:54
            896

            Mirantis Communications Service Provider (CSP) Solution Letting CSPs control their own digital transformation destiny with Mirantis Today’s Communications Service Providers (CSPs) are embracing virtualization as a tool

            Add to Reading List

            Source URL: content.mirantis.com

            - Date: 2016-12-12 03:45:36
              897

              IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems ´ Etienne Andr´e1 , Laurent Fribourg2 , Ulrich K¨ uhne3 and Romain Soulat2

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              - Date: 2012-05-24 04:18:43
                898

                Gesture Elicitation and Interaction #chi4good, CHI 2016, San Jose, CA, USA Between-Subjects Elicitation Studies: Formalization and Tool Support

                Add to Reading List

                Source URL: faculty.washington.edu

                - Date: 2016-05-13 16:00:26
                  899

                  Growth Mindset: Developing a staff questionnaire Objective: To create an assessment tool using the growth/ fixed mindset descriptors outlined by Dweck to measure staff mindset. Fixed vs. growth mind-set traits from D

                  Add to Reading List

                  Source URL: johntomsett.files.wordpress.com

                  - Date: 2013-10-20 09:20:36
                    900

                    2016 World Machine Tool Survey GARDNER RESEARCH

                    Add to Reading List

                    Source URL: www.gardnerweb.com

                    - Date: 2016-04-27 08:30:06
                      UPDATE