1
Teme: ...Computers....
Polni tekst
Elektronski eKnjiga
2
Izdano 2013
Kazalo: ... -- Random Selection in Few Rounds -- One-Counter Verifiers for Decidable Languages -- More on the Complexity...
Polni tekst
Elektronski eKnjiga
3
Kazalo: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
Polni tekst
Elektronski eKnjiga
4
Izdano 2005
Kazalo: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
Polni tekst
Elektronski eKnjiga
5
Izdano 2005
Kazalo: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Polni tekst
Elektronski eKnjiga
6
Izdano 2015
Kazalo: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Polni tekst
Elektronski eKnjiga
7
Izdano 2013
Kazalo: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Polni tekst
Elektronski eKnjiga
8
Izdano 2006
Kazalo: ... of Functionality and Semantic Annotation for Technical Knowledge Management -- Support for Content Creation Using...
Polni tekst
Elektronski eKnjiga
9
Izdano 2014
Kazalo: ... to Solve Directing Orbits of Chaotic Systems -- Complex Proteomes Analysis Using Label-Free Mass...
Polni tekst
Elektronski eKnjiga
10
Izdano 2007
Kazalo: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
Polni tekst
Elektronski eKnjiga
11
Kazalo: ... -- Series and Complex Numbers -- First Order Systems -- Laplace Transforms -- Transfer Functions -- Second...
Polni tekst
Elektronski eKnjiga