Ditemukan 26 dokumen yang sesuai dengan query
Balakrishnan, R.
"
This second edition includes two new chapters: one on domination in graphs and the other on the spectral properties of graphs, the latter including a discussion on graph energy. The chapter on graph colorings has been enlarged, covering additional topics such as homomorphisms and colorings and the uniqueness of the Mycielskian up to isomorphism. This book also introduces several interesting topics such as Dirac's theorem on k-connected graphs, Harary-Nashwilliam's theorem on the hamiltonicity ...
"
New York: [Springer Science, ], 2012
e20418915
eBooks Universitas Indonesia Library
Brandstadt, Andreas
"
This well-organized reference is a definitive encyclopedia for the literature on graph classes. It contains a survey of more than 200 classes of graphs, organized by types of properties used to define and characterize the classes, citing key theorems and literature references for each. The authors state results without proof, providing readers with easy access to far more key theorems than are commonly found in other mathematical texts. Interconnections between graph classes are also provided ...
"
Philadelphia: Society for Industrial and Applied Mathematics, 1999
e20449124
eBooks Universitas Indonesia Library
London: Academic Press, 1988
511.5 SEL
Buku Teks SO Universitas Indonesia Library
London: Academic Press, 1983
511.5 SEL
Buku Teks SO Universitas Indonesia Library
Trinajstic, Nenad
Boca Raton: CRC Press, 1992
540.151 TRI c
Buku Teks Universitas Indonesia Library
"
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches ...
"
Berlin: Springer-Verlag , 2012
e20408646
eBooks Universitas Indonesia Library
McKee, Terry A.
"
Finally there is a book that presents real applications of graph theory in a unified format. This book is the only source for an extended, concentrated focus on the theory and techniques common to various types of intersection graphs. It is a concise treatment of the aspects of intersection graphs that interconnect many standard concepts and form the foundation of a surprising array of applications to biology, computing, psychology, matrices, and statistics.
The authors emphasize ...
"
Philadelphia: Society for Industrial and Applied Mathematics, 1999
e20448505
eBooks Universitas Indonesia Library
Gross, Jonathan L.
Boca Raton: Chapman & Hall/CRC Taylor & Francis Group, 2006
511.52 GRO g
Buku Teks SO Universitas Indonesia Library
Hall, Marshall
New York: John Wiley & Sons, 1967
511.6 HAL c
Buku Teks SO Universitas Indonesia Library
Ricky Suryadharma
"
Penelitian pendahuluan ini mempunyai tujuan untuk menghasilkan formalisasi sebagian dari teori graph. Graph merupakan ilmu yang cakupannya luas dan mempunyai banyak aplikasi. Akan tetapi, di dalam pustaka sistem HOL belum terdapat teori graph yang formal. Penyusunan formalisasi diawali dengan studi literatur mengenai sistem HOL, kemudian dilanjutkan dengan eksperimen-eksperimen. Terdapat enam buah eksperimen yang dilakukan secara bertahap. Eksperimen pertama berupa eksperimen menggunakan pustaka HOL. Eksperimen kedua berupa eksperimen memformalisasikan teori gcd yang kemudian memberikan pengetahuan mengenai ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2009
S-Pdf
UI - Skripsi Open Universitas Indonesia Library
