Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive applications » internet applications, enterprise applications, quantitative applications
applications programming » application programming, application program, applications proceedings
program implementation » project implementation
implementation https » instrumentation https, implementation _
programming program » programming programmed, programming problem, programming problems
interactive applications » internet applications, enterprise applications, quantitative applications
applications programming » application programming, application program, applications proceedings
program implementation » project implementation
implementation https » instrumentation https, implementation _
programming program » programming programmed, programming problem, programming problems
1
Published 2006
Table of Contents:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract) -- Time and Space...”View full text
Electronic
eBook
7
by Toselli, Alejandro Héctor., Toselli, Alejandro Héctor., Vidal, Enrique., Casacuberta, Francisco.
Published 2011
Table of Contents:
“... and Interactive Handwritten Transcription -- Interactive Machine Translation -- Multi-modality for Interactive...”Published 2011
View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...”View full text
Electronic
eBook
10
11
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... of Multiagent Team Behavior -- Reusable Components for Implementing Agent Interactions -- Multi-agent...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...) -- Constraint Applications -- Playing the Minesweeper with Constraints -- Using Constraint Programming...”View full text
Electronic
eBook
17
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
18
Table of Contents:
“...Object, Class, Message and Method -- A Quick Tour of Java -- Implementation in Java...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Instrumentation of Distributed Applications -- Implementing a Data Distribution Variant with a Metamodel, Some...”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