Resultados 1 - 10 de 79 para Búsqueda General
Refinado por:
Título de revista:
Acta Informatica
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artículo
|
|
Instruction sequence processing operatorsBergstra, J. A. ; Middelburg, C. A.Acta informatica, 2012-05, Vol.49 (3), p.139-172 [Revista revisada por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponible |
| 2 |
Material Type: Artículo
|
|
Fundamentals of control flow in workflowsKIEPUSZEWSKI, B ; TER HOFSTEDE, A. H. M ; VAN DER AALST, W. M. PActa informatica, 2003-03, Vol.39 (3), p.143-209 [Revista revisada por pares]Berlin: SpringerTexto completo disponible |
| 3 |
Material Type: Artículo
|
|
Networks of evolutionary processorsCASTELLANOS, Juan ; MARTIN-VIDE, Carlos ; MITRANA, Victor ; SEMPERE, José MActa informatica, 2003-06, Vol.39 (6-7), p.517-529 [Revista revisada por pares]Berlin: SpringerTexto completo disponible |
| 4 |
Material Type: Artículo
|
|
Canonical prefixes of Petri net unfoldingsKHOMENKO, Victor ; KOUTNY, Maciej ; VOGLER, WalterActa informatica, 2003-10, Vol.40 (2), p.95-118 [Revista revisada por pares]Berlin: SpringerTexto completo disponible |
| 5 |
Material Type: Artículo
|
|
Trading polarizations for labels in P systems with active membranesALHAZOV, Artiom ; LINQIANG PAN ; PAUN, GheorgheActa informatica, 2004-12, Vol.41 (2-3), p.111-144 [Revista revisada por pares]Berlin: SpringerTexto completo disponible |
| 6 |
Material Type: Artículo
|
|
Small universal accepting hybrid networks of evolutionary processorsLoos, Remco ; Manea, Florin ; Mitrana, VictorActa informatica, 2010-03, Vol.47 (2), p.133-146 [Revista revisada por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponible |
| 7 |
Material Type: Artículo
|
|
Merged processes : a new condensed representation of Petri net behaviourKHOMENKO, Victor ; KONDRATYEV, Alex ; KOUTNY, Maciej ; VOGLER, WalterActa informatica, 2006-12, Vol.43 (5), p.307-330 [Revista revisada por pares]Berlin: SpringerTexto completo disponible |
| 8 |
Material Type: Artículo
|
|
On the undecidability and descriptional complexity of synchronized regular expressionsXie, Jingnan ; Hunt, Harry B.Acta informatica, 2023-09, Vol.60 (3), p.257-278 [Revista revisada por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 9 |
Material Type: Artículo
|
|
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programsDolev, Shlomi ; Li, YinActa informatica, 2023-03, Vol.60 (1), p.59-78 [Revista revisada por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponible |
| 10 |
Material Type: Artículo
|
|
Reachability results for timed automata with unbounded data structuresLanotte, Ruggero ; Maggiolo-Schettini, Andrea ; Troina, AngeloActa informatica, 2010-09, Vol.47 (5-6), p.279-311 [Revista revisada por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponible |
Resultados 1 - 10 de 79 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Refinar mis resultados
Materia
- Computer Science (74)
- Computer Science, Information Systems (74)
- Science & Technology (74)
- Technology (74)
- Automata. Abstract Machines. Turing Machines (72)
- Theoretical Computing (72)
- Applied Sciences (72)
- Exact Sciences And Technology (72)
- Computer Science; Control Theory; Systems (72)
- Algorithmics. Computability. Computer Arithmetics (27)
- Language Theory And Syntactical Analysis (17)
- Studies (15)
- Mathematics (14)
- Sciences And Techniques Of General Use (14)
- Software (11)
- Original Article (10)
- Information Systems And Communication Service (10)
- Logics And Meanings Of Programs (10)
- Computer Systems Organization And Communication Networks (10)
- Data Structures And Information Theory (10)
-
Más opciones
Fecha de Publicación
- Antes de1988 (8)
- 1988Hasta1992 (8)
- 1993Hasta1999 (22)
- 2000Hasta2005 (26)
- Después de 2005 (16)
-
Más opciones
Base de Datos/Biblioteca
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 