INF

Results: 15295



#Item
941

Annals of Mathematics and Artificial Intelligence) ?–? 1 Evolving Objects in Temporal Information Systems Alessandro Artale a Christine Parent b Stefano Spaccapietra c

Add to Reading List

Source URL: www.inf.unibz.it

- Date: 2007-02-14 11:49:32
    942

    Everything Old Is New Again: Quoted Domain-Specific Languages Shayan Najd Sam Lindley

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    - Date: 2016-01-16 11:47:55
      943

      Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic

      Add to Reading List

      Source URL: www.ki.inf.tu-dresden.de

      - Date: 2006-03-26 15:53:31
        944

        PDF Document

        Add to Reading List

        Source URL: www.ki.inf.tu-dresden.de

        - Date: 2006-03-26 13:42:05
          945

          Do they Really Smell Bad? A Study on Developers’ Perception of Code Bad Smells Fabio Palomba1 , Gabriele Bavota2 , Massimiliano Di Penta2 , Rocco Oliveto3 , Andrea De Lucia1 1 University of Salerno, Italy

          Add to Reading List

          Source URL: www.inf.unibz.it

          - Date: 2015-02-19 03:05:45
            946

            Talking Bananas Structural Recursion for Session Types Sam Lindley J. Garrett Morris

            Add to Reading List

            Source URL: homepages.inf.ed.ac.uk

            - Date: 2016-07-27 13:32:03
              947

              Students’ Society of McGill University Association étudiante de l’Université McGill Office of the Vice-President (Clubs and Services) Bureau du Vice-Présidente (Clubs et Services) Club Bank Account Transition Inf

              Add to Reading List

              Source URL: www.ssmu.mcgill.ca

              - Date: 2016-04-30 16:05:17
                948

                You and Your Research Philip Wadler, University of Edinburgh Richard W. Hamming, 1915–1998

                Add to Reading List

                Source URL: homepages.inf.ed.ac.uk

                - Date: 2005-10-20 10:44:05
                  949

                  Appl. Math. Inf. Sci. 6-3S, 821 Applied Mathematics & Information Sciences An International Journal

                  Add to Reading List

                  Source URL: amis.naturalspublishing.com

                  - Date: 2013-04-02 23:54:54
                    950

                    Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations Kousha Etessami U. of Edinburgh

                    Add to Reading List

                    Source URL: homepages.inf.ed.ac.uk

                    - Date: 2008-02-09 12:01:31
                      UPDATE