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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (136)

Show More Show Less

Author

Simari, Guillermo Ricardo (18)
Chesñevar, Carlos Iván (10)
García, Alejandro Javier (10)
Fillottrani, Pablo Rubén (7)
Pons, Claudia (7)
Martínez, Diego C. (6)
Montejano, Germán Antonio (6)
Riesco, Daniel Eduardo (6)
Cobo, María Laura (5)
Uzal, Roberto (5)

Show More Show Less

Subject

Ciencias Informáticas (133)
Languages (29)
SOFTWARE ENGINEERING (28)
ARTIFICIAL INTELLIGENCE (17)
Informática (12)
base de datos (11)
Multiagent systems (10)
Semantics (8)
Software (8)
Educación (7)

Show More Show Less

Year

2012 (136)
2006 (35)
2002 (16)
1999 (9)
1998 (8)
2000 (8)
2005 (8)
1997 (7)
2001 (7)
2004 (7)

Show More Show Less

Document Type

Sin Especificar (130)
Artículo (6)

Show More Show Less

Language

Inglés (136)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Language: Inglés Year: 2012 Repository: 37

Sort by Score Title Year -

1-10 from 136 results (0.015 seconds)

Title: Simulators for teaching formal languages and automata theory: a comparative survey
Author: Chesñevar, Carlos Iván / Cobo, María Laura
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educational Software / Automata Theory / Formal Languages / tecnología / educación / Education

Acceder
Title: Fast cellular automata with restricted inter-cell communication: computational capacity
Author: Kutrib, Martin / Malcher, Andreas
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Unbounded-action devices (e.g., cellular automata, circuits, networks of machines) / Arrays / Formal Languages / Parallel Architectures

Acceder
Title: Moodelling of processes and formal methods
Author: Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / Formal methods / Languages / Reengineering of processes / Reverse engineering / RAISE language

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: A runnable functional formal memetic algorithm framework
Author: Krasnogor, Natalio / Mocciola, Pablo Andrés / Pelta, David Alejandro / Ruiz, Germán Esteban / Russo, Wanda Mariana
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Functional Programming / Memetic Algorithm / Combinatorial Optimization / Optimization / Algorithms / Frameworks

Acceder
Title: Building domain specific languages upon the dbject constraint language (DCl)
Author: Domínguez Iglesias, Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Specific languages / Visual / Object Constraint language (DCl) / COMPUTER GRAPHICS / Languages

Acceder
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

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

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723