#abstraction

Art, musique et cinéma

Pollock

Donald Wigal

Littérature

Leçons de philosophie

Pierre Laromiguiere

Art, musique et cinéma

O'Keeffe

Janet Souter

Sciences humaines et sociales

The Heritage Machine

Pablo Alonso Gonzalez

Art, musique et cinéma

Malevitch

Gerry Souter

Littérature

Leçons de philosophie

Pierre Laromiguiere

Sciences humaines et sociales

Revolutionary Learning

Sara Carpenter, Shahrzad Mojab

Art, musique et cinéma

Kasimir Malevitch

Jp. A. Calosse

Art, musique et cinéma

Pollock

Donald Wigal

Art, musique et cinéma

Piet Mondrian

Virginia Pitts Rembert

Art, musique et cinéma

O'Keeffe

Gerry Souter

Education

Verification by Abstract Interpretation

Patrick Cousot

Autres

Desafíos en el diseño de sistemas cyber-físicos. (Challenges in the design of cyber-physical systems).

John

Cours

Synapse's SNAP Network Operating System

Rapports de stage

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Rapports de stage

Automatic reduction of stochastic rules based models in a nutshell

Ferdinanda Camporesi

Rapports de stage

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Education

Une fiche d'aide à la lecture d'œuvre pour les enseignants pour ...

Maryse Tripier

Education

Formal Verification by Abstract Interpretation

Patrick Cousot