Informatica

Results: 3331



#Item
11Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa

Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa

Add to Reading List

Source URL: pages.di.unipi.it

Language: English - Date: 2015-12-18 06:55:14
12DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa

DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa

Add to Reading List

Source URL: pages.di.unipi.it

Language: English - Date: 2015-12-18 06:55:15
13

PDF Document

Add to Reading List

Source URL: www.informatica.us.es

- Date: 2016-07-04 05:07:38
    14

    PDF Document

    Add to Reading List

    Source URL: www.olimpiadi-informatica.it

    - Date: 2016-03-22 10:07:19
      15Corso di Laurea in Ingegneria Informatica e dell’Automazione a.aEsiti appello di Fondamenti di Informatica 17 gennaio 2018

      Corso di Laurea in Ingegneria Informatica e dell’Automazione a.aEsiti appello di Fondamenti di Informatica 17 gennaio 2018

      Add to Reading List

      Source URL: sisinflab.poliba.it

      Language: Italian - Date: 2018-02-15 08:21:55
        16UNIVERSITÀ DEGLI STUDI DI UDINE Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Specialistica in Informatica Tesi di Laurea

        UNIVERSITÀ DEGLI STUDI DI UDINE Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Specialistica in Informatica Tesi di Laurea

        Add to Reading List

        Source URL: steve.maraspin.net

        Language: Italian - Date: 2011-09-25 15:04:12
          17Programmazione Corso di laurea triennale in Informatica a.aprimo semestre Prof. Giovanni Pighizzini

          Programmazione Corso di laurea triennale in Informatica a.aprimo semestre Prof. Giovanni Pighizzini

          Add to Reading List

          Source URL: pighizzini.di.unimi.it

          Language: Italian - Date: 2015-09-28 06:22:30
            18ISTITUTO TECNICO STATALE - SETTORE TECNOLOGICO “ TULLIO BUZZI ” SISTEMA MODA – CHIMICA MATERIALI E BIOTECNOLOGIE – MECCANICA, MECCATRONICA ED ENERGIA – ELETTRONICA ED ELETTROTECNICA – INFORMATICA E TELECOMUN

            ISTITUTO TECNICO STATALE - SETTORE TECNOLOGICO “ TULLIO BUZZI ” SISTEMA MODA – CHIMICA MATERIALI E BIOTECNOLOGIE – MECCANICA, MECCATRONICA ED ENERGIA – ELETTRONICA ED ELETTROTECNICA – INFORMATICA E TELECOMUN

            Add to Reading List

            Source URL: www.itistulliobuzzi.it

            Language: Italian - Date: 2017-11-07 06:00:11
              19Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

              Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

              Add to Reading List

              Source URL: pighizzini.di.unimi.it

              Language: English - Date: 2012-09-04 12:11:31
                20UNIVERSIDADE ESTADUAL DE MARINGÁ CENTRO DE TECNOLOGIA DEPARTAMENTO DE INFORMÁTICA Uma Revisão Sistemática sobre a Implementação de Variabilidades de LPS utilizando POA

                UNIVERSIDADE ESTADUAL DE MARINGÁ CENTRO DE TECNOLOGIA DEPARTAMENTO DE INFORMÁTICA Uma Revisão Sistemática sobre a Implementação de Variabilidades de LPS utilizando POA

                Add to Reading List

                Source URL: www.din.uem.br

                Language: Portuguese - Date: 2009-08-20 09:59:07