Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. ProceedingsRestivo, Antonio ; Ronchi Della Rocca, Simona ; Roversi, LucaBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Stacs 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, ProceedingsDiekert, Volker ; Habib, Michel Diekert, Volker ; Habib, MichelBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
LATIN 2004: Theoretical Informatics: 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004. ProceedingsFarach-Colton, Martín Farach-Colton, MartínBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Trois approches de planification de vue automatiques et intelligentes pour la numérisation 3D d'objets inconnus: Jeunes chercheurs en vision par ordinateurKHALFAOUI, Souhaiel ; SEULIN, Ralph ; FOUGEROLLE, Yohan ; FOFI, DavidTraitement du signal, 2014, Vol.31 (1-2), p.245-269 [Periódico revisado por pares]Cachan: LavoisierTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Analyse intégrée des réseaux sociaux pour la détection et la visualisation de communautésCRUZ, Juan David ; BOTHOREL, Cécile ; POULET, FrançoisTechnique et science informatiques: TSI, 2014, Vol.33 (4), p.399-427 [Periódico revisado por pares]Paris: LavoisierTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Construction et manipulation de collections topologiques pour les représentations musicales: Informatique ùusicaleBIGO, Louis ; SPICHER, AntoineTechnique et science informatiques: TSI, 2014, Vol.33 (7-8), p.627-650 [Periódico revisado por pares]Paris: LavoisierTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Processus de développement de système fondé sur l'alignement de modèles: La recherche en systèmes d'information : Frontières, thèmes et enjeuxSIMONIN, Jacques ; BEUGNARD, Antoine ; NEDELEC, RémiIngénierie des systèmes d'Information, 2012, Vol.17 (3), p.119-142Paris: LavoisierTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Un outil de construction de spécifications abstraites Event-B dirigée par les buts: Développements des SI à base de modèles. Exigence, traçabilité et co-conceptionMATOUSSI, Abderrahman ; LALEAU, RégineIngénierie des systèmes d'Information, 2011, Vol.16 (5), p.143-166Paris: LavoisierTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Réparation de modèles par transformations idempotentes: Développements des SI à base de modèles. Exigence, traçabilité et co-conceptionNEMO, Clémentine ; BLAY-FORNARINO, Mireille ; MONTAGNAT, Johan ; RIVEILL, MichelIngénierie des systèmes d'Information, 2011, Vol.16 (5), p.73-108Paris: LavoisierTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
GRAPHES DE TERRAINLATAPY, MatthieuTechnique et science informatiques: TSI, 2011, Vol.30 (2) [Periódico revisado por pares]Paris: LavoisierTexto completo disponível |