Ditapis dengan
Reliable Distributed Systems
Basic Distributed Computing Technologies -- Fundamentals -- Basic Communication Services -- High Assurance Communication -- Remote Procedure Calls and the Client/Server Model -- Styles of Client/Server Computing -- CORBA: The Common Object Request Broker Architecture -- System Support for Fast Client/Server Communication -- Web Technologies -- The World Wide Web -- Major Web Technologies -- Web…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387276014
- Deskripsi Fisik
- XXXVI, 668 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Invited Talks -- New Directions in PVM/Harness Research -- Towards a Productive MPI Environment -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Suppo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319436
- Deskripsi Fisik
- XVIII, 550 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computers in today's world
Reference card for BASIC inserted. Includes index.
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- xxiv, 673 p. : ill. (some col.) ; 25 cm.;
- Judul Seri
- The Irwin series in information and decision scien
- No. Panggil
- 001.6 Sta c
The Brain: Fuzzy Arithmetic to Quantum Computing
Quantification and Calculation in Nature -- The Cells of the Brain -- Brain: A Distributed Intelligent Processing System -- Neural Computational Mechanisms Supporting Cognitive Processes -- The Brain and Quantum Computation -- Memetics and Cognitive Mathematics -- Modeling of Arithmetic Reasoning -- Brain Maps of Arithmetic Processes in Children and Adults -- Arithmetic Learning Capability in C…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323570
- Deskripsi Fisik
- VIII, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Bioinformatics Using Computational Intelligence Paradigms
Medical Bioinformatics: Detecting Molecular Diseases with Case-Based Reasoning -- Prototype Based Recognition of Splice Sites -- Contact Based Image Compression in Biomedical High-Throughput Screening Using Artificial Neural Networks -- Discriminative Clustering of Yeast Stress Response -- A Dynamic Model of Gene Regulatory Networks Based on Inertia Principle -- Class Prediction with Microarray…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323617
- Deskripsi Fisik
- VII, 211 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Systems Approaches and Their Application
The Systems Approach: History and Schools of Thinking -- Systems and Systems Theory -- Schools of Systems Thinking - Development Trends in Systems Methodology -- Systems Analysis in Sweden - Examples of Projects Using a Systems Approach -- Systems Analysis in Geography -- Multi-Agent Systems, Time Geography, and Microsimulations -- Analyzing Biological Systems: The Brain as an Example -- Defini…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402023705
- Deskripsi Fisik
- XVIII, 340 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Symbolic Integration I
Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order Function -- Integration of Transcendental Functions -- The Risch Differential Equation -- Parametric Problems -- The Coupled Differential System -- Structure Theorems -- Parallel Integration.This first volume in the series "Algorithms and Computation in Mathematics" is destined to become the standar…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540268420
- Deskripsi Fisik
- XV, 325 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Statistical Modeling and Analysis for Complex Data Problems
Dependence Properties of Meta-Elliptical Distributions -- The Statistical Significance of Palm Beach County -- Bayesian Functional Estimation of Hazard Rates for Randomly Right Censored Data Using Fourier Series Methods -- Conditions for the Validity of F-Ratio Tests for Treatment and Carryover Effects in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effecti…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387245553
- Deskripsi Fisik
- XIV, 324 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Artificial Mind System
Part I: The Neural Foundations -- From Classical Connectionist Models to Probabilistic / Generalised Regression Neural Networks (PNNs / GRNNs) -- The Kernel Memory Concept – A Paradigm Shift from Conventional Connectionism -- The Self-Organising Kernel Memory (SOKM) -- Part II: Artificial Mind Systems -- The Artificial Mind System (AMS), Modules, and their Interactions -- Sensation and Percep…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324034
- Deskripsi Fisik
- XXI, 270 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Design and Specification Languages for SoCs
Analog and Mixed-Signal Systems -- Refinement of Mixed-Signal Systems: Between Heaven and Hell -- Mixed Nets, Conversion Models, and VHDL-AMS -- Monte Carlo Simulation Using VHDL-AMS -- Early Prediction of Conducted-Mode Emission of Complex Ic’s -- Practical Case Example of Inertial Mems Modeling with VHDL-AMS -- UML-Based System Specification and Design -- Metamodels and MDA Transformations …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387261515
- Deskripsi Fisik
- X, 305 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