Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs competition » program composition, programs cooperation, programming competition
functionals function » function function, functions functional, function dysfunction
competition https » computation https, competition horses, competition bottom
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
programs competition » program composition, programs cooperation, programming competition
functionals function » function function, functions functional, function dysfunction
competition https » computation https, competition horses, competition bottom
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
1
Argitaratua 2008
Aurkibidea:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2015
Aurkibidea:
“... Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“... in the Random Phone-Call Model -- An O(logn)-Competitive Online Centralized Randomized Packet-Routing Algorithm...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“... Algorithms -- Session A1 -- Competitive Algorithms for Due Date Scheduling -- Mechanism Design for Fractional...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2015
Aurkibidea:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2013
Aurkibidea:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2007
Aurkibidea:
“...Invited Talks/Competition -- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2015
Aurkibidea:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2014
Aurkibidea:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2011
Aurkibidea:
“... community -- The Odyssey program: Friendly competition to boost cognitive fitness -- Spelling Bees for Older...”Testu osoa
Baliabide elektronikoa
eBook
13
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
14
nork Kromann, Frank M., Kromann, Frank M., Stephens, Jon., Good, Nathan A., Babin, Lee.
Argitaratua 2005
Aurkibidea:
“... with Variables -- Using Functions -- Understanding Web Basics -- Creating and Using Forms -- Working with Markup...”Argitaratua 2005
Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2013
Aurkibidea:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”Testu osoa
Baliabide elektronikoa
eBook
16
nork Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Argitaratua 2007
Aurkibidea:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Argitaratua 2007
Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“... for Real Time Multi-Agent System Functional Requirements -- Do You Get It? User-Evaluated Explainable BDI...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2015
Aurkibidea:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2013
Aurkibidea:
“... and Designs for Modelling Invariant Functions: From Group Invariance to Additivity -- Optimal Design for Count...”Testu osoa
Baliabide elektronikoa
eBook