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

ISBN

9781461535560

Electronic Access

Full Text Available From Springer Nature Engineering 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

ISBN

9781447120636

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

Evolutionary Integral Equations and Applications

Author

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

Call Number

H1 -99

ISBN

9783034885706

Electronic Access

Full Text Available From Springer Nature Mathematics and Statistics 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

ISBN

9783642974304

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

ISBN

9783540706557

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

ISBN

9781461532286

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

ISBN

9789401119764

Electronic Access

Full Text Available From Springer Nature Behavioral Science 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

ISBN

9783642580666

Electronic Access

Full Text Available From Springer Nature Computer 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

ISBN

9781461528425

Electronic Access

Full Text Available From Springer Nature Physics and Astronomy 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

ISBN

9781461532361

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

ISBN

9789401117692

Electronic Access

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

Format:

Electronic Resources

Available:

12.

Iterative Learning Control for Deterministic Systems

Author

Moore, Kevin L. author. SpringerLink (Online service)

Call Number

TS1 -2301

ISBN

9781447119128

Electronic Access

Full Text Available From Springer Nature Engineering Archive Packages

Format:

Electronic Resources

Available:

	{displayName}	{count}
{error}