Refine Your Search
Book List
48
-
Cafe [electronic resource] : an industrial-strength algebraic formal method / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.
- 511.3
- Elsevier,
- 2000.
- Amsterdam ; New York :
-
Applied mineralogy in the mining industry [electronic resource] / William Petruk.
- 549.1
- Petruk, W., 1930-
- Elsevier Science BV,
- 2000.
- Amsterdam ; New York :
-
Wave mechanics for ocean engineering [electronic resource] / P. Boccotti.
- 532.593
- Boccotti, P.
- Elsevier,
- 2000.
- Amsterdam ; New York :
-
Parallel computational fluid dynamics [electronic resource] : towards teraflops, optimization, and novel formulations : proceedings of the Parallel CFD '99 Conference / edited by D. Keyes ... [et al.]. ; assistant editor, P. Fox.
- 532/.05/0285435
- Parallel CFD '99 Conference (1999 : Williamsburg, Va.)
- Elsevier,
- 2000.
- Amsterdam ; New York :
-
Theory of relations [electronic resource] / Roland Fraïssé ; with an appendix by Norbert Sauer.
- 511.322
- Fraïssé, Roland.
- Elsevier,
- 2000.
- Amsterdam ; New York :
-
Computable structures and the hyperarithmetical hierarchy [electronic resource] / C.J. Ash, J. Knight.
- 511.3
- Ash, C. J.
- Elsevier,
- 2000.
- Amsterdam ; New York :
-
Operational aspects of oil and gas well testing [electronic resource] / Stuart McAleese.
- 622.338
- McAleese, Stuart.
- Elsevier,
- 2000.
- Amsterdam ; New York :
-
Physical chemistry of polymer solutions [electronic resource] : theoretical background / Kenji Kamide, Toshiaki Dobashi.
- 547.70454
- Kamide, Kenji.
- Elsevier Science BV,
- 2000.
- Amsterdam ; New York :