Resultados da busca para 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

ISBN

9783662454893

Full Text Available From Springer Nature Computer Science 2014 Packages

Formato:

Recursos Eletrônicos

Disponível:

Automated Theorem Proving in Software Engineering

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

Q334 -342

ISBN

9783662226469

Full Text Available From Springer Nature Computer Science Archive Packages

Formato:

Recursos Eletrônicos

Disponível:

Imagem da capa 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

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

ISBN

9783030003593

Full Text Available From Springer Nature Computer Science 2018 Packages

Formato:

Recursos Eletrônicos

Disponível:

Imagem da capa 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

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

QA76.9 .N38

ISBN

9783642041310

Full Text Available From Springer Nature Computer Science 2009 Packages

Formato:

Recursos Eletrônicos

Disponível:

Imagem da capa 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

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

Q334 -342

ISBN

9783540362999

Full Text Available From Springer Nature Computer Science 2006 Packages

Formato:

Recursos Eletrônicos

Disponível:

Imagem da capa 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

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

ISBN

9783030659554

Full Text Available From Springer Nature Computer Science 2020 Packages

Formato:

Recursos Eletrônicos

Disponível:

Imagem da capa 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

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

ISBN

9783642357374

Full Text Available From Springer Nature Computer Science 2013 Packages

Formato:

Recursos Eletrônicos

Disponível: