Unige

Results: 3445



#Item
641

Verbale del Direttivo AIIC

Add to Reading List

Source URL: bioingegneria.dibris.unige.it

Language: Italian - Date: 2016-02-08 05:36:00
    642

    Synthesizing Cardinality Invariants for Parameterized Systems Klaus v. Gleissenthall, TU Munich Nikolaj Bjørner and Andrey Rybalchenko, Microsoft Research

    Add to Reading List

    Source URL: pv.dibris.unige.it

    - Date: 2015-09-11 08:02:35
      643

      Adding Probabilities to Networks with Selective Broadcast

      Add to Reading List

      Source URL: pv.dibris.unige.it

      Language: English - Date: 2015-09-07 07:36:53
        644

        NEXUS 1 Science Technology le singole sessioni del simposio si terranno in lingua Inglese

        Add to Reading List

        Source URL: dance.dibris.unige.it

        Language: English - Date: 2015-11-02 12:10:13
          645

          Timed extensions of Petri nets with data

          Add to Reading List

          Source URL: pv.dibris.unige.it

          Language: English - Date: 2015-09-11 07:09:26
            646

            PDF Document

            Add to Reading List

            Source URL: www.scienze.unige.it

            - Date: 2016-04-04 10:33:34
              647

              Visualisation de projets de thèse avec un dispositif physique et constructif Daniel K. Schneider, Point de depart:

              Add to Reading List

              Source URL: tecfa.unige.ch

              - Date: 2015-05-29 06:20:52
                648

                UNIVERSITÀ DEGLI STUDI DI GENOVA UNI.T.I. - Università, Trasferimento tecnologico, Imprese IL PROGETTO

                Add to Reading List

                Source URL: en.unige.it

                Language: Italian - Date: 2008-11-28 05:25:08
                  649

                  PDF Document

                  Add to Reading List

                  Source URL: cap.unige.ch

                  - Date: 2012-03-16 05:01:54
                    650

                    APPROX 2013 and RANDOM 2013 16th Intl. Workshop on Approximation Algorithms for Combinatorial Optimization Problems APPROX 2013 & 17th Intl. Workshop on Randomization and Computation RANDOM 2013 http://cui.unige.ch/tcs/r

                    Add to Reading List

                    Source URL: cui.unige.ch

                    Language: English - Date: 2015-06-12 14:26:15
                      UPDATE