Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 40 dokumen yang sesuai dengan query
cover
Abstrak :
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications (AHPAA), bioinspired computing and applications (BIOCA), computational geometry and applicatons (CGA), chemistry and materials sciences and technologies (CMST), cities, technologies and planning (CTP), 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE), geographical analysis, urban modeling, spatial statistics (Geo-An-Mod), 7335 - optimization techniques and applications (OTA), mobile communications (MC), mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS), remote sensing (RS), 7336 - software engineering processes and applications (SEPA), software quality (SQ), security and privacy in computational sciences (SPCS), soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes, 7333 - computational methods, algorithms and scientific application, 7334 - geometric modelling, graphics and visualization, 7335 - information systems and technologies, 7336 - high performance computing and networks.
Berlin: Springer-Verlag, 2012
e20410537
eBooks  Universitas Indonesia Library
cover
Leleur, Steen
Abstrak :
By considering ways in which planning practices can be renewed and exploring the possibilities for acquiring awareness and tools to add value to strategic decision making, Complex strategic choices presents a methodology which is further illustrated by a number of case studies and example applications. Dr. Techn. Steen Leleur has adapted previously established research based on feedback and input from various conferences, journals and students resulting in new material stemming from and focusing on practical application of systemic planning. The outcome is a coherent and flexible approach named systemic planning. The inclusion of both the theoretical and practical aspects of systemic planning makes this book a key resource for researchers and students in the field of planning and decision analysis as well as practitioners dealing with strategic analysis and decision making. More broadly, Complex Strategic Choices acts as guide for professionals and students involved in complex planning tasks across several fields such as business and engineering.
London: [Springer-Verlag, ], 2012
e20418640
eBooks  Universitas Indonesia Library
cover
Jukna, Stasys
Abstrak :
Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for the layman. This book is a comprehensive description of basic lower bound arguments, covering many of the gems of this “complexity Waterloo” that have been discovered over the past several decades, right up to results from the last year or two. Many open problems, marked as Research Problems, are mentioned along the way. The problems are mainly of combinatorial flavor but their solutions could have great consequences in circuit complexity and computer science.
London : [Springer , ], 2012
e20419348
eBooks  Universitas Indonesia Library
cover
Wegener, Ingo
Abstrak :
Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated, upper and lower bound techniques are studied, efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered. This book is the first comprehensive description of theory and applications. Research areas like complexity theory, efficient algorithms, data structures, and discrete mathematics will benefit from the theory described in this book. The results described within have applications in verification, computer-aided design, model checking, and discrete mathematics. This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations.
Philadelphia : Society for Industrial and Applied Mathematics, 2000
e20442774
eBooks  Universitas Indonesia Library
cover
Traub, J.F.
New York: Academic Press, 1980
511.4 TRA g
Buku Teks  Universitas Indonesia Library
cover
Reading, MA: Addison-Wesley, 1983
515.24 TIM (1)
Buku Teks  Universitas Indonesia Library
cover
Abstrak :
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Broadband Communications, Networks and Systems (BROADNETS 2010) held in October 2010 in Athens, Greece. The 39 revised full papers were carefully selected from numerous submissions. The conference was divided in 3 tracks: Optical, Wireless and Internet. The optical track covers topics such as optical switch architectures, reliable optical networking, routing, wavelength assignment, and traffic grooming, network control and management. The wireless track highlights MIMO and OFDM techniques, mobility management, routing protocols, hybrid networks and the internet track covers routing, scheduling, security, trust, semantic technologies and social networks.
Heidelberg: Springer-Verlag, 2012
e20409240
eBooks  Universitas Indonesia Library
cover
Abstrak :
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Berlin: Springer-Verlag, 2012
e20410072
eBooks  Universitas Indonesia Library
cover
Lee, Kent D.
Abstrak :
This clearly structured and easy to read textbook explains the concepts and techniques required to write programs that can handle large amounts of data efficiently. Project-oriented and classroom-tested, the book presents a number of important algorithms supported by motivating examples that bring meaning to the problems faced by computer programmers. The idea of computational complexity is also introduced, demonstrating what can and cannot be computed efficiently so that the programmer can make informed judgements about the algorithms they use. The text assumes some basic experience in computer programming and familiarity in an object-oriented language, but not necessarily with Python. Topics and features: - Includes both introductory and advanced data structures and algorithms topics, with suggested chapter sequences for those respective courses provided in the preface - Provides learning goals, review questions and programming exercises in each chapter, as well as numerous illustrative examples - Offers downloadable programs and supplementary files at an associated website, with instructor materials available from the author - Presents a primer on Python for those coming from a different language background - Reviews the use of hashing in sets and maps, along with an examination of binary search trees and tree traversals, and material on depth first search of graphs - Discusses topics suitable for an advanced course, such as membership structures, heaps, balanced binary search trees, B-trees and heuristic search.
Switzerland: Springer International Publishing, 2015
e20509978
eBooks  Universitas Indonesia Library
cover
Rich, Elaine
Upper Saddle River NJ: Pearson Prentice hall, 2009
511.3 RIC a
Buku Teks  Universitas Indonesia Library
<<   1 2 3 4 >>