Ditapis dengan
Functional Verification of Programmable Embedded Architectures
to Functional Verification -- Architecture Specification -- Architecture Specification -- Validation of Specification -- Top-Down Validation -- Executable Model Generation -- Design Validation -- Functional Test Generation -- Future Directions -- Conclusions.Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlene…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387263991
- Deskripsi Fisik
- XIX, 180 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Digital Design and Implementation with Field Programmable Devices
Digital Design Concepts -- PLD Based Design -- Logic Design Concepts -- Verilog for Simulation and Synthesis -- Programmable Logic Devices -- Computer Architecture -- Design Prototyping -- Tools for Design and Prototyping -- Gate Level Combinational Design -- Designing Library Components -- Design Reuse -- HDL Based Design -- System Design Projects -- Sequential Multiplier -- VGA Adapter -- Key…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402080128
- Deskripsi Fisik
- XVI, 293 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Intelligence for Modelling and Prediction
From the contents: Symmetrization of Fuzzy Operators: Notes On Data Aggregation -- An Integrity Estimation Using Fuzzy Logic -- Connectionist Fuzzy Relational Systems -- Semantic Indexing and Fuzzy Relevance Model in Information Retrieval -- Backward Reasoning on Rule-Based Systems Modeled by Fuzzy Petri Nets Through Backward Tree -- On The Generalization of Fuzzy Rough Approximation Based on A…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324027
- Deskripsi Fisik
- IX, 414 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Classification and Clustering for Knowledge Discovery
Knowledge Discovery today is a significant study and research area. In finding answers to many research questions in this area, the ultimate hope is that knowledge can be extracted from various forms of data around us. This book covers recent advances in unsupervised and supervised data analysis methods in Computational Intelligence for knowledge discovery. In its first part the book provides a…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324041
- Deskripsi Fisik
- XII, 356 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Aided Architectural Design Futures 2005
Keynote Papers -- Digitally Sponsored Convergence of Design Education, Research and Practice -- Space, Time, Mind -- Constructing Complexity -- Virtual Heritage, Reconstruction and Histories -- Labyrinthine Digital Histories -- A 3D Model of the Inner City of Beijing -- A Method Proposed for Adoption of Digital Technology in Architectural Heritage Documentation -- From Architectural Intent to P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402036989
- Deskripsi Fisik
- XII, 482 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Holonic and Multi-Agent Systems for Manufacturing
Invited Papers -- Experience with Holonic and Agent-Based Control Systems and Their Adoption by Industry -- Fundamental Insights into Holonic Systems Design -- A 3D Visualization and Simulation Framework for Intelligent Physical Agents -- Theoretical and Methodological Issues -- MAS Methodology for HMS -- Probabilistic Holons for Efficient Agent-Based Data Mining and Simulation -- An Informatio…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318316
- Deskripsi Fisik
- XII, 276 p. 76 illus., 6 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Systems Modeling and Simulation: Theory and Applications
Keynotes -- Modeling and Simulation Methodology – I -- Manufacturing -- Aerospace – I -- Military Simulation -- Medical Simulation – I -- General Applications – I -- Network – I -- e-Business -- Numerical Simulation -- Modeling and Simulation Methodology – II -- Traffic Simulation -- Network – II -- Aerospace – II -- Network – III -- General Applications – II -- Transportati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305859
- Deskripsi Fisik
- XIV, 733 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integrated Circuit and System Design. Power and Timing Modeling, Optimization…
Session 1: Low-Power Processors -- Session 2: Code Optimization for Low-Power -- Session 3: High-Level Design -- Session 4: Telecommunications and Signal Processing -- Session 5: Low-Power Circuits -- Session 6: System-on-Chip Design -- Session 7: Busses and Interconnections -- Session 8: Modeling -- Session 9: Design Automation -- Session 10: Low-Power Techniques -- Session 11: Memory and Regi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320807
- Deskripsi Fisik
- XVI, 756 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