Informatica

Results: 3331



#Item
731

Linking Content De nition and Analysis to What the Compiler Can Verify Egon Borger Universita di Pisa, Dipartimento di Informatica, IPisa, Italy

Add to Reading List

Source URL: vstte.ethz.ch

Language: English - Date: 2005-10-11 03:37:02
    732

    UITP 2003 Preliminary Version Colouring proofs: a lightweight approach to adding formal structure to proofs Laurent Th´ery 1 Dipartimento di Informatica

    Add to Reading List

    Source URL: www.informatik.uni-bremen.de

    Language: English - Date: 2008-02-15 04:25:19
      733

      Curriculum Vitae, Gertjan van Noord November 2012 Born 8 May 1961, Culemborg, Netherlands Married, 3 children. Current work address: Computational Linguistics CLCG & Alfa-informatica/Informatiekunde Faculteit der Lettere

      Add to Reading List

      Source URL: odur.let.rug.nl

      Language: English - Date: 2012-11-01 08:45:20
        734

        CHE COSA SONO I COOKIE ? La Commissione Nazionale francese per l’Informatica e le Libertà (CNIL) e il Provvedimento del Garante Italiano definisce un cookie come « un piccolo file testuale inviato al tuo hard disk d

        Add to Reading List

        Source URL: www.valutazioneusato.citroen.it

        Language: Italian - Date: 2015-07-15 08:10:04
          735

          Núm, de 26 de mayo I. DISPOSICIONES Y ACUERDOS GENERALES I.2. Consejo de Gobierno Acuerdo 5.2/CG, por el que se aprueba el Calendario Académico para el curso académico.

          Add to Reading List

          Source URL: www.informatica.us.es

          Language: Spanish - Date: 2015-05-27 04:19:18
            736

            Grau en Enginyeria Informàtica Facultat d’Informàtica de Barcelona Matemàtiques 1 Part I: Teoria de Grafs Exercicis i problemes

            Add to Reading List

            Source URL: www-ma2.upc.edu

            Language: Spanish - Date: 2016-02-29 09:44:34
              737

              Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems Silvio Ghilardi1 , Enrica Nicolini2 , Silvio Ranise2 , and Daniele Zucchelli1,2 1 Dipartimento di Informatica, Universit`

              Add to Reading List

              Source URL: www.loria.fr

              Language: English - Date: 2007-06-06 04:38:34
                738

                Answer Set Programming with Resources Stefania Costantini Dipartimento di Informatica, Universit` a di L’Aquila via Vetoio, IL’Aquila, Italy

                Add to Reading List

                Source URL: costantini.di.univaq.it

                Language: English - Date: 2009-08-05 08:33:22
                  739

                  ´ FACULTADE DE INFORMATICA PROXECTO DE FIN DE CARREIRA ˜ ´IA TECNICA ´ ´

                  Add to Reading List

                  Source URL: psanxiao.com

                  Language: Portuguese - Date: 2016-02-25 14:35:27
                    740

                    PROCEDIMIENTO PARA LA SOLICITUD DEL CARNÉ UNIVERSITARIO CURSO Área de Relaciones Institucionales Servicio de Asuntos Generales

                    Add to Reading List

                    Source URL: www.informatica.us.es

                    Language: Spanish - Date: 2010-06-22 14:27:30
                      UPDATE