Résultats de recherche pour Communication in art.

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

Auteur

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

Numéro de cote topographique requis

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2014 Packages

Format :

Ressources électroniques

Disponible:

Automated Theorem Proving in Software Engineering

Auteur

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

Numéro de cote topographique requis

Q334 -342

Full Text Available From Springer Nature Computer Science Archive Packages

Format :

Ressources électroniques

Disponible:

Image de couverture de 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

Auteur

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)

Numéro de cote topographique requis

QA76.9 .A43

Full Text Available From Springer Nature Computer Science 2018 Packages

Format :

Ressources électroniques

Disponible:

Image de couverture de 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

Auteur

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

Numéro de cote topographique requis

QA76.9 .N38

Full Text Available From Springer Nature Computer Science 2009 Packages

Format :

Ressources électroniques

Disponible:

Image de couverture de 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

Auteur

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

Numéro de cote topographique requis

Q334 -342

Full Text Available From Springer Nature Computer Science 2006 Packages

Format :

Ressources électroniques

Disponible:

Image de couverture de 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

Auteur

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)

Numéro de cote topographique requis

TK7885 -7895

Full Text Available From Springer Nature Computer Science 2020 Packages

Format :

Ressources électroniques

Disponible:

Image de couverture de 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

Auteur

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

Numéro de cote topographique requis

QA76.758

Full Text Available From Springer Nature Computer Science 2013 Packages

Format :

Ressources électroniques

Disponible:

Image de couverture de 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

Auteur

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

Numéro de cote topographique requis

Q334 -342

Full Text Available From Springer Nature Computer Science Archive Packages

Format :

Ressources électroniques

Disponible:

	{displayName}	{count}
{error}