:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Gerardo M. Sarria M.
Format:	Artículo científico
Language:	en
Published:	Universidad del Valle 2013
Subjects:	Ingeniería formalization musical applications Computational calculi
Online Access:	https://www.redalyc.org/articulo.oa?id=291329166009
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On decidability properties of two fragments of the asynchronous π-calculus
by: Jesús A. Aranda B.
Published: (2013)

Flexible ureterorenoscopy: State of the art and practical guide of tips and tricks
by: David Álvarez Villaraga
Published: (2016)

El profesorado de educación musical durante el franquismo
by: Mª del Rosario CASTAÑÓN RODRÍGUEZ
Published: (2009)

Suppurative minor salivary gland sialolithiasis
by: Camila de Oliveira Barbeiro
Published: (2022)

Intra-oral surgical access for the treatment of bilateral submandibular sialolithiasis: case report
by: Ricardo Martins
Published: (2012)

More efficient proof-search for sequents of temporal logic
by: Romas Alonderis
Published: (2022)

Bulletin of the Section of Logic
Published: (2020)

A Distinctive Voice in the Antipodes
Published: (2017)

Prospective analysis in the music industry under the artistic context in music project management
by: Denis Manuel Roa-García
Published: (2023)

La especificación formal en contexto: actual y futuro
by: Edgar Serna M.
Published: (2014)

Views on Early Music as Representation
Published: (2022)

An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method
by: C. A. Fernández-Fernández
Published: (2014)

Etudes on the Philosophy of Music
by: Rimas, Juozas, et al.
Published: (2024)

Effects of musical genre and modes on emotional induction and relationship to musical sophistication.
by: Amaro, Renato
Published: (2025)

Evaluation of an Automated Testing Framework: A Case Study
by: Abel Méndez-Porras
Published: (2020)

Synthesis and potential application of polygalacturonase from a Penicillium brasilianum isolate
by: Jamile Zeni
Published: (2020)

Proposta metodológica para o ensino das danças populares na Escola do Teatro Bolshoi No Brasil
by: Marco Aurelio da Cruz Souza
Published: (2020)

A framework for web applications using an Agile and Collaborative Model Driven Development (AC-MDD)
by: Breno Lisi Romano
Published: (2019)

Impacto de la educación musical para la competencia social en Educación Infantil
by: Ángeles Bermell Corral
Published: (2016)

Health management and user protection: an analysis of gamification elements in applications for pregnant women
by: Washington Sales do Monte
Published: (2021)

ESTUDIO ESTADÍSTICO DEL NÚMERO DE REGLAS RESULTANTES AL TRANSFORMAR UNA GRAMÁTICA LIBRE DE CONTEXTO A LA FORMA NORMAL DE CHOMSKY
by: Fredy Ángel Miguel Amaya Robayo
Published: (2010)

Engineering applications of chemically-bonded phosphate ceramics
by: Carlos Andrés Cárdenas-Balaguera
Published: (2019)

Classical Music Futures
Published: (2024)

UAREI: A model for formal description and visual representation /software gamification
by: Darius Ašeriškis
Published: (2017)

A framework for the consensus decision-making based on arguments and common knowledge formation
by: Ayslan Trevizan Possebom
Published: (2019)

Werkverzeichnis Anton Bruckner, Band 2 : WAB 96 bis WAB add 334
by: Klugseder, Robert, et al.
Published: (2024)

Werkverzeichnis Anton Bruckner, Band 1 : WAB 1 bis WAB 95
by: Klugseder, Robert, et al.
Published: (2024)

New uses of music: An analysis based on indie music in Buenos Aires
by: Ornela Boix
Published: (2019)

Mobile application for reporting information on the illicit crops’ eradication process
by: Saul J Guerrero Córdoba
Published: (2023)

WEB APPLICATION SECURITY ANALYSIS USING THE KALI LINUX OPERATING SYSTEM
by: Ivan M. Babincev
Published: (2016)

Biodegradable polymer nanocomposites applied to technical textiles: a review
by: Carolina Caicedo
Published: (2019)

MEII: Sistema interactivo para promover la construcción expresiva musical en niños de 4 a 8 años
by: Juan Carlos Pérez
Published: (2011)

In-Silico study of microwave ablation applicators of different size for breast cancer treatment
by: José Irving Hernández-Jácquez
Published: (2020)

EDUCAÇÃO NÃO-FORMAL E COMUNIDADE TERAPÊUTICA PARA DEPENDENTES QUÍMICOS: ARTICULAÇÃO DE PROCESSOS EDUCATIVOS EM PRÁTICAS SOCIAIS
by: M. C. LUIZ
Published: (2015)

HyRPNI Algorithm and an Application to Bioinformatics
by: Gloria Inés Alvarez V
Published: (2011)

A Model for Documenting Requirements Elicitation
by: Edgar Serna M.
Published: (2023)

ENTERPRISE MASHUPS: A NEW APPROACH FOR BUSINESS SOLUTIONS
by: Mario Paredes-Valverde
Published: (2012)

Architectural patterns regarding web application domain usability
by: José Luis Arciniegas Herrera
Published: (2010)

Evaluating interactive digital television applications through usability heuristics
by: Andrés Solano
Published: (2013)

A fast method to seek the mean and variance of the summation of lognormal variables
by: Juan Guillermo Torres Hurtado
Published: (2022)