Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program constructing » program construction, diagram constructing, programs conducting
comparing programs » camping programs, combining programs, converting programs
constructing https » construction https, consulting https, constructing better
service comparing » services comparing, service computing, services computing
programs program » programming program
program constructing » program construction, diagram constructing, programs conducting
comparing programs » camping programs, combining programs, converting programs
constructing https » construction https, consulting https, constructing better
service comparing » services comparing, service computing, services computing
programs program » programming program
1
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... II -- On the Bipartite Unique Perfect Matching Problem -- Comparing Reductions to NP-Complete Sets...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”View full text
Electronic
eBook
4
Table of Contents:
“...Abstract Machines -- How to Describe a Programming Language -- Foundations -- Names...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
6
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Region by Comparing On-Site Data with NREL Wind Resource Map of Pakistan -- Ch 5 Technological Assessment...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Constituent Order -- A Formal Deconstruction of Fluid Construction Grammar -- A Logic Programming Approach...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
13
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“...and Definitions -- Definitions -- General Constructions -- Semi-honest Adversaries -- Malicious...”
View full text
View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... For Gene Functional Enrichments -- A Comparative Study of Methodologies of Protein Secondary Structure -- A...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Making and Inference -- Mining Knowledge -- Comparing LDA with pLSI as a Dimensionality Reduction Method...”View full text
Electronic
eBook
18
Table of Contents:
“... nanostructure assembling reversibly in programmed patterns -- Arrangement of gold nanoparticles onto a slit-type...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... World: Issues of Quality of Service -- Comparing the Expressiveness of Timed Automata and Timed...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”View full text
Electronic
eBook