Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 3 hakutulosta
Programming and Mathematical Method
nidottu,
2011,
englanti,
ISBN 9783642775741
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. …
Picture Archiving and Communication Systems (PACS) in Medicine
nidottu,
2012,
englanti,
ISBN 9783642765681
This volume contains the proceedings of the NATO Advanced Study Institute on "Picture Archiving and Communication Systems (PACS) in Medicine" held in Evian, France, October 14- 26, …
Logic of Programming and Calculi of Discrete Design
nidottu,
2012,
englanti,
ISBN 9783642873768
In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is one of the most …