Ditapis dengan
Reconfigurable Computing
An Introduction to Reconfigurable Computing. What is RC? RC Architectures. How did RC originate? Inside the FPGA. Mapping Algorithms to Hardware. RC Applications. Example: Dot Product. Further Reading -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers.…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387261065
- Deskripsi Fisik
- X, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Algebra in Scientific Computing
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320708
- Deskripsi Fisik
- XII, 504 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Frontiers of Combining Systems
Logics, Theories, and Decision Procedures I -- A Comprehensive Framework for Combined Decision Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic -- On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal -- Inte…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317302
- Deskripsi Fisik
- X, 321 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multiparadigm Programming in Mozart/Oz
Keynote Talk -- The Development of Oz and Mozart -- Security -- The Structure of Authority: Why Security Is Not a Separable Concern -- The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specificati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318453
- Deskripsi Fisik
- XVI, 336 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multimedia Introduction to Programming Using Java
Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction to Java -- Methods -- Classes -- Subclasses -- Some Useful Classes -- Reference on Primitive Types -- Other Java Constructs -- Loops -- Arrays -- Multi-dimensional Arrays -- Exception Handling -- Packages -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387269344
- Deskripsi Fisik
- XVIII, 536 p. 420 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multiagent System Technologies
Invited Contributions -- On the Convergence of Structured Search, Information Retrieval and Trust Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents -- Workflows and Group Interaction -- Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform -- BSCA-P: Privacy Preserving Coalition Formation -- Towards Servic…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540287414
- Deskripsi Fisik
- XII, 248 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multi-Agent Programming
Logic- or Process Algebra-Based Agent Programming Languages -- Jason and the Golden Fleece of Agent-Oriented Programming -- Programming Multi-Agent Systems in 3APL -- Impact: A Multi-Agent Framework with Declarative Semantics -- Claim and Sympa: A Programming Environment for Intelligent and Mobile Agents -- Java-Based Agent Programming Languages -- Jade — A Java Agent Development Framework --…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387263502
- Deskripsi Fisik
- XXXIV, 296 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Middleware 2005
Securing Publish/Subscribe for Multi-domain Systems -- ABACUS: A Distributed Middleware for Privacy Preserving Data Sharing Across Private Data Warehouses -- Causeway: Support for Controlling and Analyzing the Execution of Multi-tier Applications -- MINERVA?: A Scalable Efficient Peer-to-Peer Search Engine -- An Optimal Overlay Topology for Routing Peer-to-Peer Searches -- Combining Flexibility…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322696
- Deskripsi Fisik
- XIV, 454 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Metainformatics
Computer Aided Composition -- Supporting Tools for Designing-By-Contract in Component-Based Applications -- Access Rights – The Keys to Cooperative Work/Learning -- Flexible Notifications and Task Models for Cooperative Work Management -- Managing Ontological Complexity: A Case Study -- Looking Beyond Computer Applications: Investigating Rich Structures -- Towards a Generic Building Block for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321057
- Deskripsi Fisik
- VIII, 221 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Grid Computing - EGC 2005
Telemedical Applications and Grid Technology -- Statistical Modeling and Segmentation in Cardiac MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320364
- Deskripsi Fisik
- XXI, 1198 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