Refinar su búsqueda

Su búsqueda retornó 1029 resultados.

Ordenar
Resultados
Deductive Software Verification ? The KeY Book [recurso electrónico] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.

por Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | Ulbrich, Mattias [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 10001Origen: 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) .

Deontic Logic in Computer Science [recurso electrónico] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor.

por Governatori, Guido [editor.] | Sartor, Giovanni [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6181Origen: 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: Q334 -342.

Dependable and Historic Computing [recurso electrónico] : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd.

por Jones, Cliff B [editor.] | Lloyd, John L [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6875Origen: 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.17.

Dependable Software Engineering: Theories, Tools, and Applications [recurso electrónico] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan.

por Fränzle, Martin [editor.] | Kapur, Deepak [editor.] | Zhan, Naijun [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9984Origen: 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) .

Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang.

por Feng, Xinyu [editor.] | Müller-Olm, Markus [editor.] | Yang, Zijiang [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 10998Edició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) .

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations [electronic resource] : Theories and Methodologies / by Yejun Xu.

por Xu, Yejun [author.] | SpringerLink (Online service).

Edició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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Descriptional Complexity of Formal Systems [recurso electrónico] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini.

por Holzer, Markus [editor.] | Kutrib, Martin [editor.] | Pighizzini, Giovanni [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6808Origen: 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: QA75.5 -76.95.

Descriptional Complexity of Formal Systems [recurso electrónico] : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit.

por Câmpeanu, Cezar [editor.] | Manea, Florin [editor.] | Shallit, Jeffrey [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9777Origen: 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) .

Descriptive Set Theoretic Methods in Automata Theory [recurso electrónico] : Decidability and Topological Complexity / by Micha? Skrzypczak.

por Skrzypczak, Micha? [author.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9802Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Design Patterns with Java [electronic resource] : An Introduction / by Olaf Musch.

por Musch, Olaf [author.] | SpringerLink (Online service).

Edició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: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Designing and analyzing language tests / Nathan T. Carr.

por Carr, Nathan T. (Nathan Thomas), 1966-.

Series Oxford handbooks for language teachersTipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Oxford ; New York : Oxford University Press, 2011Disponibilidad: Ítems disponibles para préstamo: Facultad de Idiomas Mexicali (1) Signatura topográfica: P53.4 C377 2011.

Designing authenticity into language learning materials / Freda Mishan.

por Mishan, Freda.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Bristol, UK ; Portland, OR : Intellect, 2005Acceso en línea: Publisher description | Table of contents only Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: P51 M58 2005.

Designing tasks for the communicative classroom / David Nunan.

por Nunan, David.

Series Cambridge language teaching libraryTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Cambridge [England] ; New York : Cambridge University Press, 1989Acceso en línea: Publisher description Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: P53 .N85 1989, Facultad de Idiomas Mexicali (3) Signatura topográfica: P53 .N85 1989, .., Valle Dorado (1) Signatura topográfica: P53 N85A. No disponible:Prestado (1).

Developing advanced literacy in first and second languages : meaning with power / edited by Mary J. Schleppegrell, M. Cecilia Colombi.

por Schleppegrell, Mary | Colombi, Cecilia.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Mahwah, N.J. : Lawrence Erlbaum Associates, 2002Acceso en línea: Publisher description Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: P53.475 D48 2002.

Developing materials for language teaching / [edited by] Brian Tomlinson.

por Tomlinson, Brian.

Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: London ; New York : Continuum, 2003Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: P53.15 D48 2003.

Developments in Language Theory [recurso electrónico] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu.

por Gao, Yuan [editor.] | Lu, Hanlin [editor.] | Seki, Shinnosuke [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6224Origen: 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.

Developments in Language Theory [recurso electrónico] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati.

por Mauri, Giancarlo [editor.] | Leporati, Alberto [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6795Origen: 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.9 .A43.

Developments in Language Theory [recurso electrónico] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / edited by Sre?ko Brlek, Christophe Reutenauer.

por Brlek, Sre?ko [editor.] | Reutenauer, Christophe [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9840Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Developments in Language Theory [electronic resource] : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / edited by Mizuho Hoshi, Shinnosuke Seki.

por Hoshi, Mizuho [editor.] | Seki, Shinnosuke [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 11088Edició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) .

Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Frank Drewes, Mikhail Volkov.

por Drewes, Frank [editor.] | Volkov, Mikhail [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13911Edició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) .

Páginas

Con tecnología Koha