Su búsqueda retornó 427 resultados.

Resultados
		Abstract State Machines, Alloy, B, TLA, VDM, and Z [recurso electrónico] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro. por Butler, Michael [editor.] \| Schewe, Klaus-Dieter [editor.] \| Mashkoor, Atif [editor.] \| Biro, Miklos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9675Origen: 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) .
		Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl. por Butler, Michael [editor.] \| Raschke, Alexander [editor.] \| Hoang, Thai Son [editor.] \| Reichl, Klaus [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10817Edició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) .
		Accelerated C# 2010 [recurso electrónico] / by Trey Nash. por Nash, Trey [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berkeley, CA : Apress, 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.
		Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Sunita Chandrasekaran, Guido Juckeland. por Chandrasekaran, Sunita [editor.] \| Juckeland, Guido [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10732Edició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) .
		Advanced Lectures on Software Engineering [recurso electrónico] : LASER Summer School 2007/2008 / edited by Peter Müller. por Müller, Peter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6029Origen: 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.
		Advances in Conceptual Modeling – Applications and Challenges [recurso electrónico] : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings / edited by Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar. por Trujillo, Juan [editor.] \| Dobbie, Gillian [editor.] \| Kangassalo, Hannu [editor.] \| Hartmann, Sven [editor.] \| Kirchberg, Markus [editor.] \| Rossi, Matti [editor.] \| Reinhartz-Berger, Iris [editor.] \| Zimányi, Esteban [editor.] \| Frasincar, Flavius [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6413Origen: 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.
		Advances in Data Mining. Applications and Theoretical Aspects [recurso electrónico] : 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings / edited by Petra Perner. por Perner, Petra [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9728Origen: 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) .
		Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s [recurso electrónico] : Selected Contributions on Specification, Design, and Verification from FDL 2009 / edited by Dominique Borrione. por Borrione, Dominique [editor.] \| SpringerLink (Online service). Series Lecture Notes in Electrical Engineering ; 63Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7888.4.
		Agent-Oriented Software Engineering X [recurso electrónico] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz. por Gleizes, Marie-Pierre [editor.] \| Gomez-Sanz, Jorge J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6038Origen: 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.
		Agent-Oriented Software Engineering XI [recurso electrónico] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes. por Weyns, Danny [editor.] \| Gleizes, Marie-Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6788Origen: 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.
		Algebraic Foundations in Computer Science [recurso electrónico] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. por Kuich, Werner [editor.] \| Rahonis, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7020Origen: 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.
		Algebraic Methodology and Software Technology [recurso electrónico] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic. por Johnson, Michael [editor.] \| Pavlovic, Dusko [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6486Origen: 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.
		Applications and Theory of Petri Nets [recurso electrónico] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek. por Lilius, Johan [editor.] \| Penczek, Wojciech [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6128Origen: 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: QA75.5 -76.95.
		Applications and Theory of Petri Nets [recurso electrónico] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci. por Kristensen, Lars M [editor.] \| Petrucci, Laure [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6709Origen: 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: QA75.5 -76.95.
		Applied ASP .NET 4 in Context [recurso electrónico] / by Adam Freeman. por Freeman, Adam [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berkeley, CA : Apress, 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.
		Architecting Dependable Systems VII [recurso electrónico] / edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek. por Casimiro, Antonio [editor.] \| Lemos, Rogério [editor.] \| Gacek, Cristina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6420Origen: 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.
		The art of assembly language / by Randall Hyde. por Hyde, Randall. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: eng. Detalles de publicación: San Francisco : No Starch Press, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA 76.73 .A8 H93 2003, ...
		The art of Prolog [recurso electrónico] : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren. por Sterling, Leon \| Shapiro, Ehud Y. Series Logic programmingEdición: 2nd ed.Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Cambridge, Mass. : MIT Press, c1994Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.73 .P76 S74 1994 EB.
		Automata for Branching and Layered Temporal Structures [recurso electrónico] : An Investigation into Regularities of Infinite Transition Systems / by Gabriele Puppis. por Puppis, Gabriele [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5955Origen: 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: Q334 -342.
		Automated Reasoning [recurso electrónico] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 ? July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari. por Olivetti, Nicola [editor.] \| Tiwari, Ashish [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9706Origen: 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) .

		Abstract State Machines, Alloy, B, TLA, VDM, and Z [recurso electrónico] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro. por Butler, Michael [editor.] \| Schewe, Klaus-Dieter [editor.] \| Mashkoor, Atif [editor.] \| Biro, Miklos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9675Origen: 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) .
		Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl. por Butler, Michael [editor.] \| Raschke, Alexander [editor.] \| Hoang, Thai Son [editor.] \| Reichl, Klaus [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10817Edició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) .
		Accelerated C# 2010 [recurso electrónico] / by Trey Nash. por Nash, Trey [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berkeley, CA : Apress, 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.
		Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Sunita Chandrasekaran, Guido Juckeland. por Chandrasekaran, Sunita [editor.] \| Juckeland, Guido [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10732Edició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) .
		Advanced Lectures on Software Engineering [recurso electrónico] : LASER Summer School 2007/2008 / edited by Peter Müller. por Müller, Peter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6029Origen: 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.
		Advances in Conceptual Modeling – Applications and Challenges [recurso electrónico] : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings / edited by Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar. por Trujillo, Juan [editor.] \| Dobbie, Gillian [editor.] \| Kangassalo, Hannu [editor.] \| Hartmann, Sven [editor.] \| Kirchberg, Markus [editor.] \| Rossi, Matti [editor.] \| Reinhartz-Berger, Iris [editor.] \| Zimányi, Esteban [editor.] \| Frasincar, Flavius [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6413Origen: 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.
		Advances in Data Mining. Applications and Theoretical Aspects [recurso electrónico] : 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings / edited by Petra Perner. por Perner, Petra [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9728Origen: 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) .
		Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s [recurso electrónico] : Selected Contributions on Specification, Design, and Verification from FDL 2009 / edited by Dominique Borrione. por Borrione, Dominique [editor.] \| SpringerLink (Online service). Series Lecture Notes in Electrical Engineering ; 63Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7888.4.
		Agent-Oriented Software Engineering X [recurso electrónico] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz. por Gleizes, Marie-Pierre [editor.] \| Gomez-Sanz, Jorge J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6038Origen: 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.
		Agent-Oriented Software Engineering XI [recurso electrónico] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes. por Weyns, Danny [editor.] \| Gleizes, Marie-Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6788Origen: 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.
		Algebraic Foundations in Computer Science [recurso electrónico] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. por Kuich, Werner [editor.] \| Rahonis, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7020Origen: 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.
		Algebraic Methodology and Software Technology [recurso electrónico] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic. por Johnson, Michael [editor.] \| Pavlovic, Dusko [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6486Origen: 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.
		Applications and Theory of Petri Nets [recurso electrónico] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek. por Lilius, Johan [editor.] \| Penczek, Wojciech [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6128Origen: 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: QA75.5 -76.95.
		Applications and Theory of Petri Nets [recurso electrónico] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci. por Kristensen, Lars M [editor.] \| Petrucci, Laure [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6709Origen: 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: QA75.5 -76.95.
		Applied ASP .NET 4 in Context [recurso electrónico] / by Adam Freeman. por Freeman, Adam [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berkeley, CA : Apress, 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.
		Architecting Dependable Systems VII [recurso electrónico] / edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek. por Casimiro, Antonio [editor.] \| Lemos, Rogério [editor.] \| Gacek, Cristina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6420Origen: 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.
		The art of assembly language / by Randall Hyde. por Hyde, Randall. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: eng. Detalles de publicación: San Francisco : No Starch Press, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA 76.73 .A8 H93 2003, ...
		The art of Prolog [recurso electrónico] : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren. por Sterling, Leon \| Shapiro, Ehud Y. Series Logic programmingEdición: 2nd ed.Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Cambridge, Mass. : MIT Press, c1994Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.73 .P76 S74 1994 EB.
		Automata for Branching and Layered Temporal Structures [recurso electrónico] : An Investigation into Regularities of Infinite Transition Systems / by Gabriele Puppis. por Puppis, Gabriele [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5955Origen: 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: Q334 -342.
		Automated Reasoning [recurso electrónico] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 ? July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari. por Olivetti, Nicola [editor.] \| Tiwari, Ashish [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9706Origen: 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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Títulos

Su búsqueda retornó 427 resultados.