Search Results for Communication in art.

16 Results Found

Select All

1 2

000000000000DEFAULT

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

Electronic Access

Full Text Available From Springer Nature Computer Science 2014 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

Electronic Access

Full Text Available From Springer Nature Computer Science 2018 Packages

Format:

Electronic Resources

Available:

Cover image for Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Author

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)

Call Number

TK7885 -7895

Electronic Access

Full Text Available From Springer Nature Computer Science 2019 Packages

Format:

Electronic Resources

Available:

Communication in Multiagent Systems Agent Communication Languages and Conversation Policies

Author

Huget, Marc-Phillipe. editor. SpringerLink (Online service)

Call Number

Q334 -342

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning

Author

Alonso, Eduardo. editor. Kudenko, Daniel. editor. Kazakov, Dimitar. editor. SpringerLink (Online service)

Call Number

Q334 -342

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

Issues in Agent Communication

Author

Dignum, Frank. editor. Greaves, Mark. editor. SpringerLink (Online service)

Call Number

Q334 -342

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

Cover image for Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

Author

Dignum, Frank. editor. van Eijk, Rogier. editor. Flores, Roberto. editor. SpringerLink (Online service)

Call Number

Q334 -342

Electronic Access

Full Text Available From Springer Nature Computer Science 2006 Packages

Format:

Electronic Resources

Available:

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004

Author

van Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)

Call Number

Q334 -342

Electronic Access

Full Text Available From Springer Nature Computer Science 2005 Packages

Format:

Electronic Resources

Available:

Object-Oriented Technology. ECOOP 2003 Workshop Reader ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports

Author

Buschmann, Frank. editor. Buchmann, Alejandro P. editor. Cilia, Mariano. editor. SpringerLink (Online service)

Call Number

QA76.6 -76.66

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

10.

Interactive Systems: Design, Specification, and Verification 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

Author

Paterno, Fabio. editor. SpringerLink (Online service)

Call Number

T385

Electronic Access

Full Text Available From Springer Nature Computer Science Archive Packages

Format:

Electronic Resources

Available:

11.

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

Electronic Access

Full Text Available From Springer Nature Computer Science 2013 Packages

Format:

Electronic Resources

Available:

12.