Ditemukan 11 dokumen yang sesuai dengan query
Richie, Donald, author
Japan: Charles E. Tuttle, 1995
726.1 RIC t
Buku Teks Universitas Indonesia Library
Alexandre Dmitriev, editor
This book describes basic theoretical considerations of nanoplasmons in the dielectric environment, gives examples of the multitude of applications of nanoplasmonics in biomedical and chemical sensing, and provides an overview of future trends in optical and non-optical nanoplasmonic sensing. Specifically, readers are guided through both the fundamentals and the latest...
New York: Springer, 2012
e20405949
eBooks Universitas Indonesia Library
Rademaker, Alexandre, editor
A proof theory for description logics introduces sequent calculi and natural deduction for some DLs (ALC, ALCQ). Cut-elimination and normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes...
London: Springer, 2012
e20406298
eBooks Universitas Indonesia Library
Pietro, Daniele Antonio Di, author
This book introduces the basic ideas to build discontinuous Galerkin methods and, at the same time, incorporates several recent mathematical developments. The material covers a wide range of model problems, both steady and unsteady, elaborating from advection-reaction and diffusion problems up to the Navier-Stokes equations and Friedrichs' systems. Both finite...
Berlin: [Springer, ], 2012
e20419986
eBooks Universitas Indonesia Library
Assuming no prior background in linear algebra or real analysis, An Introduction to MATLAB® Programming and Numerical Methods for Engineers enables you to develop good computational problem solving techniques through the use of numerical methods and the MATLAB® programming environment. Part One introduces fundamental programming concepts, using simple examples to...
Oxford, UK: Academic Press, 2015
e20426777
eBooks Universitas Indonesia Library
Jakarta : Dunia Pustaka Jaya, 1980
305.4 WAN
Buku Teks Universitas Indonesia Library
Cota, Erika, author
This book presents an overview of the issues related to the test, diagnosis and fault-tolerance of Network on Chip-based systems. It is the first book dedicated to the quality aspects of NoC-based systems and will serve as an invaluable reference to the problems, challenges, solutions, and trade-offs related to designing...
New York: [, Springer], 2012
e20418497
eBooks Universitas Indonesia Library
London: Applied Science, 1975
625.7 ROA
Buku Teks Universitas Indonesia Library
[Advances in imaging devices and Image processing stem from cross-fertilization between many fields of research such as chemistry, physics, mathematics and computer sciences. This bioImaging community feel the urge to integrate more intensively its various results, discoveries and innovation into ready to use tools that can address all the new...
Berlin : [Springer, ], 2012
e20397758
eBooks Universitas Indonesia Library
This book introduces a new and powerful approach based on rigorous process simulations conducted with professional simulators like HYSYS to predict the performance of supersonic separators (SS). The book addresses the utilization of SSs for the offshore processing of CO2-rich natural gas as an alternative to Joule-Thomson expansion, glycol absorption,...
Switzerland: Springer Nature, 2019
e20509325
eBooks Universitas Indonesia Library
