1
Udgivet 2010
Indholdsfortegnelse: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
Få fuldtekst
Electronisk eBog
3
Udgivet 2008
Indholdsfortegnelse: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
Få fuldtekst
Electronisk eBog
6
Udgivet 2008
Indholdsfortegnelse: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
Få fuldtekst
Electronisk eBog
7
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
8
Udgivet 2007
Indholdsfortegnelse: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
Få fuldtekst
Electronisk eBog
11
af Clark, Dan., Clark, Dan.
Udgivet 2013
Indholdsfortegnelse: ...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...
Få fuldtekst
Electronisk eBog
12
af Clark, Dan., Clark, Dan.
Udgivet 2011
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
13
af Jalote, Pankaj., Jalote, Pankaj.
Udgivet 2005
Indholdsfortegnelse: ... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....
Få fuldtekst
Electronisk eBog
14
Udgivet 2014
Indholdsfortegnelse: ... Amazon Mechanical Turk in ImageCLEF -- Part III – Use Cases -- The THESEUS Use Cases -- Domain-Adaptive...
Få fuldtekst
Electronisk eBog
15
Udgivet 2013
Indholdsfortegnelse: ... String Constraints: The Case for Constraint Programming -- Blowing Holes in Various Aspects...
Få fuldtekst
Electronisk eBog
16
Udgivet 2014
Indholdsfortegnelse: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
Få fuldtekst
Electronisk eBog
17
af Clark, Dan., Clark, Dan.
Udgivet 2006
Indholdsfortegnelse: ... Interaction -- Designing OOP Solutions: A Case Study -- Object-Oriented Programming with Visual Basic...
Få fuldtekst
Electronisk eBog
18
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
19
20
Udgivet 2010
Indholdsfortegnelse: ... and Decision Making -- Aggregation of Quasiconcave Functions -- Choquet Integral Models with a Constant...
Få fuldtekst
Electronisk eBog