OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Document Type: Sin Especificar Repository: 34 Year: 2017 Language: Inglés

Sort by Score Title Year -

1-2 from 2 results (0.013 seconds)

Title: A Model Checker for the Verification of Browser Based Protocols
Language: Inglés
Repository: 34
Subject: Computación / Model checking / browser based protocols / security protocols / formal methods

AccederAcceder
Title: Electroencephalographic evaluation of acoustic therapies for the treatment of chronic and refractory tinnitus
Author: Alonso-Valerdi, Luz M. / Ibarra-Zarate, David I / Tavira-Sánchez, Francisco J / Ramírez-Mendoza, Ricardo A / Recuero, Manuel
Language: Inglés
Repository: 34
Subject: Tinnitus / Acoustic therapy / Electroencephalography (EEG) / Auditory perception / Neural oscillations / Ciencias de la Salud / Health Sciences

AccederAcceder

« Previous 1 Next »