Communication in art.的检索结果

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

著者

Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)

首选排架号

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2014 Packages

格式：

电子资源

可借阅:

Automated Theorem Proving in Software Engineering

著者

Schumann, Johann M. author. SpringerLink (Online service)

首选排架号

Q334 -342

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings

著者

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)

首选排架号

QA76.9 .A43

Full Text Available From Springer Nature Computer Science 2018 Packages

格式：

电子资源

可借阅:

State of the Art in Computational Morphology Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009, Proceedings

著者

Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)

首选排架号

QA76.9 .N38

Full Text Available From Springer Nature Computer Science 2009 Packages

格式：

电子资源

可借阅:

Rough Sets and Knowledge Technology First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings

著者

Peters, James F. editor. (orcid)0000-0002-1026-4638 Yao, Yiju. editor. SpringerLink (Online service)

首选排架号

Q334 -342

Full Text Available From Springer Nature Computer Science 2006 Packages

格式：

电子资源

可借阅:

Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings

著者

Ben Hedia, Belgacem. editor. (orcid)0000-0003-1367-8542 Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Liu, Gaiyun. editor. Yu, Zhenhua. editor. SpringerLink (Online service)

首选排架号

TK7885 -7895

Full Text Available From Springer Nature Computer Science 2020 Packages

格式：

电子资源

可借阅:

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

著者

Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062 Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133 Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143

首选排架号

QA76.758

Full Text Available From Springer Nature Computer Science 2013 Packages

格式：

电子资源

可借阅:

Conceptual Structures for Knowledge Creation and Communication 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings

著者

Moor, Aldo de. editor. Lex, Wilfried. editor. Ganter, Bernhard. editor. SpringerLink (Online service)

首选排架号

Q334 -342

Full Text Available From Springer Nature Computer Science Archive Packages

格式：

电子资源

可借阅:

	{displayName}	{count}
{error}