Ditapis dengan
Component-Based Software Engineering
Prediction, Analysis and Monitoring of System Architecture -- Performance Prediction of J2EE Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise JavaBeans -- Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations -- Optimizing Resource Usage in Component-Based Real-Time Systems -- Evaluating Performance Attributes of …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320494
- Deskripsi Fisik
- XII, 360 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced Parallel Processing Technologies
Keynote Speech -- Research Issues in Adapting Computing to Small Devices -- Mobile Context-Aware Systems – Linking the Physical and Digital World -- Architecture -- A Data Transformations Based Approach for Optimizing Memory and Cache Locality on Distributed Memory Multiprocessors -- A Fetch Policy Maximizing Throughput and Fairness for Two-Context SMT Processors -- A Loop Transformation Usin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321071
- Deskripsi Fisik
- XIV, 526 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced Information Systems Engineering
Keynotes -- Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward Semantic Interoperability of Heterogeneous Biological Data Sources -- Conceptual Modeling -- The Association Construct in Conceptual Modelling – An Analysis Using the Bunge Ontological Model -- Comp…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321279
- Deskripsi Fisik
- XVI, 592 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced Functional Programming
Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Ref…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318729
- Deskripsi Fisik
- X, 362 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced Distributed Systems
Database Systems -- Database System Architecture – A Walk Through Time: From Centralized Platform to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved Recovery -- Extending Databases to Precision-Controlled Retrieval of Qualitative Information -- An Approach for Solving Very Large Scale Instances of the Design Distribution Problem for D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316749
- Deskripsi Fisik
- XII, 564 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced Data Mining and Applications
Keynote Papers -- Invited Papers -- Association Rules -- Classification -- Clustering -- Novel Algorithms -- Text Mining -- Multimedia Mining -- Sequential Data Mining and Time Series Mining -- Web Mining -- Biomedical Mining -- Advanced Applications -- Security and Privacy Issues -- Spatial Data Mining -- Streaming Data Mining.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318774
- Deskripsi Fisik
- XIX, 835 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Ad-Hoc, Mobile, and Wireless Networks
Invited Presentations -- Another Look at Dynamic Ad-Hoc Wireless Networks -- Routing in Wireless Networks and Local Solutions for Global Problems -- Contributed Papers -- Equilibria for Broadcast Range Assignment Games in Ad-Hoc Networks -- Efficient Mechanisms for Secure Inter-node and Aggregation Processing in Sensor Networks -- Cluster-Based Framework in Vehicular Ad-Hoc Networks -- Randomiz…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320869
- Deskripsi Fisik
- XII, 364 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Adaptive Agents and Multi-Agent Systems II
Gödel Machines: Towards a Technical Justification of Consciousness -- Postext – A Mind for Society -- Comparing Resource Sharing with Information Exchange in Co-operative Agents, and the Role of Environment Structure -- Baselines for Joint-Action Reinforcement Learning of Coordination in Cooperative Multi-agent Systems -- SMART (Stochastic Model Acquisition with ReinforcemenT) Learning Agent…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322740
- Deskripsi Fisik
- VIII, 313 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Adapting Proofs-as-Programs
Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard Protocol -- Imperative Proofs-as-Programs -- Intuitionistic Hoare Logic -- Properties of Intuitionistic Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- G…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387281834
- Deskripsi Fisik
- XII, 420 p. 54 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic guarded commands and their refinement logic -- to pGCL: Its logic and its model -- Probabilistic loops: Invariants and variants -- Case studies in termination: Choice coordination, the dining philosophers, and the random walk -- Probabilistic data refinement: The steam boiler -- Semantic structures -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387270067
- Deskripsi Fisik
- XX, 388 p. 63 illus.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