1
Được phát hành 2015
Mục lục: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
lấy văn bản
Điện tử eBook
2
Được phát hành 2013
Mục lục: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...
lấy văn bản
Điện tử eBook
4
Được phát hành 2014
Mục lục: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
lấy văn bản
Điện tử eBook
5
Được phát hành 2006
Mục lục: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
lấy văn bản
Điện tử eBook
6
Được phát hành 2006
Mục lục: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
lấy văn bản
Điện tử eBook
7
Được phát hành 2008
Mục lục: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
lấy văn bản
Điện tử eBook
8
Được phát hành 2013
Mục lục: ...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...
lấy văn bản
Điện tử eBook
9
Được phát hành 2012
Mục lục: ...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...
lấy văn bản
Điện tử eBook
10
Được phát hành 2015
Mục lục: ... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...
lấy văn bản
Điện tử eBook
11
Được phát hành 2015
Mục lục: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
lấy văn bản
Điện tử eBook
12
Được phát hành 2014
Mục lục: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
lấy văn bản
Điện tử eBook