Tool

Results: 33645



#Item
831

Journal on Satisfiability, Boolean Modeling and Computation Controlling a Solver Execution with the runsolver Tool system description Olivier Roussel

Add to Reading List

Source URL: jsat.ewi.tudelft.nl

- Date: 2011-11-21 09:15:26
    832

    Shrinktech: A Tool for the Robustness Analysis of Timed Automata Ocan Sankur LSV, ENS Cachan & CNRS, France.

    Add to Reading List

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

    - Date: 2013-07-16 08:47:10
      833

      The Beads of Christ – a gift to Pope Franciskus and you These pearls are for you – The Beads of Christ is a gift from Bishop Martin Lönnebo. Within his Lutheran tradition, he developed an ecumenical rosary as a tool

      Add to Reading List

      Source URL: mb.cision.com

      - Date: 2016-10-28 01:05:39
        834

        A Monitoring Tool for a Branching-Time Logic? Duncan Paul Attard and Adrian Francalanza CS, ICT, University of Malta, Malta {duncan.attard.01,adrian.francalanza}@um.edu.mt Abstract. We present the implementation of an e

        Add to Reading List

        Source URL: staff.um.edu.mt

        - Date: 2016-08-21 10:35:34
          835

          Using the koRpus Package for Text Analysis m.eik michalke July 11, 2016 The R package koRpus aims to be a versatile tool for text analysis, with an emphasis on scientific research on that topic. It implements dozens

          Add to Reading List

          Source URL: r.reaktanz.de

          - Date: 2016-07-11 17:33:10
            836

            © Jones & Bartlett Learning, 2017 This item was created as a helpful tool for you, our valued customer, and is not intended for resale, dissemination, or duplication. Understanding Viruses, Third Edition

            Add to Reading List

            Source URL: samples.jbpub.com

            - Date: 2016-04-06 16:13:02
              837

              Quorum Privacy Policy Quorum Analytics Inc. (“Quorum") has created this website (the "Website" or the "Site") to provide an online analytical tool that Subscribers can use to generate Derived Analytics related to Legis

              Add to Reading List

              Source URL: quorum-static.s3.amazonaws.com

              - Date: 2016-05-25 22:11:15
                838

                Continuous Delivery With Ick Lars Wirzenius February 24, 2016 Abstract Ick is a command line tool written by and for its author to build, test, and deliver

                Add to Reading List

                Source URL: code.liw.fi

                - Date: 2016-10-09 07:20:52
                  839

                  Moderation Policy PATA’s goal is for this database to become the go-to resource for sustainable and responsible tourism knowledge and good-practice sharing. We aim for this platform to be a user-friendly tool that will

                  Add to Reading List

                  Source URL: www.pata.org

                  - Date: 2016-11-13 22:10:38
                    840

                    Juvenile Defense Self-Assessment Tool Dear Public Defense Leader: Juvenile delinquency defense is an important and vital part of a functioning public defender system. Research shows that juveniles who experience incarcer

                    Add to Reading List

                    Source URL: njdc.info

                    - Date: 2016-03-09 11:09:37
                      UPDATE