Ultimamente añadido

Mostrando ítems 601-620 de 1776

Las cookies de este sitio web no contienen ninguna clase de información personal específica, solo permiten recoger datos sobre su navegación. Más información…

Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800: envíos recientes

The Génolevures website is designed around comparative genomic studies on hemiascomycetous yeasts

Spécialiser les programmes, spécialiser les langages

Génolevures : database on-line

Towards a Type-Theoretical Account of Lexical Semantics

On the Path Separability of Planar Graphs

Distillating knowledge about Scotch

A scalable and generic task scheduling system for communication libraries

On the Tree-Width of Planar Graphs

Local Computation of Nearly Additive Spanners

Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models

What Can be Observed Locally? Round-based Models for Quantum Distributed Computing

Réalité Augmentée en extérieur : Enjeux et Etat de l'Art

Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product

Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic

Proof nets without links for Lambek calculus and partially commutative linear logic

Ellipse et coordination en grammaire logique

The Génolevures online database

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Prédiction de réseaux d'interactions biomoléculaires à partir de données de la génomique comparée

Scotch and libScotch 5.1 User's Guide

Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800: envíos recientes

The Génolevures website is designed around comparative genomic studies on hemiascomycetous yeasts ﻿

Spécialiser les programmes, spécialiser les langages ﻿

Génolevures : database on-line ﻿

Towards a Type-Theoretical Account of Lexical Semantics ﻿

On the Path Separability of Planar Graphs ﻿

Distillating knowledge about Scotch ﻿

A scalable and generic task scheduling system for communication libraries ﻿

On the Tree-Width of Planar Graphs ﻿

Local Computation of Nearly Additive Spanners ﻿

Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models ﻿

What Can be Observed Locally? Round-based Models for Quantum Distributed Computing ﻿

Réalité Augmentée en extérieur : Enjeux et Etat de l'Art ﻿

Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product ﻿

Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic ﻿

Proof nets without links for Lambek calculus and partially commutative linear logic ﻿

Ellipse et coordination en grammaire logique ﻿

The Génolevures online database ﻿

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars ﻿

Prédiction de réseaux d'interactions biomoléculaires à partir de données de la génomique comparée ﻿

Scotch and libScotch 5.1 User's Guide ﻿

The Génolevures website is designed around comparative genomic studies on hemiascomycetous yeasts

Spécialiser les programmes, spécialiser les langages

Génolevures : database on-line

Towards a Type-Theoretical Account of Lexical Semantics

On the Path Separability of Planar Graphs

Distillating knowledge about Scotch

A scalable and generic task scheduling system for communication libraries

On the Tree-Width of Planar Graphs

Local Computation of Nearly Additive Spanners

Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models

What Can be Observed Locally? Round-based Models for Quantum Distributed Computing

Réalité Augmentée en extérieur : Enjeux et Etat de l'Art

Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product

Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic

Proof nets without links for Lambek calculus and partially commutative linear logic

Ellipse et coordination en grammaire logique

The Génolevures online database

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Prédiction de réseaux d'interactions biomoléculaires à partir de données de la génomique comparée

Scotch and libScotch 5.1 User's Guide