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: 37

Sort by Score Title Year -

11-20 from 254 results (0.017 seconds)

Title: Analysis of suitable languages to teach Procedural Programming at the Universidad Nacional del Noroeste de la provincia de Buenos Aires
Author: Osella Massa, Germán Leandro / Russo, Claudia Cecilia / Sarobe, Mónica / Pompei, Sabrina
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de Programación / Metodologias Computacionales / Enseñanza

AccederDescargar
Title: ECOLE: a pedagogical environment for non procedural languages
Author: Zegour, D. E. / Hidouci, W. K.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Frames and scripts

AccederDescargar
Title: Type specialisation of polymorphic languages
Author: Martínez López, Pablo E.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de programación / Informática / Aplicación informática / especialización principal de tipos / especialización de tipos / especialización de programas / producción automática de programas / programas polimórficos

AccederDescargar
Title: Enhancing the adoption of formal methods to design real-time systems
Author: Felder, Miguel / Pieniazek, Fabio Javier / Braberman, Victor Adrian
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Real time / Petri nets / Design Notations / Formal Design / Real-Time Systems / POSIX

Acceder
Title: A formal model for some behavioural features of analysis patterns
Author: Buccella, Agustina / Cechich, Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Pattern analysis / Formal methods

Acceder
Title: Formal analysis of the communication of probabilistic knowledge
Author: Vicari, Rosa / Seixas, Louise / Flores, Cecília / Gluz, João Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Formal models / Probabilistic computation / Communications Management

Acceder
Title: Integrating object-oriented modeling techniques with formal specification techniques
Author: Pons, Claudia / Baum, Gabriel Alfredo / Felder, Miguel / Kutsche, Ralf-Detlef / Busse, Susanne
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Formal Specification Techniques / Object-Oriented Modeling Techniques / Modeling techniques / Specification techniques

Acceder
Title: Properties for a formal model of collaborative dialogue
Author: Marcos, Julieta / Falappa, Marcelo Alejandro / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Multiagent systems / Formal models

Acceder
Title: Governance and its complexities: insights from formal and informal urban governance approaches in Kayapura, Papua, Indonesia
Author: Jones, Paul / Suhartini, Ninik
Language: Inglés
Repository: 37
Subject: Arquitectura / Urbanismo / gobierno urbano / Indonesia

Acceder
Title: A Formal Structure of Separation of Duty and Trust in Modelling Delegation Policy
Author: Ogundele, Oloruntoba Samuel / Adewale, O. S. / Alese, B. K. / Falaki, S. O.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Seguridad Computacional

AccederDescargar

« Previous 1 2 3 4 5 6 7 8 9 Next »