Ditemukan 24 dokumen yang sesuai dengan query
Philadelphia: SIAM, 1988
004.35 PAR
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
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 SO Universitas Indonesia Library
Nelson, Kay Yarborough, author
McGraw-Hill: Berkeley: McGraw-Hill , 1987
001.642 NEL u
Buku Teks SO 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
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011.
The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and...
Berlin: Springer-Verlag, 2012
e20410291
eBooks Universitas Indonesia Library
