Ditapis dengan
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
- -
Computational Science -- ICCS 2005
Workshop On “High Performance Computing in Academia: Systems and Applications” -- Workshop on “Tools for Program Development and Analysis in Computational Science” -- Workshop on “Computer Graphics and Geometric Modeling, CGGM 2005” -- Workshop on “Modelling of Complex Systems by Cellular Automata” -- Workshop on “Wireless and Mobile Systems” -- Workshop on “Dynamic Data D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321149
- Deskripsi Fisik
- LXIII, 1101 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Methods in Systems Biology
Long Papers -- An Explicit Upper Bound for the Approximation Ratio of the Maximum Gene Regulatory Network Problem -- Autonomous Mobile Robot Control Based on White Blood Cell Chemotaxis -- Beta Binders for Biological Interactions -- Biomimetic in Silico Devices -- Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing -- Graph-Based Modeling of Biological Regulatory Netwo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540259749
- Deskripsi Fisik
- X, 282 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