1
Được phát hành 2006
Mục lục: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
lấy văn bản
Điện tử eBook
2
Được phát hành 2007
Mục lục: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
lấy văn bản
Điện tử eBook
3
Được phát hành 2006
Mục lục: ... Protocol Construction as a Basis for Integration Architecture Configuration -- A P2P Approach for Business...
lấy văn bản
Điện tử eBook
4
Được phát hành 2008
Mục lục: ...Applications of Adaptive Hypermedia in Education -- Protocols of Coordination and Structured...
lấy văn bản
Điện tử eBook
5
Được phát hành 2006
Mục lục: ... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...
lấy văn bản
Điện tử eBook
6
Được phát hành 2014
Những chủ đề: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
lấy văn bản
Điện tử eBook
7
Được phát hành 2008
Mục lục: ... and Game Conditions -- Model-Based Reinforcement Learning in a Complex Domain -- HMDP: A New Protocol...
lấy văn bản
Điện tử eBook
8
Được phát hành 2006
Mục lục: ... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...
lấy văn bản
Điện tử eBook
9
Được phát hành 2005
Mục lục: ... E-Commerce Enterprise Systems -- Extending Groupware for OLAP -- XML-Based OLAP Query Processing...
lấy văn bản
Điện tử eBook
10
Được phát hành 2010
Mục lục: ... Discovery on Grid Systems -- Metamodel of Ontology Learning from Text -- An Analysis of Constructed...
lấy văn bản
Điện tử eBook
11
Được phát hành 2005
Mục lục: ... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...
lấy văn bản
Điện tử eBook
12
Được phát hành 2015
Mục lục: ... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...
lấy văn bản
Điện tử eBook
13
Được phát hành 2010
Mục lục: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
lấy văn bản
Điện tử eBook
14
Được phát hành 2012
Mục lục: ... Media -- A Computational Analysis of Joint Decision Making Processes -- Collaboratively Constructing a...
lấy văn bản
Điện tử eBook
15
Được phát hành 2010
Mục lục: ... Based on Knowledge States -- An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing...
lấy văn bản
Điện tử eBook
16
Được phát hành 2010
Mục lục: ... Manifesto -- Investigation and Implementation of T-DMB Protocol in NCTUns Simulator -- Empirical Analysis...
lấy văn bản
Điện tử eBook
17
Được phát hành 2005
Mục lục: ... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...
lấy văn bản
Điện tử eBook
18
Được phát hành 2010
Mục lục: ... Network Encryption Protocol in the OTS/CafeOBJ Method -- Model-Driven Design-Space Exploration...
lấy văn bản
Điện tử eBook
19
Được phát hành 2007
Mục lục: ... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...
lấy văn bản
Điện tử eBook
20
Được phát hành 2010
Mục lục: ... Effectiveness -- Agent-Oriented Programming for Client-Side Concurrent Web 2.0 Applications -- The SHIP: A SIP...
lấy văn bản
Điện tử eBook