1
Publicado em 2007
Sumário: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2006
Sumário: ... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2007
Sumário: ... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2007
Sumário: ... -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2006
Sumário: ... Systems -- On Promise Problems: A Survey -- A Pebble Game for Internet-Based Computing -- On Teaching Fast...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2010
Sumário: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2010
Sumário: ... for Intersection Graphs -- An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2008
Sumário: ... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2006
Sumário: ...Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent Semantics Without the Notions...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2012
Sumário: ... Encryption with Non-interactive Opening -- Fast Tate Pairing Computation on Twisted Jacobi Intersections...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2015
Sumário: ...O-PSI: Delegated Private Set Intersection on Outsourced Datasets -- Flexible and Robust Privacy...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2008
Sumário: ... -- Planning for Biodiversity Conservation Using Stochastic Programming -- A Diffusion-Reaction Model of a...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2013
Sumário: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2014
Sumário: .... Austin -- Meditation as First-Person Methodology: Real Promise—and Problems, J. Shear -- Using First...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2012
Sumário: ... and criminal responsibility evaluations -- Sentencing juveniles to life in prison without the opportunity...
Obter o texto integral
Recurso Eletrônico livro eletrônico