Su búsqueda retornó 1029 resultados.

Resultados
		Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis. por Fahrenberg, Uli [editor.] \| Tripakis, Stavros [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6919Origen: 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.
		Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. por Fränzle, Martin [editor.] \| Markey, Nicolas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9884Origen: 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) .
		Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by David N. Jansen, Pavithra Prabhakar. por Jansen, David N [editor.] \| Prabhakar, Pavithra [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11022Edició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) .
		Formal Techniques for Distributed Objects, Components, and Systems [recurso electrónico] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese. por Albert, Elvira [editor.] \| Lanese, Ivan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9688Origen: 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) .
		Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / edited by Christel Baier, Luís Caires. por Baier, Christel [editor.] \| Caires, Luís [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10854Edició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) .
		Formal Techniques for Distributed Systems [recurso electrónico] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by John Hatcliff, Elena Zucca. por Hatcliff, John [editor.] \| Zucca, Elena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6117Origen: 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: TK5105.5 -5105.9.
		Formal Techniques for Distributed Systems [recurso electrónico] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel. por Bruni, Roberto [editor.] \| Dingel, Juergen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6722Origen: 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: TK5105.5 -5105.9.
		Formal Techniques for Safety-Critical Systems [recurso electrónico] : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky. por Artho, Cyrille [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 596Edició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) .
		Formal Verification of Object-Oriented Software [recurso electrónico] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. por Beckert, Bernhard [editor.] \| Marché, Claude [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6528Origen: 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.
		La formation en questions / Robert Galisson, Christian Puren. por Galisson, Robert \| Puren, Christian. Series Didactique des langues étrangèresTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Paris : Clé international, 2001Disponibilidad: Ítems disponibles para préstamo: Facultad de Idiomas Mexicali (5) Signatura topográfica: PB35 G35 2001, ...
		Foundational and Practical Aspects of Resource Analysis [recurso electrónico] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers / edited by Marko Eekelen, Olha Shkaravska. por Eekelen, Marko [editor.] \| Shkaravska, Olha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6324Origen: 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.
		Foundations of Information and Knowledge Systems [recurso electrónico] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade. por Link, Sebastian [editor.] \| Prade, Henri [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5956Origen: 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, 2010Acceso 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.
		Foundations of Information and Knowledge Systems [recurso electrónico] : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / edited by Marc Gyssens, Guillermo Simari. por Gyssens, Marc [editor.] \| Simari, Guillermo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9616Edició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) .
		Foundations of Information and Knowledge Systems [electronic resource] : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings / edited by Flavio Ferrarotti, Stefan Woltran. por Ferrarotti, Flavio [editor.] \| Woltran, Stefan [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10833Edició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) .
		Foundations of Information and Knowledge Systems [electronic resource] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings / edited by Arne Meier, Magdalena Ortiz. por Meier, Arne [editor.] \| Ortiz, Magdalena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14589Edición: 1st ed. 2024.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, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Foundations of object-oriented languages : types and semantics / Kim B. Bruce. por Bruce, Kim B. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Cambridge, Mass. : MIT Press, c2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.64 B78 2002.
		No hay imagen de cubierta disponible Foundations of quantum programming / Mingsheng Ying. por Ying, Mingsheng. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Cambridge, MA : Elsevier, 2016Acceso en línea: ScienceDirect. Restricted to UCB, UCD, UCI, UCLA, UCM, UCR, UCSC, UCSD, and UCSF Disponibilidad: Ítems disponibles para préstamo: Valle de las Palmas (1) Signatura topográfica: QA76.889 Y55 2016.
		Foundations of Security Analysis and Design VI [recurso electrónico] : FOSAD Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. por Aldini, Alessandro [editor.] \| Gorrieri, Roberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6858Origen: 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 .A25.
		Foundations of Software Science and Computation Structures [recurso electrónico] : 19th International Conference, FOSSACS 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 Bart Jacobs, Christof Löding. por Jacobs, Bart [editor.] \| Löding, Christof [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9634Edició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) .
		Foundations of Software Science and Computational Structures [recurso electrónico] : 13th International Conference, FOSSACS 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 Luke Ong. por Ong, Luke [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6014Origen: 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: QA8.9 -QA10.3.

		Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis. por Fahrenberg, Uli [editor.] \| Tripakis, Stavros [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6919Origen: 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.
		Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. por Fränzle, Martin [editor.] \| Markey, Nicolas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9884Origen: 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) .
		Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by David N. Jansen, Pavithra Prabhakar. por Jansen, David N [editor.] \| Prabhakar, Pavithra [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11022Edició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) .
		Formal Techniques for Distributed Objects, Components, and Systems [recurso electrónico] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese. por Albert, Elvira [editor.] \| Lanese, Ivan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9688Origen: 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) .
		Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / edited by Christel Baier, Luís Caires. por Baier, Christel [editor.] \| Caires, Luís [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10854Edició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) .
		Formal Techniques for Distributed Systems [recurso electrónico] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by John Hatcliff, Elena Zucca. por Hatcliff, John [editor.] \| Zucca, Elena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6117Origen: 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: TK5105.5 -5105.9.
		Formal Techniques for Distributed Systems [recurso electrónico] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel. por Bruni, Roberto [editor.] \| Dingel, Juergen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6722Origen: 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: TK5105.5 -5105.9.
		Formal Techniques for Safety-Critical Systems [recurso electrónico] : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky. por Artho, Cyrille [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 596Edició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) .
		Formal Verification of Object-Oriented Software [recurso electrónico] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. por Beckert, Bernhard [editor.] \| Marché, Claude [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6528Origen: 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.
		La formation en questions / Robert Galisson, Christian Puren. por Galisson, Robert \| Puren, Christian. Series Didactique des langues étrangèresTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Paris : Clé international, 2001Disponibilidad: Ítems disponibles para préstamo: Facultad de Idiomas Mexicali (5) Signatura topográfica: PB35 G35 2001, ...
		Foundational and Practical Aspects of Resource Analysis [recurso electrónico] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers / edited by Marko Eekelen, Olha Shkaravska. por Eekelen, Marko [editor.] \| Shkaravska, Olha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6324Origen: 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.
		Foundations of Information and Knowledge Systems [recurso electrónico] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade. por Link, Sebastian [editor.] \| Prade, Henri [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5956Origen: 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, 2010Acceso 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.
		Foundations of Information and Knowledge Systems [recurso electrónico] : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / edited by Marc Gyssens, Guillermo Simari. por Gyssens, Marc [editor.] \| Simari, Guillermo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9616Edició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) .
		Foundations of Information and Knowledge Systems [electronic resource] : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings / edited by Flavio Ferrarotti, Stefan Woltran. por Ferrarotti, Flavio [editor.] \| Woltran, Stefan [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10833Edició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) .
		Foundations of Information and Knowledge Systems [electronic resource] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings / edited by Arne Meier, Magdalena Ortiz. por Meier, Arne [editor.] \| Ortiz, Magdalena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14589Edición: 1st ed. 2024.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, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Foundations of object-oriented languages : types and semantics / Kim B. Bruce. por Bruce, Kim B. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Cambridge, Mass. : MIT Press, c2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.64 B78 2002.
		No hay imagen de cubierta disponible Foundations of quantum programming / Mingsheng Ying. por Ying, Mingsheng. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Cambridge, MA : Elsevier, 2016Acceso en línea: ScienceDirect. Restricted to UCB, UCD, UCI, UCLA, UCM, UCR, UCSC, UCSD, and UCSF Disponibilidad: Ítems disponibles para préstamo: Valle de las Palmas (1) Signatura topográfica: QA76.889 Y55 2016.
		Foundations of Security Analysis and Design VI [recurso electrónico] : FOSAD Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. por Aldini, Alessandro [editor.] \| Gorrieri, Roberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6858Origen: 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 .A25.
		Foundations of Software Science and Computation Structures [recurso electrónico] : 19th International Conference, FOSSACS 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 Bart Jacobs, Christof Löding. por Jacobs, Bart [editor.] \| Löding, Christof [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9634Edició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) .
		Foundations of Software Science and Computational Structures [recurso electrónico] : 13th International Conference, FOSSACS 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 Luke Ong. por Ong, Luke [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6014Origen: 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: QA8.9 -QA10.3.

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.