Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 346 results.

    1.
    Coordination Models and Languages (vol. # 3454) Электронный ресурс 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings edited by Jean-Marie Jacquet, Gian Pietro Picco.

    by Jacquet, Jean-Marie | Picco, Gian Pietro | 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 :
    2.
    Innovations in Applied Artificial Intelligence Электронный ресурс 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceed

    by Esposito, Floriana | 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 :
    3.
    Computational Intelligence (vol. # 4114) Электронный ресурс International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II edited by De-Shuang Huang, Kang Li, George William Irwin.

    by Huang, De-Shuang | Irwin, George William | Li, Kang | 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 :
    4.
    Advances in Learning Classifier Systems Электронный ресурс 4th International Workshop, IWLCS 2001 San Francisco, CA, USA, July 7-8, 2001 Revised Papers / edited by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson.

    by Lanzi, Pier Luca | Stolzmann, Wolfgang | Wilson, Stewart W.

    Series: Lecture Notes in Computer ScienceMaterial 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 :
    5.
    Current Topics in Artificial Intelligence Электронный ресурс 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers edited by Roqu

    by Marín, Roque | Bugarín, Alberto | Onaindía, Eva | Santos, José | 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 :
    6.
    Foundations of Intelligent Systems (vol. # 4203) Электронный ресурс 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings edited by Floriana Esposito, Zbigniew W. Ras, Donato Malerba, Giovanni Semeraro

    by Esposito, Floriana | Malerba, Donato | Ras, Zbigniew W | Semeraro, Giovanni | 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 :
    7.
    Algorithmic Learning Theory (vol. # 4264) Электронный ресурс 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings edited by José L. Balcázar, Philip M. Long, Frank Stephan.

    by Balcázar, José L | Long, Philip M | Stephan, 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 GmbH., 2006Online access: Click here to access online Availability: No items available :
    8.
    Transactions on Rough Sets V Электронный ресурс edited by James F. Peters, Andrzej Skowron.

    by Peters, James F | Skowron, Andrzej | 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, 2006Online access: Click here to access online Availability: No items available :
    9.
    DNA Computing (vol. # 4287) Электронный ресурс 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers edited by Chengde Mao, Takashi Yokomori.

    by Mao, Chengde | Yokomori, Takashi | 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 :
    10.
    Multiple Classifier Systems Электронный ресурс 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007. Proceedings / edited by Michal Haindl, Josef Kittler, Fabio Roli.

    by Haindl, Michal | Kittler, Josef | Roli, Fabio | 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 :
    11.
    Genetic Programming Электронный ресурс 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Marc Ebner, Michael O’Neill, Anikó Ekárt, Leonardo Vanneschi, Anna Isabel Esparcia-Alcázar

    by Ebner, Marc | Ekárt, Anikó | Esparcia-Alcázar, Anna Isabel | O’Neill, Michael | Vanneschi, Leonardo | 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 :
    12.
    Rough Sets, Fuzzy Sets, Data Mining and Granular Computing Электронный ресурс 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by Aijun An, Jerzy Stefanowski, Sheela Ramanna, Cory J. Butz, Wit

    by An, Aijun | Butz, Cory J | Pedrycz, Witold | Ramanna, Sheela | Stefanowski, Jerzy | Wang, Guoyin | 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 :
    13.
    Advances in Natural Computation (vol. # 3611) Электронный ресурс First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II edited by Ke Chen, Yew Soon Ong, Lipo Wang.

    by Chen, Ke | Ong, Yew Soon | Wang, Lipo | 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 :
    14.
    Transactions on Rough Sets IV Электронный ресурс edited by James F. Peters, Andrzej Skowron.

    by Peters, James F | Skowron, Andrzej | 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 :
    15.
    Recent Advances in Reinforcement Learning Электронный ресурс 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Sertan Girgin, Manuel Loth, Rémi Munos, Philippe Preux, Daniil Ryabko.

    by Carbonell, Jaime G | Girgin, Sertan | Loth, Manuel | Munos, Rémi | Preux, Philippe | Ryabko, Daniil | 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 :
    16.
    Learning and Intelligent Optimization Электронный ресурс Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson.

    by Hutchison, David | Battiti, Roberto | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Maniezzo, Vittorio | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Watson, Jean-Paul | Weikum, Gerhard | 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 :
    17.
    Computational Intelligence and Security Электронный ресурс International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers / edited by Yuping Wang, Yiu-ming Cheung, Hailin Liu.

    by Wang, Yuping | Cheung, Yiu-ming | Liu, Hailin | 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 :
    18.
    Parallel Problem Solving from Nature - PPSN X Электронный ресурс 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Günter Rudolph, Thomas Jansen, Simon Lucas, Carlo Poloni, Nicola Beume.

    by Hutchison, David | Beume, Nicola | Jansen, Thomas | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Lucas, Simon | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Poloni, Carlo | Rudolph, Günter | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | 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 :
    19.
    The Challenge of Anticipation Электронный ресурс A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems / edited by Jaime G. Carbonell, Jörg Siekmann, Giovanni Pezzulo, Martin V. Butz, Cristiano Castelfranchi, Rino Falcone.

    by Carbonell, Jaime G | Butz, Martin V | Castelfranchi, Cristiano | Falcone, Rino | Pezzulo, Giovanni | 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, 2008Online access: Click here to access online Availability: No items available :
    20.
    Ant Colony Optimization and Swarm Intelligence Электронный ресурс 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Marco Dorigo, Mauro Birattari, Christian Blum, Maurice Clerc, Thomas Stützle, Alan F. T. Winfield.

    by Hutchison, David | Birattari, Mauro | Blum, Christian | Clerc, Maurice | Dorigo, Marco | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Stützle, Thomas | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | Winfield, Alan F. T | 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 :
    21.
    Advances in Neural Networks - ISNN 2005 (vol. # 3497) Электронный ресурс Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II edited by Xiaofeng Liao, Jun Wang, Zhang Yi.

    by Liao, Xiaofeng | Wang, Jun | Yi, Zhang | 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 :
    22.
    Computational Intelligence and Security (vol. # 3802) Электронный ресурс International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II edited by Yiu-ming CheungYue Hao, Licheng Jiao, Yong-Chang Jiao et al.

    by Cheung, Yiu-ming | Hao, Yue | Jiao, Licheng | Jiao, Yong-Chang | Liu, Jiming | Ma, Jianfeng | Wang, Yuping | Yin, Hujun | 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.
    Energy Minimization Methods in Computer Vision and Pattern Recognition Электронный ресурс 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings edited by Anand Rangarajan, Baba Vemuri, Alan L.

    by Rangarajan, Anand | Vemuri, Baba | Yuille, Alan L | 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 :
    24.
    Transactions on Computational Collective Intelligence XX electronic resource edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe.

    by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Duval, Béatrice [editor.] | van den Herik, Jaap [editor.] | Loiseau, Stephane [editor.] | Filipe, Joaquim [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 :
    25.
    Transactions on Computational Collective Intelligence XVIII electronic resource edited by Ngoc Thanh Nguyen.

    by Nguyen, Ngoc Thanh [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 :
    26.
    Social Media Processing electronic resource 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings / edited by Xichun Zhang, Maosong Sun, Zhenyu Wang, Xuanjing Huang.

    by Zhang, Xichun [editor.] | Sun, Maosong [editor.] | Wang, Zhenyu [editor.] | Huang, Xuanjing [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Singapore : Springer Singapore : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    27.
    Language and Automata Theory and Applications electronic resource 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe.

    by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Sierra-Rodríguez, José-Luis [editor.] | Truthe, Bianca [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 :
    28.
    Intelligent Strategies for Pathway Mining electronic resource Model and Pattern Identification / edited by Qingfeng Chen, Baoshan Chen, Chengqi Zhang.

    by Chen, Qingfeng [editor.] | Chen, Baoshan [editor.] | Zhang, Chengqi [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 :
    29.
    Evolutionary Multi-Criterion Optimization electronic resource 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II / edited by António Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello.

    by Gaspar-Cunha, António [editor.] | Henggeler Antunes, Carlos [editor.] | Coello, Carlos Coello [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 :
    30.
    Genetic Programming electronic resource 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Penousal Machado, Malcolm I. Heywood, James McDermott, Mauro Castelli, Pablo García-Sánchez, Paolo Burelli, Sebastian Risi, Kevin Sim.

    by Machado, Penousal [editor.] | Heywood, Malcolm I [editor.] | McDermott, James [editor.] | Castelli, Mauro [editor.] | García-Sánchez, Pablo [editor.] | Burelli, Paolo [editor.] | Risi, Sebastian [editor.] | Sim, Kevin [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 :
    31.
    Learning and Intelligent Optimization electronic resource 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / edited by Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion.

    by Dhaenens, Clarisse [editor.] | Jourdan, Laetitia [editor.] | Marmion, Marie-Eléonore [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 :
    32.
    Pattern Recognition and Machine Intelligence electronic resource 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings / edited by Marzena Kryszkiewicz, Sanghamitra Bandyopadhyay, Henryk Rybinski, Sankar K. Pal.

    by Kryszkiewicz, Marzena [editor.] | Bandyopadhyay, Sanghamitra [editor.] | Rybinski, Henryk [editor.] | Pal, Sankar K [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 :
    33.
    Artificial Intelligence and Soft Computing electronic resource 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.

    by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafal [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [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 :
    34.
    Automated Deduction - CADE-25 electronic resource 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / edited by Amy P. Felty, Aart Middeldorp.

    by Felty, Amy P [editor.] | Middeldorp, Aart [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 :
    35.
    Computer Analysis of Images and Patterns electronic resource 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II / edited by George Azzopardi, Nicolai Petkov.

    by Azzopardi, George [editor.] | Petkov, Nicolai [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 :
    36.
    Intelligent Computing Theories and Methodologies electronic resource 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne.

    by Huang, De-Shuang [editor.] | Bevilacqua, Vitoantonio [editor.] | Premaratne, Prashan [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 :
    37.
    Computer Analysis of Images and Patterns electronic resource 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I / edited by George Azzopardi, Nicolai Petkov.

    by Azzopardi, George [editor.] | Petkov, Nicolai [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 :
    38.
    Intelligent Data Engineering and Automated Learning – IDEAL 2015 electronic resource 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings / edited by Konrad Jackowski, Robert Burduk, Krzysztof Walkowiak, Michał Woźniak, Hujun Yin.

    by Jackowski, Konrad [editor.] | Burduk, Robert [editor.] | Walkowiak, Krzysztof [editor.] | Woźniak, Michał [editor.] | Yin, Hujun [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 :
    39.
    Hybrid Systems Biology electronic resource Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers / edited by Oded Maler, Ádám Halász, Thao Dang, Carla Piazza.

    by Maler, Oded [editor.] | Halász, Ádám [editor.] | Dang, Thao [editor.] | Piazza, Carla [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 :
    40.
    Advances in Computer Games electronic resource 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / edited by Aske Plaat, Jaap van den Herik, Walter Kosters.

    by Plaat, Aske [editor.] | van den Herik, Jaap [editor.] | Kosters, Walter [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 :
    41.
    Neural Information Processing electronic resource 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I / edited by Sabri Arik, Tingwen Huang, Weng Kin Lai, Qingshan Liu.

    by Arik, Sabri [editor.] | Huang, Tingwen [editor.] | Lai, Weng Kin [editor.] | Liu, Qingshan [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 :
    42.
    Web Technologies and Applications electronic resource APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers / edited by Ruichu Cai, Kang Chen, Liang Hong, Xiaoyan Yang, Rong Zhang, Lei Zou.

    by Cai, Ruichu [editor.] | Chen, Kang [editor.] | Hong, Liang [editor.] | Yang, Xiaoyan [editor.] | Zhang, Rong [editor.] | Zou, Lei [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 :
    43.
    Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation electronic resource Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran.

    by Eiter, Thomas [editor.] | Strass, Hannes [editor.] | Truszczyński, Mirosław [editor.] | Woltran, Stefan [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 :
    44.
    Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann.

    by Jain, Sanjay [editor.] | Munos, Rémi [editor.] | Stephan, Frank [editor.] | Zeugmann, Thomas [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 :
    45.
    Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott.

    by Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Krapp, Holger G [editor.] | Verschure, Paul F. M. J [editor.] | Prescott, Tony J [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 :
    46.
    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 :
    47.
    Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný.

    by Riguzzi, Fabrizio [editor.] | Železný, Filip [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 :
    48.
    Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng.

    by Guo, Chengan [editor.] | Hou, Zeng-Guang [editor.] | Zeng, Zhigang [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 :
    49.
    Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder.

    by Järvisalo, Matti [editor.] | Van Gelder, Allen [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 :
    50.
    DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke.

    by Soloveichik, David [editor.] | Yurke, Bernard [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 :