Results of search for 'ccl=Provider:I.N.R.I.A'

Results
	21.	No cover image available A 3-D Multigrid Finite Element Method for the Euler Equations Herve Steve by Steve, Herve Series: Rapports de recherche. 905 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30871. Place hold Add to cart (remove)
	22.	No cover image available Equational problem and disunification Hulbert Comon; Pierre Lescanne by Comon, Hubert Series: Rapports de recherche. 904 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30870. Place hold Add to cart (remove)
	23.	No cover image available Multiple corresponding analysis with missing data Peter G. M. van der Heijden by van der Heijden, Peter G. M Series: Rapports de recherche. 902 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30869. Place hold Add to cart (remove)
	24.	No cover image available Datalog extensions for database queries and updates Serge Abiteboul by Abiteboul, Serge Series: Rapports de recherche. 900 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30868. Place hold Add to cart (remove)
	25.	No cover image available Distance measures for signal processing and pattern recognition Michel Basseville by Basseville, Michel Series: Rapports de recherche. 899 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30867. Place hold Add to cart (remove)
	26.	No cover image available On the boundary of a union of rays Panagiotis Alevizos; Jean-Daniel Boissonnat by Alevizos, Panagiotis Series: Rapports de recherche. 896 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30866. Place hold Add to cart (remove)
	27.	No cover image available A criterion of global convergence to equilibrium for differential systems application to Lotka-Volterra Systems Programme 5 Jean-Luc Gouze by Gouze, Jean-Luc Series: Rapports techniques. 894 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30864. Place hold Add to cart (remove)
	28.	No cover image available The first cycles in an evolving graph Philippe Flajolet; Donald E. Knuth by Flajolet, Philippe Series: Rapports techniques. 888 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30863. Place hold Add to cart (remove)
	29.	No cover image available Theo: an interactive proof development system Joelle Despeyroux by Despeyroux, Joelle Series: Rapports techniques. 887 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30862. Place hold Add to cart (remove)
	30.	No cover image available An empirically-derived control structure for the process of program understanding Francois Detienne; Elliot Soloway by Detienne, Francois Series: Rapports techniques. 886 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30861. Place hold Add to cart (remove)
	31.	No cover image available Towards a lambda-calculus for concurrent and communicating systems Gerard Boudol by Boudol, Gerard Series: Rapports techniques. 885 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30860. Place hold Add to cart (remove)
	32.	No cover image available A grammatical view of logic programming Pierre Deransart by Deransart, Pierre Series: Rapports techniques. 883 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30859. Place hold Add to cart (remove)
	33.	No cover image available Sur deux problemes de reconstruction Michel Demazure by Demazure, Michel Series: Rapports techniques. 882 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30858. Place hold Add to cart (remove)
	34.	No cover image available Compling temporal logic specifications into observers Omar Drissi-Kaitouni, Claude Jard by Drissi-Kaitouni, Omar Series: Rapports techniques. 881 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30857. Place hold Add to cart (remove)
	35.	No cover image available Un schema (abstrait) d'iteration repartie. Application au calcul des chemins de valeurs minimales Jean-Michel Helary; Michel Raynal by Helary, Jean-Michel Series: Rapports techniques. 879 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30856. Place hold Add to cart (remove)
	36.	No cover image available Comparison of priority rules in pattern matching and term rewriting Alain Laville by Laville, Alain Series: Rapports techniques. 878 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30855. Place hold Add to cart (remove)
	37.	No cover image available Determination spatio-temporelle de traceurs dans une sequence d'images sous-marines a des fins de trajectographie Patrick Lalande; Patrick Bouthemy by Lalande, Patrick Series: Rapports techniques. 877 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30854. Place hold Add to cart (remove)
	38.	No cover image available Distributed bisimulations Ilaria Casrellani; Matthew Hennessy by Casrellani, Ilaria Series: Rapports techniques. 875 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30853. Place hold Add to cart (remove)
	39.	No cover image available A type system for a declarative language Richard B. Kieburtz by Kieburtz, Richard B Series: Rapports techniques. 874 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30852. Place hold Add to cart (remove)
	40.	No cover image available Graphes canoniques de graphes algebriques Didier Caucal by Caucal, Didier Series: Rapports techniques. 872 Publication details: Paris I. N. R. I. A 1988 Availability: Items available for loan: IMAR (1)Call number: III 30851. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Your search returned 65 results.