Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
https functionality » its functionality, bags functionality, cross functionality
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
https functionality » its functionality, bags functionality, cross functionality
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
1
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2011
Gaiak:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Testu osoa
Baliabide elektronikoa
eBook
4
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
5
Aurkibidea:
“...Introducing C++/CLI -- A Quick Tour of the C++/CLI Language Features -- Building C++/CLI Programs...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
6
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
8
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
9
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
10
Aurkibidea:
“...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
11
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
13
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Argitaratua 2010
Aurkibidea:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”Testu osoa
Baliabide elektronikoa
eBook
14
15
Argitaratua 2007
Aurkibidea:
“...Invited Talk -- Formal Foundations for Aspects -- Contributed Papers -- Sampled Universality...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”Testu osoa
Baliabide elektronikoa
eBook
17
Aurkibidea:
“... -- Structure of Convex Sets and Functions -- Separation of Convex Sets -- Convex Polyhedra -- Linear...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
18
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Argitaratua 2013
Aurkibidea:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”Testu osoa
Baliabide elektronikoa
eBook
19
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013...
Argitaratua 2014
Aurkibidea:
“... Functional Programs over General Polymorphic Lists....”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2012
Aurkibidea:
“...: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution...”Testu osoa
Baliabide elektronikoa
eBook