Search Results for Communication in art.

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

Author

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

Call Number

QA75.5 -76.95

ISBN

9783662454893

Electronic Access

Full Text Available From Springer Nature Computer Science 2014 Packages

Format:

Electronic Resources

Available:

Automated Theorem Proving in Software Engineering

Author

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

Call Number

Q334 -342

ISBN

9783662226469

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

Cover image for 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

Author

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)

Call Number

QA76.9 .A43

ISBN

9783030003593

Electronic Access

Full Text Available From Springer Nature Computer Science 2018 Packages

Format:

Electronic Resources

Available:

Cover image for 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

Author

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

Call Number

QA76.9 .N38

ISBN

9783642041310

Electronic Access

Full Text Available From Springer Nature Computer Science 2009 Packages

Format:

Electronic Resources

Available:

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

Author

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

Call Number

Q334 -342

ISBN

9783540362999

Electronic Access

Full Text Available From Springer Nature Computer Science 2006 Packages

Format:

Electronic Resources

Available:

Cover image for 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

Author

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)

Call Number

TK7885 -7895

ISBN

9783030659554

Electronic Access

Full Text Available From Springer Nature Computer Science 2020 Packages

Format:

Electronic Resources

Available:

Cover image for 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

Author

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

Call Number

QA76.758

ISBN

9783642357374

Electronic Access

Full Text Available From Springer Nature Computer Science 2013 Packages

Format:

Electronic Resources

Available: