Computation

Results: 6765



#Item
311

Space-Efficient Computation by Interaction A Type System for Logarithmic Space Ulrich Schöpp LMU Munich September 27, 2006

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

- Date: 2006-10-01 04:45:45
    312

    Computation and Interaction Jos Baeten (joint work with Bas Luttik and Paul van Tilburg) Centrum Wiskunde & Informatica, Amsterdam, and Computer Science, Eindhoven University of Technology

    Add to Reading List

    Source URL: www.ips.tu-braunschweig.de

    - Date: 2013-08-13 02:39:11
      313

      Underpayment of individual Income Tax Penalty Computation 2014 Taxable Year

      Add to Reading List

      Source URL: revenue.louisiana.gov

      - Date: 2015-11-04 10:52:37
        314

        Underpayment of Individual Income Tax Penalty Computation 2014 Taxable Year

        Add to Reading List

        Source URL: revenue.louisiana.gov

        - Date: 2015-10-30 13:22:01
          315

          Quantum Programs as Kleisli Maps Abraham Westerbaan Radboud University Nijmegen Furber and Jacobs have shown in their study of quantum computation that the category of commutative C∗ -algebras and

          Add to Reading List

          Source URL: bram.westerbaan.name

          - Date: 2016-05-26 08:29:24
            316

            CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. ExperPublished online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe.1444 Economic aspects of building sof

            Add to Reading List

            Source URL: nes.aueb.gr

            - Date: 2013-09-14 08:34:34
              317

              Partitio et Emergo A Note on the Computation of Eigenvalues of a Shuffle Matrix Frans Schalekamp Anke van Zuylen

              Add to Reading List

              Source URL: arvanzuijlen.people.wm.edu

              - Date: 2010-09-17 07:14:51
                318

                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
                  319

                  SCSS2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University | March, 2016, science bldg. 3, room 701 The program March 28, 2016 (Monday)

                  Add to Reading List

                  Source URL: 54.200.129.9

                  - Date: 2016-03-27 05:02:02
                    320

                    Delft University of Technology Software Engineering Research Group Technical Report Series IceDust: Incremental and Eventual Computation of Derived Values in

                    Add to Reading List

                    Source URL: swerl.tudelft.nl

                    - Date: 2016-05-04 05:29:30
                      UPDATE