Twiki

Results: 228



#Item
1

PDF Document

Add to Reading List

Source URL: twiki.cern.ch

- Date: 2013-05-06 03:55:54
    2

    METODI MATEMATICI PER L’INFORMATICA ESERICIZI DI LOGICA PROPOSIZIONALE ANNO ACCADEMICORicordiamo le definizioni fondamentali: Γ |= A dove Γ `e un insieme (possibilmente vuoto) di proposizioni e A `e una pr

    Add to Reading List

    Source URL: twiki.di.uniroma1.it

    Language: Italian - Date: 2012-12-28 07:25:40
      3

      Nome e Cognome: Matricola: Anno di corso:

      Add to Reading List

      Source URL: twiki.di.uniroma1.it

      Language: Italian - Date: 2012-02-21 04:42:01
        4

        Metodi Matematici per l’Informatica (secondo canale) Nome e Cognome: Matricola: Anno di corso:

        Add to Reading List

        Source URL: twiki.di.uniroma1.it

        Language: Italian - Date: 2014-01-20 05:20:08
          5

          Universidade Federal de Pernambuco Centro de Inform´atica P´os-gradua¸c˜ao em Ciˆencia da Computa¸c˜ao MODULAR REASONING FOR SOFTWARE

          Add to Reading List

          Source URL: twiki.cin.ufpe.br

          - Date: 2014-04-08 14:59:29
            6

            UNIVERSIDADE FEDERAL DA BAHIA - UFBA CALENDÁRIO ACADÊMICO – 2016 DATAS LIMITES Início das aulas Último dia para solicitar trancamento (parcial e total), na CARE – 1/3 do semestre

            Add to Reading List

            Source URL: www.twiki.ufba.br

            - Date: 2016-08-04 07:54:49
              7

              DIRETTIVE DI PREPROCESSORE • elaborazione di macro • inclusione di file sorgente • compilazione condizionale (consente di compilare porzioni di codice sorgente in dipendenza del valore di

              Add to Reading List

              Source URL: twiki.di.uniroma1.it

              - Date: 2007-03-20 07:20:46
                8

                Soluzioni della prova scritta di Fisica II N.O. per INFORMATICA, Es. 1 Una sbarretta conduttrice con resistenza nulla può scorrere senza attrito su due guide conduttrici chiuse da un sistema di tre capacit

                Add to Reading List

                Source URL: twiki.di.uniroma1.it

                - Date: 2008-06-03 05:37:59
                  9

                  PDF Document

                  Add to Reading List

                  Source URL: twiki.di.uniroma1.it

                  - Date: 2006-08-22 07:16:54
                    10

                    Decision Tree Learning 1 Decision Trees •  Tree-based classifiers for instances represented as feature-vectors.

                    Add to Reading List

                    Source URL: twiki.di.uniroma1.it

                    - Date: 2016-03-02 06:51:40
                      UPDATE