Informatica

Results: 3331



#Item
821Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models Alfredo Pironti and Riccardo Sisto Politecnico di Torino Dip. di Automatica e Informatica c.so Duca degli Abruzzi 24, ITori

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models Alfredo Pironti and Riccardo Sisto Politecnico di Torino Dip. di Automatica e Informatica c.so Duca degli Abruzzi 24, ITori

Add to Reading List

Source URL: alfredo.pironti.eu

Language: English - Date: 2009-12-16 09:29:55
    822Juan Carlos Casado Docente en ámbitos como la Informática Aplicada, Imagen y Fotografía Digital y Astronomía. Como astrofotógrafo ha realizado un sinfín de colaboraciones y trabajos. Actualmente es coordinador del

    Juan Carlos Casado Docente en ámbitos como la Informática Aplicada, Imagen y Fotografía Digital y Astronomía. Como astrofotógrafo ha realizado un sinfín de colaboraciones y trabajos. Actualmente es coordinador del

    Add to Reading List

    Source URL: www.unedlapalma.es

    Language: Spanish - Date: 2015-03-24 08:13:59
      823FAQs sobre el Curso Online de Especialización en Seguridad informática para la intrusión de sistemas. Metasploit en profundidad Más informaciónEl curso es totalmente online; lecciones de 2 horas y media de co

      FAQs sobre el Curso Online de Especialización en Seguridad informática para la intrusión de sistemas. Metasploit en profundidad Más informaciónEl curso es totalmente online; lecciones de 2 horas y media de co

      Add to Reading List

      Source URL: www.criptored.upm.es

      Language: Spanish - Date: 2015-09-13 16:42:06
        824Correctness-Preserving Translation from Spi Calculus to Java, Revision 3 Alfredo Pironti and Riccardo Sisto Politecnico di Torino Dip. di Automatica e Informatica c.so Duca degli Abruzzi 24, ITorino (Italy) e-mail

        Correctness-Preserving Translation from Spi Calculus to Java, Revision 3 Alfredo Pironti and Riccardo Sisto Politecnico di Torino Dip. di Automatica e Informatica c.so Duca degli Abruzzi 24, ITorino (Italy) e-mail

        Add to Reading List

        Source URL: alfredo.pironti.eu

        Language: English - Date: 2010-01-20 14:05:23
          825CUD@ASP: Experimenting with GPUs in ASP solving? Flavio Vella1 , Alessandro Dal Pal`u2 , Agostino Dovier3 , Andrea Formisano1 , and Enrico Pontelli4 1 Dip. di Matematica e Informatica, Univ. di Perugia

          CUD@ASP: Experimenting with GPUs in ASP solving? Flavio Vella1 , Alessandro Dal Pal`u2 , Agostino Dovier3 , Andrea Formisano1 , and Enrico Pontelli4 1 Dip. di Matematica e Informatica, Univ. di Perugia

          Add to Reading List

          Source URL: www.dmi.unict.it

          Language: English - Date: 2013-09-18 04:53:03
            826Mattia Epifani Mattia Epifani è nato nel 1977 a Genova, dove è socio e CEO della REALITY NET - System Solutions, azienda di consulenza informatica che si occupa di informatica forense e sicurezza informatica. Laureato

            Mattia Epifani Mattia Epifani è nato nel 1977 a Genova, dove è socio e CEO della REALITY NET - System Solutions, azienda di consulenza informatica che si occupa di informatica forense e sicurezza informatica. Laureato

            Add to Reading List

            Source URL: www.mastercybersecurity.it

            Language: Italian - Date: 2014-12-22 14:29:32
              827Informatica–25 1 Intermediate Representations of Mobile Code Wolfram Amme and Thomas S. Heinze

              Informatica–25 1 Intermediate Representations of Mobile Code Wolfram Amme and Thomas S. Heinze

              Add to Reading List

              Source URL: swt.informatik.uni-jena.de

              Language: English - Date: 2014-08-22 05:00:39
                828Manual de Organización Específico de la Dirección General de Informática

                Manual de Organización Específico de la Dirección General de Informática

                Add to Reading List

                Source URL: www.normateca.sedesol.gob.mx

                Language: Spanish - Date: 2013-07-09 15:28:41
                  829www.clusit.it Il Clusit, nato nel 2000 presso il Dipartimento di Informatica dell’Università degli Studi di Milano, è la più numerosa ed autorevole associazione italiana nel campo della sicurezza informatica. Oggi

                  www.clusit.it Il Clusit, nato nel 2000 presso il Dipartimento di Informatica dell’Università degli Studi di Milano, è la più numerosa ed autorevole associazione italiana nel campo della sicurezza informatica. Oggi

                  Add to Reading List

                  Source URL: www.clusit.it

                  Language: Italian - Date: 2013-11-28 05:57:56
                    830ESCUELA DE INFORMÁTICA DEL EJÉRCITO WORD 2010 – NIVEL I OBJETIVOS Obtener los conocimientos sobre:

                    ESCUELA DE INFORMÁTICA DEL EJÉRCITO WORD 2010 – NIVEL I OBJETIVOS Obtener los conocimientos sobre:

                    Add to Reading List

                    Source URL: www.iue.edu.ar

                    Language: Spanish - Date: 2015-08-03 10:14:40