Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interaction applications » interactive applications, internet applications, simulation applications
applications program » applications programs, application program, application programs
programs compiling » programs combining, programs compiler, programs containing
program programs » program program, programs program, program progress
compiling https » computing https, counseling https, consulting https
interaction applications » interactive applications, internet applications, simulation applications
applications program » applications programs, application program, application programs
programs compiling » programs combining, programs compiler, programs containing
program programs » program program, programs program, program progress
compiling https » computing https, counseling https, consulting https
1
2
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
4
Table of Contents:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”View full text
Electronic
eBook
7
Table of Contents:
“... -- Temporal Interaction -- Container Datatypes....”
View full text
View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”View full text
Electronic
eBook
10
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
11
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
13
Table of Contents:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
View full text
View full text
Electronic
eBook
14
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Programming -- An AgentSpeak Meta-interpreter and Its Applications -- Extending the Capability Concept...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...”View full text
Electronic
eBook