Models of Computation.的检索结果

2555 个结果

选择所有

1 2 3 4 5 .. 213

000000000000DEFAULT

Models of Computation

著者

Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)

首选排架号

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2017 Packages

格式：

电子资源

可借阅:

Models of computation and formal languages

著者

Taylor, Ralph Gregory.

首选排架号

QA9.59 .T39 1998

Publisher description
Table of contents only
Contributor biographical information

格式：

图书

可借阅:

Models of Computation for Big Data

著者

Akerkar, Rajendra. author. (orcid)0000-0002-4048-7226 SpringerLink (Online service)

首选排架号

QA76.9 .A43

Full Text Available From Springer Nature Computer Science 2018 Packages

格式：

电子资源

可借阅:

Black-Box Models of Computation in Cryptology

著者

Jager, Tibor. author. SpringerLink (Online service)

首选排架号

QA71 -90

Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages

格式：

电子资源

可借阅:

Models of computation : an introduction to computability theory

著者

Fernâandez, Maribel.

首选排架号

QA267 .F47 2009

格式：

图书

可借阅:

Handbook of Mathematical Models for Languages and Computation

著者

Meduna, Alexander Horacek, Petr Tomko, Martin IET Digital Library IET e-Books

首选排架号

XX(2014292.1)

Full Text Available From IET eBooks 2019 Packages

格式：

电子资源

可借阅:

Models of Computation An Introduction to Computability Theory

著者

Fernandez, Maribel. author. (orcid)0000-0001-8325-5815 SpringerLink (Online service)

首选排架号

QA76.758

Full Text Available From Springer Nature Computer Science 2009 Packages

格式：

电子资源

可借阅:

Embedded Systems Design Based on Formal Models of Computation

著者

Radojevic, Ivan. author. Salcic, Zoran. author. SpringerLink (Online service)

首选排架号

T1 -995

Full Text Available From Springer Nature Engineering 2011 Packages

格式：

电子资源

可借阅:

Computation and Comparison of Efficient Turbulence Models for Aeronautics - European Research Project ETMA

著者

Dervieux, Alain. editor. Braza, Marianna. editor. Dussauge, Jean-Paul. editor. SpringerLink (Online service)

首选排架号

TL1 -4050

Full Text Available From Springer Nature Physics and Astronomy Archive Packages

格式：

电子资源

可借阅:

10.

Quantum-Statistical Models of Hot Dense Matter Methods for Computation Opacity and Equation of State

著者

Nikiforov, Arnold F. author. Novikov, Vladimir G. author. Uvarov, Vasili B. author. SpringerLink (Online service)

首选排架号

QC173.45 -173.458

Full Text Available From Springer Nature Physics and Astronomy 2005 Packages

格式：

电子资源

可借阅:

11.

Unconventional Models of Computation Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings

著者

Calude, Cristian. editor. Dinneen, Michael J. editor. Peper, F. editor. SpringerLink (Online service)

首选排架号

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

12.

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

著者

Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)

首选排架号

QA267 -268.5

Full Text Available From Springer Nature Computer Science 2015 Packages

格式：

电子资源

可借阅:

选择所有

1 2 3 4 5 .. 213

2555 个结果

	{displayName}	{count}
{error}