1
Argitaratua 2015
Aurkibidea: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2011
Gaiak: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2012
Gaiak: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2005
Aurkibidea: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2007
Aurkibidea: ... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2013
Aurkibidea: ... to Students with Mixed Interests -- An Initial Study Identifying Trends in Test Case Selection -- Providing...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2010
Aurkibidea: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2006
Aurkibidea: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2005
Aurkibidea: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2008
Aurkibidea: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2008
Aurkibidea: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2007
Aurkibidea: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2010
Aurkibidea: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2010
Aurkibidea: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2010
Aurkibidea: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2023
Aurkibidea: ... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...
Open Access Book. Read online
Baliabide elektronikoa eBook
18
Argitaratua 2005
Aurkibidea: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2005
Aurkibidea: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2014
Aurkibidea: ... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...
Testu osoa
Baliabide elektronikoa eBook