Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
integration recursive » integration security, iteration recursion, integration declarative
recursive programming » recursive programs
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Cover Image
Published 2013
Table of Contents: “... Model Checking of Higher-Order Recursion Schemes -- Model Checking Dynamic Pushdown Networks...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2013
Table of Contents: “... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2008
Table of Contents: “... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
by Love, Jonathan., Love, Jonathan.
Published 2007
Table of Contents: “... Interface -- Integrated Alarm Environment -- Analogue Control Loop -- Database Operations and Structure...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2005
Table of Contents: “... for Data Integration -- Recent Advances in Graph Drawing -- The Hyperdatabase Network – New Middleware...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2010
Table of Contents: “... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2006
Table of Contents: “... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search