Su búsqueda retornó 1029 resultados.

Resultados
		Programming Languages [recurso electrónico] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings / edited by Fernando Castor, Yu David Liu. por Castor, Fernando [editor.] \| Liu, Yu David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9889Origen: 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) .
		Programming languages : principles and paradigms / Maurizio Gabbrielli, Simone Martini por Gabbrielli, Maurizio \| Martini, Simone [coaut.]. Series Undradute topics in computer scienceEdición: 1st ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Lenguaje original: Italiano Detalles de publicación: London : Springer, 2010Disponibilidad: Ítems disponibles para préstamo: Valle de las Palmas (1) Signatura topográfica: QA76.7 G32 2010.
		Programming languages and methodologies / Robert J. Schalkoff. por Schalkoff, Robert J. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Sudbury, Mass. : Jones and Bartlett Publishers, c2007Acceso en línea: Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (1) Signatura topográfica: QA76.7 S24 2007.
		Programming Languages and Systems [recurso electrónico] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Andrew D. Gordon. por Gordon, Andrew D [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6012Origen: 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.
		Programming Languages and Systems [recurso electrónico] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / edited by Kazunori Ueda. por Ueda, Kazunori [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6461Origen: 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.7 -76.73.
		Programming Languages and Systems [recurso electrónico] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Gilles Barthe. por Barthe, Gilles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6602Origen: 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.758.
		Programming Languages and Systems [recurso electrónico] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang. por Yang, Hongseok [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7078Origen: 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.7 -76.73.
		Programming Languages and Systems [recurso electrónico] : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / edited by Atsushi Igarashi. por Igarashi, Atsushi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10017Origen: 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) .
		Programming Languages and Systems [recurso electrónico] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2?8, 2016, Proceedings / edited by Peter Thiemann. por Thiemann, Peter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9632Edició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) .
		Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings / edited by Sukyoung Ryu. por Ryu, Sukyoung [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11275Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed. por Ahmed, Amal [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10801Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Programming Languages: Principles and Paradigms [recurso electrónico] / by Maurizio Gabbrielli, Simone Martini. por Gabbrielli, Maurizio [author.] \| Martini, Simone [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London, 2010Acceso 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.
		Programming microcontrollers in C [recurso electrónico] / Ted Van Sickle por Van Sickle, Ted. Series Embedded technology seriesEdición: 2nd ed.Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Eagle Rock, Calif. : LLH Technology Publishing, 2001Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TJ223 .P76 V35 2001 EB.
		Programming Microsoft Visual C# 2005: the language / Donis Marshall. por Marshall, Donis, 1960-. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: General; Idioma: Inglés Detalles de publicación: Redmond, Wash. : Microsoft, 2006Acceso en línea: Publisher description Disponibilidad: Ítems disponibles para préstamo: Valle de las Palmas (1) Signatura topográfica: QA76.73.C153 M378 2006, Biblioteca Central Mexicali (1) Signatura topográfica: QA76.73.C153 M378 2006, Biblioteca Central Tijuana (2) Signatura topográfica: QA76.73.C153 M378 2006, ...
		Programming .NET 3.5 [recurso electrónico]. por Liberty, Jesse \| Horovitz, Alex. Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Sebastopol : O'Reilly Media, Inc., 2008Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .M52 L533 2008.
		Programming the World Wide Web / Robert W. Sebesta. por Sebesta, Robert W. Edición: 8th ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: General; Detalles de publicación: Boston : Pearson Addison Wesley, 2015Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.625 S42 2015.
		Programming with Actors [electronic resource] : State-of-the-Art and Research Perspectives / edited by Alessandro Ricci, Philipp Haller. por Ricci, Alessandro [editor.] \| Haller, Philipp [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10789Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Dusko Pavlovic. por Pavlovic, Dusko [author.] \| SpringerLink (Online service). Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Programs, Proofs, Processes [recurso electrónico] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes. por Ferreira, Fernando [editor.] \| Löwe, Benedikt [editor.] \| Mayordomo, Elvira [editor.] \| Mendes Gomes, Luís [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6158Origen: 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 .A43.
		Proof, Computation and Agency [recurso electrónico] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. por van Benthem, Johan [editor.] \| Gupta, Amitabha [editor.] \| Parikh, Rohit [editor.] \| SpringerLink (Online service). Series Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352Origen: 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: BC1 -199.

		Programming Languages [recurso electrónico] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings / edited by Fernando Castor, Yu David Liu. por Castor, Fernando [editor.] \| Liu, Yu David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9889Origen: 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) .
		Programming languages : principles and paradigms / Maurizio Gabbrielli, Simone Martini por Gabbrielli, Maurizio \| Martini, Simone [coaut.]. Series Undradute topics in computer scienceEdición: 1st ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Lenguaje original: Italiano Detalles de publicación: London : Springer, 2010Disponibilidad: Ítems disponibles para préstamo: Valle de las Palmas (1) Signatura topográfica: QA76.7 G32 2010.
		Programming languages and methodologies / Robert J. Schalkoff. por Schalkoff, Robert J. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Sudbury, Mass. : Jones and Bartlett Publishers, c2007Acceso en línea: Table of contents only Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (1) Signatura topográfica: QA76.7 S24 2007.
		Programming Languages and Systems [recurso electrónico] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Andrew D. Gordon. por Gordon, Andrew D [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6012Origen: 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.
		Programming Languages and Systems [recurso electrónico] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / edited by Kazunori Ueda. por Ueda, Kazunori [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6461Origen: 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.7 -76.73.
		Programming Languages and Systems [recurso electrónico] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Gilles Barthe. por Barthe, Gilles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6602Origen: 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.758.
		Programming Languages and Systems [recurso electrónico] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang. por Yang, Hongseok [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7078Origen: 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.7 -76.73.
		Programming Languages and Systems [recurso electrónico] : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / edited by Atsushi Igarashi. por Igarashi, Atsushi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10017Origen: 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) .
		Programming Languages and Systems [recurso electrónico] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2?8, 2016, Proceedings / edited by Peter Thiemann. por Thiemann, Peter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9632Edició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) .
		Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings / edited by Sukyoung Ryu. por Ryu, Sukyoung [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11275Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed. por Ahmed, Amal [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10801Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Programming Languages: Principles and Paradigms [recurso electrónico] / by Maurizio Gabbrielli, Simone Martini. por Gabbrielli, Maurizio [author.] \| Martini, Simone [author.] \| SpringerLink (Online service). Series Undergraduate Topics in Computer ScienceOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London, 2010Acceso 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.
		Programming microcontrollers in C [recurso electrónico] / Ted Van Sickle por Van Sickle, Ted. Series Embedded technology seriesEdición: 2nd ed.Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Eagle Rock, Calif. : LLH Technology Publishing, 2001Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TJ223 .P76 V35 2001 EB.
		Programming Microsoft Visual C# 2005: the language / Donis Marshall. por Marshall, Donis, 1960-. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: General; Idioma: Inglés Detalles de publicación: Redmond, Wash. : Microsoft, 2006Acceso en línea: Publisher description Disponibilidad: Ítems disponibles para préstamo: Valle de las Palmas (1) Signatura topográfica: QA76.73.C153 M378 2006, Biblioteca Central Mexicali (1) Signatura topográfica: QA76.73.C153 M378 2006, Biblioteca Central Tijuana (2) Signatura topográfica: QA76.73.C153 M378 2006, ...
		Programming .NET 3.5 [recurso electrónico]. por Liberty, Jesse \| Horovitz, Alex. Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Sebastopol : O'Reilly Media, Inc., 2008Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .M52 L533 2008.
		Programming the World Wide Web / Robert W. Sebesta. por Sebesta, Robert W. Edición: 8th ed.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: General; Detalles de publicación: Boston : Pearson Addison Wesley, 2015Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.625 S42 2015.
		Programming with Actors [electronic resource] : State-of-the-Art and Research Perspectives / edited by Alessandro Ricci, Philipp Haller. por Ricci, Alessandro [editor.] \| Haller, Philipp [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10789Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Dusko Pavlovic. por Pavlovic, Dusko [author.] \| SpringerLink (Online service). Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Programs, Proofs, Processes [recurso electrónico] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes. por Ferreira, Fernando [editor.] \| Löwe, Benedikt [editor.] \| Mayordomo, Elvira [editor.] \| Mendes Gomes, Luís [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6158Origen: 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 .A43.
		Proof, Computation and Agency [recurso electrónico] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. por van Benthem, Johan [editor.] \| Gupta, Amitabha [editor.] \| Parikh, Rohit [editor.] \| SpringerLink (Online service). Series Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352Origen: 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: BC1 -199.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 1029 resultados.