C. J. Jacques,International Liege Colloqulum on Ocean Hydrodynamics.International Liege Colloqulum on Ocean Hydrodynamics (9th : 1977 : Amsterdam):Hydrodynamics of estuaries and fjords.Elsevier Scientific Pub. Co.,1978.
Calculemus 2002.Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, proceedings /.,.
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, proceedings /