Resultados
|
|
|
|
|
|
|
|
|
|
|
Computacion y sistemas : revista iberoamericana de computacion. por Instituto Politécnico Nacional (México). Centro de Investigación en Computación. Tipo de material:  Recurso continuo; Formato:
impresión grande ; Tipo de descriptor de recurso continuo:
periódico Idioma: Español Editor: Mexico, D.F. : IPN, Centro de Investigacion en Computacion, 1997-Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (9).
|
|
|
|
Computer abstracts por Technical Information Company. Tipo de material: Recurso continuo; Formato:
impresión grande ; Tipo de descriptor de recurso continuo:
periódico Idioma: Inglés Editor: St Helier, Jersey : Technical Information Company. 1960-Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (13).
|
|
|
|
Computer safety, reliability and security : 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, october 2000 : proceedings / Floor Koornneef, Meine van der Meulen, eds. por Koornneef, Floor, 1950- [editor] | Meulen, Meine van der, 1964- [editor] | International Conference on Computer Safety, Reliability, and Security (19 : 2000 : Rotterdam, Holanda). Series Lecture notes in computer science ; v. 1943Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76R47 C66 2000.
|
|
|
|
|
|
|
|
|
|
|
|
Computer systems / J. Stanley Warford por Warford, J. Stanley, 1944- [autor]. Edición: 3rd ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Sudbury, Massachusetts : Jones and Bartlett, c2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76 W36175 2005.
|
|
|
|
Computer systems / J. Stanley Warford por Warford, J. Stanley, 1944- [autor]. Edición: 4th ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Sudbury, Massachusetts : Jones and Bartlett, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76 W36175 2010, ...
|
|
|
|
|
|
|
|
Computer systems application / Viktor Borodin por Borodin, Viktor [autor]. Tipo de material: Texto; Forma literaria:
No es ficción Editor: Burlington, On, Canada : Toronto Academic Press, [2024]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76 B6447.
|
|
|
|
Cyber-physical systems : foundations, principles and applications / edited by Houbing Song, Danda B. Rawat, Sabina Jeschke, Christian Brecher ; series editor, Fatos Xhafa por Song, Houbing [editor] | Rawat, Danda B [editor] | Jeschke, Sabina [editor] | Brecher, Christian [editor] | Xhafa, Fatos [editor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Cambridge : Elsevier/Academic Press, 2017Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7895.E42 C935.
|
|
|
|
|
|
|
|
|
|
|
|
Handbook of model checking / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors por Clarke, Edmund M [editor] | Henzinger, Thomas A [editor] | Veith, Helmut [editor] | Bloem, Roderick [editor]. Tipo de material: Texto; Forma literaria:
No es ficción Editor: Cham, Switzerland : Springer, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 H35.
|
|
|
|
Intelligent techniques for cyber-physical systems / edited by Mohammad Sajid, Anil Kumar Sagar, Jagendra Singh, Osamah Ibrahem Khalaf, and Mukesh Prasad por Sajid, Mohammad [editor] | Sagar, Anil Kumar [editor] | Singh, Jagendra, 1981- [editor] | Khalaf, Osamah Ibrahim, 1981- [editor] | Prasad, Mukesh [editor]. Series Computational intelligence techniquesEdición: First editionTipo de material: Texto; Forma literaria:
No es ficción Editor: Boca Raton, FL : CRC Press, 2024Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5105.67 I57.
|
|
|
|
ITNow por British Computer Society. Tipo de material: Recurso continuo; Formato:
impresión grande ; Tipo de descriptor de recurso continuo:
periódico Idioma: Inglés Editor: Oxford : Oxford University Press, 2005-Otro título: IT now | Information technology now.Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (18).
|
|
|
|
|
|
|
|
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron Peled por Clarke, E. M, 1945- [autor] | Grumberg, Orna [autor] | Peled, Doron A, 1962- [editor] | Massachusetts Institute of Technology. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Cambridge, Massachusetts : The MIT Press, 1999Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).
|
|
|
|
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith por Clarke, E. M, 1945- [autor] | Grumberg, Orna [autor] | Kroening, Daniel [autor] | Peled, Doron A, 1962- [autor] | Veith, Helmut [autor]. Series The cyber-physical systems seriesEdición: Second editionTipo de material: Texto; Forma literaria:
No es ficción Editor: Cambridge, Massachusetts : The MIT Press, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 C53 2018.
|
