Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
recursive programming » recursive programs
programming computing » programming comparing, programming composing, programming computer
interface recursive » interface secure
https » http
programming programming » programming programmed, programming program
recursive programming » recursive programs
programming computing » programming comparing, programming composing, programming computer
interface recursive » interface secure
https » http
1
Published 2007
Table of Contents:
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”View full text
Electronic
eBook
2
Table of Contents:
“...Overview -- Basic Computer Organization -- Pentium Assembly Language -- The Pentium Processor...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“...Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...: Ontology and Mereology of Domains -- Computer Science and State Machines -- A Small Step for Mankind...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... -- Advances in Quantitative Verification for Ubiquitous Computing -- Mobile Membranes: Computability...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Aspects of CMMI -- Agile Development Practices -- The Impact of Pair Programming and Test-Driven...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- Implicatures and Evidentiality of Because Complements at Syntax-Semantics-Pragmatics Interfaces -- Model...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Inference of Recursive Functions -- Inferability of Closed Set Systems from Positive Data -- An Extended...”View full text
Electronic
eBook