SlideShare una empresa de Scribd logo

Workshop LaTeX

•
•
Ulisses Costa
Ulisses Costa

Workshop sobre LaTeX dada pelo Centro de Apoio Open Source na Universidade do Minho, Departamento de Informática.

Tecnología
1 de 114
Descargar para leer sin conexión
Workshop de LTEX A Nuno Veloso Ulisses Costa caos.di.uminho.pt 7 de Novembro de 2007 Nuno Veloso, Ulisses Costa A E Workshop de L T X
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX
Workshop LaTeX

Recomendados

Topologia de rede juliana claudia
Topologia de rede juliana claudiaTopologia de rede juliana claudia
Topologia de rede juliana claudiajuclau
 
Gravidez Da Amizade
Gravidez Da AmizadeGravidez Da Amizade
Gravidez Da AmizadeRosa Silva
 
Organización de centro
Organización de centroOrganización de centro
Organización de centroOlivovy
 
Translator's cafe
Translator's cafeTranslator's cafe
Translator's cafeGisela Abad UE Valencia
 
Apresentação hootsuite gestão de twitter coorporativo
Apresentação hootsuite gestão de twitter coorporativoApresentação hootsuite gestão de twitter coorporativo
Apresentação hootsuite gestão de twitter coorporativoVal Reis
 
Plano De PatrocíNio Henrique Jacob
Plano De PatrocíNio Henrique JacobPlano De PatrocíNio Henrique Jacob
Plano De PatrocíNio Henrique Jacobguesta41128
 
Maestria baloncesto mejorado(2)
Maestria baloncesto mejorado(2)Maestria baloncesto mejorado(2)
Maestria baloncesto mejorado(2)Diego Jiménez
 
“LaTeX” por Manuel Rocha
“LaTeX” por Manuel Rocha“LaTeX” por Manuel Rocha
“LaTeX” por Manuel RochaNúcleo de Electrónica e Informática da Universidade do Algarve
 

Recomendados

Topologia de rede juliana claudia
Topologia de rede juliana claudiaTopologia de rede juliana claudia
Topologia de rede juliana claudiajuclau
 
Gravidez Da Amizade
Gravidez Da AmizadeGravidez Da Amizade
Gravidez Da AmizadeRosa Silva
 
Organización de centro
Organización de centroOrganización de centro
Organización de centroOlivovy
 
Translator's cafe
Translator's cafeTranslator's cafe
Translator's cafeGisela Abad UE Valencia
 
Apresentação hootsuite gestão de twitter coorporativo
Apresentação hootsuite gestão de twitter coorporativoApresentação hootsuite gestão de twitter coorporativo
Apresentação hootsuite gestão de twitter coorporativoVal Reis
 
Plano De PatrocíNio Henrique Jacob
Plano De PatrocíNio Henrique JacobPlano De PatrocíNio Henrique Jacob
Plano De PatrocíNio Henrique Jacobguesta41128
 
Maestria baloncesto mejorado(2)
Maestria baloncesto mejorado(2)Maestria baloncesto mejorado(2)
Maestria baloncesto mejorado(2)Diego Jiménez
 
“LaTeX” por Manuel Rocha
“LaTeX” por Manuel Rocha“LaTeX” por Manuel Rocha
“LaTeX” por Manuel RochaNúcleo de Electrónica e Informática da Universidade do Algarve
 
Automatic Test Generation for Space
Automatic Test Generation for SpaceAutomatic Test Generation for Space
Automatic Test Generation for SpaceUlisses Costa
 
Automatic Test Generation for Space
Automatic Test Generation for SpaceAutomatic Test Generation for Space
Automatic Test Generation for SpaceUlisses Costa
 
Static Code Analyzer - Part IV
Static Code Analyzer - Part IVStatic Code Analyzer - Part IV
Static Code Analyzer - Part IVUlisses Costa
 
Specifying and Implementing SNOW3G with Cryptol
Specifying and Implementing SNOW3G with CryptolSpecifying and Implementing SNOW3G with Cryptol
Specifying and Implementing SNOW3G with CryptolUlisses Costa
 
Static Code Analyzer - Part III
Static Code Analyzer - Part IIIStatic Code Analyzer - Part III
Static Code Analyzer - Part IIIUlisses Costa
 
Static Code Analyzer - Part II
Static Code Analyzer - Part IIStatic Code Analyzer - Part II
Static Code Analyzer - Part IIUlisses Costa
 
Static Code Analyzer - Part I
Static Code Analyzer - Part IStatic Code Analyzer - Part I
Static Code Analyzer - Part IUlisses Costa
 
logCesium01
logCesium01logCesium01
logCesium01Ulisses Costa
 
Cesium Log ed2
Cesium Log ed2Cesium Log ed2
Cesium Log ed2Ulisses Costa
 
GD::Graph - Graph Plotting Module
GD::Graph - Graph Plotting ModuleGD::Graph - Graph Plotting Module
GD::Graph - Graph Plotting ModuleUlisses Costa
 
Captura de Informação em Rede
Captura de Informação em RedeCaptura de Informação em Rede
Captura de Informação em RedeUlisses Costa
 
Cryptol experience
Cryptol experienceCryptol experience
Cryptol experienceUlisses Costa
 
Correct sorting with Frama-C
Correct sorting with Frama-CCorrect sorting with Frama-C
Correct sorting with Frama-CUlisses Costa
 
The Cryptol Epilogue: Swift and Bulletproof VHDL
The Cryptol Epilogue: Swift and Bulletproof VHDLThe Cryptol Epilogue: Swift and Bulletproof VHDL
The Cryptol Epilogue: Swift and Bulletproof VHDLUlisses Costa
 
Splint the C code static checker
Splint the C code static checkerSplint the C code static checker
Splint the C code static checkerUlisses Costa
 
Exploring the Cryptol Toolset
Exploring the Cryptol ToolsetExploring the Cryptol Toolset
Exploring the Cryptol ToolsetUlisses Costa
 
Specification of SNOW 3G in Cryptol
Specification of SNOW 3G in CryptolSpecification of SNOW 3G in Cryptol
Specification of SNOW 3G in CryptolUlisses Costa
 
Snort - capturar e dissecar o tráfego da rede
Snort - capturar e dissecar o tráfego da redeSnort - capturar e dissecar o tráfego da rede
Snort - capturar e dissecar o tráfego da redeUlisses Costa
 
LDAP em VDM++
LDAP em VDM++LDAP em VDM++
LDAP em VDM++Ulisses Costa
 
Uso de Honeypots com Honeyd
Uso de Honeypots com HoneydUso de Honeypots com Honeyd
Uso de Honeypots com HoneydUlisses Costa
 

Más contenido relacionado

Más de Ulisses Costa

Automatic Test Generation for Space
Automatic Test Generation for SpaceAutomatic Test Generation for Space
Automatic Test Generation for SpaceUlisses Costa
 
Automatic Test Generation for Space
Automatic Test Generation for SpaceAutomatic Test Generation for Space
Automatic Test Generation for SpaceUlisses Costa
 
Static Code Analyzer - Part IV
Static Code Analyzer - Part IVStatic Code Analyzer - Part IV
Static Code Analyzer - Part IVUlisses Costa
 
Specifying and Implementing SNOW3G with Cryptol
Specifying and Implementing SNOW3G with CryptolSpecifying and Implementing SNOW3G with Cryptol
Specifying and Implementing SNOW3G with CryptolUlisses Costa
 
Static Code Analyzer - Part III
Static Code Analyzer - Part IIIStatic Code Analyzer - Part III
Static Code Analyzer - Part IIIUlisses Costa
 
Static Code Analyzer - Part II
Static Code Analyzer - Part IIStatic Code Analyzer - Part II
Static Code Analyzer - Part IIUlisses Costa
 
Static Code Analyzer - Part I
Static Code Analyzer - Part IStatic Code Analyzer - Part I
Static Code Analyzer - Part IUlisses Costa
 
GD::Graph - Graph Plotting Module
GD::Graph - Graph Plotting ModuleGD::Graph - Graph Plotting Module
GD::Graph - Graph Plotting ModuleUlisses Costa
 
Captura de Informação em Rede
Captura de Informação em RedeCaptura de Informação em Rede
Captura de Informação em RedeUlisses Costa
 
Correct sorting with Frama-C
Correct sorting with Frama-CCorrect sorting with Frama-C
Correct sorting with Frama-CUlisses Costa
 
The Cryptol Epilogue: Swift and Bulletproof VHDL
The Cryptol Epilogue: Swift and Bulletproof VHDLThe Cryptol Epilogue: Swift and Bulletproof VHDL
The Cryptol Epilogue: Swift and Bulletproof VHDLUlisses Costa
 
Splint the C code static checker
Splint the C code static checkerSplint the C code static checker
Splint the C code static checkerUlisses Costa
 
Exploring the Cryptol Toolset
Exploring the Cryptol ToolsetExploring the Cryptol Toolset
Exploring the Cryptol ToolsetUlisses Costa
 
Specification of SNOW 3G in Cryptol
Specification of SNOW 3G in CryptolSpecification of SNOW 3G in Cryptol
Specification of SNOW 3G in CryptolUlisses Costa
 
Snort - capturar e dissecar o tráfego da rede
Snort - capturar e dissecar o tráfego da redeSnort - capturar e dissecar o tráfego da rede
Snort - capturar e dissecar o tráfego da redeUlisses Costa
 
Uso de Honeypots com Honeyd
Uso de Honeypots com HoneydUso de Honeypots com Honeyd
Uso de Honeypots com HoneydUlisses Costa
 

Más de Ulisses Costa (20)

Automatic Test Generation for Space
Automatic Test Generation for SpaceAutomatic Test Generation for Space
Automatic Test Generation for Space
 
Automatic Test Generation for Space
Automatic Test Generation for SpaceAutomatic Test Generation for Space
Automatic Test Generation for Space
 
Static Code Analyzer - Part IV
Static Code Analyzer - Part IVStatic Code Analyzer - Part IV
Static Code Analyzer - Part IV
 
Specifying and Implementing SNOW3G with Cryptol
Specifying and Implementing SNOW3G with CryptolSpecifying and Implementing SNOW3G with Cryptol
Specifying and Implementing SNOW3G with Cryptol
 
Static Code Analyzer - Part III
Static Code Analyzer - Part IIIStatic Code Analyzer - Part III
Static Code Analyzer - Part III
 
Static Code Analyzer - Part II
Static Code Analyzer - Part IIStatic Code Analyzer - Part II
Static Code Analyzer - Part II
 
Static Code Analyzer - Part I
Static Code Analyzer - Part IStatic Code Analyzer - Part I
Static Code Analyzer - Part I
 
logCesium01
logCesium01logCesium01
logCesium01
 
Cesium Log ed2
Cesium Log ed2Cesium Log ed2
Cesium Log ed2
 
GD::Graph - Graph Plotting Module
GD::Graph - Graph Plotting ModuleGD::Graph - Graph Plotting Module
GD::Graph - Graph Plotting Module
 
Captura de Informação em Rede
Captura de Informação em RedeCaptura de Informação em Rede
Captura de Informação em Rede
 
Cryptol experience
Cryptol experienceCryptol experience
Cryptol experience
 
Correct sorting with Frama-C
Correct sorting with Frama-CCorrect sorting with Frama-C
Correct sorting with Frama-C
 
The Cryptol Epilogue: Swift and Bulletproof VHDL
The Cryptol Epilogue: Swift and Bulletproof VHDLThe Cryptol Epilogue: Swift and Bulletproof VHDL
The Cryptol Epilogue: Swift and Bulletproof VHDL
 
Splint the C code static checker
Splint the C code static checkerSplint the C code static checker
Splint the C code static checker
 
Exploring the Cryptol Toolset
Exploring the Cryptol ToolsetExploring the Cryptol Toolset
Exploring the Cryptol Toolset
 
Specification of SNOW 3G in Cryptol
Specification of SNOW 3G in CryptolSpecification of SNOW 3G in Cryptol
Specification of SNOW 3G in Cryptol
 
Snort - capturar e dissecar o tráfego da rede
Snort - capturar e dissecar o tráfego da redeSnort - capturar e dissecar o tráfego da rede
Snort - capturar e dissecar o tráfego da rede
 
LDAP em VDM++
LDAP em VDM++LDAP em VDM++
LDAP em VDM++
 
Uso de Honeypots com Honeyd
Uso de Honeypots com HoneydUso de Honeypots com Honeyd
Uso de Honeypots com Honeyd
 

Workshop LaTeX

  • 1. Workshop de LTEX A Nuno Veloso Ulisses Costa caos.di.uminho.pt 7 de Novembro de 2007 Nuno Veloso, Ulisses Costa A E Workshop de L T X