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