Informatica

Results: 3331



#Item
741

Probabilistic Inductive Constraint Logic Fabrizio Riguzzi1 Elena Bellodi2 Riccardo Zese2 Giuseppe Cota2 Evelina Lamma2 Dipartimento di Matematica e Informatica – University of Ferrara Dipartimento di Ingegneria – Uni

Add to Reading List

Source URL: www.ilp2015.jp

Language: English - Date: 2015-08-22 09:07:19
    742

    ` degli Studi di Catania Universita ` DI SCIENZE MATEMATICHE, FISICHE E NATURALI FACOLTA Corso di Laurea in Informatica

    Add to Reading List

    Source URL: www.cs.stevens.edu

    Language: Italian - Date: 2010-03-09 16:23:49
      743

      Come passare al software libero e vivere felici Manuale teorico-pratico di autoliberazione informatica Stefano Barale Version 0.99, 16 gennaio 2003

      Add to Reading List

      Source URL: www.copyleft-italia.it

      Language: Italian - Date: 2012-04-20 09:17:05
        744

        volantino seminario informatica

        Add to Reading List

        Source URL: www.di.unipi.it

        Language: Italian - Date: 2015-10-11 17:10:27
          745

          La Tua Scelta, è il software gestionale ERP frutto dell’esperienza Microarea, software house che crea soluzioni per le Piccole e Medie Imprese dal 1984.

          Add to Reading List

          Source URL: www.mondo-informatica.it

          Language: Italian - Date: 2013-08-09 11:41:07
            746

            Helden van de wiskunde: L.E.J. Brouwer Brouwers visie vanuit een logica-informatica perspectief Herman Geuvers Radboud Universiteit Nijmegen Technische Universiteit Eindhoven

            Add to Reading List

            Source URL: www.cs.ru.nl

            Language: Dutch - Date: 2008-02-25 12:22:39
              747

              SENADO FEDERAL SECRETARIA ESPECIAL DE INFORMÁTICA CONSTITUIÇÃO DA REPÚBLICA FEDERATIVA DO BRASIL Texto promulgado em 05 de outubro de 1988

              Add to Reading List

              Source URL: www.senado.gov.br

              Language: Portuguese - Date: 2015-07-03 13:02:19
                748

                CÓDIGO DE OBRIGAÇÕES, PROCEDIMENTOS E NORMAS DE USO PARA EMPRESAS INCUBADAS NO CENTRO DE EMPREENDIMENTOS EM INFORMÁTICA CEI-INF/UFRGS A admissão e permanência no sistema de PRÉ-INCUBAÇÃO e INCUBAÇÃO dar-se-á

                Add to Reading List

                Source URL: inf.ufrgs.br

                Language: Portuguese - Date: 2015-08-24 14:29:09
                  749

                  Acta Informatica manuscript No. (will be inserted by the editor) Naoki Kobayashi Type-Based Information Flow Analysis for

                  Add to Reading List

                  Source URL: www.kb.ecei.tohoku.ac.jp

                  Language: English - Date: 2005-06-14 23:26:52
                    750

                    Proving Translation and Reduction Semantics Equivalent for Java Simple Closures Marco Bellia and M. Eugenia Occhiuto Dipartimento di Informatica, Universit` a di Pisa, Italy {bellia,occhiuto}@di.unipi.it

                    Add to Reading List

                    Source URL: csp2011.mimuw.edu.pl

                    Language: English - Date: 2011-09-01 11:05:07
                      UPDATE