Ditapis dengan
Applications and Theory of Petri Nets 2005
Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov N…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315599
- Deskripsi Fisik
- XI, 475 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithms in Bioinformatics
Expression -- Spectral Clustering Gene Ontology Terms to Group Genes by Function -- Dynamic De-Novo Prediction of microRNAs Associated with Cell Conditions: A Search Pruned by Expression -- Clustering Gene Expression Series with Prior Knowledge -- A Linear Time Biclustering Algorithm for Time Series Gene Expression Data -- Time-Window Analysis of Developmental Gene Expression Data with Multiple…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318125
- Deskripsi Fisik
- X, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithms and Computation
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324263
- Deskripsi Fisik
- XX, 1190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324263
- Deskripsi Fisik
- XX, 1190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithms and Computation
Puzzles, Art, and Magic with Algorithms -- The ABCs of AVDs: Geometric Retrieval Made Simple -- Pareto Optimality in House Allocation Problems -- Property-Preserving Data Reconstruction -- On the Monotone Circuit Complexity of Quadratic Boolean Functions -- Generalized Function Matching -- Approximate Distance Oracles for Graphs with Dense Clusters -- Multicriteria Global Minimum Cuts -- Polyli…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305514
- Deskripsi Fisik
- XVII, 935 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithmic Learning Theory
Editors’ Introduction -- Editors’ Introduction -- Invited Papers -- Invention and Artificial Intelligence -- The Arrowsmith Project: 2005 Status Report -- The Robot Scientist Project -- Algorithms and Software for Collaborative Discovery from Autonomous, Semantically Heterogeneous, Distributed Information Sources -- Training Support Vector Machines via SMO-Type Decomposition Methods -- Kern…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316961
- Deskripsi Fisik
- XII, 491 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Digital Cities III. Information Technologies for Social Capital: Cross-cultur…
Local Information and Communication Infrastructures: An Introduction -- Local Information and Communication Infrastructures: An Introduction -- I Digital Cities Around the World: Case Studies -- The Seattle Community Network: Anomaly or Replicable Model? -- The Blacksburg Electronic Village: A Study in Community Computing -- The Life and Death of the Great Amsterdam Digital City -- Urban Cybers…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540259718
- Deskripsi Fisik
- XII, 438 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Differential Evolution
Global optimization -- The Motivation for Differential Evolution -- Critical values for the control parameters of differential evolution algorithms -- The Differential Evolution Algorithm -- Fast Evolution Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function optimization -- Problem Domains -- Shape design and optimization by genetic algorithm …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540313069
- Deskripsi Fisik
- XIX, 539 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Developments in Language Theory
Invited Papers -- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic and Topological Models for DNA Recombinant Processes -- Contributed Papers -- Regular Expressions for T…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305507
- Deskripsi Fisik
- XII, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithmic Applications in Management
Invited Lecture -- Robust Airline Fleet Assignment:Imposing Station Purity Using Station Decomposition -- Computing the Arrow-Debreu Competitive Market Equilibrium and Its Extensions -- Contributed Papers -- Complexity of Minimal Tree Routing and Coloring -- Energy Efficient Broadcasting and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optim…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324409
- Deskripsi Fisik
- XIV, 484 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algebra and Coalgebra in Computer Science
Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories -- Labels from Reductions: Towards a General Theory -- Adequacy for Algebraic Effects with State -- Contributed Papers -- Bisimilarity Is Not Finitely Based over BPA with Interrupt -- Algebra ? Coalgebra = Presheaves -- Strong Splitting Bisimulation Equivalence -- Complete Axioms for Stateless Conne…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318767
- Deskripsi Fisik
- XII, 460 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