A televisión da UVigo en Internet

Verifying the Four Colour Theorem 28 de dec. de 2005

Visto 4654 veces

Verifying the Four Colour Theorem

i18n.one.Series: Academic Days 2005 - Lisboa

Georges Gonthier

Materiais

Presentación

Ocultar

URL:
IFRAME:

Vídeos da mesma serie

thumbnailimg

Introduction and Welcome

28 de dec. de 2005

thumbnailimg

Introduction and Welcome

28 de dec. de 2005

thumbnailimg

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

28 de dec. de 2005

thumbnailimg

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

28 de dec. de 2005

thumbnailimg

Executable Specifications: From Foundations to Microsoft Tools

28 de dec. de 2005

thumbnailimg

Trends in Database Development: XML, .NET, WinFS

28 de dec. de 2005

thumbnailimg

Verifying the Four Colour Theorem

28 de dec. de 2005

thumbnailimg

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

28 de dec. de 2005

thumbnailimg

P2P File Swarming

28 de dec. de 2005

thumbnailimg

Intermediate Language Assembler Today and Tomorrow

28 de dec. de 2005

thumbnailimg

An Introduction to Device Driver Development

28 de dec. de 2005

thumbnailimg

Extending Rotor with Structural Reflection to support Reflective Languages

28 de dec. de 2005

thumbnailimg

Golem Project. Software as art

28 de dec. de 2005

thumbnailimg

Round Table Bologna Treaty

28 de dec. de 2005

thumbnailimg

An experience on teaching Software Engineer with a Software Factory

28 de dec. de 2005

thumbnailimg

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

28 de dec. de 2005

thumbnailimg

A Very Successful Case of Integrating University, Companies and Society

28 de dec. de 2005

thumbnailimg

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

28 de dec. de 2005

thumbnailimg

28 de dec. de 2005

Powered by PuMuKIT 3.5.6