1
Pubblicazione 2014
Sommario: ... : Unification and Efficient Computation in The Minimalist Program -- Chapter XI : Recursion in generative...
Testo
Elettronico eBook
2
Pubblicazione 2015
Sommario: ...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Testo
Elettronico eBook
4
Pubblicazione 2005
Sommario: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Testo
Elettronico eBook
5
Pubblicazione 2012
Sommario: ... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...
Testo
Elettronico eBook
6
Pubblicazione 2008
Sommario: ...-Oriented Software Engineering -- Time Recursive Petri Nets -- Designing Case Handling Systems -- Model...
Testo
Elettronico eBook
7
Pubblicazione 2006
Sommario: ...-Oriented Programming Language for Computing in Context -- Search -- A Little Respect (for the Role...
Testo
Elettronico eBook
8
Pubblicazione 2006
Sommario: ...Awarded Papers -- Overview of Awarded Papers: The 19th Annual Conference of JSAI -- On Constructing...
Testo
Elettronico eBook
9
Pubblicazione 2006
Sommario: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
Testo
Elettronico eBook
10
Pubblicazione 2007
Sommario: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
Testo
Elettronico eBook