Refinar su búsqueda

Su búsqueda retornó 14 resultados.

Ordenar
Resultados
Come, let's play scenario-based programming using LSCs and the play-engine David Harel; Rami Marelly, coaut.

por Harel, David | Marelly, Rami.

Tipo de material: libro Libro Editor: Berlin Springer-Verlag 2003Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 005.1 H275] (2).

Visualizing the semantic Web XML-based internet and information visualization Vladimir Geroimenko, ed.; Chaomei Chen, ed.

por Geroimenko, Vladimir ed | Chen, Chaomei ed.

Tipo de material: libro Libro Editor: Londres Springer-Verlag 2003Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 005.726 V834] (1).

Tumors of the fetus and infant an atlas Hart Isaacs

por Isaacs, Hart.

Tipo de material: libro Libro Editor: New York Springer Verlag 2002Disponibilidad: Ítems disponibles para préstamo: Campus Bosque. Biblioteca Especializada Ciencias de la Salud (Floridablanca) [Signatura: R618.92992 I73] (1).

Ontologies A silver bullet for knowledge managemenet and electronic commerce, with 40 figures Dieter Fensel

por Fensel, Dieter.

Tipo de material: libro Libro Editor: Berlin Springer-Verlag 2001Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 005.74 F341] (1).

Understanding agent systems

por D'Inverno, Mark | Luck, Michael.

Tipo de material: libro Libro; Formato: impreso Editor: Berlin Springer-Verlag 2001Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 006.3 D587] (1).

Iterative software engineering for multiagent systems

por Lind, Jrgen.

Tipo de material: libro Libro; Formato: impreso Editor: Berlin Springer-Verlag 2001Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 006.3 L742] (1).

Modern cryptography, probabilistic proofs and pseudorandomness

por Goldreich, Oded.

Tipo de material: libro Libro; Formato: impreso Editor: Berlin Springer-Verlag 1999Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 005.8 G621] (1).

Algebraic aspects of cryptography

por Koblitz, Neal.

Tipo de material: libro Libro; Formato: impreso Editor: Berlin Springer-Verlag 1998Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 005.8 K75a] (1).

The B language and method a guide to practical formal development

por Lano, Kevin.

Tipo de material: libro Libro Editor: London Springer-Verlag 1996Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 005.1 L293] (1).

The stability theory of stream ciphers

por Ding, C | Xiao, G | Shan, W.

Tipo de material: libro Libro; Formato: impreso Editor: Berlin Springer-Verlag 1991Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 005.8 D584] (1).

Micología médica Nolting Siegfried ; Klaus Fegeler

por Nolting, Siegfried | Fegeler, Klaus coaut.

Edición: 3 ed.Tipo de material: libro Libro Editor: New York Springer-Verlag 1987Disponibilidad: Ítems disponibles para préstamo: Campus Bosque. Biblioteca Especializada Ciencias de la Salud (Floridablanca) [Signatura: 616.015 N798] (1).

Analysis and design of stream ciphers

por Rueppell, Rainer A.

Tipo de material: libro Libro; Formato: impreso Editor: Berlin Springer-Verlag 1986Disponibilidad: Ítems disponibles para préstamo: Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) [Signatura: 005.82 R921] (1).

Páginas