Ditapis dengan
New Computational Paradigms
Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It -- Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees -- The Fan Theorem and Uniform Continuity -- Continuous Semantics for Strong Normalization -- A Thread Algebra with Multi-level Strategic Interleaving -- Membrane Computing — Current Results and Future Problems -- How to Compare the Power …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322665
- Deskripsi Fisik
- XVIII, 578 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Network Control and Engineering for QOS, Security and Mobility, III
Network Policy -- Configuration Model for Network Management -- On-Line Control of Service Level Agreements -- Revenue-Aware Resource Allocation in the Future Multi-Service IP Networks -- Network Security -- A Kerberos-Based Authentication Architecture for WLANS -- An Efficient Mechanism to Ensure Location Privacy in Telecom Service Applications -- Network Security Management: A Formal Evaluati…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387231983
- Deskripsi Fisik
- XIV, 348 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Network and Parallel Computing
Special Session on Grid and System Software -- TeraGrid: A Foundation for US Cyberinfrastructure -- Globus Toolkit Version 4: Software for Service-Oriented Systems -- System Software for China National Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System -- Performance Modeling and Analysis for Resource Scheduling in Data Grids -- Study on ?-Calculus …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322467
- Deskripsi Fisik
- XVI, 514 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multiobjective Evolutionary Algorithms and Applications
Review of MOEAs -- Conceptual Framework and Distribution Preservation Mechanisms for MOEAs -- Decision Supports and Advanced Features for MOEAs -- Dynamic Population Size and Local Exploration for MOEAs -- A Distributed Cooperative Coevolutionary Multiobjective Algorithm -- Learning the Search Range in Dynamic Environments -- Performance Assessment and Comparison of MOEAs -- A Multiobjective Ev…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281327
- Deskripsi Fisik
- X, 296 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science -- ICCS 2005
Workshop On “High Performance Computing in Academia: Systems and Applications” -- Workshop on “Tools for Program Development and Analysis in Computational Science” -- Workshop on “Computer Graphics and Geometric Modeling, CGGM 2005” -- Workshop on “Modelling of Complex Systems by Cellular Automata” -- Workshop on “Wireless and Mobile Systems” -- Workshop on “Dynamic Data D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321149
- Deskripsi Fisik
- LXIII, 1101 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
- -
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
- -
Mobility Aware Technologies and Applications
Web Agent Supporting Transport Layer Mobility -- A Network-Aware Truncating Module for Scalable Streams Saving Bandwidth for Overused Networks -- APHIDS++: Evolution of A Programmable Hybrid Intrusion Detection System -- Challenges in Modeling and Disseminating Context Information in Ambient Networks -- A Co-designed Hardware/Software Architecture for Augmented Materials -- A Simulation Model f…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320319
- Deskripsi Fisik
- XIV, 418 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
- -
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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah