1. INICIO
  2. UVIGOTVPRE
  3. ACADEMIC DAYS 2005 - LISBOA
  4. VERIFYING THE FOUR COLOUR THEOREM
Conferencia Matemáticas Ciencia dos ordenadores Bancos de datos Ciencias tecnolóxicas Tecnoloxía dos ordenadores Tecnoloxía electrónica Ciencias económicas Economía do cambio tecnolóxico Innovación tecnolóxica Economía sectorial Investigación e desenvolvemento Pedagoxía Teoría e métodos educativos Medios audiovisuais Métodos pedagóxicos Ciencia política Relacións internacionais Tratados e acordos internacionais Socioloxía Vigo Negocios Enxeñaría Informática Ciencias Xurídico-Sociais Ciencias tecnolóxicas Enx. Telecomunicacións Tecnoloxía Recursos educativos Enx. Informática Matemáticas Ciencias Economía Xurídico-Social Socioloxía, antropoloxía e comunicación Política Educación Humanidades

Verifying the Four Colour Theorem

4653 visualizacións 28 de dec. de 2005
Serie

Presentación
Georges Gonthier

Series: Academic Days 2005 - Lisboa
Introduction and Welcome 2' 21''

Introduction and Welcome

Joao Paulo Girbal -

Phoenix: A Compilation, Optimization and Analysis Tools Framework for Research and Product Development 62' 19''

Phoenix: A Compilation, Optimization and Analysis Tools Framework for Research and Product Development

John Lefor -

Windows Operating Systems Internals Curriculum Development Kit: What should be there? 61' 41''

Windows Operating Systems Internals Curriculum Development Kit: What should be there?

Arkady Retik -

Executable Specifications: From Foundations to Microsoft Tools 57' 59''

Executable Specifications: From Foundations to Microsoft Tools

Yuri Gurevich -

Trends in Database Development: XML, .NET, WinFS 66' 22''

Trends in Database Development: XML, .NET, WinFS

Alexander Vaschillo -

Verifying the Four Colour Theorem 62' 50''

Verifying the Four Colour Theorem

Georges Gonthier -

SSCLI: The Shared Source Common Language Infrastructure for Research and Teaching 65' 46''

SSCLI: The Shared Source Common Language Infrastructure for Research and Teaching

Mark Lewin -

P2P File Swarming 54' 12''

P2P File Swarming

Pablo Rodriguez -

Intermediate Language Assembler Today and Tomorrow 57' 51''

Intermediate Language Assembler Today and Tomorrow

Serge Lidin -

An Introduction to Device Driver Development 72' 21''

An Introduction to Device Driver Development

Claudio Amaya -

Extending Rotor with Structural Reflection to support Reflective Languages 44' 49''

Extending Rotor with Structural Reflection to support Reflective Languages

Francisco Ortín -

Golem Project. Software as art 37' 04''

Golem Project. Software as art

Juan Jose Romero Crusat - Socio fundador de Kdemius

A Digital Inclusion Effort and the Use of Learning Objects with .NET Technology 63' 39''

A Digital Inclusion Effort and the Use of Learning Objects with .NET Technology

Mauro Pequeno -

A Very Successful Case of Integrating University, Companies and Society 61' 50''

A Very Successful Case of Integrating University, Companies and Society

Jorge Luis Nicolas Audy -

How .NET, Project Manager and MSF fits into the Computer Engineer course 61' 31''

How .NET, Project Manager and MSF fits into the Computer Engineer course

Celso Massaki Hirata -

GRIDdotNET 59' 11''

GRIDdotNET

Sergio Takeo Kofuji -

Tamén che poden interesar
Alumnos Uvigo opinan: Grao en Ciencias da Linguaxe e Estudos Literarios 2' 37''

Alumnos Uvigo opinan: Grao en Ciencias da Linguaxe e Estudos Literarios

Universidade de Vigo: aquí todo é posible

En que consiste? Grao en Ciencias da Linguaxe e Estudos Literarios 4' 24''

En que consiste? Grao en Ciencias da Linguaxe e Estudos Literarios

Universidade de Vigo: aquí todo é posible

Alumnos Uvigo opinan: Grao en Linguas Estranxeiras 2' 05''

Alumnos Uvigo opinan: Grao en Linguas Estranxeiras

Universidade de Vigo: aquí todo é posible

Alumnos Uvigo opinan: Grao en Linguas Estranxeiras 2' 28''

Alumnos Uvigo opinan: Grao en Linguas Estranxeiras

Universidade de Vigo: aquí todo é posible

Alumnos Uvigo opinan: Grao en Linguas Extranxeiras 3' 25''

Alumnos Uvigo opinan: Grao en Linguas Extranxeiras

Universidade de Vigo: aquí todo é posible

Laura Rodríguez Fernández -

Concerto Os Carunchos 2' 47''

Concerto Os Carunchos

Tema 3

Alumnos Uvigo opinan: Grao en Linguas Estranxeiras 2' 38''

Alumnos Uvigo opinan: Grao en Linguas Estranxeiras

Universidade de Vigo: aquí todo é posible

Concerto Os Carunchos 4' 12''

Concerto Os Carunchos

Tema 2

En que consiste? Grao en Linguas Estranxeiras 7' 31''

En que consiste? Grao en Linguas Estranxeiras

Universidade de Vigo: aquí todo é posible

Concerto Os Carunchos 4' 57''

Concerto Os Carunchos

Tema 1

Alumnos Uvigo opinan: Grao en Tradución e Interpretación 2' 14''

Alumnos Uvigo opinan: Grao en Tradución e Interpretación

Universidade de Vigo: aquí todo é posible

Adrián Luaces Fernández - Estudante do Grao en Tradución e Interpretación

Concerto Os Carunchos 58''

Concerto Os Carunchos

Presentación

Iván Area - Coordinador xeral do Proxecto Ronsel

Alumnos Uvigo opinan: Grao en Tradución e Interpretación 2' 29''

Alumnos Uvigo opinan: Grao en Tradución e Interpretación

Universidade de Vigo: aquí todo é posible

Carlota Acosta Rodríguez -

Actuación Tanto Nos Ten 2' 53''

Actuación Tanto Nos Ten

Tema 4

Alumnos Uvigo opinan: Grao en Tradución e Interpretación 3' 58''

Alumnos Uvigo opinan: Grao en Tradución e Interpretación

Universidade de Vigo: aquí todo é posible

Mercedes Martín Lorenzo - Estudante do Grao en Tradución e Interpretación

Actuación Tanto Nos Ten 3' 17''

Actuación Tanto Nos Ten

Tema 3

En que consiste? Grao en Tradución e Interpretación 3' 40''

En que consiste? Grao en Tradución e Interpretación

Universidade de Vigo: aquí todo é posible

Actuación Tanto Nos Ten 6' 27''

Actuación Tanto Nos Ten

Tema 2

Alumnos Uvigo opinan: Grao en Enxeñería en Electrónica Industrial e Automática 2' 04''

Alumnos Uvigo opinan: Grao en Enxeñería en Electrónica Industrial e Automática

Universidade de Vigo: aquí todo é posible

MIguel Cortizo Otero -

Actuación Tanto Nos Ten 3' 11''

Actuación Tanto Nos Ten

Tema 1

UVigoTV | Plaza Miralles. Local A3A | Campus Universitario | C.P. 36210 Vigo (Pontevedra) | España Tlf: +34986811937 | tv@uvigo.es
PuMuKIT icon Powered by PuMuKIT 3.8.5-dev