Научная библиотека ТГУ catalog

Your search returned 27 results.

	1.	Declarative Agent Languages and Technologies II Электронный ресурс Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers edited by João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum. by Leite, João \| Omicini, Andrea \| Torroni, Paolo \| Yolum, Pinar \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Programming Multi-Agent Systems Электронный ресурс 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni. by Bordini, Rafael H \| Dastani, Mehdi \| Dix, Jürgen \| Seghrouchni, Amal El Fallah \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Agent-Oriented Software Engineering VI Электронный ресурс 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers edited by Jörg P. Müller, Franco Zambonelli. by Müller, Jörg P \| Zambonelli, Franco \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Agent-Oriented Software Engineering VII Электронный ресурс 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli. by Padgham, Lin \| Zambonelli, Franco \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Agent-Oriented Software Engineering VIII Электронный ресурс 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham. by Luck, Michael \| Padgham, Lin \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Declarative Agent Languages and Technologies V Электронный ресурс 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Baldoni, Matteo \| Riemsdijk, M. Birna \| Son, Tran Cao \| Winikoff, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	ICT in Education, Research, and Industrial Applications [electronic resource] : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by Ermolayev, Vadim [editor.] \| Mayr, Heinrich C [editor.] \| Nikitchenko, Mykola [editor.] \| Spivakovsky, Aleksander [editor.] \| Zholtkevych, Grygoriy [editor.] \| SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by Bertacco, Valeria [editor.] \| Legay, Axel [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	Defence Applications of Multi-Agent Systems Электронный ресурс International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers edited by Simon G. Thompson, Robert Ghanea-Hercock. by Thompson, Simon G \| Ghanea-Hercock, Robert \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	10.	Programming Multi-Agent Systems (vol. # 3346) Электронный ресурс Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El by Bordini, Rafael H \| Dastani, Mehdi \| Dix, Jürgen \| Seghrouchni, Amal El Fallah \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	11.	Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Электронный ресурс 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers / edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko. by Tuyls, Karl \| Guessoum, Zahia \| Kudenko, Daniel \| Nowe, Ann \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	12.	Adaptive Agents and Multi-Agent Systems II Электронный ресурс Adaptation and Multi-Agent Learning edited by Eduardo Alonso, Dimitar Kazakov, Daniel Kudenko. by Alonso, Eduardo \| Kazakov, Dimitar \| Kudenko, Daniel \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	13.	Rigorous Engineering of Fault-Tolerant Systems Электронный ресурс edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. by Butler, Michael \| Jones, Cliff \| Romanovsky, Alexander \| Troubitsyna, Elena \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	14.	Hardware and Software: Verification and Testing electronic resource 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings / edited by Eran Yahav. by Yahav, Eran [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	15.	Agent-Oriented Software Engineering V Электронный ресурс 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers edited by Paolo Giorgini, Jörg P. Müller, James Odell. by Giorgini, Paolo \| Müller, Jörg P \| Odell, James \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	16.	Declarative Agent Languages and Technologies VI Электронный ресурс 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Carbonell, Jaime G \| Baldoni, Matteo \| Riemsdijk, M. Birna \| Siekmann, Jörg \| Son, Tran Cao \| Winikoff, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	17.	Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems Электронный ресурс AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul by Boissier, Olivier \| Dignum, Virginia \| Lindemann, Gabriela \| Matson, Eric \| Ossowski, Sascha \| Padget, Julian \| Sichman, Jaime \| Vázquez-Salceda, Javier \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	18.	Advanced Topics in Exception Handling Techniques Электронный ресурс edited by Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi. by Dony, Christophe \| Knudsen, Jorgen Lindskov \| Romanovsky, Alexander \| Tripathi, Anand \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	19.	Declarative Agent Languages and Technologies IV Электронный ресурс 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers edited by Matteo Baldoni, Ulle Endriss. by Baldoni, Matteo \| Endriss, Ulle \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	20.	Programming Multi-Agent Systems Электронный ресурс 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff. by Dastani, Mehdi \| El Fallah Seghrouchni, Amal \| Ricci, Alessandro \| Winikoff, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	21.	Coordination, Organizations, Institutions, and Norms in Agent Systems III Электронный ресурс COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers / edited by Jaime SimГЈo Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega. by Sichman, Jaime Simão \| Noriega, Pablo \| Ossowski, Sascha \| Padget, Julian \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	22.	Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. by Machado, Ricardo J [editor.] \| Maciel, Rita Suzana P [editor.] \| Rubin, Julia [editor.] \| Botterweck, Goetz [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	23.	Hardware and Software: Verification and Testing electronic resource 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman. by Piterman, Nir [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	24.	Coordination, Organizations, Institutions, and Norms in Agent Systems II Электронный ресурс AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers by Noriega, Pablo \| Boella, Guido \| Boissier, Olivier \| Dignum, Virginia \| Fornara, Nicoletta \| Matson, Eric \| Vázquez-Salceda, Javier \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	25.	Programming Multi-Agent Systems (vol. # 3862) Электронный ресурс Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal by Bordini, Rafael H \| Dastani, Mehdi \| Dix, Jürgen \| Seghrouchni, Amal El Fallah \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	26.	Declarative Agent Languages and Technologies III Электронный ресурс Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Pao by Baldoni, Matteo \| Endriss, Ulle \| Omicini, Andrea \| Torroni, Paolo \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	27.	Information Security electronic resource 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / edited by Yvo Desmedt. by Desmedt, Yvo [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Topics

База знаний по целевым капиталам

Your search returned 27 results.