Ditapis dengan
Combinatorial Image Analysis
Discrete Tomography -- Binary Matrices Under the Microscope: A Tomographical Problem -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from Noisy Projections -- Combinatorics and Computational Models -- Hexagonal Pattern Languages -- A Combinatorial Transparent Surface Modeling from Polarization Images -- Integral Trees: Subtree D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305033
- Deskripsi Fisik
- XII, 760 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Comparative Genomics
Conservation of Combinatorial Structures in Evolution Scenarios -- Toward a Phylogenetically Aware Algorithm for Fast DNA Similarity Search -- Multiple Genome Alignment by Clustering Pairwise Matches -- On the Structure of Reconciliations -- The Statistical Significance of Max-Gap Clusters -- Identifying Evolutionarily Conserved Segments Among Multiple Divergent and Rearranged Genomes -- Genome…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322900
- Deskripsi Fisik
- VIII, 134 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Comparative Genomics
Lower Bounds for Maximum Parsimony with Gene Order Data -- Genes Order and Phylogenetic Reconstruction: Application to ?-Proteobacteria -- Maximizing Synteny Blocks to Identify Ancestral Homologs -- An Expectation-Maximization Algorithm for Analysis of Evolution of Exon-Intron Structure of Eukaryotic Genes -- Likely Scenarios of Intron Evolution -- OMA, A Comprehensive, Automated Project for th…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318149
- Deskripsi Fisik
- VIII, 168 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Categories for Software Engineering
Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors -- Advanced Topics -- Functor-Based Constructions -- Adjunctions -- Applications -- CommUnity -- Architectural Description -- An Algebra of Connectors.This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this b…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268918
- Deskripsi Fisik
- XIV, 250 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Quantitative Measure for Discrete Event Supervisory Control
Theory of Language Measure and Supervisory Control -- Signed Real Measure of Regular Languages -- Optimal Supervisory Control of Regular Languages -- Robust Optimal Control of Regular Languages -- Advanced Topics in Supervisory Control -- Engineering and Software Applications of Language Measure and Supervisory Control -- Discrete Event Supervisory Control of a Mobile Robotic System -- Optimal …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387239033
- Deskripsi Fisik
- XX, 264 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
QoS in Packet Networks
Basic Mathematics for QoS -- QoS Metrics -- IP QoS Generic Functional Requirements -- IP Integrated Services and Differentiated Services -- QoS in ATM Networks -- MPLS -- References.QoS is an important subject which occupies a central place in overall packet network technologies. A complex subject, its analysis involves such mathematical disciplines as probability, random variables, stochastic …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387233901
- Deskripsi Fisik
- XIII, 243 p. 164 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Progress in Cryptology – Mycrypt 2005
Invited Talk I -- Trends and Challenges for Securer Cryptography in Practice -- Stream Ciphers Analysis -- Distinguishing Attacks on T-Functions -- Introducing a New Variant of Fast Algebraic Attacks and Minimizing Their Successive Data Complexity -- Cryptography Based on Combinatorics -- Equivalent Keys in HFE, C*, and Variations -- A New Structural Attack for GPT and Variants -- A Family of F…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320661
- Deskripsi Fisik
- XI, 329 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Progress in Cryptology - INDOCRYPT 2005
Invited Talk -- Abelian Varieties and Cryptography -- Sequences -- Proof of a Conjecture on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function and S-Box -- On the Algebraic Immunity of Symmetric Boolean Functions -- On Highly Nonlinear S-Boxes and Their Inability to Thwart DPA Attacks -- Hash Functions -- How to Construct Universal One-Way…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322788
- Deskripsi Fisik
- XIV, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Progress in Cryptology - INDOCRYPT 2004
Invited Talks -- Design of Secure Key Establishment Protocols: Successes, Failures and Prospects -- Secure Protocols for Complex Tasks in Complex Environments -- Cryptographic Protocols -- Tripartite Key Exchange in the Canetti-Krawczyk Proof Model -- The Marriage Proposals Problem: Fair and Efficient Solution for Two-Party Computations -- Applications -- On the Security of a Certified E-Mail S…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305569
- Deskripsi Fisik
- XIV, 431 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Practice and Theory of Automated Timetabling V
General Issues -- Learning User Preferences in Distributed Calendar Scheduling -- Semantic Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper-heuristics for Timetabling and Scheduling -- Transport Timetabling -- A Hybridised Integer Programming and Local Search Method for Robust Train Driver Schedules Planning -- Logistics Service Network Des…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324218
- Deskripsi Fisik
- XII, 360 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