Resultados de búsqueda para Communication in art.

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

Autor

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

Signatura topográfica preferida

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2014 Packages

Formato:

Recursos electrónicos

Disponible:

Automated Theorem Proving in Software Engineering

Autor

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

Signatura topográfica preferida

Q334 -342

Full Text Available From Springer Nature Computer Science Archive Packages

Formato:

Recursos electrónicos

Disponible:

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

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

Autor

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)

Signatura topográfica preferida

QA76.9 .A43

Full Text Available From Springer Nature Computer Science 2018 Packages

Formato:

Recursos electrónicos

Disponible:

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

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

Autor

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

Signatura topográfica preferida

QA76.9 .N38

Full Text Available From Springer Nature Computer Science 2009 Packages

Formato:

Recursos electrónicos

Disponible:

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

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

Autor

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

Signatura topográfica preferida

Q334 -342

Full Text Available From Springer Nature Computer Science 2006 Packages

Formato:

Recursos electrónicos

Disponible:

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

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

Autor

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)

Signatura topográfica preferida

TK7885 -7895

Full Text Available From Springer Nature Computer Science 2020 Packages

Formato:

Recursos electrónicos

Disponible:

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

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

Autor

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

Signatura topográfica preferida

QA76.758

Full Text Available From Springer Nature Computer Science 2013 Packages

Formato:

Recursos electrónicos

Disponible:

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

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

Autor

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

Signatura topográfica preferida

Q334 -342

Full Text Available From Springer Nature Computer Science Archive Packages

Formato:

Recursos electrónicos

Disponible:

	{displayName}	{count}
{error}