Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 350 results.

    1.
    Handbook on Agent-Oriented Design Processes electronic resource edited by Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita.

    by Cossentino, Massimo [editor.] | Hilaire, Vincent [editor.] | Molesini, Ambra [editor.] | Seidita, Valeria [editor.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    2.
    Ontology-Driven Software Development electronic resource edited by Jeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao.

    by Pan, Jeff Z [editor.] | Staab, Steffen [editor.] | Aßmann, Uwe [editor.] | Ebert, Jürgen [editor.] | Zhao, Yuting [editor.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    3.
    Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan.

    by Dastani, Mehdi [editor.] | Hübner, Jomi F [editor.] | Logan, Brian [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    4.
    Regulated Open Multi-Agent Systems (ROMAS) electronic resource A Multi-Agent Approach for Designing Normative Open Systems / by Emilia Garcia, Adriana Giret, Vicente Botti.

    by Garcia, Emilia [author.] | Giret, Adriana [author.] | Botti, Vicente [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    5.
    Field-Based Coordination for Pervasive Multiagent Systems Электронный ресурс by Marco Mamei, Franco Zambonelli.

    by Mamei, Marco | Zambonelli, Franco | SpringerLink (Online service).

    Series: Springer Series in Agent TechnologySource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    6.
    Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems Электронный ресурс International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers / by Tom Wagner, Omer F. Rana.

    by Wagner, Tom | Rana, Omer F | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    7.
    Ontologies for Software Engineering and Software Technology Электронный ресурс edited by Coral Calero, Francisco Ruiz, Mario Piattini.

    by Calero, Coral | Piattini, Mario | Ruiz, Francisco | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    8.
    Engineering Environment-Mediated Multi-Agent Systems Электронный ресурс International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Danny Weyns, Sven A. Brueckner, Yves Demazeau.

    by Carbonell, Jaime G | Brueckner, Sven A | Demazeau, Yves | Siekmann, Jörg | Weyns, Danny | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    9.
    Software Engineering Research, Management and Applications electronic resource edited by Roger Lee.

    by Lee, Roger [editor.] | SpringerLink (Online service).

    Series: Studies in Computational IntelligenceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Heidelberg : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    10.
    Engineering Multi-Agent Systems electronic resource Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna Riemsdijk.

    by Dalpiaz, Fabiano [editor.] | Dix, Jürgen [editor.] | Riemsdijk, M. Birna [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    11.
    Engineering Multi-Agent Systems electronic resource Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani.

    by Baldoni, Matteo [editor.] | Baresi, Luciano [editor.] | Dastani, Mehdi [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    12.
    Automatic Generation of Combinatorial Test Data electronic resource by Jian Zhang, Zhiqiang Zhang, Feifei Ma.

    by Zhang, Jian [author.] | Zhang, Zhiqiang [author.] | Ma, Feifei [author.] | SpringerLink (Online service).

    Series: SpringerBriefs in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    13.
    The Seventeen Provers of the World Электронный ресурс Foreword by Dana S. Scott edited by Freek Wiedijk.

    by Wiedijk, Freek | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
    14.
    Agent-Oriented Software Engineering XIII [electronic resource] : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Jörg P. Müller, Massimo Cossentino.

    by Müller, Jörg P [editor.] | Cossentino, Massimo [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    15.
    Software Engineering Research, Management and Applications Электронный ресурс edited by Janusz Kacprzyk, Roger Lee.

    by Kacprzyk, Janusz | Lee, Roger | SpringerLink (Online service).

    Series: Studies in Computational IntelligenceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    16.
    Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection electronic resource 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings / edited by Yves Demazeau, Franco Zambonelli, Juan M. Corchado, Javier Bajo.

    by Demazeau, Yves [editor.] | Zambonelli, Franco [editor.] | Corchado, Juan M [editor.] | Bajo, Javier [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    17.
    Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Электронный ресурс edited by Janusz Kacprzyk, Roger Lee.

    by Kacprzyk, Janusz | Lee, Roger | SpringerLink (Online service).

    Series: Studies in Computational IntelligenceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    18.
    Aggregation Functions: A Guide for Practitioners Электронный ресурс by Gleb Beliakov, Ana Pradera, Tomasa Calvo.

    by Beliakov, Gleb | Calvo, Tomasa | Pradera, Ana | SpringerLink (Online service).

    Series: Studies in Fuzziness and Soft ComputingSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    19.
    Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.

    by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    20.
    Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal Fallah Seghrouchni, Michael Winikoff.

    by Cossentino, Massimo [editor.] | Fallah Seghrouchni, Amal [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    21.
    Automated Reasoning with Analytic Tableaux and Related Methods Электронный ресурс 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti.

    by Olivetti, Nicola | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    22.
    Engineering Societies in the Agents World V Электронный ресурс 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers edited by Marie-Pierre Gleizes, Andrea Omicini, Franco Zambo

    by Gleizes, Marie-Pierre | Omicini, Andrea | Zambonelli, Franco | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    23.
    Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.

    by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    24.
    Autonomy Requirements Engineering for Space Missions electronic resource by Emil Vassev, Mike Hinchey.

    by Vassev, Emil [author.] | Hinchey, Mike [author.] | SpringerLink (Online service).

    Series: NASA Monographs in Systems and Software EngineeringSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    25.
    Metasynthetic Computing and Engineering of Complex Systems electronic resource by Longbing Cao.

    by Cao, Longbing [author.] | SpringerLink (Online service).

    Series: Advanced Information and Knowledge ProcessingSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    26.
    Model Driven Architecture and Ontology Development Электронный ресурс by Dragan Gašević, Dragan Djurić, Vladan Devedžić

    by Gašević, Dragan | Devedžić, Vladan | Djurić, Dragan | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    27.
    RoboCup 2013: Robot World Cup XVII electronic resource edited by Sven Behnke, Manuela Veloso, Arnoud Visser, Rong Xiong.

    by Behnke, Sven [editor.] | Veloso, Manuela [editor.] | Visser, Arnoud [editor.] | Xiong, Rong [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    28.
    Semantic Mashups [electronic resource] : Intelligent Reuse of Web Resources / edited by Brigitte Endres-Niggemeyer.

    by Endres-Niggemeyer, Brigitte [editor.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    29.
    Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems electronic resource edited by Ivan Zelinka, Ponnuthurai Nagaratnam Suganthan, Guanrong Chen, Vaclav Snasel, Ajith Abraham, Otto Rössler.

    by Zelinka, Ivan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Chen, Guanrong [editor.] | Snasel, Vaclav [editor.] | Abraham, Ajith [editor.] | Rössler, Otto [editor.] | SpringerLink (Online service).

    Series: Advances in Intelligent Systems and ComputingSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    30.
    Intelligent Agents and Multi-Agent Systems Электронный ресурс 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers edited by Michael Wayne Barley, Nik Kasab

    by Barley, Michael Wayne | Kasabov, Nik | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    31.
    Frontiers of Combining Systems Электронный ресурс 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / edited by Boris Konev, Frank Wolter.

    by Konev, Boris | Wolter, Frank | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    32.
    Multi-Agent Systems and Applications V Электронный ресурс 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings / edited by Hans-Dieter Burkhard, Gab

    by Burkhard, Hans-Dieter | Lindemann, Gabriela | Varga, László Zsolt | Verbrugge, Rineke | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    33.
    Frontiers of Combining Systems Электронный ресурс 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings edited by Bernhard Gramlich.

    by Gramlich, Bernhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    34.
    Automated Reasoning with Analytic Tableaux and Related Methods Электронный ресурс International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert.

    by Beckert, Bernhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    35.
    Agent Communication Электронный ресурс International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 edited by Frank Dignum, Marc-Philippe Huget, Rogier M. van Eijk.

    by Dignum, Frank | Huget, Marc-Philippe | Van Eijk, Rogier M | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    36.
    Handbook of Neuroevolution Through Erlang electronic resource by Gene I. Sher.

    by Sher, Gene I [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    37.
    Agent Computing and Multi-Agent Systems Электронный ресурс 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings edited by Zhongzhi Shi, Ramakoti Sadananada.

    by Shi, Zhongzhi | Sadananada, Ramakoti | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
    38.
    Software Verification and Validation Электронный ресурс An Engineering and Scientific Approach / by Marcus S. Fisher.

    by Fisher, Marcus S | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: No items available :
    39.
    Intelligent Agents and Multi-Agent Systems Электронный ресурс 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, The Duy Bui, Tuong Vinh Ho, Quang Thuy Ha.

    by Carbonell, Jaime G | Bui, The Duy | Ha, Quang Thuy | Ho, Tuong Vinh | Siekmann, Jörg | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    40.
    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 / edited by Jaime G. Carbonell, Jörg Siekmann, Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores.

    by Carbonell, Jaime G | Dignum, Frank P. M | Eijk, Rogier M | Flores, Roberto | Siekmann, Jörg | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    41.
    Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, 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 Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    42.
    Software and Data Technologies [electronic resource] : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers / edited by María José Escalona, José Cordeiro, Boris Shishkov.

    by Escalona, María José [editor.] | Cordeiro, José [editor.] | Shishkov, Boris [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    43.
    Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos.

    by Baldoni, Matteo [editor.] | Dennis, Louise [editor.] | Mascardi, Viviana [editor.] | Vasconcelos, Wamberto [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    44.
    Software Engineering for Multi-Agent Systems V Электронный ресурс Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky.

    by Choren, Ricardo | Garcia, Alessandro | Giese, Holger | Leung, Ho-fung | Lucena, Carlos | Romanovsky, Alexander | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    45.
    Automated Deduction – CADE-21 Электронный ресурс 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning.

    by Pfenning, Frank | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    46.
    Compiler Construction Электронный ресурс 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / edited b

    by Hendren, Laurie | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    47.
    Coordination Models and Languages Электронный ресурс 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro.

    by Lea, Doug | Zavattaro, Gianluigi | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    48.
    Autonomic Computing [electronic resource] : Principles, Design and Implementation / by Philippe Lalanda, Julie A. McCann, Ada Diaconescu.

    by Lalanda, Philippe [author.] | McCann, Julie A [author.] | Diaconescu, Ada [author.] | SpringerLink (Online service).

    Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    49.
    Agent-Oriented Software Engineering electronic resource Reflections on Architectures, Methodologies, Languages, and Frameworks / edited by Onn Shehory, Arnon Sturm.

    by Shehory, Onn [editor.] | Sturm, Arnon [editor.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    50.
    Relations and Kleene Algebra in Computer Science Электронный ресурс 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK,

    by Schmidt, Renate A | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :