Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersection using » intersections using, interaction using, intervention using
processing program » processing programs, processing programmed, proceedings program
using processing » during processing, curing processing, aging processing
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
intersection using » intersections using, interaction using, intervention using
processing program » processing programs, processing programmed, proceedings program
using processing » during processing, curing processing, aging processing
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Automata and Their Uses in Natural Languages -- TAGH: A Complete Morphology for German Based on Weighted...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Element Model for Epidermal Wound Healing -- Predicting Binding Sites of Hepatitis C Virus Complexes Using...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... of Preemption in Scheduling -- An Improved Analysis for a Greedy Remote-Clique Algorithm Using Factor-Revealing...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Experience Reports and new Applications -- Current Practices in the Use of UML -- An Empirical Study...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Predicting Gene Function using Predictive Clustering Trees -- Analyzing Gene Expression Data with Predictive...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... State Machines and Simple Functions -- FIRE Station: An Environment for Manipulating Finite Automata...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“..., University of Twente, The Netherlands ).- 7: Cognitively Representing TPCK – Mental Models of Tool Functions...”View full text
Electronic
eBook