Suggested Topics within your search.
Search alternatives:
complete programming » computer programming, template programming, components programming
programming program » programming programmed, programming problem, programming problems
integrals complete » integrals incomplete, integrals complex, internet complete
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
1
Cover Image
Published 2012
Table of Contents: “... Certificates for Linear Logic -- Constructive Completeness for Modal Logic with Transitive Closure -- Rating...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2010
Table of Contents: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2006
Table of Contents: “... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2005
Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2014
Table of Contents: “... Evidence -- GRASShopper: Complete Heap Verification with Mixed Specifications -- Alternating Runtime...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2006
Table of Contents: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Table of Contents: “... Adapters -- Part IV Orchestrations -- Services and SOA -- Orchestration Flow -- Advanced Constructs...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
by Grout, Ian A., Grout, Ian A.
Published 2006
Table of Contents: “...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Table of Contents: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Table of Contents: “... -- Component Based UI construction -- Widgets.-Panels -- GWT Events -- Summary -- Building Advance UI...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2010
Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Table of Contents: “... with JBoss -- The Spring Framework -- Tapestry -- Testing -- Continuous Integration -- Additional Topics....”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Published 2008
Table of Contents: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2007
Table of Contents: “... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2010
Table of Contents: “...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2007
Table of Contents: “... Equation -- Symmetries and Dynamics of Discrete Systems -- Exact Solutions of Completely Integrable Systems...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2010
Table of Contents: “... -- Approximate Lasserre Integrality Gap for Unique Games -- Exploiting Concavity in Bimatrix Games: New...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Table of Contents: “...Linear and Quadratic Programming -- General Optimization With Simple -- Advanced Issues in Mean...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search