1
Udgivet 2006
Indholdsfortegnelse: ... Risk Example -- Integration and Fusion -- Changes in Topological Relations when Splitting and Merging...
Få fuldtekst
Electronisk eBog
2
Udgivet 2012
Indholdsfortegnelse: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Få fuldtekst
Electronisk eBog
4
Udgivet 2006
Indholdsfortegnelse: ... of Clairvoyance -- Similarity of Objects and the Meaning of Words -- Totally ? ? Computably Enumerable and m...
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Få fuldtekst
Electronisk eBog
7
Udgivet 2013
Indholdsfortegnelse: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ... -- MacVector: An Integrated Sequence Analysis Program for the Macintosh -- MacVector: Aligning Sequences...
Få fuldtekst
Electronisk eBog
9
Udgivet 2015
Indholdsfortegnelse: ... -- Obtaining agents and entities from natural language -- A New Methodology based on Cloud Computing...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...
Få fuldtekst
Electronisk eBog
11
Udgivet 2008
Indholdsfortegnelse: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
Få fuldtekst
Electronisk eBog
12
Udgivet 2008
Indholdsfortegnelse: ...-Dominant Mindset -- An integrated Approach to Service innovation -- SSME Education -- Moving the Service...
Få fuldtekst
Electronisk eBog
13
Udgivet 2007
Indholdsfortegnelse: ... Programming Method for Collaborative Scheduling in Construction Supply Chain Management -- A Particular...
Få fuldtekst
Electronisk eBog
14
Udgivet 2015
Indholdsfortegnelse: ... Progress Tracking Process from Point Cloud for Industrial Plants Construction -- An Integrated Approach...
Få fuldtekst
Electronisk eBog
15
Udgivet 2007
Indholdsfortegnelse: ... Web Applications -- Integrating Databases, Search Engines and Web Applications: A Model-Driven...
Få fuldtekst
Electronisk eBog
16
Udgivet 2006
Indholdsfortegnelse: ...Awarded Papers -- Overview of Awarded Papers: The 19th Annual Conference of JSAI -- On Constructing...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ... Learning Style Learners -- Computer-Supported Collaborative Conceptual Change -- Optimization Technique...
Få fuldtekst
Electronisk eBog
18
Udgivet 2006
Indholdsfortegnelse: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ... Construction -- From Microarray to Biology -- Modeling and Reconstruction -- Computational Procedures for Model...
Få fuldtekst
Electronisk eBog
20
Udgivet 2013
Indholdsfortegnelse: ..., Construction, and Integration in Instrumented Walkways of a Portable Kit for the Assessment of Gait Parameters...
Få fuldtekst
Electronisk eBog