Search Results for Communication in art. - Narrowed by: Computer Science Logic and Foundations of Programming.

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

2024-09-19T22:20:57Z

Yazar Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

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

2024-09-19T22:20:57Z

Yazar 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)
Yer Numarası QA76.9 .A43
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

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

2024-09-19T22:20:57Z

Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Communication in Multiagent Systems Agent Communication Languages and Conversation Policies

2024-09-19T22:20:57Z

Yazar Huget, Marc-Phillipe. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-09-19T22:20:57Z

Yazar Alonso, Eduardo. editor. Kudenko, Daniel. editor. Kazakov, Dimitar. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Issues in Agent Communication

2024-09-19T22:20:57Z

Yazar Dignum, Frank. editor. Greaves, Mark. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-09-19T22:20:57Z

Yazar Dignum, Frank. editor. van Eijk, Rogier. editor. Flores, Roberto. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

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

2024-09-19T22:20:57Z

Yazar van Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

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

2024-09-19T22:20:57Z

Yazar Buschmann, Frank. editor. Buchmann, Alejandro P. editor. Cilia, Mariano. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-09-19T22:20:57Z

Yazar Paterno, Fabio. editor. SpringerLink (Online service)
Yer Numarası T385
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-09-19T22:20:57Z

Yazar 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
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2024-09-19T22:20:57Z

Yazar Lewis, Grace A. editor. (orcid)0000-0001-9128-9863 Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Advances in Agent Communication International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003

2024-09-19T22:20:57Z

Yazar Dignum, Frank. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Understanding Concurrent Systems

2024-09-19T22:20:57Z

Yazar Roscoe, A.W. author. SpringerLink (Online service)
Yer Numarası QA76.76 .O63
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2010 Packages
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

2024-09-19T22:20:57Z

Yazar Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings

2024-09-19T22:20:57Z

Yazar Felici, Massimo. editor. Kanoun, Karama. editor. Pasquini, Alberto. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources