Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality adding » functionality using, functionality amino, functionality setting
https functionality » its functionality, bags functionality, cross functionality
program generation » program execution
generation https » degeneration https, generation hts, generation helps
adding https » aging https, auditing https, banking https
functionality adding » functionality using, functionality amino, functionality setting
https functionality » its functionality, bags functionality, cross functionality
program generation » program execution
generation https » degeneration https, generation hts, generation helps
adding https » aging https, auditing https, banking https
1
Published 2006
Table of Contents:
“... Via Periodic Optimization and Linear Programming: The Case of Sigmoidal Utility Function -- TCP Versus...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control -- Data Backup...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...1. Normal Numbers and Pseudorandom Generators (D.H. Bailey and J.M. Borwein) -- 2. New...”View full text
Electronic
eBook
8
Table of Contents:
“... Files -- Generating Thumbnail Images -- Pages that Remember: Simple Login and Multipage Forms -- Setting...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... Files -- Generating Thumbnail Images -- Pages That Remember: Simple Login and Multipage Forms -- Getting...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols -- Proving Ptolemy Right...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”View full text
Electronic
eBook