1
Izdano 2010
Kazalo: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
Polni tekst
Elektronski eKnjiga
2
Izdano 2005
Kazalo: ... and Improvements -- Implementing MPI-IO Shared File Pointers Without File System Support -- An Efficient Parallel...
Polni tekst
Elektronski eKnjiga
3
Izdano 2005
Kazalo: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Polni tekst
Elektronski eKnjiga
4
Izdano 2008
Kazalo: ... or TST? -- Quo Vadis Answer Set Programming? -- Answer Set Programming without Unstratified Negation...
Polni tekst
Elektronski eKnjiga
5
Izdano 2010
Kazalo: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Polni tekst
Elektronski eKnjiga
6
Izdano 2008
Kazalo: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Polni tekst
Elektronski eKnjiga
7
Izdano 2006
Kazalo: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Polni tekst
Elektronski eKnjiga
8
Izdano 2013
Kazalo: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Polni tekst
Elektronski eKnjiga
9
Teme: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Polni tekst
Elektronski eKnjiga
10
Teme: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Polni tekst
Elektronski eKnjiga
11
Izdano 2006
Kazalo: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
Polni tekst
Elektronski eKnjiga
12
Izdano 2010
Kazalo: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
Polni tekst
Elektronski eKnjiga
13
Izdano 2010
Kazalo: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
Polni tekst
Elektronski eKnjiga
14
Izdano 2008
Kazalo: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
Polni tekst
Elektronski eKnjiga
15
Izdano 2010
Kazalo: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Polni tekst
Elektronski eKnjiga
16
Izdano 2014
Kazalo: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
Polni tekst
Elektronski eKnjiga
17
Izdano 2006
Kazalo: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
Polni tekst
Elektronski eKnjiga
18
Izdano 2006
Kazalo: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Polni tekst
Elektronski eKnjiga
19
Izdano 2007
Kazalo: ... of SBML Functionalities -- Active Membrane Systems Without Charges and Using Only Symmetric Elementary...
Polni tekst
Elektronski eKnjiga
20
Izdano 2014
Kazalo: ...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...
Polni tekst
Elektronski eKnjiga