1
Table of Contents: ... Concepts -- Introduction -- Basics of Object-Oriented Programming -- Relationships Between Classes...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
6
by Lee, Kent D., Lee, Kent D.
Published 2008
Table of Contents: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
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: ... Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter -- Relational Growth...
View full text
Electronic eBook
10
by Lee, Kent D., Lee, Kent D.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
11
by Lee, Kent D., Lee, Kent D.
Published 2011
Table of Contents: ...-driven Programming -- Defining Classes....
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 2015
Table of Contents: ... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... of Multiagent Team Behavior -- Reusable Components for Implementing Agent Interactions -- Multi-agent...
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
Published 2005
Table of Contents: ...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...
View full text
Electronic eBook
19
Table of Contents: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
View full text
Electronic eBook
20
Table of Contents: ...Object, Class, Message and Method -- A Quick Tour of Java -- Implementation in Java...
View full text
Electronic eBook