WorldCat Identities

Institut National de Recherche en Informatique et en Automatique

Overview
Works: 881 works in 882 publications in 2 languages and 944 library holdings
Publication Timeline
.
Most widely held works by Institut National de Recherche en Informatique et en Automatique
Average case analysis of algorithms : 07. 07. - 11. 07. 97 (9728) by P Flajolet( Book )

2 editions published in 1993 in English and held by 3 WorldCat member libraries worldwide

Abstract: "This report is part of a projected series whose aim is to present in a synthetic way the major methods and models in the average- case analysis of algorithms. The present work (Counting and Generating Functions) introduces a symbolic approach through formal specifications to the analysis of basic combinatorial structures. It consists of three chapters: 1. Symbolic enumeration and ordinary generating functions; 2. Labelled structures and exponential generating functions; 3. Parameters and multivariate generating functions."
Trinocular stereovision for robotics by Nicholas Ayache( Book )

1 edition published in 1989 in English and held by 3 WorldCat member libraries worldwide

A reactive extension of C by Frédéric Boussinot( Book )

1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide

Can a fast signature scheme without secret key be secure by Paul Camion( Book )

1 edition published in 1985 in English and held by 2 WorldCat member libraries worldwide

An object-oriented model in the concurrent logic programming language PARLOG by A Rizk( Book )

1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide

Control of polynomial dynamic systems : an example by Bruno Dutertre( Book )

1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide

Observing global states of asynchronous distributed applications by Jean-Michel Hélary( Book )

1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide

Mathematical methods in the analysis of algorithms and data structures by Philippe Flajolet( Book )

1 edition published in 1985 in English and held by 2 WorldCat member libraries worldwide

K-Arbiter : a safe and general scheme for h-out of-k mutual exclusion problems by Roberto Baldoni( Book )

1 edition published in 1995 in English and held by 2 WorldCat member libraries worldwide

Tree automata help one to solve equational formulae in AC-theories by Denis Lugiez( Book )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

Distribution and persistence in multiple and heterogeneous address spaces by P Ferreira( Book )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

Atomic actions by G Boudol( Book )

1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide

Algebraically closed theories by E Badouel( Book )

1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide

Dérivation d'un algorithme réparti de détection de la terminaison d'une application répartie by Jean-Michel Hélary( Book )

1 edition published in 1989 in French and held by 2 WorldCat member libraries worldwide

Constructions: a higher order proof system for mechanizing mathematics by Thierry Coquand( Book )

1 edition published in 1985 in English and held by 2 WorldCat member libraries worldwide

Microcoding an abstract machine for parallel logic programming by A Rizk( Book )

1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide

Towards document engineering by V Quint( Book )

1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide

The CAML numbers reference manual by Valérie Ménissier( Book )

1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide

Semantics of the concurrent logic programmong language Parlog by Institut National de Recherche en Informatique et en Automatique( Book )

1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide

Dynamic programming parallel implementations for the knapsack problem by Rumen Andonov( Book )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.84 (from 0.78 for Can a fast ... to 0.90 for Control of ...)

Languages
English (20)

French (1)