1
le Sestoft, Peter., Sestoft, Peter.
Foilsithe 2012
Clár Ábhair: ... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2012
Clár Ábhair: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2010
Clár Ábhair: ... and Analysis of Process Audit: A Case Study -- A Fuzzy-Based Method for Evaluating the Trustworthiness...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
Foilsithe 2015
Clár Ábhair: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
5
le Carsetti, A., Carsetti, A.
Foilsithe 2013
Clár Ábhair: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
6
Foilsithe 2005
Clár Ábhair: ... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
7
Foilsithe 2013
Clár Ábhair: ... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
8
Foilsithe 2006
Clár Ábhair: ... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
9
Foilsithe 2010
Clár Ábhair: ... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
10
le Holt, Alan., Holt, Alan.
Foilsithe 2008
Clár Ábhair: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
11
Clár Ábhair: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
12
Foilsithe 2013
Clár Ábhair: ... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
13
le Raynal, Michel., Raynal, Michel.
Foilsithe 2013
Clár Ábhair: ... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
14
Foilsithe 2010
Clár Ábhair: ... Anchors -- A Model-Based Reasoning Approach to Prevent Crime -- Abducing the Crisis -- Pathophysiology...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
15
Foilsithe 2008
Clár Ábhair: ... of Japanese Word Associations -- Construction of a Probabilistic Hierarchical Structure Based on a Japanese...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
16
Clár Ábhair: .... An Introduction to Linear Mixed Models. A. Random Variables -- B- Basic R Commands and Data Structures -- Index...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
17
Foilsithe 2015
Clár Ábhair: ...Paraconsistent Logics: preamble -- Constructive Discursive Logic: Paraconsistency in Constructivism...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
18
Foilsithe 2007
Clár Ábhair: ...-Learning Based on Rough Set -- Computational Sciences Learning Project for Pre-university Students -- A...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
19
Foilsithe 2010
Clár Ábhair: ... Communication of Spatial Concepts -- Risk-Based Neuro-Grid Architecture for Multimodal Biometrics -- A SQL...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
20
Foilsithe 2008
Clár Ábhair: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar