Your search returned 3 results.

Results
		An Industrial Strength Theorem Prover for a Logic Based on Common lisp by Kaufmann, Matt Moore, J. S Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Implicit Multigrid Computations of Buoyant Drops Through Sinusoidal Constrictions by Muradoglu, Metin Gokaltun, Seckin Source: Transactions ofAsme, Journal of Applied Mechanics Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Tip Loss Correction for Actuator/ Navier-Stokes Computations by Shen, Wen Zhong Sorensen, J. N Source: Asce: Journal of Structural Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Refine your search