Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
Inne możliwości wyszukiwania:
integration functions » integration functional, integrating functions, interactions functions
functions programs » functional programs, functions programmed, functional program
programs programs » programs program, program program, problems programs
programs case » programs a
case https » care https, use https, change https
integration functions » integration functional, integrating functions, interactions functions
functions programs » functional programs, functions programmed, functional program
programs programs » programs program, program program, problems programs
programs case » programs a
case https » care https, use https, change https
1
Wydane 2010
Spis treści:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Dokumenty pełnotekstowe
Elektroniczne
E-book
2
Wydane 2008
Spis treści:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Dokumenty pełnotekstowe
Elektroniczne
E-book
3
Wydane 2008
Spis treści:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Dokumenty pełnotekstowe
Elektroniczne
E-book
4
Wydane 2007
Spis treści:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”Dokumenty pełnotekstowe
Elektroniczne
E-book
5
Wydane 2006
Spis treści:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Dokumenty pełnotekstowe
Elektroniczne
E-book
6
Wydane 2008
Spis treści:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Dokumenty pełnotekstowe
Elektroniczne
E-book
7
Hasła przedmiotowe:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Elektroniczne
E-book
8
Wydane 2007
Spis treści:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Dokumenty pełnotekstowe
Elektroniczne
E-book
9
Wydane 2006
Spis treści:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Dokumenty pełnotekstowe
Elektroniczne
E-book
10
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Wydane 2013
Spis treści:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Dokumenty pełnotekstowe
Elektroniczne
E-book
11
Spis treści:
“...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Elektroniczne
E-book
12
Hasła przedmiotowe:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Elektroniczne
E-book
13
Spis treści:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Elektroniczne
E-book
14
Wydane 2014
Spis treści:
“... Amazon Mechanical Turk in ImageCLEF -- Part III – Use Cases -- The THESEUS Use Cases -- Domain-Adaptive...”Dokumenty pełnotekstowe
Elektroniczne
E-book
15
Wydane 2013
Spis treści:
“... String Constraints: The Case for Constraint Programming -- Blowing Holes in Various Aspects...”Dokumenty pełnotekstowe
Elektroniczne
E-book
16
Wydane 2014
Spis treści:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Dokumenty pełnotekstowe
Elektroniczne
E-book
17
Spis treści:
“... Interaction -- Designing OOP Solutions: A Case Study -- Object-Oriented Programming with Visual Basic...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Elektroniczne
E-book
18
Hasła przedmiotowe:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Elektroniczne
E-book
19
od Buang, Mokhtaruddin, Abu Samah, Asnarulkhadi, Rosnon, Mohd Roslan, Burhan, Nik Ahmad Sufian
Wydane 2023
“..., and this effort has been continued with the introduction of Program Desa Lestari. Program Desa Lestari...”Wydane 2023
Dokumenty pełnotekstowe
Artykuł
20
Wydane 2010
Spis treści:
“... and Decision Making -- Aggregation of Quasiconcave Functions -- Choquet Integral Models with a Constant...”Dokumenty pełnotekstowe
Elektroniczne
E-book