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,...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 会議録 図書 |
| 言語: | 英語 |
| 出版事項: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| シリーズ: | (Lecture Notes in Computer Science ;
8322) |
| 主題: | |
| オンライン･アクセス: | Ver documento en línea |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000572259 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132305.414 | ||
| 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 | ||