1
Published 2014
Table of Contents: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Study of Fungal Pathogens -- Real-time PCR for the Quantification of Fungi in planta -- Using Non...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook