José

Results: 16330



#Item
301

A Constructor-Based Reachability Logic for Rewrite Theories Stephen Skeirik, Andrei Stefanescu, Jose Meseguer October 10th, 2017

Add to Reading List

Source URL: www.sci.unich.it

- Date: 2017-10-23 05:15:05
    302

    Generic Programming for Indexed Datatypes José Pedro Magalhães1 Johan Jeuring1,2 1 Department

    Add to Reading List

    Source URL: dreixel.net

    - Date: 2015-07-26 08:12:20
      303

      Anticipation from Example Victor Zordan†∗, Adriano Macchietto† , Jose Medina† , Marc Soriano† , Chun-Chih Wu† , Ronald Metoyer‡ , Robert Rose‡ †University of California, Riverside ‡ Oregon State Unive

      Add to Reading List

      Source URL: graphics.cs.ucr.edu

      - Date: 2007-09-10 14:33:37
        304

        Cisco Systems, Inc. 170 W. Tasman Dr San Jose, CAEnd-of-Support Announcement for Meraki Mini Wireless Access Point Cisco Systems, Inc. is announcing the end-of-support for the following products:

        Add to Reading List

        Source URL: meraki.cisco.com

        - Date: 2018-03-06 15:05:38
          305

          San Jose, CA, USA October 14, 2017 Call for Papers HotWeb is a forum that brings together researchers and practitioners interested in the design, implementation, and evaluation of Internet systems and applications.

          Add to Reading List

          Source URL: hotweb2017.github.io

          - Date: 2017-10-14 23:57:26
            306

            AIAASpaceSeptember 2006, San Jose, California MORPHbots: Lightweight Modular Self-Reconfigurable

            Add to Reading List

            Source URL: spacecraft.ssl.umd.edu

            - Date: 2011-01-20 16:22:45
              307

              Detecting Time Series Motifs Under Uniform Scaling Dragomir Yankov, Eamonn Keogh, Jose Medina, Bill Chiu, Victor Zordan Dept. of Computer Science & Eng. University of California, Riverside, USA {dyankov,

              Add to Reading List

              Source URL: graphics.cs.ucr.edu

              - Date: 2007-09-10 14:53:14
                308

                Cisco Systems, Inc. 170 W. Tasman Dr San Jose, CAEnd-of-Sale Announcement for MX60 Cloud-Managed Security Appliances

                Add to Reading List

                Source URL: meraki.cisco.com

                - Date: 2018-03-06 15:05:38
                  309

                  Ilegalidade da atribuição da operação do registro de nomes de domínio ".br" para a ONG Nic.br Número: 8 Eixo: Competências do CGI.br Autoria: Jose da Silva

                  Add to Reading List

                  Source URL: consulta.cgi.br

                    310

                    Software libre José María Barceló Ordinas Jordi Íñigo Griera Ramón Martí Escalé Enric Peig Olivé

                    Add to Reading List

                    Source URL: www.sw-computacion.f2s.com

                    - Date: 2011-07-11 23:52:56
                      UPDATE