Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
programs complete » programs incomplete, progress complete, programs complex
complete https » complexity https, complete hands, complete heap
using https » using http, nursing https, aging https
1
Obálka
Vydáno 2010
Obsah: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Autor Addis, Tom., Addis, Tom., Addis, Jan.
Vydáno 2010
Obsah: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2008
Obsah: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
4
Obálka
Vydáno 2006
Obsah: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
5
Obálka
Vydáno 2005
Obsah: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
6
Obálka
Autor Nisio, Makiko., Nisio, Makiko.
Vydáno 2015
Témata: “...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
7
Obálka
Vydáno 2008
Obsah: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
8
Obálka
Vydáno 2006
Obsah: “... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
9
Obálka
Vydáno 2005
Obsah: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
10
Obálka
Vydáno 2006
Obsah: “... and Relative Completeness of Logics for Higher-Order Functions -- Interpreting Polymorphic FPC into Domain...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
11
Obálka
Vydáno 2007
Obsah: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
12
Obálka
Vydáno 2006
Obsah: “... -- Deterministic Extractors for Independent-Symbol Sources -- Randomness -- Gap Amplification in PCPs Using Lazy...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
13
Obálka
Vydáno 2014
Obsah: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
14
Obálka
Vydáno 2010
Obsah: “...-Track A2. Security -- Online Network Design with Outliers -- Efficient Completely Non-malleable Public...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
15
Obálka
Vydáno 2015
Obsah: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
16
Obálka
Témata: “...Optimization. https://scigraph.springernature.com/ontologies/product-market-codes/M26008...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
17
Obálka
Témata: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
18
Obálka
Obsah: “...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
19
Obálka
Obsah: “...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
20
Obálka
Témata: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání