Refinar su búsqueda

Su búsqueda retornó 1029 resultados.

Ordenar
Resultados
L'approche actionnelle dans l'enseignement des langues : douze articles pour mieux comprendre et faire le point / édition et rédaction ; Philippe Liria, Lucile Lacan.

por Liria, Philippe. ed | Lacan Lucile [ed.].

Edición: 2ème éd.Tipo de material: Texto Texto; Formato: impreso Idioma: Francés Detalles de publicación: Paris : Maison des langues, 2003Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: PB35 L36 2003.

Practical Aspects of Declarative Languages [recurso electrónico] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings / edited by Manuel Carro, Ricardo Peña.

por Carro, Manuel [editor.] | Peña, Ricardo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 5937Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.7 -76.73.

Practical Aspects of Declarative Languages [recurso electrónico] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury.

por Rocha, Ricardo [editor.] | Launchbury, John [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6539Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.7 -76.73.

Practical Aspects of Declarative Languages [recurso electrónico] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / edited by Marco Gavanelli, John Reppy.

por Gavanelli, Marco [editor.] | Reppy, John [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9585Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone.

por Calimeri, Francesco [editor.] | Hamlen, Kevin [editor.] | Leone, Nicola [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone.

por Calimeri, Francesco [editor.] | Hamlen, Kevin [editor.] | Leone, Nicola [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Practical Aspects of Declarative Languages [electronic resource] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Michael Hanus, Daniela Inclezan.

por Hanus, Michael [editor.] | Inclezan, Daniela [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13880Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey.

por Gebser, Martin [editor.] | Sergey, Ilya [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14512Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Practical foundations for programming languages / Robert Harper

por Harper, Robert, 1957-.

Edición: 2nd ed.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: New York, NY. : Cambridge University Press, 2016Disponibilidad: Ítems disponibles para préstamo: Valle de las Palmas (1) Signatura topográfica: QA76.7 H373 2016, Biblioteca Central Tijuana (1) Signatura topográfica: QA76.7 H373 2016.

The Practice of Formal Methods [electronic resource] : Essays in Honour of Cliff Jones, Part I / edited by Ana Cavalcanti, James Baxter.

por Cavalcanti, Ana [editor.] | Baxter, James [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14780Edición: 1st ed. 2024.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

The Practice of Formal Methods [electronic resource] : Essays in Honour of Cliff Jones, Part II / edited by Ana Cavalcanti, James Baxter.

por Cavalcanti, Ana [editor.] | Baxter, James [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14781Edición: 1st ed. 2024.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

La pragmática lingüística : el estudio del uso del lenguaje / Graciela Reyes.

por Reyes, Graciela.

Series Biblioteca de divulgación temáticaEdición: 1a ed.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Barcelona : Montesinos, 1990Disponibilidad: Ítems disponibles para préstamo: Facultad de Pedagogía e Innovación Educativa (1) Signatura topográfica: P99.4 .P72 R494 1990.

Pragmatics in language teaching / edited by Kenneth R. Rose and Gabriele Kasper.

por Rose, Kenneth R, 1962- | Kasper, Gabriele.

Series The Cambridge applied linguistics seriesTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge ; New York : Cambridge University Press, 2001Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: P99.4 .P72 R73 2001.

Preparing and Delivering Scientific Presentations [recurso electrónico] : A Complete Guide for International Medical Scientists / by John Giba, Ramón Ribes.

por Giba, John [author.] | Ribes, Ramón [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: R1.

PRIMA 2016: Principles and Practice of Multi-Agent Systems [recurso electrónico] : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / edited by Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni.

por Baldoni, Matteo [editor.] | Chopra, Amit K [editor.] | Son, Tran Cao [editor.] | Hirayama, Katsutoshi [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9862Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principled Software Development [electronic resource] : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday / edited by Peter Müller, Ina Schaefer.

por Müller, Peter [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service).

Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principles and Practice of Constraint Programming [recurso electrónico] : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings / edited by Michel Rueher.

por Rueher, Michel [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9892Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker.

por Hooker, John [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11008Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker.

por Hooker, John [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11008Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principles and Practice of Constraint Programming – CP 2010 [recurso electrónico] : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings / edited by David Cohen.

por Cohen, David [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6308Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.

Páginas

Con tecnología Koha