Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 322 results.

    1.
    Formal Models of Communicating Systems Электронный ресурс Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.

    by Bollig, Benedikt | 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 :
    2.
    Implementation and Applications of Automata Электронный ресурс 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-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, Oscar H. Ibarra, Bala Ravikumar.

    by Hutchison, David | Ibarra, Oscar H | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Ravikumar, Bala | 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 :
    3.
    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 :
    4.
    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 :
    5.
    High Performance Computing - HiPC 2006 Электронный ресурс 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings edited by Yves L. Robert, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna.

    by Robert, Yves L | Badrinath, Ramamurthy | Parashar, Manish | Prasanna, Viktor K | 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.
    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 :
    7.
    Unconventional Computing Электронный ресурс 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 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, Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg.

    by Hutchison, David | Calude, Cristian S, 1952- | Costa, José Félix | Freund, Rudolf | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Oswald, Marion | Pandu Rangan, C | Rozenberg, Grzegorz | 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 :
    8.
    Theory of Computation Электронный ресурс by Dexter C. Kozen.

    by Kozen, Dexter C | SpringerLink (Online service).

    Series: Texts in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: London : Springer-Verlag London Limited, 2006Online access: Click here to access online Availability: No items available :
    9.
    Complexity Theory and Cryptology Электронный ресурс An Introduction to Cryptocomplexity / by Jörg Rothe.

    by Rothe, Jörg | SpringerLink (Online service).

    Series: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS)Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :
    10.
    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 :
    11.
    Parameterized Complexity Theory Электронный ресурс by Jörg Flum, Martin Grohe.

    by Flum, Jörg | Grohe, Martin | SpringerLink (Online service).

    Series: Texts in Theoretical Computer Science. An EATCS SeriesSource: 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 :
    12.
    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 :
    13.
    Cellular Automata Электронный ресурс 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 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, Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini.

    by Hutchison, David | Bandini, Stefania | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Komatsuzaki, Toshihiko | Mattern, Friedemann | Mitchell, John C | Morishita, Shin | Naor, Moni | Nierstrasz, Oscar | Nishinari, Katsuhiro | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Umeo, Hiroshi | 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 :
    14.
    Implementation and Application of Automata Электронный ресурс 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan ЕЅdГЎrek.

    by Holub, Jan | 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 :
    15.
    High Performance Computing – HiPC 2007 Электронный ресурс 14th International Conference, Goa, India, December 18-21, 2007. Proceedings / edited by Srinivas Aluru, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna.

    by Aluru, Srinivas | Badrinath, Ramamurthy | Parashar, Manish | Prasanna, Viktor K | 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, 2007Online access: Click here to access online Availability: No items available :
    16.
    Parameterized and Exact Computation Электронный ресурс Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings / edited by Martin Grohe, Rolf Niedermeier.

    by Grohe, Martin | Niedermeier, Rolf | 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 :
    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.
    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 :
    20.
    Implementation and Application of Automata (vol. # 3845) Электронный ресурс 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers edited by Jacques Farré, Igor Litovsky, Sylvain Sch

    by Farré, Jacques | Litovsky, Igor | Schmitz, Sylvain | 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 :
    21.
    Algorithms and Complexity Электронный ресурс 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings edited by Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano.

    by Calamoneri, Tiziana | Finocchi, Irene | Italiano, Giuseppe 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-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
    22.
    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 :
    23.
    Distributed and Parallel Computing Электронный ресурс 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings edited by Andrzej Goscinski, Michael

    by Goscinski, Andrzej | Hobbs, Michael | Zhou, Wanlei | 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.
    Implementation and Application of Automata (vol. # 4094) Электронный ресурс 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings edited by Oscar H. Ibarra, Hsu-Chun Yen.

    by Ibarra, Oscar H | Yen, Hsu-Chun | 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 :
    25.
    Unconventional Computation (vol. # 3699) Электронный ресурс 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jímenez et al

    by Calude, Cristian S, 1952- | Dinneen, Michael J | Paun, Gheorghe | Pérez-Jímenez, Mario de Jesus | Rozenberg, Grzegorz | 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 :
    26.
    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 :
    27.
    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 :
    28.
    Cellular Automata and Discrete Complex Systems electronic resource 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / edited by Jarkko Kari.

    by Kari, Jarkko [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 :
    29.
    Theory of Cryptography electronic resource 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II / edited by Yevgeniy Dodis, Jesper Buus Nielsen.

    by Dodis, Yevgeniy [editor.] | Nielsen, Jesper Buus [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 :
    30.
    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 :
    31.
    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 :
    32.
    Reversible Computation electronic resource 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings / edited by Shigeru Yamashita, Shin-ichi Minato.

    by Yamashita, Shigeru [editor.] | Minato, Shin-ichi [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 :
    33.
    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 :
    34.
    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 :
    35.
    Evolving Computability electronic resource 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova.

    by Beckmann, Arnold [editor.] | Mitrana, Victor [editor.] | Soskova, Mariya [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 :
    36.
    Finite Difference Methods,Theory and Applications electronic resource 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov.

    by Dimov, Ivan [editor.] | Faragó, István [editor.] | Vulkov, Lubin [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 :
    37.
    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 :
    38.
    Scale Space and Variational Methods in Computer Vision electronic resource 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings / edited by Jean-François Aujol, Mila Nikolova, Nicolas Papadakis.

    by Aujol, Jean-François [editor.] | Nikolova, Mila [editor.] | Papadakis, Nicolas [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 :
    39.
    Machines, Computations, and Universality electronic resource 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy.

    by Durand-Lose, Jerome [editor.] | Nagy, Benedek [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.
    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 :
    41.
    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 :
    42.
    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 :
    43.
    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 :
    44.
    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 :
    45.
    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 :
    46.
    Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg.

    by Fomin, Fedor V [editor.] | Freivalds, Rūsiņš [editor.] | Kwiatkowska, Marta [editor.] | Peleg, David [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.
    Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller.

    by Dueck, Gerhard W [editor.] | Miller, D. 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 :
    48.
    Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama.

    by Glück, Robert [editor.] | Yokoyama, Tetsuo [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.
    Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton.

    by Béal, Marie-Pierre [editor.] | Carton, Olivier [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.
    The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.

    by Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | Löwe, Benedikt [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 :