Ditapis dengan
An Introduction to Queueing Theory and Matrix-Analytic Methods
Queues: The Art of Modelling -- Markov Chains and Queues in Discrete Time -- Homogeneous Markov Processes on Discrete State Spaces -- Markovian Queues in Continuous Time -- Markovian Queueing Networks -- Renewal Theory -- Markov Renewal Theory -- Semi-Markovian Queues -- Phase-Type Distributions -- Markovian Arrival Processes -- The GI/PH/1 Queue -- The BMAP/G/1 Queue -- Discrete Time Approache…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402036316
- Deskripsi Fisik
- XIV, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Citation Analysis in Research Evaluation
Executive Summary -- General Introduction and Main Conclusions -- General Introduction -- Basic Notions and General Conclusions -- Synopsis -- Empirical and Theoretical Chapters -- Citation Analysis of Basic Science Research Departments -- Citation Analysis of Scientific Journals -- Basic Principles, Citation Links and Terminology -- ISI Coverage by Discipline -- Implications for the Use of the…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402037146
- Deskripsi Fisik
- XIV, 348 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Practical Theory of Reactive Systems
Prologue -- Components of a Theory -- Fundamentals -- Towards an Action Language -- Formal Properties of Behaviors -- Proving Behavioral Properties -- Building a Practical Theory -- Basic Language Facilities -- Fundamentals of Design Methodology -- Object Orientation Elaborated -- Components and Interfaces -- Distributed and Real-Time Systems -- Distributed Systems -- Real Time -- Epilogue -- R…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540273486
- Deskripsi Fisik
- XXI, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Computing: Applications and Technologies
Algorithms and Applications -- Networking and Architectures -- Software Systems and Technologies.The 2004 International Conference on Parallel and Distributed Computing, - plications and Technologies (PDCAT 2004) was the ?fth annual conference, and was held at the Marina Mandarin Hotel, Singapore on December 8–10, 2004. Since the inaugural PDCAT held in Hong Kong in 2000, the conference has -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305019
- Deskripsi Fisik
- XXIV, 891 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Organizational Principles for Multi-Agent Architectures
Agent Organization Framework -- Coordination Strategies for Multi-Agent Systems -- Five Capabilities Model -- Interoperation within a Complex Multi-Agent Architecture -- Message Content Ontologies -- Conclusions.1. 1 Background In this work, we develop a framework for the design of multi-agent systems inspired by (human) organizational principles. Organizations are complex entities formed to ov…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373184
- Deskripsi Fisik
- X, 204 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops
Posters of the 2005 CoopIS (Cooperative Information Systems) International Conference -- Posters of the 2005 DOA (Distributed Objects and Applications) International Conference -- Posters of the 2005 ODBASE (Ontologies, Databases, and Applications of Semantics) International Conference -- Workshop on Agents, Web Services and Ontologies Merging (AWeSOMe) -- Security and Semantics -- Agents for W…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321323
- Deskripsi Fisik
- XXXI, 1228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Autonomy Oriented Computing
Fundamentals -- From Autonomy to AOC -- AOC at a Glance -- Design and Engineering Issues -- A Formal Framework of AOC -- AOC in Depth -- AOC in Constraint Satisfaction -- AOC in Complex Systems Modeling -- AOC in Optimization -- Challenges and Opportunities.Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and presenting exper…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402081224
- Deskripsi Fisik
- XXXII, 216 p. 57 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automata, Languages and Programming
Invited Lectures -- Data Structures I -- Cryptography and Complexity -- Data Structures II -- Cryptography and Distributed Systems -- Graph Algorithms I -- Security Mechanisms -- Graph Algorithms II -- Automata and Formal Languages I -- Signature and Message Authentication -- Algorithmic Game Theory -- Automata and Logic -- Computational Algebra -- Cache-Oblivious Algorithms and Algorithmic Eng…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316916
- Deskripsi Fisik
- L, 1482 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering Theories of Software Intensive Systems
Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams -- Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking and Theorem Proving -- Formalizing Counterexample-Driven Refinement with Weakest Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402035326
- Deskripsi Fisik
- X, 404 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Computer Systems: Architectures, Modeling, and Simulation
Keynote -- Platform Thinking in Embedded Systems -- Reconfigurable System Design and Implementations -- Interprocedural Optimization for Dynamic Hardware Configurations -- Reconfigurable Embedded Systems: An Application-Oriented Perspective on Architectures and Design Techniques -- Reconfigurable Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316640
- Deskripsi Fisik
- XV, 476 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