Search Results for Memory -- Research.

14 Results Found

Select All

1 2

000000000000DEFAULT

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

Author

Kurshan, Robert. editor. SpringerLink (Online service)

Call Number

TK7867 -7867.5

Electronic Access

Full Text Available From Springer Nature Engineering Archive Packages

Format:

Electronic Resources

Available:

Evolutionary Integral Equations and Applications

Author

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

Call Number

H1 -99

Electronic Access

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Format:

Electronic Resources

Available:

Cover image for 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

Author

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

Call Number

Q337.5

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

Extended Irreversible Thermodynamics

Author

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

Call Number

QC310.15 -319

Electronic Access

Full Text Available From Springer Nature Physics and Astronomy Archive Packages

Format:

Electronic Resources

Available:

Cover image for 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

Author

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

Call Number

QA75.5 -76.95

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

Case-Based Learning

Author

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

Call Number

QA76.76 .C65

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

Sensorimotor Impairment in the Elderly

Author

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

Call Number

QC173.45 -173.458

Electronic Access

Full Text Available From Springer Nature Behavioral Science Archive Packages

Format:

Electronic Resources

Available:

Advanced Topics in Materials Science and Engineering

Author

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

Call Number

QC173.45 -173.458

Electronic Access

Full Text Available From Springer Nature Physics and Astronomy Archive Packages

Format:

Electronic Resources

Available:

Parallel Computing on Distributed Memory Multiprocessors

Author

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

Call Number

QA76.9 .S88

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

10.

Motion Analysis and Image Sequence Processing

Author

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

Call Number

TK7867 -7867.5

Electronic Access

Full Text Available From Springer Nature Engineering Archive Packages

Format:

Electronic Resources

Available:

11.

Cover image for 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

Author

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

Call Number

P98 -98.5

Electronic Access

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

Format:

Electronic Resources

Available:

12.

Software for Parallel Computation

Author

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

Call Number

QA76.9 .S88

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

	{displayName}	{count}
{error}