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