Ditapis dengan
Developments in Language Theory
Restricted Towers of Hanoi and Morphisms -- Collapsing Words: A Progress Report -- Locally Consistent Parsing and Applications to Approximate String Comparisons -- Central Sturmian Words: Recent Developments -- Reversible Cellular Automata -- Inexpressibility Results for Regular Languages in Nonregular Settings -- Complexity of Quantum Uniform and Nonuniform Automata -- Membership and Finitenes…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316824
- Deskripsi Fisik
- XII, 412 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
SOFSEM 2005: Theory and Practice of Computer Science
Invited Talks -- Discovering Treewidth -- From Research Prototypes to Industrial Strength Open Source Products – The ObjectWeb Experience -- How Hard Is It to Take a Snapshot? -- Logical Foundations for Data Integration -- Recent Advances in Graph Drawing -- The Hyperdatabase Network – New Middleware for Searching and Maintaining the Information Space -- Architecture of a Business Framework…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305774
- Deskripsi Fisik
- XV, 428 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Web Information Systems Engineering - WISE 2005
Web Mining -- Web Information Retrieval -- Metadata Management -- Ontology and Semantic Web -- XML -- Web Service Method -- Web Service Structure -- Collaborative Methodology -- P2P, Ubiquitous and Mobile -- Document Retrieval Applications -- Short Paper Session 1: Web Services and E-Commerce -- Short Paper Session 2: Recommendation and Web Information Extraction -- Short Paper Session 3: P2P, …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322863
- Deskripsi Fisik
- XXII, 772 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Turn
The Cognitive Framework for Information -- The Development of Information Seeking Research -- System-Oriented Information Retrieval -- Cognitive and User-Oriented Information Retrieval -- The Integrated IS&R Research Framework -- Implications of the Cognitive Framework for IS&R -- Towards a Research Program -- Conclusion.T The Turn analyzes the research of information seeking and retrieval (IS&…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402038518
- Deskripsi Fisik
- XIV, 448 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information and Communications Security
Fair Exchange -- An Evenhanded Certified Email System for Contract Signing -- Efficient ID-Based Optimistic Fair Exchange with Provable Security -- On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol -- Generic, Optimistic, and Efficient Schemes for Fair Certified Email Delivery -- Digital Signatures I -- Cryptanalysis of a Forward Secure Blind Signature Scheme…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320999
- Deskripsi Fisik
- XIV, 498 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Knowledge-Based Intelligent Information and Engineering Systems
Innovations in Intelligent Systems and Their Applications -- Data Mining and Soft Computing Applications II -- Skill Acquisition and Ubiquitous Human Computer Interaction -- Soft Computing and Their Applications – IV -- Agent-Based Workflows, Knowledge Sharing and Reuse -- Multi-media Authentication andWatermarking Applications -- Knowledge and Engineering Techniques for Spatio-temporal Appli…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319979
- Deskripsi Fisik
- LXXX, 934 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Universal Artificial Intelligence
Short Tour Through the Book -- Simplicity & Uncertainty -- Universal Sequence Prediction -- Agents in Known Probabilistics Environments -- The Universal Algorithmic Agent AIXI -- Important Environmental Classes -- Computational Aspects -- Discussion.Decision Theory = Probability + Utility Theory + + Universal Induction = Ockham + Bayes + Turing = = A Unified View of Artificial Intelligence This…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540268772
- Deskripsi Fisik
- XX, 278 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
UML Modeling Languages and Applications
Workshops -- Consistency Problems in UML-Based Software Development -- 5th International Workshop on Aspect-Oriented Modeling -- Software Architecture Description and UML -- SVERTS – Specification and Validation of Real-Time and Embedded Systems -- Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317975
- Deskripsi Fisik
- XIV, 298 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Security and Privacy
Invited Talk -- All Sail, No Anchor III: Risk Aggregation and Time’s Arrow -- Network Security -- Traversing Middleboxes with the Host Identity Protocol -- An Investigation of Unauthorised Use of Wireless Networks in Adelaide, South Australia -- An Efficient Solution to the ARP Cache Poisoning Problem -- Cryptanalysis -- On Stern’s Attack Against Secret Truncated Linear Congruential Generat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316848
- Deskripsi Fisik
- XIV, 594 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Trust Management
Third International Conference on Trust Management -- Foraging for Trust: Exploring Rationality and the Stag Hunt Game -- Trust, Untrust, Distrust and Mistrust – An Exploration of the Dark(er) Side -- Security and Trust in the Italian Legal Digital Signature Framework -- Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language -- On Deciding to Trust -- Trust Management Surve…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320401
- Deskripsi Fisik
- XII, 428 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