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 Query: FORMAL LANGUAGES Document Type: Sin Especificar Language: Inglés Year: 2000

Sort by Score Title Year -

1-9 from 9 results (0.012 seconds)

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: 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: Towards a programming language based on Prior's metric temporal operators
Author: Cobo, María Laura / Augusto, Juan Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Database (persistent) programming languages / Real time

Acceder
Title: Formalizing relations between use cases in the unified modeling language
Author: Giandini, Roxana Silvia / Pons, Claudia / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Semantics / graphical modeling languages / use cases

Acceder
Title: Computational implementation of indices of power
Author: Aguirre, Jesús Francisco / Oviedo, Jorge Amado / Quintas, Luis Guillermo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Scripting languages / Client/server / multi platform / cooperative games theory / computational implementation

Acceder
Title: Nothing is written : The impact of modern international law on the revivalist/reformist debate of the Shari'ah
Author: Khan, Hamid M.
Language: Inglés
Repository: 37
Subject: Ciencias Jurídicas / Relaciones Internacionales

AccederAcceder
Title: Nested parallelism in parallels paradigms
Author: Piccoli, María Fabiana / Printista, Alicia Marcela / Gonzalez, Jesús Alberto / León, Coromoto / Roda García, José Luis / Rodriguez, C. / Sande, Francisco de
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Parallel processing / Distributed / Parallel / Nested parallelism / parallels paradigms

Acceder
Title: Could negotiation among agents be regarded as an argumentative process?
Author: Stankevicius, Alejandro G. / García, Alejandro Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Intelligent agents / argumentative process / negotiation among agents

Acceder
Title: The role of argument comparison in dialectical argumentation
Author: Martínez, Diego C. / García, Alejandro Javier / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / dialectical argumentation / role of argument / ARTIFICIAL INTELLIGENCE

Acceder

« Previous 1 Next »