Ditapis dengan
Developments in Language Theory
Invited Papers -- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic and Topological Models for DNA Recombinant Processes -- Contributed Papers -- Regular Expressions for T…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305507
- Deskripsi Fisik
- XII, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
AI 2005: Advances in Artificial Intelligence
Invited Talks -- I: AI Foundations and Technologies -- II: Computational Intelligence -- III: AI in Specialized Domains -- IV: Short Papers.The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney (UTS), Sydney, Australia from 5 to 9 December 2005. AI 2005 attracted a historical record number of submissions, a total of 535 papers…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316527
- Deskripsi Fisik
- XXVII, 1344 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
AI*IA 2005: Advances in Artificial Intelligence
Theoretical Research: Results and Proposals -- The Complexity of Action Redundancy -- On the Impact of Small-World on Local Search -- A Hybrid Logic for Commonsense Spatial Reasoning -- Using a Theorem Prover for Reasoning on Constraint Problems -- Good and Bad Practices in Propositionalisation -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming --…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317333
- Deskripsi Fisik
- XIV, 614 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
AI 2004: Advances in Artificial Intelligence
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305491
- Deskripsi Fisik
- XXII, 1272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305491
- Deskripsi Fisik
- XXII, 1272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Design and Analysis of Randomized Algorithms
Fundamentals -- Foiling the Adversary -- Fingerprinting -- Success Amplification and Random Sampling -- Abundance of Witnesses -- Optimization and Random Rounding.Randomness is a powerful phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized algorithms are often more efficient, simpler and, surprisingly, also more reliable than their determinist…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540279037
- Deskripsi Fisik
- XII, 277 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Database Theory - ICDT 2005
Invited Papers -- Model Checking for Database Theoreticians -- The Design Space of Type Checkers for XML Transformation Languages -- Semantics of Data Streams and Operators -- Regular Papers -- Conjunctive Query Evaluation by Search Tree Revisited -- Which XML Schemas Admit 1-Pass Preorder Typing? -- The Pipelined Set Cover Problem -- Session: Query Languages and Types -- Well-Definedness and S…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305705
- Deskripsi Fisik
- XII, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Coordination Models and Languages
A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination with Multicapabilities -- Delegation Modeling with Paradigm -- Dynamically Adapting Tuple Replication for Ma…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320067
- Deskripsi Fisik
- X, 299 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Neural Networks - ISNN 2005
Pattern Analysis -- System Modeling -- Signal Processing -- Image Processing -- Financial Analysis -- Erratum.This book and its sister volumes constitute the proceedings of the 2nd International Symposium on Neural Networks (ISNN 2005). ISNN 2005 was held in the beautiful mountain city Chongqing by the upper Yangtze River in southwestern China during May 30–June 1, 2005, as a sequel of ISNN 2…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320678
- Deskripsi Fisik
- XLIX, 947 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Neural Networks - ISNN 2005
Control Systems -- Robotic Systems -- Telecommunication Networks -- Incidence Detection -- Fault Diagnosis -- Power Systems -- Biomedical Applications -- Industrial Applications -- Other Applications.The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005. The 483…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320692
- Deskripsi Fisik
- XLIX, 1077 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Neural Networks - ISNN 2005
Theoretical Analysis -- Model Design -- Learning Methods -- Optimization Methods -- Kernel Methods -- Component Analysis.The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005. The 483 revised papers presented were carefully reviewed and selected from 1.425 submi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320654
- Deskripsi Fisik
- XLIX, 1055 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