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 Language: Inglés Repository: 34 Year: 2017

Sort by Score Title Year -

1-3 from 3 results (0.012 seconds)

Title: Generalized Bell states map physical systems' quantum evolution into a grammar for quantum information processing
Language: Inglés
Repository: 34
Subject: Integrated circuits / Quantum optics / Classical information processing / Natural languages / Processing operations / Quantum evolution / Quantum Information / Quantum-information processing / Spin-spin couplings / Superconducting circuit / Quantum theory / 7 INGENIERÍA Y TECNOLOGÍA

Acceder
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 »