Ditemukan 24 dokumen yang sesuai dengan query
Philadelphia: SIAM, 1988
004.35 PAR
Buku Teks Universitas Indonesia Library
Scientific computing has often been called the third approach to scientific discovery, emerging as a peer to experimentation and theory. Historically, the synergy between experimentation and theory has been well understood: experiments give insight into possible theories, theories inspire experiments, experiments reinforce or invalidate theories, and so on. As scientific...
Philadelphia: Society for Industrial and Applied Mathematics, 2006
e20443179
eBooks Universitas Indonesia Library
Hartono Partoharsodjo, author
Jakarta: Elex Media Komputindo, 1989
005.13 HAR t
Buku Teks Universitas Indonesia Library
This refereed volume arose from the editors' recognition that physical scientists, engineers, and applied mathematicians are developing, in parallel, solutions to problems of parallelization. The cross-disciplinary field of scientific computation is bringing about better communication between heterogeneous computational groups, as they face this common challenge. This volume is one attempt...
Philadelphia : Society for Industrial and Applied Mathematics, 1995
e20442880
eBooks Universitas Indonesia Library
Nelson, Kay Yarborough, author
McGraw-Hill: Berkeley: McGraw-Hill , 1987
001.642 NEL u
Buku Teks Universitas Indonesia Library
Sestoft, Peter, author
Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, and garbage collection techniques, as...
London: Springer, 2012
e20407633
eBooks Universitas Indonesia Library
Maciej Koutny, editor
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in...
Heidelberg: [, Springer-Verlag], 2012
e20409417
eBooks Universitas Indonesia Library
Francisco Heron de Carvalho Junior, editor
The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages and software engineering...
Berlin: [, Springer-Verlag], 2012
e20409999
eBooks Universitas Indonesia Library
Antoine Mine, editor
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract...
Berlin: [, Springer-Verlag], 2012
e20410008
eBooks Universitas Indonesia Library
Kepner, Jeremy, author
Parallel MATLAB for Multicore and Multinode Computers is the first book on parallel MATLAB and the first parallel computing book focused on the design, code, debug, and test techniques required to quickly produce well-performing parallel programs.
MATLAB is currently the dominant language of technical computing with one million users worldwide, many...
Philadelphia: Society for Industrial and Applied Mathematics, 2009
e20450978
eBooks Universitas Indonesia Library