Ditapis dengan
System Level Design of Reconfigurable Systems-on-Chip
to Reconfigurable Hardware -- Reconfigurable Hardware Exploitation in Wireless Multimedia Communications -- Reconfigurable Hardware Technologies -- Design Flow for Reconfigurable Systems-on-Chip -- SystemC Based Approach -- OCAPI-XL Based Approach -- MPEG-4 Video Decoder -- Prototyping of a HIPERLAN/2 Reconfigurable System-on-Chip -- WCDMA Detector.System Level Design of Reconfigurable Systems-…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387261041
- Deskripsi Fisik
- 231 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
- -
Recent Advances in Memetic Algorithms
to Memetic Algorithms -- Memetic Evolutionary Algorithms -- Applications of Memetic Algorithms -- An Evolutionary Approach for the Maximum Diversity Problem -- Multimeme Algorithms Using Fuzzy Logic Based Memes For Protein Structure Prediction -- A Memetic Algorithm Solving the VRP, the CARP and General Routing Problems with Nodes, Edges and Arcs -- Using Memetic Algorithms for Optimal Calibrat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323631
- Deskripsi Fisik
- X, 410 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Supported Cooperative Work in Design I
CSCW Techniques and Methods -- Vega Information Grid for Collaborative Computing -- Physical Object Icons Buttons Gesture (PIBG): A New Interaction Paradigm with Pen -- A Novel Method of QoS Based Resource Management and Trust Based Task Scheduling -- Learning to Plan the Collaborative Design Process -- Groupware System Design and the Context Concept -- Grid Authorization Management Oriented to…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317401
- Deskripsi Fisik
- XII, 460 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Security - ESORICS 2005
Computerized Voting Machines: A View from the Trenches -- XML Access Control with Policy Matching Tree -- Semantic Access Control Model: A Formal Specification -- A Generic XACML Based Declarative Authorization Scheme for Java -- Specification and Validation of Authorisation Constraints Using UML and OCL -- Unified Index for Mobile Object Data and Authorizations -- On Obligations -- A Practical…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319818
- Deskripsi Fisik
- XII, 516 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Safety, Reliability, and Security
CMMI RAMS Extension Based on CENELEC Railway Standard -- The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems -- Defining and Decomposing Safety Policy for Systems of Systems -- Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Dat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320005
- Deskripsi Fisik
- XIII, 405 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Network Security
Invited Papers -- Self-managed Cells for Ubiquitous Systems -- Critical Information Assurance Challenges for Modern Large-Scale Infrastructures -- Rule-Based Topological Vulnerability Analysis -- Models and Analysis of Active Worm Defense -- Prevention of Information Attacks by Run-Time Detection of Self-replication in Computer Codes -- Mathematical Models, Architectures and Protocols for Compu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319986
- Deskripsi Fisik
- XIV, 482 p.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
- -
Foundations of Security Analysis and Design III
FOSAD 2004 (6-11 September 2004) -- Justifying a Dolev-Yao Model Under Active Attacks -- Model-Based Security Engineering with UML -- A Tutorial on Physical Security and Side-Channel Attacks -- Static Analysis of Authentication -- FOSAD 2005 (19-24 September 2005) -- Formal Methods for Smartcard Security -- Privacy-Preserving Database Systems -- Intrusion Detection: Introduction to Intrusion De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319368
- Deskripsi Fisik
- VIII, 276 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