Practical Aspects of Declarative Languages : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : Proceedings /
Selección de ponencias del décimo sexto Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, celebrado conjuntamente con el cuadragésimo primer Simposio sobre Principios de Lenguajes de Programación, en San Diego, EUA, en enero de 2014. Los artículos cubren temas relacionad...
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham, Suiza :
Springer,
2014, c2014
|
| Schriftenreihe: | (Lecture Notes in Computer Science ;
8324) |
| Schlagworte: | |
| Online-Zugang: | Ver documento en línea |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000566689 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132112.104 | ||
| 020 | |a 978-3-319-04132-2 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Symposium on Practical Aspects of Declarative Languages ( |n 16° : |d 2014 : |c San Diego, EUA) | ||
| 245 | 1 | 0 | |a Practical Aspects of Declarative Languages : |b 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : Proceedings / |c Ed. de M. Flatt, H.-F. Guo. |
| 264 | 4 | |a Cham, Suiza : |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 (XVI, 233 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 8324) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias del décimo sexto Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, celebrado conjuntamente con el cuadragésimo primer Simposio sobre Principios de Lenguajes de Programación, en San Diego, EUA, en enero de 2014. Los artículos cubren temas relacionados con la lógica y la programación funcional, el soporte de lenguajes para paralelismo, construcciones y técnicas para modularidad y extensibilidad, así como aplicaciones de programación declarativa para el procesamiento de documentos y la simulación de ADN. | ||
| 649 | |a XX | ||
| 650 | |a Modelos Matemáticos | ||
| 650 | |a Programación Modular (Software) | ||
| 650 | |a Procesamiento en Paralelo | ||
| 650 | |a Programación Lógica (Software) - |x Tema Principal | ||
| 650 | |a Programación Funcional (Software) - |x Tema Principal | ||
| 650 | |a Programación (Software) - |x Congresos - |x Tema Principal | ||
| 650 | |a Desarrollo de Sistemas | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Flatt, Matthew |e (edición) | ||
| 700 | |a Guo, Hai-Feng |e (edición) | ||
| 711 | |a Symposium on Principles of Programming Languages ( |n 41° : |d 2014 : |c San Diego, EUA) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-04132-2 |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 566689-1 |b IT2 |c EBO |i C172346 |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000566689 | ||