Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 37 results.

    1.
    Computational Logic in Multi-Agent Systems Электронный ресурс 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni.

    by Inoue, Katsumi | Satoh, Ken | Toni, Francesca | 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 :
    Log in to add tags Add to cart
    2.
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty electronic resource 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / edited by Sébastien Destercke, Thierry Denoeux.

    by Destercke, Sébastien [editor.] | Denoeux, Thierry [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, 2015Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    Software Engineering and Formal Methods electronic resource 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.

    by Calinescu, Radu [editor.] | Rumpe, Bernhard [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 :
    Log in to add tags Add to cart
    4.
    Graph Structures for Knowledge Representation and Reasoning electronic resource 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton.

    by Croitoru, Madalina [editor.] | Marquis, Pierre [editor.] | Rudolph, Sebastian [editor.] | Stapleton, Gem [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 :
    Log in to add tags Add to cart
    5.
    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 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 :
    Log in to add tags Add to cart
    6.
    Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.

    by Giacobazzi, Roberto [editor.] | Berdine, Josh [editor.] | Mastroeni, Isabella [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 :
    Log in to add tags Add to cart
    7.
    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 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 :
    Log in to add tags Add to cart
    8.
    Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti.

    by Hierons, Robert M [editor.] | Merayo, Mercedes G [editor.] | Bravetti, Mario [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 :
    Log in to add tags Add to cart
    9.
    Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun.

    by Groves, Lindsay [editor.] | Sun, Jing [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 :
    Log in to add tags Add to cart
    10.
    Theoretical Aspects of Computing - ICTAC 2006 Электронный ресурс Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone.

    by Barkaoui, Kamel | Cavalcanti, Ana | Cerone, Antonio | 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 :
    Log in to add tags Add to cart
    11.
    Natural Language Processing and Information Systems Электронный ресурс 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings / edited by Zoubida Kedad,

    by Kedad, Zoubida | Lammari, Nadira | Métais, Elisabeth | Meziane, Farid | Rezgui, Yacine | 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 :
    Log in to add tags Add to cart
    12.
    Computational Logic in Multi-Agent Systems Электронный ресурс 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Fariba Sadri, Ken Satoh.

    by Carbonell, Jaime G | Sadri, Fariba | Satoh, Ken | 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 :
    Log in to add tags Add to cart
    13.
    Natural Language Processing and Information Systems (vol. # 3513) Электронный ресурс 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings edited by

    by Métais, Elisabeth | Montoyo, Andrés | Munoz, Rafael | 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 :
    Log in to add tags Add to cart
    14.
    Formal Methods and Software Engineering electronic resource 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.

    by Butler, Michael [editor.] | Conchon, Sylvain [editor.] | Zaïdi, Fatiha [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 :
    Log in to add tags Add to cart
    15.
    ECOOP 2013 – Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / edited by Giuseppe Castagna.

    by Castagna, Giuseppe [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 :
    Log in to add tags Add to cart
    16.
    Cyberpatterns electronic resource Unifying Design Patterns with Security and Attack Patterns / edited by Clive Blackwell, Hong Zhu.

    by Blackwell, Clive [editor.] | Zhu, Hong [editor.] | 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, 2014Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    17.
    Formal Methods and Software Engineering electronic resource 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings / edited by Stephan Merz, Jun Pang.

    by Merz, Stephan [editor.] | Pang, Jun [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 :
    Log in to add tags Add to cart
    18.
    Computers and Games electronic resource 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers / edited by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat.

    by van den Herik, H. Jaap [editor.] | Iida, Hiroyuki [editor.] | Plaat, Aske [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 :
    Log in to add tags Add to cart
    19.
    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 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 :
    Log in to add tags Add to cart
    20.
    Theoretical Aspects of Computing – ICTAC 2007 Электронный ресурс 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.

    by Jones, Cliff B | Liu, Zhiming | Woodcock, Jim | 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 :
    Log in to add tags Add to cart
    21.
    Computational Logic in Multi-Agent Systems (vol. # 3900) Электронный ресурс 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers edited by Francesca Toni, Paolo Torroni.

    by Toni, Francesca | Torroni, Paolo | 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 :
    Log in to add tags Add to cart
    22.
    Software Engineering and Formal Methods electronic resource 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings / edited by Dimitra Giannakopoulou, Gwen Salaün.

    by Giannakopoulou, Dimitra [editor.] | Salaün, Gwen [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 :
    Log in to add tags Add to cart
    23.
    Automated Technology for Verification and Analysis electronic resource 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-François Raskin.

    by Cassez, Franck [editor.] | Raskin, Jean-François [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 :
    Log in to add tags Add to cart
    24.
    Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu.

    by Liu, Shaoying [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 :
    Log in to add tags Add to cart
    25.
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings / edited by Linda C. Gaag.

    by Gaag, Linda C [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 :
    Log in to add tags Add to cart
    26.
    Verification, Model Checking, and Abstract Interpretation electronic resource 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival.

    by McMillan, Kenneth L [editor.] | Rival, Xavier [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 :
    Log in to add tags Add to cart
    27.
    Models of Strategic Reasoning electronic resource Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.

    by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    28.
    ECOOP 2014 – Object-Oriented Programming electronic resource 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings / edited by Richard Jones.

    by Jones, Richard [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 :
    Log in to add tags Add to cart
    29.
    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 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 :
    Log in to add tags Add to cart
    30.
    Verification, Model Checking, and Abstract Interpretation electronic resource 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / edited by Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen.

    by D’Souza, Deepak [editor.] | Lal, Akash [editor.] | Larsen, Kim Guldstrand [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, 2015Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    31.
    Computational Logic in Multi-Agent Systems (vol. # 3487) Электронный ресурс 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers edited by João Leite, Paolo Torroni.

    by Leite, João | Torroni, Paolo | 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 :
    Log in to add tags Add to cart
    32.
    Natural Language Processing and Information Systems (vol. # 3999) Электронный ресурс 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedi

    by Kop, Christian | Fliedl, Günther | Mayr, Heinrich C | Métais, Elisabeth | 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 :
    Log in to add tags Add to cart
    33.
    Natural Language and Information Systems Электронный ресурс 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings / edited by Epaminondas Kapetanios, Vijaya

    by Kapetanios, Epaminondas | Spiliopoulou, Myra | Sugumaran, Vijayan | 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 :
    Log in to add tags Add to cart
    34.
    Fuzzy-Neuro Approach to Agent Applications Электронный ресурс From the AI Perspective to Modern Ontology / by Raymond S. T. Lee.

    by Lee, Raymond S. T | 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 :
    Log in to add tags Add to cart
    35.
    Theoretical Aspects of Computing - ICTAC 2005 Электронный ресурс Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings edited by Dang Van Hung, Martin Wirsing.

    by Hung, Dang Van | Wirsing, Martin | 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 :
    Log in to add tags Add to cart
    36.
    Theoretical Aspects of Computing - ICTAC 2004 Электронный ресурс First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers edited by Keijiro Araki, Zhiming Liu.

    by Araki, Keijiro | Liu, Zhiming | 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 :
    Log in to add tags Add to cart
    37.
    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 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 :
    Log in to add tags Add to cart