Ditapis dengan
Computer Network Security
Invited Papers -- Self-managed Cells for Ubiquitous Systems -- Critical Information Assurance Challenges for Modern Large-Scale Infrastructures -- Rule-Based Topological Vulnerability Analysis -- Models and Analysis of Active Worm Defense -- Prevention of Information Attacks by Run-Time Detection of Self-replication in Computer Codes -- Mathematical Models, Architectures and Protocols for Compu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319986
- Deskripsi Fisik
- XIV, 482 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Analysis of Images and Patterns
Contour Tracking Using Modified Canny Edge Maps with Level-of-Detail -- Moment Invariants for Recognizing Symmetric Objects -- A Linear Algorithm for Polygonal Approximations of Thick Curves -- NMF with LogGabor Wavelets for Visualization -- A Study on Fast Iris Image Acquisition Method -- Automatic Human Model Generation -- An Illumination Invariant Face Recognition Approach Using Exemplar-Bas…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320111
- Deskripsi Fisik
- XIX, 865 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Algebra in Scientific Computing
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320708
- Deskripsi Fisik
- XII, 504 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Algebra and Geometric Algebra with Applications
Computer Algebra and Applications -- On Wintner’s Conjecture About Central Configurations -- Polynomial General Solutions for First Order Autonomous ODEs -- The Newton Polygon Method for Differential Equations -- Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems -- Hybrid Method for Solving New Pose Estimation Equation System -- Some Necessary Conditions…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321194
- Deskripsi Fisik
- IX, 449 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
- -
Advances in Informatics
Data Bases and Data Mining -- Algorithms and Theoretical Foundations -- Cultural and Museum Information Systems -- Internet-Scale Software/Information Systems -- Wearable and Mobile Computing -- Computer Graphics, Virtual Reality and Visualization -- AI, Machine Learning and Knowledge Bases -- Languages, Text and Speech Processing -- Bioinformatics -- Software Engineering -- Educational Technol…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320913
- Deskripsi Fisik
- XIX, 873 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs -- Streaming Algorithms for Geometric Problems -- Toward a Grainless Semantics for Shared-Variable Concurrency -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers -- Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Pet…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305385
- Deskripsi Fisik
- XVI, 532 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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 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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah