Ditapis dengan
Fundamentals of Computation Theory
Invited Talks -- The Complexity of Querying External Memory and Streaming Data -- The Smoothed Analysis of Algorithms -- Path Coupling Using Stopping Times -- Circuits -- On the Incompressibility of Monotone DNFs -- Bounds on the Power of Constant-Depth Quantum Circuits -- Automata I -- Biautomatic Semigroups -- Deterministic Automata on Unranked Trees -- Complexity I -- Decidable Membership Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318736
- Deskripsi Fisik
- XVI, 580 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
MICAI 2005: Advances in Artificial Intelligence
Knowledge Representation and Management -- Logic and Constraint Programming -- Uncertainty Reasoning -- Multiagent Systems and Distributed AI -- Computer Vision and Pattern Recognition -- Machine Learning and Data Mining -- Evolutionary Computation and Genetic Algorithms -- Neural Networks -- Natural Language Processing -- Intelligent Interfaces and Speech Processing -- Bioinformatics and Medic…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316534
- Deskripsi Fisik
- XXVI, 1198 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Membrane Computing
Invited Lectures -- ?P Systems and Typed ?-Calculus -- P Automata -- Asynchronous P Systems and P Systems Working in the Sequential Mode -- Evolution and Oscillation in P Systems: Applications to Biological Phenomena -- An Approach to Computational Complexity in Membrane Computing -- LMNtal: A Language Model with Links and Membranes -- Regular Presentations -- Executable Specifications of P Sys…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318378
- Deskripsi Fisik
- X, 413 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mechanisms, Symbols, and Models Underlying Cognition
Computational Neuroscience -- On the Use of the Computational Paradigm in Neurophysiology and Cognitive Science -- Modules, Layers, Hierarchies, and Loops Where Artificial Intelligence Meets Ethology and Neuroscience – In Context of Action Selection -- A Unified Perspective on Explaining Dynamics by Anticipatory State Properties -- A Novel Intrinsic Wave Phenomenon in Low Excitable Biological…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316725
- Deskripsi Fisik
- XXIV, 532 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mathematical Foundations of Computer Science 2005
Invited Lectures -- Page Migration in Dynamic Networks -- Knot Theory, Jones Polynomial and Quantum Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing -- The Generalization of Dirac’s Theorem for Hypergraphs -- On the Communication Complexity of Co-linearity Problems -- An Invitation to Play -- Papers -- The Complexity of Satisfiability Problems: Refin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318675
- Deskripsi Fisik
- XVI, 814 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Artificial Life
Conceptual Track -- Morphogenesis and Development -- Robotics and Autonomous Agents -- Evolutionary Computation and Theory -- Cellular Automata -- Models of Biological Systems and Their Applications -- Ant Colony and Swarm Systems -- Evolution of Communication -- Simulation of Social Interactions -- Self-replication -- Artificial Chemistry -- Posters.TheArti?cialLifetermappearedmorethan20yearsa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318163
- Deskripsi Fisik
- XIX, 949 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Machines, Computations, and Universality
Invited Lectures -- Algorithmic Randomness, Quantum Physics, and Incompleteness -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata -- Leaf Language Classes -- Selected Contributions -- Computational Completeness of P Systems with Active Membranes and Two Polarizations -- Computing with a Distributed Reaction-Diffusion Model -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318347
- Deskripsi Fisik
- VIII, 328 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Intelligence and Security
Cryptography and Coding -- Cryptographic Protocols -- Intrusion Detection -- Security Models and Architecture -- Security Management -- Watermarking and Information Hiding -- Web and Network Applications -- Image and Signal Processing -- Applications.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315988
- Deskripsi Fisik
- XLII, 1166 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Intelligence and Bioinspired Systems
Mathematical and Theoretical Methods -- Evolutionary Computation -- Neurocomputational Inspired Models -- Learning and Adaptation -- Radial Basic Functions Structures -- Self-organizing Networks and Methods -- Support Vector Machines -- Cellular Neural Networks -- Hybrid Systems -- Neuroengineering and Hardware Implementations -- Pattern Recognition -- Perception and Robotics -- Applications on…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321064
- Deskripsi Fisik
- XXV, 1260 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Complexity Theory and Cryptology
to Cryptocomplexity -- Foundations of Computer Science and Mathematics -- Foundations of Complexity Theory -- Foundations of Cryptology -- Hierarchies Based on NP -- Randomized Algorithms and Complexity Classes -- RSA Cryptosystem, Primality, and Factoring -- Other Public-Key Cryptosystems and Protocols.Modern cryptology employs mathematically rigorous concepts and methods from complexity theor…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540285205
- Deskripsi Fisik
- XII, 478 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