Ditapis dengan
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 Music Modeling and Retrieval
Pitch, Melody Detection -- Separating Voices in Polyphonic Music: A Contig Mapping Approach -- An Auditory Model Based Approach for Melody Detection in Polyphonic Musical Recordings -- A New Probabilistic Spectral Pitch Estimator: Exact and MCMC-approximate Strategies -- Rhythm, Tempo, Beat -- Determination of Perceptual Tempo of Music -- Source Separation and Beat Tracking: A System Approach t…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318071
- Deskripsi Fisik
- XI, 371 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Biometric Person Authentication
Biometrics -- Biometrics: When Identity Matters -- Face Recognition: Technical Challenges and Research Directions -- Fingerprints: Recognition, Performance Evaluation and Synthetic Generation -- Recognising Persons by Their Iris Patterns -- Multiple Classifier Fusion for Biometric Authentication -- Performance Evaluation in 1 : 1 Biometric Engines -- Best Performing Biometric Engines -- Discuss…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305484
- Deskripsi Fisik
- XVIII, 700 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Biometric Person Authentication
Face -- Texture Features in Facial Image Analysis -- Enhance ASMs Based on AdaBoost-Based Salient Landmarks Localization and Confidence-Constraint Shape Modeling -- Face Authentication Using One-Class Support Vector Machines -- A Novel Illumination Normalization Method for Face Recognition -- Using Score Normalization to Solve the Score Variation Problem in Face Authentication -- Gabor Feature …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322481
- Deskripsi Fisik
- XI, 250 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
Formal Methods for Mobile Computing
Models and Languages -- History-Dependent Automata: An Introduction -- Mobile Distributed Programming in X-Klaim -- Scalability and Performance -- Dealing with Node Mobility in Ad Hoc Wireless Network -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management -- Dynamic Power Management Str…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320210
- Deskripsi Fisik
- VIII, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
XML for Bioinformatics
to XML for Bioinformatics -- Fundamentals of XML and BSML -- DTDs for Bioinformatics -- XML Schemas for Bioinformatics -- Parsing NCBI XML in Perl -- The Distributed Annotation System (DAS) -- Parsing DAS Data with SAX -- Parsing DAS Data with JDOM -- Web Services for Bioinformatics.XML, or Extensible Markup Language, is rapidly becoming a critical tool in bioinformatics and biological data exc…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387274782
- Deskripsi Fisik
- XVI, 304 p. 59 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Socionics
Contribution of Socionics to the Scalability of Complex Social Systems: Introduction -- Contribution of Socionics to the Scalability of Complex Social Systems: Introduction -- I Multi-layer Modelling -- From “Clean” Mechanisms to “Dirty” Models: Methodological Perspectives of an Up-Scaling of Actor Constellations -- Sociological Foundation of the Holonic Approach Using Habitus-Field-The…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316138
- Deskripsi Fisik
- X, 315 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
JDF
Process integration in the printmedia industry -- Job Definition Format -- Networking architectures -- Benefits -- Procedure when implementing process integration -- Closing remarks.The arrival of PDF has successfully optimized certain elements of the production workflow – the next challenge facing the print media industry is to resolve the problem of non-networked software packages that exis…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540275282
- Deskripsi Fisik
- VII, 101 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Technologies for Advanced Heterogeneous Networks
Invited Papers -- Efficient Blacklisting and Pollution-Level Estimation in P2P File-Sharing Systems -- Building Tailored Wireless Sensor Networks -- Users and Services in Intelligent Networks -- Wireless, Mobility and Emergency Network -- MAC Protocol for Contacts from Survivors in Disaster Areas Using Multi-hop Wireless Transmissions -- Performance Evaluation of Mobile IPv6 Wireless Test-Bed i…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322924
- Deskripsi Fisik
- X, 310 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