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 Document Type: Sin Especificar Year: 2012 Language: Inglés

Sort by Score Title Year -

201-210 from 1101 results (0.035 seconds)

Title: Asynchonous distributed components: concurrency and determinacy
Author: Caromel, Denis / Henrio, Ludovic
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ASP (Asynchronous Sequential Processes) / Distributed applications

Acceder
Title: Decidable properties for regular cellular automata
Author: Di Lena, Pietro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Unbounded-action devices (e.g., cellular automata, circuits, networks of machines)

Acceder
Title: Symbolic determinisation of extended automata
Author: Jéron, Thierry / Marchand, Hervé / Rusu, Vlad
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / determinisation / symbolic automata

Acceder
Title: Regular hedge model checking
Author: D'Orso, Julien / Touili, Tayssir
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Frameworks / Mutual exclusion / Trees

Acceder
Title: Completing categorical algebras : Extended abstract
Author: Bloom, Stephen L. / Esik, Zoltán
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / categorical algebras

Acceder
Title: Reusing optimal TSP solutions for locally modified input instances : Extended abstract
Author: Hromkovič, Juraj / Böckenhauer, Hans-Joachim / Forlizzi, Luca / Kneis, Joachim / Kupke, Joachim / Proietti, Guido / Widmayer, Peter
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Optimization

Acceder
Title: Spectral partitioning of random graphs with given expected degrees
Author: Goerdt, Andreas / Coja-Oghlan, Amin / Lanka, André
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / random graph / spectral techniques

Acceder
Title: A connectivity rating for vertices in networks
Author: Abraham, Marco / Krumnack, Antje / Wanke, Egon / Kötter, Rolf
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Neural nets / Graphs and networks

Acceder
Title: On PTAS for planar graph problems
Author: Huang, Xiuzhen / Chen, Jianer
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Graph algorithms / vertex / polynomial time approximation schemes (PTAS)

Acceder
Title: IFIP TC8 information systems : Conception, birth and early years
Author: Olle, T. William
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / organización no gubernamental

Acceder

« Previous 17 18 19 20 21 22 23 24 25 Next »