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