Ditapis dengan
CONCUR 2005 - Concurrency Theory
Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the As…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319344
- Deskripsi Fisik
- XXIV, 1280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer-Aided Design of User Interfaces IV
Task Modelling -- The Influence of Improved Task Models on Dialogues -- Task-Based Web Modelling: The Web Object Life Cycle Modelling Concept -- Hypermedia and Web-Based Systems -- Model-Based Design of Online Help Systems -- A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method -- SWCEditor: A Model-Based Tool for Interactive Modelling of Web Navigation -- Model-Base…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402033049
- Deskripsi Fisik
- XII, 374 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Simulating Fuzzy Systems
Fuzzy Sets -- Fuzzy Estimation -- Fuzzy Probability Theory -- Fuzzy Systems Theory -- Simulation -- Queuing I: One-Step Calculations -- Simulation Optimization -- Queuing II: No One-Step Calculations -- Call Center Model -- Machine Shop I -- Machine Shop II -- Emergency Room Model -- Machine Servicing Problem -- Life Insurance: New Account Model -- Inventory Control I -- Inventory Control II --…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323754
- Deskripsi Fisik
- XII, 208 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Insecurity
The Problem of Computer Insecurity -- The Need to Raise Awareness -- Common Failings That Compromise Security -- The Widespread Nature of Vulnerability -- Attack and Exploitation of Systems -- External Influences and Dependencies -- Insecurity: Here Today, Here Tomorrow?.Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846282706
- Deskripsi Fisik
- XIII, 240 p. 30 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer and Information Sciences - ISCIS 2005
Invited Speakers -- Computer Networks -- Sensor and Satellite Networks -- Security and Cryptography -- Performance Evaluation -- E-Commerce and Web Services -- Multiagent Systems -- Machine Learning -- Information Retrieval and Natural Language Processing -- Image and Speech Processing -- Algorithms and Database Systems -- Theory of Computing -- Epilogue.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320852
- Deskripsi Fisik
- XXII, 974 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science and Its Applications - ICCSA 2005
Information Systems and Information Technologies (ISIT) Workshop -- Mobile Communications (Mobicomm) Workshop -- Authentication Authorization Accounting (AAA) Workshop -- Computational Geometry and Applications (CGA’05) Workshop -- Virtual Reality in Scientific Applications and Learning (VRSAL 2005) Workshop -- Molecular Structures and Processes Workshop -- Pattern Recognition and Ubiquitous …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320432
- Deskripsi Fisik
- LXV, 1234 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Information Systems
Databases and Data Warehouses -- Temporality in Databases -- On Uncertainty and Data-Warehouse Design -- A Data Warehouse Engineering Process -- Aggregation and Analysis of Spatial Data by Means of Materialized Aggregation Tree -- An Object-Oriented Framework for Reconciliation and Extraction in Heterogeneous Data Federations -- On Optimising Data Access Via Materialised Methods in Object-Orien…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540301981
- Deskripsi Fisik
- XIV, 626 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Frontiers of Combining Systems
Logics, Theories, and Decision Procedures I -- A Comprehensive Framework for Combined Decision Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic -- On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal -- Inte…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317302
- Deskripsi Fisik
- X, 321 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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah