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