1
Publicado 2005
Tabla de Contenidos: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Enlace del recurso
Electrónico eBook
3
Publicado 2013
Tabla de Contenidos: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...
Enlace del recurso
Electrónico eBook
5
Publicado 2007
Tabla de Contenidos: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ...Keynotes -- Reconfigurable Platform for Digital Convergence Terminals -- European Research...
Enlace del recurso
Electrónico eBook
7
Publicado 2007
Tabla de Contenidos: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Enlace del recurso
Electrónico eBook