1
Izdano 2008
Kazalo: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
Polni tekst
Elektronski eKnjiga
2
Izdano 2010
Kazalo: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Polni tekst
Elektronski eKnjiga
3
Izdano 2011
Teme: ...Programming languages (Electronic computers)....
Polni tekst
Elektronski eKnjiga
4
Izdano 2011
Teme: ...Programming languages (Electronic computers)....
Polni tekst
Elektronski eKnjiga
5
Izdano 2010
Kazalo: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Polni tekst
Elektronski eKnjiga
6
Izdano 2007
Kazalo: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
Polni tekst
Elektronski eKnjiga
7
od Lopez, Cesar., Lopez, Cesar.
Izdano 2014
Teme: ...Programming languages (Electronic computers)....
Polni tekst
Elektronski eKnjiga
8
Kazalo: ... Integration -- Optimisation Framework -- Scientific Grid Workflows -- Related Work -- Conclusions....
Polni tekst
Elektronski eKnjiga
9
Izdano 2007
Kazalo: ... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...
Polni tekst
Elektronski eKnjiga
10
Kazalo: ... -- Integrating R with Other Phylogenetic and Functional Trait Analytical Software -- References -- Index....
Polni tekst
Elektronski eKnjiga
11
Kazalo: ... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....
Polni tekst
Elektronski eKnjiga
12
Kazalo: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
Polni tekst
Elektronski eKnjiga
13
Izdano 2010
Kazalo: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
Polni tekst
Elektronski eKnjiga
14
Izdano 2006
Kazalo: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Polni tekst
Elektronski eKnjiga
15
Izdano 2007
Kazalo: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
Polni tekst
Elektronski eKnjiga
16
Izdano 2008
Kazalo: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Polni tekst
Elektronski eKnjiga
17
Teme: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Polni tekst
Elektronski eKnjiga
18
od Lee, Kent D., Lee, Kent D.
Izdano 2008
Kazalo: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
Polni tekst
Elektronski eKnjiga
19
Izdano 2006
Kazalo: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Polni tekst
Elektronski eKnjiga
20
Izdano 2007
Kazalo: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
Polni tekst
Elektronski eKnjiga