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,...
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | |
| Format: | Procedimiento de la conferencia Knjiga |
| Jezik: | angleščina |
| Izdano: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Serija: | (Lecture Notes in Computer Science ;
8322) |
| Teme: | |
| Online dostop: | Ver documento en línea |
| Oznake: |
Brez oznak, prvi označite!
|
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 | ||