Jump to main content

yr 〜
yr

Search results 65

Artificial intelligence, automated reasoning, and symbolic computation. : joint international conference, AISC 2002 and Calculemus 2002 : Jul 2002, Marseille, France. (Lecture Notes in Computer Science ; 2385. Lecture Notes in Artificial Intelligence)

Artificial intelligence, automated reasoning, and symbolic computation. : joint international conference, AISC 2002 and Calculemus 2002 : Jul 2002, Marseille, France. (Lecture Notes in Computer Science ; 2385. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2002.<M17-03-73>
National Diet Library
  • Author HeadingUniversite de Provence. AISC 2002.

CONCUR 2003 -- concurrency theory : 14th international conference : Marseille, France, September 3-5, 2003 : proceedings. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2761)

CONCUR 2003 -- concurrency theory : 14th international conference : Marseille, France, September 3-5, 2003 : proceedings. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2761)
Paper図書
Springerc2003.<M17-04-952>
National Diet Library
  • Author HeadingUniversite de Provence. Amadio, Roberto M. Lugiez, De...

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003 : Marseille, France, September 6-7, 2003 : revised papers. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2791)

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003 : Marseille, France, September 6-7, 2003 : revised papers. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2791)
Paper図書
Springerc2004.<M17-04-2997>
National Diet Library
  • Author HeadingUniversite de Provence. Larsen, K. G. (Kim G.) , 1957...

Mélanges en l'honneur de Christian Scapel

Mélanges en l'honneur de Christian Scapel
Paper図書
[sous la coordination de Cyril Bloch ; préface Pierre Bonassies]Presses universitaires d'Aix-Marseille2013
Other Libraries in Japan

Ce que Cézanne donne à penser : actes du colloque d'Aix-en-Provence, 5, 6 et 7 juillet 2006

Ce que Cézanne donne à penser : actes du colloque d'Aix-en-Provence, 5, 6 et 7 juillet 2006
Paper図書
organisé par le Musée Granet, l'Université de Provence et les Amis du musée Granet et de l'œuvre de CézanneGallimardc2008
Other Libraries in Japan

Le théâtre de Valère Novarina : une scène de délivrance

Le théâtre de Valère Novarina : une scène de délivrance
Paper図書
textes réunis par Louis DieuzaydePublications de l'université de Provence2004
Other Libraries in Japan

Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).

Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).
Paper図書
Springer-Verlagc1993.<M15-A8815>
National Diet Library
  • Author Heading...018 "CARME-2". Université de Provence.

Electromagnetic and acoustic scattering : detection and inverse problems : Colloquium : May 1988, Marseille, France.

Electromagnetic and acoustic scattering : detection and inverse problems : Colloquium : May 1988, Marseille, France.
Paper図書
World Scientific1989.<M17-89-1149>
National Diet Library
  • Author HeadingCentre National de la Recherche Scientifique. Universite de Provence. University of Luminy.

La Révolution française au carrefour des recherches

La Révolution française au carrefour des recherches
Paper図書
sous la direction de Martine Lapied et Christine Peyrard ; préface de Michel VovellePublications de l'Université de Provence2003
Other Libraries in Japan

La bibliothèque de la Pléiade : travail éditorial et valeur littéraire / sous la direction de Joëlle Gleize et Philippe Roussin.

La bibliothèque de la Pléiade : travail éditorial et valeur littéraire / sous la direction de Joëlle Gleize et Philippe Roussin.
Paper図書
Editions des Archives contemporainesc2009.<UE31-B97>
National Diet Library
  • Author Heading...sin, Philippe. Université de Provence. Observatoire de recherche en ...

Alternances codiques et français parlé en Afrique : actes du colloque d'Aix-en-Provence, septembre 1995

Alternances codiques et français parlé en Afrique : actes du colloque d'Aix-en-Provence, septembre 1995
Paper図書
A. Queffélec (éditeur scientifique)Publications de l'Université de Provence1998
Other Libraries in Japan

Le moine, le clerc et le prince

Le moine, le clerc et le prince
Paper図書
Université de Provence1992
Other Libraries in Japan

Le tenancier, le fidèle et le citoyen

Le tenancier, le fidèle et le citoyen
Paper図書
Université de Provence1992
Other Libraries in Japan

La mémoire, l'écriture et l'histoire

La mémoire, l'écriture et l'histoire
Paper図書
Université de Provence1992
Other Libraries in Japan

Logique et littérature à la Renaissance : actes du colloque de la Baume-les-Aix, Université de Provence, 16-18 septembre 1991

Logique et littérature à la Renaissance : actes du colloque de la Baume-les-Aix, Université de Provence, 16-18 septembre 1991
Paper図書
edités par Marie-Luce Demonet-Launay et André TournonChampionc1994
Other Libraries in Japan

Le couple, l'ami et le prochain

Le couple, l'ami et le prochain
Paper図書
Université de Provence1992
Other Libraries in Japan

Histoire et société : mélanges offerts à Georges Duby

Histoire et société : mélanges offerts à Georges Duby
Paper図書
textes réunis par les médiévistes de l'Université de ProvenceUniversité de Provence1992
Other Libraries in Japan

Cinéma et voyage : actes des colloques internationaux d'Aix-en-Provence Cinéma et voyage 1 (7 et 8 novembre 2003), Voyage et aventure intérieure, Cinéma et voyage 2 (4 et 5 novembre 2004), Imaginaires et figures du voyage

Cinéma et voyage : actes des colloques internationaux d'Aix-en-Provence Cinéma et voyage 1 (7 et 8 novembre 2003), Voyage et aventure intérieure, Cinéma et voyage 2 (4 et 5 novembre 2004), Imaginaires et figures du voyage
Paper図書
sous la direction de René Gardies ; organisés par le L.E.S.A. (laboratoire d'etudes en sciences de l'art) de l'université de ProvenceHarmattanc2007
Other Libraries in Japan
  • Author HeadingGardies, René Université de Provence. LESA. Laboratoire d'études en...

Les Campagnes portugaises de 1870 à 1930 : image et réalité : actes du colloque organisé dans le cadre du IVe [i.e. Ve] congrès de la Société franc̜aise des lusitanistes de l'enseignement supérieur, Aix-en-Provence, 2-4 décembre 1982

Les Campagnes portugaises de 1870 à 1930 : image et réalité : actes du colloque organisé dans le cadre du IVe [i.e. Ve] congrès de la Société franc̜aise des lusitanistes de l'enseignement supérieur, Aix-en-Provence, 2-4 décembre 1982
Paper図書
Fondation Calouste Gulbenkian, Centre culturel portugais1985
Other Libraries in Japan
  • Author Heading...ment supérieur Université de Provence. Département d'études portugai...

Les Espagnols et Napoléon : actes du colloque international d'Aix-en-Provence, 13, 14, 15 octobre 1983

Les Espagnols et Napoléon : actes du colloque international d'Aix-en-Provence, 13, 14, 15 octobre 1983
Paper図書
Université de Provence1984
Other Libraries in Japan
RSS