Ditapis dengan
Distributed and Parallel Computing
Improving Concurrent Write Scheme in File Server Group -- A Comparative Performance Study of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison of Cluster Operating Systems Implementing Sequential and Transactional Consistency -- Clock Synchronization State Graphs Based on Clock Precision Difference -- A Recursive-Adjustment Co-allocation Schem…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320715
- Deskripsi Fisik
- XIV, 452 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Discrete Geometry for Computer Imagery
Applications -- Increasing Interconnection Network Connectivity for Reducing Operator Complexity in Asynchronous Vision Systems -- Geometric Robot Mapping -- Discrete Geometry Applied in Hard Real-Time Systems Validation -- Discrete Hierarchical Geometry -- Hierarchical Watersheds Within the Combinatorial Pyramid Framework -- Optimal Design of 2D/3D Hierarchical Content-Based Meshes for Multime…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319658
- Deskripsi Fisik
- X, 430 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Architecture Description Languages
Tutorial -- An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering -- Models and Analysis -- Deploying QoS Contracts in the Architectural Level -- Hierarchical Composition and Abstraction in Architecture Models -- Pattern-Based Analysis of an Embedded Real-Time System Architecture -- An ADL Centric…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387245904
- Deskripsi Fisik
- X, 212 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Designing Virtual Reality Systems
Basics of Designing Virtual Reality Systems -- Introduction: Virtual Reality in a Nutshell -- Requirements Engineering and Storyboarding -- Object and Scene Modeling -- Putting It All Together -- Performance Estimation and System Tuning -- Creating the Virtual Reality -- Output Display -- Sensors and Input Processing -- 3D Multimodal Interaction Design -- Simulation I: Collision Detection -- Si…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846282300
- Deskripsi Fisik
- X, 233 p. 191 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent-Based Simulation: From Modeling Methodologies to Real-World Applications
SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion of agent-based models -- Modeling the Exchange of AIDS Prevention and Treatment Strategies in Hong Kong -- Effect of Mutual Choice Metanorm in Group Dynamics for Solving Social Dilemmas -- Evolution of Cooperative Behavior in C2C market: Effect of Reputation Management System -- Constructing shared …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9784431269250
- Deskripsi Fisik
- X, 250 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Conceptual Modeling - ER 2005
Specific Approaches -- Conceptual Modeling of Structure and Behavior with UML – The Top Level Object-Oriented Framework (TLOOF) Approach -- How to Manage Uniformly Software Architecture at Different Abstraction Levels -- Schema Integration Based on Uncertain Semantic Mappings -- Process Modeling and Views -- Combining Intention-Oriented and State-Based Process Modeling -- Pattern-Based Analys…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320685
- Deskripsi Fisik
- XVI, 504 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Graphics and Geometric Modelling
Basic Computer Graphics -- Raster Algorithms -- Clipping -- Transformations and the Graphics Pipeline -- Approaches to Geometric Modeling -- Basic Geometric Modeling Tools -- Visible Surface Algorithms -- Color -- Illumination and Shading -- Rendering Techniques -- Geometric Modeling Topics -- Curves in Computer Graphics -- Surfaces in Computer Graphics -- Intersection Algorithms -- Global Geom…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281082
- Deskripsi Fisik
- XX, 908 p. 452 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Aided Systems Theory – EUROCAST 2005
Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318293
- Deskripsi Fisik
- XIV, 634 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
- -
Multi-Agent and Multi-Agent-Based Simulation
Simulation of Multi-agent Systems -- Smooth Scaling Ahead: Progressive MAS Simulation from Single PCs to Grids -- Agent Communication in Distributed Simulations -- Distributed Simulation of MAS -- Extending Time Management Support for Multi-agent Systems -- Designing and Implementing MABS in AKIRA -- Technique and Technology -- Work-Environment Analysis: Environment Centric Multi-agent Simulati…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322436
- Deskripsi Fisik
- X, 265 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