OPAC

Your search

Repository: 37 Document Type: Sin Especificar Year: 2012 Year: 2006

Sort by Score Title Year -

71-80 from 658 results (0.029 seconds)

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
Title: Information systems as an academic discipline : Looking back, looking forward, and ensuring the future
Author: Davis, Gordon B.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Organizaciones / Tecnología de la Información / IFIP TC8 (Information Systems)

Acceder

« Previous 4 5 6 7 8 9 10 11 12 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search