Search Results for Communication in art. - Narrowed by: Machine theory.

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

2024-09-20T00:42:42Z

Yazar Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Automated Theorem Proving in Software Engineering

2024-09-20T00:42:42Z

Yazar Schumann, Johann M. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-09-20T00:42:42Z

Yazar 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)
Yer Numarası QA76.9 .A43
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

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

2024-09-20T00:42:42Z

Yazar Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .N38
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

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

2024-09-20T00:42:42Z

Yazar Peters, James F. editor. (orcid)0000-0002-1026-4638 Yao, Yiju. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

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

2024-09-20T00:42:42Z

Yazar 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)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-09-20T00:42:42Z

Yazar 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
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

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

2024-09-20T00:42:42Z

Yazar Moor, Aldo de. editor. Lex, Wilfried. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources