Priporočene teme znotraj vašega iskanja.
Poišči alternative:
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent programming » constraint programming, concurrent programs
functions computation » function computation, functions composition, function composition
array profiling » array processing, microarray profiling
array strong » array string, array sharing, norway strong
1
Slika na naslovnici
Izdano 2010
Kazalo: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Polni tekst
Elektronski eKnjiga
Dodaj v priljubljene
Shranjeno v:
2
Slika na naslovnici
Izdano 2015
Kazalo: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Polni tekst
Elektronski eKnjiga
Dodaj v priljubljene
Shranjeno v:
Iskalna orodja: RSS — Pošljite iskanje po emailu — Shrani iskanje