Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 337 dokumen yang sesuai dengan query
cover
Domosi, Pal, author
Algebraic Theory of Automata Networks investigates automata networks as algebraic structures and develops their theory in line with other algebraic theories, such as those of semigroups, groups, rings, and fields. The authors also investigate automata networks as products of automata, that is, as compositions of automata obtained by cascading without...
Philadelphia : Society for Industrial and Applied Mathematics, 2005
e20442985
eBooks  Universitas Indonesia Library
cover
Elden, Lars, 1944- , author
Several very powerful numerical linear algebra techniques are available for solving problems in data mining and pattern recognition. This application-oriented book describes how modern matrix methods can be used to solve these problems, gives an introduction to matrix theory and decompositions, and provides students with a set of tools that...
Philadelphia: Society for Industrial and Applied Mathematics, 2007
e20448883
eBooks  Universitas Indonesia Library
cover
cover
Rosyida Permatasari, author
ABSTRAK Permodelan turbulen yang digunakan adalah model aljabar sederhana ( model not persamaan ), yang disajikan dalam bentuk PDE. Persamaan - persamaan differensial yang diselesaikan adalah persamaan kontinuitas, momentum dan energi. Kemudian dengan metoda Beda Hingga secara implisit, persamaan - persamaan tersebut diubah kedalam persamaan numerik dan diselesaikan dengan metoda TDMA...
1999
T-Pdf
UI - Tesis (Membership)  Universitas Indonesia Library
cover
Liu, C.L. (Chung Laung), 1934-, author
New York: McGraw-Hill, 1985
511.02 LIU e
Buku Teks  Universitas Indonesia Library
cover
Eggersgluß, Stephan, author
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay...
New York: [, Springer], 2012
e20418663
eBooks  Universitas Indonesia Library
cover
Bernhard Krotz, editor
This volume targets graduate students and researchers in the fields of representation theory, automorphic forms, Hecke algebras, harmonic analysis, number theory...
New York: [, Springer], 2012
e20418942
eBooks  Universitas Indonesia Library
cover
Arnold, V. I., author
Singularity theory is a far-reaching extension of maxima and minima investigations of differentiable functions, with implications for many different areas of mathematics, engineering (catastrophe theory and the theory of bifurcations), and science. The three parts of this first volume of a two-volume set deal with the stability problem for...
New York: Springer, 2012
e20420538
eBooks  Universitas Indonesia Library
cover
Arnold, V. I., author
This reprint covers anatomy and physiology of singularities of differentiable functions. Includes the topological structure of isolated critical points of holomorphic functions, the asymptotic behavior of integrals of the method of stationary phase, and mor...
New York: Springer, 2012
e20420539
eBooks  Universitas Indonesia Library
cover
Anderson, E., author
LAPACK is a library of numerical linear algebra subroutines designed for high performance on workstations, vector computers, and shared memory multiprocessors. Release 3.0 of LAPACK introduces new routines and extends the functionality of existing routines. The most significant new routines and functions include: 1. a faster singular value decomposition computed...
Philadelphia: Society for Industrial and Applied Mathematics, 1999
e20448074
eBooks  Universitas Indonesia Library