|
Showing 1 - 2 of
2 matches in All Departments
|
High Performance Computing for Computational Science - VECPAR 2002 - 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks (Paperback, 2003 ed.)
Jose M.L.M. Palma, Jack Dongarra, Vicente Hernandez, A. Augusto Sousa, Marina Walden
|
R3,395
Discovery Miles 33 950
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on High Performance Computing for Computational Science, VECPAR 2002, held in Porto, Portugal in June 2002. The 45 revised full papers presented together with 4 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on fluids and structures, data mining, computing in chemistry and biology, problem solving environments, computational linear and non-linear algebra, cluster computing, imaging, and software tools and environments.
|
ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Paperback, 2003 ed.)
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden
|
R3,277
Discovery Miles 32 770
|
Ships in 10 - 15 working days
|
The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|