Ditapis dengan
Combinatorial search: From algorithms to systems
Although they are believed to be unsolvable in general, tractability results suggest that some practical NP-hard problems can be efficiently solved. Combinatorial search algorithms are designed to efficiently explore the usually large solution space of these instances by reducing the search space to feasible regions and using heuristics to efficiently explore these regions. Various mathematical…
- Edisi
- -
- ISBN/ISSN
- 9783642414824
- Deskripsi Fisik
- xiii, 139 hlm. ; il. warna
- Judul Seri
- -
- No. Panggil
- E1322
Cell formation in industrial engineering : theory, algorithms and experiments
This book focuses on a development of optimal, flexible, and efficient models and algorithms for cell formation in group technology. Its main aim is to provide a reliable tool that can be used by managers and engineers to design manufacturing cells based on their own preferences and constraints imposed by a particular manufacturing system. This tool could potentially lower production costs by m…
- Edisi
- 1
- ISBN/ISSN
- 9781461480020
- Deskripsi Fisik
- xiv, 206 hlm..
- Judul Seri
- Springer optimization and its applications
- No. Panggil
- E621
People, problems, and proofs
People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there was an open problem: can one create an efficient algorithm to solve the computational problem? A…
- Edisi
- -
- ISBN/ISSN
- 9783642414220
- Deskripsi Fisik
- xviii, 333
- Judul Seri
- -
- No. Panggil
- E1321
Massively parallel evolutionary computation on GPGPUs
Evolutionary algorithms (EAs) are metaheuristics that learn from natural collective behavior and are applied to solve optimization problems in domains such as scheduling, engineering, bioinformatics, and finance. Such applications demand acceptable solutions with high-speed execution using finite computational resources. Therefore, there have been many attempts to develop platforms for running …
- Edisi
- -
- ISBN/ISSN
- 9783642379598
- Deskripsi Fisik
- xii, 453 hlm. ; il. warna
- Judul Seri
- Natural Computing Series
- No. Panggil
- E1227
The Courant–Friedrichs–Lewy (CFL) condition: 80 years after Its…
This volume comprises a carefully selected collection of articles emerging from and pertinent to the 2010 CFL-80 conference in Rio de Janeiro, celebrating the 80th anniversary of the Courant-Friedrichs-Lewy (CFL) condition. A major result in the field of numerical analysis, the CFL condition has influenced the research of many important mathematicians over the past eight decades, and this work…
- Edisi
- 1
- ISBN/ISSN
- 9780817683948
- Deskripsi Fisik
- XII, 237 Hlm.
- Judul Seri
- -
- No. Panggil
- E425
Understanding petri nets : modeling techniques, analysis methods, case studies
With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature t…
- Edisi
- -
- ISBN/ISSN
- 9783642332784
- Deskripsi Fisik
- xxvii, 230 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1153
Distributed algorithms for message-passing systems
Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In particular each entity cooperating towards the common goal cannot have an instantaneous knowledge …
- Edisi
- 1st Ed
- ISBN/ISSN
- 9783642381232
- Deskripsi Fisik
- xxxi, 500 hlm.
- Judul Seri
- -
- No. Panggil
- E1232
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah