Término solicitado: CIENCIA DE LA COMPUTACION/(65,175,265)
9 Registro/s encontrado/s en CAT+NORMA
Tipo de Docum.: | congreso; Libro electrónico |
Título: | ZB 2005: Formal Specification and Development in Z and B |
Autor: | Henson, Martin; King, Steve; Schneider, Steve; Treharne, Helen |
Título Ser./Col.: | Lecture Notes in Computer Science;3455 |
Datos de Edición: | SPRINGER. 2005. |
Descriptores: | Computer Science; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/b135596 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-25559-8 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Tipo de Docum.: | Libro electrónico |
Título: | XML for Bioinformatics |
Autor: | Cerami, Ethan |
Datos de Edición: | SPRINGER. 2005. |
Descriptores: | Computer Science; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/0-387-27478-2 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-23028-3 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Tipo de Docum.: | congreso; Libro electrónico |
Título: | Accessing Multilingual Information Repositories |
Autor: | Peters, Carol; Gey, Fredric; Gonzalo, Julio; Mueller, Henning; Jones, Gareh; Kluck, Michael; Magnini, Bernardo; de Rijke, Maarten |
Título Ser./Col.: | Lecture Notes in Computer Science;4022 |
Datos de Edición: | SPRINGER. 2006. |
Descriptores: | Computer Science; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/11878773 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-45697-1 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Tipo de Docum.: | Libro electrónico |
Título: | Accessible Access 2003 |
Autor: | Marklyn, Bill; Whitehorn, Mark |
Datos de Edición: | SPRINGER. 2005. |
Descriptores: | Computer Science; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/1-84628-189-X (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-85233-949-4 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Tipo de Docum.: | Libro electrónico |
Título: | Access Control Systems |
Autor: | Benantar, Messaoud |
Datos de Edición: | SPRINGER. 2006. |
Descriptores: | Computer Science; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/0-387-27716-1 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-00445-7 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Tipo de Docum.: | Libro electrónico |
Título: | Accelerated VB 2005 |
Datos de Edición: | SPRINGER. 2007. |
Descriptores: | Professional Computing and Web Design; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/978-1-4302-0202-8 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-59059-801-6 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Tipo de Docum.: | congreso; Libro electrónico |
Título: | Abstraction, Reformulation and Approximation |
Autor: | Saitta, Lorenza; Zucker, Jean-Daniel |
Título Ser./Col.: | Lecture Notes in Computer Science;3607 |
Datos de Edición: | SPRINGER. 2005. |
Descriptores: | Computer Science; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/11527862 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-27872-6 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Tipo de Docum.: | monografía; Libro electrónico |
Título: | Abstraction, Refinement and Proof for Probabilistic Systems |
Autor: | McIver, Annabelle; Morgan, Charles C. |
Título Ser./Col.: | Monographs in Computer Science |
Datos de Edición: | SPRINGER. 2005. |
Descriptores: | Computer Science; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/b138392 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-40115-7 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Tipo de Docum.: | Libro electrónico |
Título: | Abstract Computing Machines |
Autor: | Kluge, W. |
Título Ser./Col.: | Texts in Theoretical Computer Science An EATC Series |
Datos de Edición: | SPRINGER. 2005. |
Descriptores: | Computer Science; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/b138965 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-21146-4 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
[Página de Inicio] [Nueva Búsqueda][Página Anterior]