Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
interactive location » interactive education, interactive fiction, interactive motion
location programming » education programming, notations programming, action programming
programming function » programming functional, programming functionals, programme function
function https » functions https, fiction https
programming programming » programming programmed, programming program
interactive location » interactive education, interactive fiction, interactive motion
location programming » education programming, notations programming, action programming
programming function » programming functional, programming functionals, programme function
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... -- Batched Point Location in SINR Diagrams via Algebraic Tools -- On the Randomized Competitive Ratio...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...: Interacting with Locations -- Singing with Your Mobile: From DSP Arrays to Low-Cost Low-Power Chip Sets...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”View full text
Electronic
eBook
8
Table of Contents:
“...1. Introduction -- 2. Locating Web Elements -- 3. Hyperlink -- 4. Button -- 5. TestField...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... -- Web User Research -- The Project -- Project Management -- Architecture -- Functionality -- Image...”
View full text
View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Fuzzy-Based CPU Scheduling Algorithm -- Object Location in Cluster Based Mobile Ad Hoc Networks...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Management for Multicast of Ad Hoc Sensor Network -- An Accurate and Fast WLAN User Location Estimation...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes -- Generalized LR...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Supporting Personal Security -- Privacy Sensitive Location Information Systems in Smart Buildings -- Silent...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Reconstruction and Restoration -- Functional and Diffusion-Weighted MRI -- Modeling and Simulation -- Instrument...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Interactive 3D Models via Vertex Shader Programming -- An Optimized Soft 3D Mobile Graphics Library Based...”View full text
Electronic
eBook