WorldCat Identities

Institut national de recherche en informatique et en automatique (France)

Overview
Works: 2,894 works in 3,600 publications in 3 languages and 20,548 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Organizer of meeting, isb, Other, Producer, Collector, Sponsor, 475, 981, Publishing director, Distributor, Contributor, Publisher, Thesis advisor, Director, Restager
Classifications: Q334, 006.3
Publication Timeline
.
Most widely held works about Institut national de recherche en informatique et en automatique (France)
 
Most widely held works by Institut national de recherche en informatique et en automatique (France)
Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings by Pierre Deransart( Book )

13 editions published in 1990 in English and German and held by 479 WorldCat member libraries worldwide

"Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas. The workshop covered all aspects of attribute grammars, with an emphasis on practical results. This volume includes the text of the three invited talks and 21 submitted papers presented at the workshop. This selection provides a wide view of the diverse research being done in the area. Topics include: - Fundamentals: efficient exhaustive and incremental at- tribute evaluation methods, parallel evaluation, space optimization, relationships with functional, logic and object-oriented programming, and systems. - Applications: compiler construction, natural language processing, and interactive program manipulation."--PUBLISHER'S WEBSITE
Geometry and robotics workshop, Toulouse, France, May 26 - 28, 1988 ; proceedings by J.-D Boissonnat( )

6 editions published in 1989 in English and held by 445 WorldCat member libraries worldwide

Annotation
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings by H Kirchner( Book )

3 editions published in 1990 in English and held by 374 WorldCat member libraries worldwide

Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings by Laurent Kott( Book )

4 editions published in 1986 in English and held by 368 WorldCat member libraries worldwide

Macroscopic modelling of turbulent flows : proceedings of a workshop held at INRIA, Sophia-Antipolis, France, December 10-14, 1984 by U Frisch( Book )

8 editions published in 1985 in English and German and held by 350 WorldCat member libraries worldwide

Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '07 : May 30-June 1, 2007, Nice, France by ACM and IEEE International Conference on Formal Methods and Models for Co-Design( )

2 editions published in 2007 in English and held by 349 WorldCat member libraries worldwide

Proceedings : the 10th International Conference on Distributed Computing Systems, Paris, France, May 28-June 1, 1990 by 1990, Paris> International Conference on Distributed Computing Systems. <10( )

4 editions published in 1990 in English and held by 310 WorldCat member libraries worldwide

Differential games and applications by Tamer Başar( Book )

5 editions published in 1989 in English and held by 286 WorldCat member libraries worldwide

This volume contains fifteen articles on the topic of differential and dynamic games, focusing on both theory and applications. It covers a variety of areas and presents recent developments on topics of current interest. It should be useful to researchers in differential and dynamic games, systems and control, operations research and mathematical economics
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models : June 3-6, 1997, Saint Malo, France by International Workshop on Petri Nets and Performance Models( )

2 editions published in 1997 in English and held by 286 WorldCat member libraries worldwide

Proceedings : Eighth IEEE International Conference on Tools with Artificial Intelligence : November 16-19, 1996, Toulouse, France by International Conference on Tools for Artificial Intelligence( )

2 editions published in 1996 in English and held by 284 WorldCat member libraries worldwide

IV'2002 : IEEE Intelligent Vehicle Symposium = IEEE Symposium sur les Véhicules Intelligents : proceedings : June 17-21, 2002, Versailles, France by IEEE Intelligent Vehicles Symposium( )

4 editions published in 2003 in English and held by 277 WorldCat member libraries worldwide

1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation : proceedings, ETFA '95, Paris, France, October 10-13, 1995 by INRIA/IEEE Symposium on Emerging Technologies and Factory Automation( )

3 editions published in 1995 in English and held by 275 WorldCat member libraries worldwide

Analysis and optimization of systems : proceedings of the 9th international conference, Antibes, June 12-15, 1990 by Alain Bensoussan( Book )

5 editions published in 1990 in English and held by 267 WorldCat member libraries worldwide

IEEE Workshop on Variational and Level Set Methods in Computer Vision : 13 July 2001, Vancouver, Canada : proceedings by IEEE Workshop on Variational and Level Set Methods in Computer Vision( )

4 editions published between 2001 and 2002 in English and held by 263 WorldCat member libraries worldwide

Annotation
QEST 2008 : Proceedings, Quantitative Evaluation of Systems : 14-17 September, 2008, St. Malo, France by International Conference on the Quantitative Evaluation of Systems( )

2 editions published in 2008 in English and held by 263 WorldCat member libraries worldwide

Analysis and optimization of systems : proceedings of the Fourth International Conference on Analysis and Optimization of Systems, Versailles, December 16-19, 1980 by Alain Bensoussan( Book )

9 editions published in 1980 in English and Undetermined and held by 262 WorldCat member libraries worldwide

Fifth International Conference on Application of Concurrency to System Design : ACSD 2005 : proceedings : 7-9 June 2005, St. Malo, France by International Conference on Application of Concurrency to System Design( )

3 editions published in 2005 in English and held by 259 WorldCat member libraries worldwide

2009 IEEE International Workshop on Open-source Software for Scientific Computation OSSC-2009 : September 18-20 2009 by IEEE International Workshop on Open-source Software for Scientific Computation( )

2 editions published in 2009 in English and held by 258 WorldCat member libraries worldwide

Fundamentals in computer understanding : speech and vision by Jean-Paul Haton( Book )

3 editions published in 1987 in English and held by 256 WorldCat member libraries worldwide

IHM14 : actes de la 26ième conférence francophone sur l'Interaction Homme-Machine : 28-31 Octobre 2014, Villeneuve d'Ascq, France by IHM (Conference)( )

4 editions published in 2014 in English and French and held by 251 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.50 (from 0.01 for Histoire d ... to 0.73 for Analysis a ...)

WorldCat IdentitiesRelated Identities
Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings
Covers
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedingsAutomata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedingsIV'2002 : IEEE Intelligent Vehicle Symposium = IEEE Symposium sur les Véhicules Intelligents : proceedings : June 17-21, 2002, Versailles, FranceIEEE Workshop on Variational and Level Set Methods in Computer Vision : 13 July 2001, Vancouver, Canada : proceedings
Alternative Names

controlled identityInstitut de recherche d'informatique et d'automatique

Centre de Recherche Inria Futurs Orsay

Computer Science Research Agency

Forschungseinrichtung für Informatik und Automatik

France Institut national de recherche en informatique et en automatique

Francie Institut national de recherche en informatique et en automatique

French National Computer Science Research Agency

French Research Institute in Computer Science and Automatic Control

I.N.R.I.A.

I.N.R.I.A. (Institut national de recherche en informatique et en automatique (France))

I.N.R.I.A. (Organisme)

INRIA

Inria French research institution in computer science

Inria Futurs Research Centre Orsay

INRIA (Institut national de recherche en informatique et en automatique ; France)

Inria onderzoeksinstituut in Frankrijk

Inria (Organisme)

Institut de Recherche en Informatique et en Automatique

Institut de recherche en sciences du numérique (France)

Institut national de recherche d'informatique et d'automatique.

Institut national de recherche d'informatique et d'automatique (France)

Institut national de recherche d'informatique et d'automatique (Francie)

Institut national de recherche en informatique et automatique.

Institut national de recherche en informatique et automatique (France)

Institut national de recherche en informatique et automatique (Francie)

Institut national de recherche en informatique et en automatique französische Forschungseinrichtung

Institut National de Recherche en Informatique et en Automatique INRIA

Institut national de recherche en informatique et en automatique istituto di ricerca

Institut national de recherche en informatique et en automatique, Rocquencourt

Institut National de Recherche en Informatique et en Automatique Rocquencourt Centre de Recherche Inria Futurs

Institut National de Recherche en Informatique et en Automatique Rocquencourt INRIA Futurs

Institut National de Recherche en Informatique et en Automatique Rocquencourt Inria Futurs Research Centre

Institut national de recherche en sciences et technologies du numérique France

National Computer Science Research Agency

National Institute for Research in Computer Science and Control

Nationale Forschungseinrichtung für Informatik und Automatik

Research Institute in Computer Science and Automatic Control

Rocquencourt (Yvelines)

Rocquencourt (Yvelines, France). Institut national de recherche en informatique et an automatique

إنريا مركز أبحاث فرنسي في مجال علوم الحاسوب.

フランス国立情報学自動制御研究所

法国国家信息与自动化研究所

Languages
English (84)

French (7)

German (2)