Ditapis dengan
Advances in Natural Computation
Evolutionary Methodology -- Quantum Computing -- Swarm Intelligence and Intelligent Agents -- Natural Computation Applications: Bioinformatics and Bio-medical Engineering -- Natural Computation Applications: Robotics and Intelligent Control -- Other Applications of Natural Computation -- Hardware Implementations of Natural Computation -- Fuzzy Neural Systems and Soft Computing.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318637
- Deskripsi Fisik
- LXI, 1326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Natural Computation
Neural Network Learning Algorithms -- Neural Network Architectures -- Neurodynamics -- Statistical Neural Network Models and Support Vector Machines -- Other Topics in Neural Network Models -- Cognitive Science -- Neuroscience Informatics, Bioinformatics, and Bio-medical Engineering -- Neural Network Applications: Communications and Computer Networks -- Neural Network Applications: Expert Syste…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318538
- Deskripsi Fisik
- LXI, 1302 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Natural Computation
Neural Network Applications: Pattern Recognition and Diagnostics -- Neural Network Applications: Robotics and Intelligent Control -- Neural Network Applications: Signal Processing and Multi-media -- Other Neural Networks Applications -- Evolutionary Learning -- Artificial Immune Systems -- Evolutionary Theory -- Membrane, Molecular, and DNA Computing -- Ants Colony.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318583
- Deskripsi Fisik
- LXI, 1292 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
CONCUR 2005 - Concurrency Theory
Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the As…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319344
- Deskripsi Fisik
- XXIV, 1280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Foundations of Software Science and Computational Structures
Invited Talks -- Model Checking for Nominal Calculi -- Mathematical Models of Computational and Combinatorial Structures -- Rule Formats and Bisimulation -- Congruence for Structural Congruences -- Probabilistic Congruence for Semistochastic Generative Processes -- Bisimulation on Speed: A Unified Approach -- Probabilistic Models -- Branching Cells as Local States for Event Structures and Nets:…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319825
- Deskripsi Fisik
- XIV, 530 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Intelligent Computing
Genomics and Proteomics -- Adaptation and Decision Making -- Applications and Hardware -- Other Applications.The International Conference on Intelligent Computing (ICIC) was set up as an annual forum dedicated to emerging and challenging topics in the various aspects of advances in computational intelligence fields, such as artificial intelligence, machine learning, bioinformatics, and computat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319078
- Deskripsi Fisik
- XXVIII, 1013 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Intelligent Computing
Perceptual and Pattern Recognition -- Informatics Theories and Applications -- Computational Neuroscience and Bioscience -- Models and Methods -- Learning Systems.The International Conference on Intelligent Computing (ICIC) was set up as an annual forum dedicated to emerging and challenging topics in the various aspects of advances in computational intelligence fields, such as artificial intell…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319023
- Deskripsi Fisik
- XXVII, 1101 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multiple Classifier Systems
Future Directions -- Semi-supervised Multiple Classifier Systems: Background and Research Directions -- Boosting -- Boosting GMM and Its Two Applications -- Boosting Soft-Margin SVM with Feature Selection for Pedestrian Detection -- Observations on Boosting Feature Selection -- Boosting Multiple Classifiers Constructed by Hybrid Discriminant Analysis -- Combination Methods -- Decoding Rules for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315780
- Deskripsi Fisik
- XII, 432 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980 -- Developments in Data Structure Research During the First 25 Years of FSTTCS -- Inference Systems for Logical Algorithms -- From Logic to Games -- Proving Lower Bounds Via Pseudo-random Generators -- Erd?s Magic -- Contributed Papers -- No Coreset, No Cry: II -- Improved Bounds on the Union Complexity of Fa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324195
- Deskripsi Fisik
- XIV, 566 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Methods in Systems Biology
Long Papers -- An Explicit Upper Bound for the Approximation Ratio of the Maximum Gene Regulatory Network Problem -- Autonomous Mobile Robot Control Based on White Blood Cell Chemotaxis -- Beta Binders for Biological Interactions -- Biomimetic in Silico Devices -- Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing -- Graph-Based Modeling of Biological Regulatory Netwo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540259749
- Deskripsi Fisik
- X, 282 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah