Memory -- Research.的检索结果

14 个结果

选择所有

1 2

000000000000DEFAULT

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

著者

Kurshan, Robert. editor. SpringerLink (Online service)

首选排架号

TK7867 -7867.5

ISBN

9781461535560

Full Text Available From Springer Nature Engineering Archive Packages

格式：

电子资源

可借阅:

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

著者

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

首选排架号

Q337.5

ISBN

9781447120636

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Evolutionary Integral Equations and Applications

著者

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

首选排架号

H1 -99

ISBN

9783034885706

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

格式：

电子资源

可借阅:

Extended Irreversible Thermodynamics

著者

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

首选排架号

QC310.15 -319

ISBN

9783642974304

Full Text Available From Springer Nature Physics and Astronomy Archive Packages

格式：

电子资源

可借阅:

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

著者

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

首选排架号

QA75.5 -76.95

ISBN

9783540706557

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Case-Based Learning

著者

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

首选排架号

QA76.76 .C65

ISBN

9781461532286

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Sensorimotor Impairment in the Elderly

著者

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

首选排架号

QC173.45 -173.458

ISBN

9789401119764

Full Text Available From Springer Nature Behavioral Science Archive Packages

格式：

电子资源

可借阅:

Parallel Computing on Distributed Memory Multiprocessors

著者

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

首选排架号

QA76.9 .S88

ISBN

9783642580666

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Advanced Topics in Materials Science and Engineering

著者

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

首选排架号

QC173.45 -173.458

ISBN

9781461528425

Full Text Available From Springer Nature Physics and Astronomy Archive Packages

格式：

电子资源

可借阅:

10.

Motion Analysis and Image Sequence Processing

著者

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

首选排架号

TK7867 -7867.5

ISBN

9781461532361

Full Text Available From Springer Nature Engineering Archive Packages

格式：

电子资源

可借阅:

11.

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

著者

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

首选排架号

P98 -98.5

ISBN

9789401117692

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

格式：

电子资源

可借阅:

12.

Iterative Learning Control for Deterministic Systems

著者

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

首选排架号

TS1 -2301

ISBN

9781447119128

Full Text Available From Springer Nature Engineering Archive Packages

格式：

电子资源

可借阅:

	{displayName}	{count}
{error}