Su búsqueda retornó 1029 resultados.

Resultados
		Visual Basic. NET database programming / Rod Stephens. por Stephens, Rod. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Idioma: Inglés Detalles de publicación: Indianapolis, Ind. ; [Great Britain] : Que, 2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (1) Signatura topográfica: QA76.65 S84 2002.
		Words and rules : the ingredients of language / Steven Pinker. por Pinker, Steven, 1954-. Edición: 1st ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: New York : Basic Books, c1999Acceso en línea: Publisher description Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (2) Signatura topográfica: P106 P55 1999, ...
		Women, men, and language : a sociolinguistic account of gender differences in language / Jennifer Coates. por Coates, Jennifer. Series Studies in language and linguisticsEdición: 3rd ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Harlow, England ; New York : Pearson Longman, 2004Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: P120 .S48 C63 2004.
		Vocabulary in language teaching / Norbert Schmitt. por Schmitt, Norbert, 1956-. Series Cambridge language educationTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Cambridge ; New York : Cambridge University Press, 2000Disponibilidad: No disponible:En tránsito (1).
		No hay imagen de cubierta disponible The world of words / Victor Stevenson. por Stevenson, Victor. Edición: 1st ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Toronto : Sterling, 1999Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: P541 S84 1999, Biblioteca Central Tijuana (1) Signatura topográfica: P541 S84 1999.
		WorldCALL : international perspectives on computer-assisted language learning / Mike Levy ... [et al.] por Levy, Mike, 1953- [ed.]. Series Routledge studies in computer assisted language learning ; 5.Edición: 1st ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: New York, NY : Routledge, 2011Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: P53.85 W67 2011, Facultad de Idiomas Mexicali (1) Signatura topográfica: P53.85 W67 2011.
		Windows PowerShell 2.0 : administrator's pocket consultant / William Stanek. por Stanek, William R. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: Redmond, Wash. : Microsoft Press, c2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: QA76.73.W56 S83 2009.
		WorldCALL [recurso electrónico] : international perspectives on computer-assisted language learning / edited by Mike Levy ... [et al.]. por Levy, Mike, 1953-. Series Routledge studies in computer assisted language learningTipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: New York : Routledge, 2011Otro título: International perspectives on computer-assisted language learning.Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: P53.85 .W68 2011 EB.
		When languages die [recurso electrónico] : the extinction of the world's languages and the erosion of human knowledge / K. David Harrison. por Harrison, K. David. Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Oxford ; New York : Oxford University Press, 2007Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: P40.5 .L33 H37 2007 EB.
		Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo. por Barthe, Gilles [editor.] \| Hermenegildo, Manuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5944Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.758.
		Verified Software: Theories, Tools, Experiments [recurso electrónico] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani. por Leavens, Gary T [editor.] \| O’Hearn, Peter [editor.] \| Rajamani, Sriram K [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6217Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.758.
		Unifying Theories of Programming [recurso electrónico] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / edited by Shengchao Qin. por Qin, Shengchao [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6445Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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 .L63.
		Verification, Induction, Termination Analysis [recurso electrónico] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser. por Siegler, Simon [editor.] \| Wasser, Nathan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6463Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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.758.
		Working with Preferences: Less Is More [recurso electrónico] : Less Is More / by Souhila Kaci. por Kaci, Souhila [author.] \| SpringerLink (Online service). Series Cognitive TechnologiesOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: Q334 -342.
		Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. por Jhala, Ranjit [editor.] \| Schmidt, David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6538Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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 .L63.
		Vagueness in Communication [recurso electrónico] : International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers / edited by Rick Nouwen, Robert Rooij, Uli Sauerland, Hans-Christian Schmitz. por Nouwen, Rick [editor.] \| Rooij, Robert [editor.] \| Sauerland, Uli [editor.] \| Schmitz, Hans-Christian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6517Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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: QA8.9 -QA10.3.
		Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems [recurso electrónico] / by Paul Lokuciejewski, Peter Marwedel. por Lokuciejewski, Paul [author.] \| Marwedel, Peter [author.] \| SpringerLink (Online service). Series Embedded SystemsOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7888.4.
		Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino. por Jobstmann, Barbara [editor.] \| Leino, K. Rustan M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9583Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Verified Software: Theories, Tools, and Experiments [recurso electrónico] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18?19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia. por Gurfinkel, Arie [editor.] \| Seshia, Sanjit A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9593Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .

Con tecnología Koha