1
Được phát hành 2006
Mục lục: ... -- New Metrics for Static Variable Ordering in Decision Diagrams -- Widening ROBDDs with Prime Implicants...
lấy văn bản
Điện tử eBook
2
Được phát hành 2015
Mục lục: ....-D. Chiang, T. Wang) -- Security and Formation of Network-Centric Operations (N.J. Daras) -- A Bio...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... on Register-Constrained Inclusion Scheduling -- Hiord: A Type-Free Higher-Order Logic Programming Language...
lấy văn bản
Điện tử eBook
4
Được phát hành 2015
Mục lục: ... with using Ahybrid Method -- Membrane System for the Decision-making Problem -- The Operational Model...
lấy văn bản
Điện tử eBook
5
Được phát hành 2014
Mục lục: ... -- Loading Data into HBase -- Incomplete Decision-Theoretic Rough Sets Model based on Improved Complete...
lấy văn bản
Điện tử eBook
6
Được phát hành 2006
Mục lục: ... Data Storage Systems for an Unbounded Number of Clients -- Time and Communication Efficient Consensus...
lấy văn bản
Điện tử eBook
7
Được phát hành 2007
Mục lục: ... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ... -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision...
lấy văn bản
Điện tử eBook
9
Được phát hành 2007
Mục lục: ... Multimedia Data Communication Networks -- EVM’s Java Dynamic Memory Manager and Garbage Collector...
lấy văn bản
Điện tử eBook
10
Được phát hành 2005
Mục lục: ...EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm...
lấy văn bản
Điện tử eBook
11
Được phát hành 2015
Mục lục: ... -- An Assistant Decision-Supporting Method for Urban Transportation Planning over Big Traffic Data -- An Improved...
lấy văn bản
Điện tử eBook
12
Được phát hành 2006
Mục lục: ... Using Citation Links and Co-citation Measure: Application to the Water Information System -- Semantic...
lấy văn bản
Điện tử eBook
13
Được phát hành 2007
Mục lục: ... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...
lấy văn bản
Điện tử eBook
14
Được phát hành 2015
Mục lục: .... Flexibility as a Strategy for Reducing Cost of Renovation in Building Construction Projects -- Chapter 18...
lấy văn bản
Điện tử eBook
15
Được phát hành 2008
Mục lục: ... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...
lấy văn bản
Điện tử eBook
16
Được phát hành 2008
Mục lục: ... for Markov Decision Processes with Qualitative Branching Time Objectives -- On Datalog vs. LFP -- Directed st...
lấy văn bản
Điện tử eBook
17
Được phát hành 2008
Mục lục: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
lấy văn bản
Điện tử eBook
18
Được phát hành 2008
Mục lục: ... -- Binary Decision Diagrams for Reliability Studies -- Field Data Analysis for Repairable Systems: Status...
lấy văn bản
Điện tử eBook
19
Được phát hành 2012
Mục lục: ... for Structured Data -- Spectral Signal Unmixing with Interior-Point Nonnegative Matrix Factorization -- Hybrid...
lấy văn bản
Điện tử eBook
20
Được phát hành 2010
Mục lục: ... Detection -- Approximation of Data by Decomposable Belief Models -- A Gambler’s Gain Prospects with Coherent...
lấy văn bản
Điện tử eBook