TCS-1

Results: 148



#Item
1WV/FIIA-TCS RevWest Virginia Film Industry Investment Tax Credit (For periods AFTER January 1, 2015)

WV/FIIA-TCS RevWest Virginia Film Industry Investment Tax Credit (For periods AFTER January 1, 2015)

Add to Reading List

Source URL: tax.wv.gov

Language: English - Date: 2015-12-30 10:04:02
    2Kernelization using structural parameters on sparse graph classes ˇ 1 Jan Obdržálek1 Jakub Gajarský1 Petr Hlinený 1 Sebastian Ordyniak

    Kernelization using structural parameters on sparse graph classes ˇ 1 Jan Obdržálek1 Jakub Gajarský1 Petr Hlinený 1 Sebastian Ordyniak

    Add to Reading List

    Source URL: tcs.rwth-aachen.de

    Language: English - Date: 2013-04-22 06:45:46
      3Cashback Card TCs VISA UW Sodexo – Final MarchTerms and conditions for the Utility Warehouse Prepaid Visa Card PLEASE READ THIS AGREEMENT CAREFULLY BEFORE YOU TOP UP OR ACTIVATE YOUR CARD. THIS INFORMATION FORMS

      Cashback Card TCs VISA UW Sodexo – Final MarchTerms and conditions for the Utility Warehouse Prepaid Visa Card PLEASE READ THIS AGREEMENT CAREFULLY BEFORE YOU TOP UP OR ACTIVATE YOUR CARD. THIS INFORMATION FORMS

      Add to Reading List

      Source URL: s3-eu-west-1.amazonaws.com

      Language: English - Date: 2018-03-22 09:18:27
        4Theoretical Computer Science – 183 www.elsevier.com/locate/tcs Modular verification of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2

        Theoretical Computer Science – 183 www.elsevier.com/locate/tcs Modular verification of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2

        Add to Reading List

        Source URL: dept.cs.williams.edu

        Language: English - Date: 2018-08-12 09:38:32
          5Nominal Structural Operational Semantics? Luca Aceto1 , Matteo Cimini2 , Anna Ingolfsdottir1 , MohammadReza Mousavi3 , Michel A. Reniers4 , and Murdoch J. Gabbay5 1 ICE-TCS, School of Computer Science, Reykjav´ık Univ

          Nominal Structural Operational Semantics? Luca Aceto1 , Matteo Cimini2 , Anna Ingolfsdottir1 , MohammadReza Mousavi3 , Michel A. Reniers4 , and Murdoch J. Gabbay5 1 ICE-TCS, School of Computer Science, Reykjav´ık Univ

          Add to Reading List

          Source URL: cimini.info

          - Date: 2015-12-30 23:47:11
            6B.Tech. Computer Science & Engg. List of Electives Elective-II S.No. Paper Code 1. TCS 021

            B.Tech. Computer Science & Engg. List of Electives Elective-II S.No. Paper Code 1. TCS 021

            Add to Reading List

            Source URL: www.allsyllabus.com

            - Date: 2016-04-12 09:34:24
              7Another Type System for In-Place Update David Aspinall1 and Martin Hofmann2 1 2

              Another Type System for In-Place Update David Aspinall1 and Martin Hofmann2 1 2

              Add to Reading List

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

              - Date: 2015-05-05 07:33:01
                8Towards A Hybrid Approach to Software Verification (Extended Abstract) Dario Della Monica1 and Adrian Francalanza2 1 ICE-TCS, Reykjavik University, Iceland

                Towards A Hybrid Approach to Software Verification (Extended Abstract) Dario Della Monica1 and Adrian Francalanza2 1 ICE-TCS, Reykjavik University, Iceland

                Add to Reading List

                Source URL: staff.um.edu.mt

                - Date: 2015-10-09 11:50:15
                  9Functional Programming in Sublinear Space Ugo Dal Lago1 and Ulrich Sch¨opp2? 1 2 University of Bologna, Italy

                  Functional Programming in Sublinear Space Ugo Dal Lago1 and Ulrich Sch¨opp2? 1 2 University of Bologna, Italy

                  Add to Reading List

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

                  - Date: 2014-06-03 14:27:09
                    101 Verifying Temporal Properties using Explicit Approximants: Completeness for Context-free Processes

                    1 Verifying Temporal Properties using Explicit Approximants: Completeness for Context-free Processes

                    Add to Reading List

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

                    - Date: 2007-06-15 04:34:30