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

Repository: 37 Subject: Languages Language: Inglés

Sort by Score Title Year -

1-10 from 31 results (0.012 seconds)

Title: The golog programming language and agency
Author: Gómez, Sergio Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / ARTIFICIAL INTELLIGENCE / Golog Programming Language / Agency

Acceder
Title: Formal foundations for the unified modeling language
Author: Funes, Ana / Dasso, Aristides / Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal foundations / unified modeling language / Languages / SOFTWARE ENGINEERING

Acceder
Title: Metamodeling or profiling: a practical case in the web engineering domain
Author: Navarro, Antonio / Cortés, Humberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Model Development / Languages

Acceder
Title: Using business process reengineering to obtain a RAISE specification
Author: Riesco, Daniel Eduardo / Uzal, Roberto / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal method / Languages / Reengineering

AccederDescargar
Title: A language for modeling the morphogenesis process of biological system using MAS
Author: Angelini, José O. / Martínez, Ernesto / Ramírez, Carlos H. / Gutiérrez, Milagros
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Modeling / Languages / Simulation / morphogenesis

AccederDescargar
Title: An e-learning application based on the semantic web technology
Author: Gradinarova, Boyka / Gradinarova, Milena / Zhelezov, Ognjan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / Semantics / Languages / e-learning / Java Web Services

Acceder
Title: From boxes to worlds
Author: Hirsch, Dan Francisco / Areces, Carlos Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Design / Graphic Languages / Modal Logics / Formal Verification / Languages / Software

Acceder
Title: Engineering modular web-based education systems to support EML units of learning
Author: Caeiro Rodríguez, Manuel / Anido Rifón, Luis / Lamas Nistal, Martín
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Modeling / Languages

Acceder
Title: Temporal validation of extended workflow processes by means Petri Nets with Clocks
Author: Riesco, Daniel Eduardo / Vilallonga, Gabriel Domingo / Montejano, Germán Antonio / Uzal, Roberto / Welch, Daniel / Gallina, Sergio Hilario
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Workflow management / Business / Petri nets / Languages

Acceder
Title: Combining a causal language with argumentation: a first approach
Author: Cobo, María Laura / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / Knowledge Representation Formalisms and Methods / argumentative systems / defeasible reasoning

Acceder

« Previous 1 2 3 4 Next »