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