Resultados de búsqueda para Memory -- Research.

14 Resultados encontrados

Suscribirse a los resultados de búsqueda

Seleccionar todo

1 2

000000000000DEFAULT

Computer-Aided Verification A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Autor

Kurshan, Robert. editor. SpringerLink (Online service)

Signatura topográfica preferida

TK7867 -7867.5

Full Text Available From Springer Nature Engineering Archive Packages

Formato:

Recursos electrónicos

Disponible:

Evolutionary Integral Equations and Applications

Autor

Prüss, J. author. SpringerLink (Online service)

Signatura topográfica preferida

H1 -99

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

Imagen de portada para ICANN '93 Proceedings of the International Conference on Artificial Neural Networks Amsterdam, The Netherlands 13-16 September 1993

ICANN '93 Proceedings of the International Conference on Artificial Neural Networks Amsterdam, The Netherlands 13-16 September 1993

Autor

Gielen, Stan. editor. Kappen, Bert. editor. SpringerLink (Online service)

Signatura topográfica preferida

Q337.5

Full Text Available From Springer Nature Computer Science Archive Packages

Formato:

Recursos electrónicos

Disponible:

Extended Irreversible Thermodynamics

Autor

Jou, David. author. Casas-Vazquez, Jose. author. Lebon, Georgy. author. SpringerLink (Online service)

Signatura topográfica preferida

QC310.15 -319

Full Text Available From Springer Nature Physics and Astronomy Archive Packages

Formato:

Recursos electrónicos

Disponible:

Imagen de portada para Correct Hardware Design and Verification Methods IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings

Correct Hardware Design and Verification Methods IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings

Autor

Milne, George J. editor. Pierre, Laurence. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science Archive Packages

Formato:

Recursos electrónicos

Disponible:

Case-Based Learning

Autor

Kolodner, Janet L. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA76.76 .C65

Full Text Available From Springer Nature Computer Science Archive Packages

Formato:

Recursos electrónicos

Disponible:

Sensorimotor Impairment in the Elderly

Autor

Stelmach, George E. editor. Hömberg, Volker. editor. SpringerLink (Online service)

Signatura topográfica preferida

QC173.45 -173.458

Full Text Available From Springer Nature Behavioral Science Archive Packages

Formato:

Recursos electrónicos

Disponible:

Advanced Topics in Materials Science and Engineering

Autor

Morán-López, J.L. editor. Sánchez, José M. editor. SpringerLink (Online service)

Signatura topográfica preferida

QC173.45 -173.458

Full Text Available From Springer Nature Physics and Astronomy Archive Packages

Formato:

Recursos electrónicos

Disponible:

Parallel Computing on Distributed Memory Multiprocessors

Autor

Özgüner, Füsun. editor. Ercal, Fikret. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA76.9 .S88

Full Text Available From Springer Nature Computer Science Archive Packages

Formato:

Recursos electrónicos

Disponible:

10.

Motion Analysis and Image Sequence Processing

Autor

Sezan, M. Ibrahim. editor. Lagendijk, Reginald L. editor. SpringerLink (Online service)

Signatura topográfica preferida

TK7867 -7867.5

Full Text Available From Springer Nature Engineering Archive Packages

Formato:

Recursos electrónicos

Disponible:

11.

Imagen de portada para Contributions to Quantitative Linguistics Proceedings of the First International Conference on Quantitative Linguistics, QUALICO, Trier, 1991

Contributions to Quantitative Linguistics Proceedings of the First International Conference on Quantitative Linguistics, QUALICO, Trier, 1991

Autor

Köhler, Reinhard. editor. Rieger, Burghard B. editor. SpringerLink (Online service)

Signatura topográfica preferida

P98 -98.5

Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages

Formato:

Recursos electrónicos

Disponible:

12.

Software for Parallel Computation

Autor

Kowalik, Janusz S. editor. Grandinetti, Lucio. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA76.9 .S88

Full Text Available From Springer Nature Computer Science Archive Packages

Formato:

Recursos electrónicos

Disponible:

Seleccionar todo

1 2

14 Resultados encontrados

	{displayName}	{count}
{error}