Trends in Functional Programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : Revised Selected Papers /
Selección de ponencias del décimo cuarto Simposio Internacional sobre Tendencias en Programación Funcional, celebrado en Provo, EUA, en mayo de 2013. Las contribuciones cubren temas como sistemas distribuidos, educación, implementación de lenguaje funcional, síntesis de hardware, análisis estático,...
Furkejuvvon:
| Searvvušdahkki: | |
|---|---|
| Eará dahkkit: | |
| Materiálatiipa: | Konfereansapublikašuvdna Girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Ráidu: | (Lecture Notes in Computer Science ;
8322) |
| Fáttát: | |
| Liŋkkat: | Ver documento en línea |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000572259 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526153115.854 | ||
| 020 | |a 978-3-642-45340-3 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Symposium on Trends in Functional Programming ( |n 14° : |d 2013 : |c Provo, EUA) | ||
| 245 | 1 | 0 | |a Trends in Functional Programming : |b 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : Revised Selected Papers / |c Ed. de J. McCarthy. |
| 264 | 4 | |a Heidelberg, Alemania : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014 | |
| 300 | |a 1 libro electrónico en línea (X, 169 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 8322) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias del décimo cuarto Simposio Internacional sobre Tendencias en Programación Funcional, celebrado en Provo, EUA, en mayo de 2013. Las contribuciones cubren temas como sistemas distribuidos, educación, implementación de lenguaje funcional, síntesis de hardware, análisis estático, pruebas y programación total. | ||
| 649 | |a XX | ||
| 650 | |a Lenguajes Naturales de Programación | ||
| 650 | |a Lenguajes de Programación | ||
| 650 | |a Computación en la Nube | ||
| 650 | |a Computación Grid | ||
| 650 | |a Cómputo Distribuido | ||
| 650 | |a Programación Funcional (Software) - |x Congresos - |x Tema Principal | ||
| 650 | |a Programación (Software) | ||
| 650 | |a Desarrollo de Sistemas | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a McCarthy, Jay |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-642-45340-3 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 572259-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000572259 | ||