Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 1092 results.

    1051.
    Mathematical and Engineering Methods in Computer Science electronic resource 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers / edited by Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala.

    by Hliněný, Petr [editor.] | Dvořák, Zdeněk [editor.] | Jaroš, Jiří [editor.] | Kofroň, Jan [editor.] | Kořenek, Jan [editor.] | Matula, Petr [editor.] | Pala, Karel [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
    1052.
    Computational Science and Its Applications – ICCSA 2014 electronic resource 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.

    by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falcão, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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
    1053.
    Practical Analysis of Algorithms electronic resource by Dana Vrajitoru, William Knight.

    by Vrajitoru, Dana [author.] | Knight, William [author.] | SpringerLink (Online service).

    Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: 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
    1054.
    Availability, Reliability, and Security in Information Systems electronic resource IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2014 and 4th International Workshop on Security and Cognitive Informatics for Homeland Defense, SeCIHD 2014, Fribourg, Switzerland, September 8-12, 2014. Proceedings / edited by Stephanie Teufel, Tjoa A Min, Ilsun You, Edgar Weippl.

    by Teufel, Stephanie [editor.] | Min, Tjoa A [editor.] | You, Ilsun [editor.] | Weippl, Edgar [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
    1055.
    Advances in Neural Networks – ISNN 2014 electronic resource 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28- December 1, 2014. Proceedings / edited by Zhigang Zeng, Yangmin Li, Irwin King.

    by Zeng, Zhigang [editor.] | Li, Yangmin [editor.] | King, Irwin [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
    1056.
    Biometric Recognition electronic resource 9th Chinese Conference, CCBR 2014, Shenyang, China, November 7-9, 2014. Proceedings / edited by Zhenan Sun, Shiguang Shan, Haifeng Sang, Jie Zhou, Yunhong Wang, Weiqi Yuan.

    by Sun, Zhenan [editor.] | Shan, Shiguang [editor.] | Sang, Haifeng [editor.] | Zhou, Jie [editor.] | Wang, Yunhong [editor.] | Yuan, Weiqi [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
    1057.
    Information Security electronic resource 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014. Proceedings / edited by Sherman S. M. Chow, Jan Camenisch, Lucas C. K. Hui, Siu Ming Yiu.

    by Chow, Sherman S. M [editor.] | Camenisch, Jan [editor.] | Hui, Lucas C. K [editor.] | Yiu, Siu Ming [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
    1058.
    Mathematica®: A Problem-Centered Approach electronic resource by Roozbeh Hazrat.

    by Hazrat, Roozbeh [author.] | SpringerLink (Online service).

    Series: Springer Undergraduate Mathematics SeriesEdition: 2nd 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
    1059.
    Hypergeometric Summation electronic resource An Algorithmic Approach to Summation and Special Function Identities / by Wolfram Koepf.

    by Koepf, Wolfram [author.] | SpringerLink (Online service).

    Series: UniversitextEdition: 2nd ed. 2014.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    1060.
    MATLAB Control Systems Engineering electronic resource by César Pérez López.

    by López, César Pérez [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berkeley, CA : Apress : Imprint: Apress, 2014Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    1061.
    Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem.

    by Legay, Axel [editor.] | Bensalem, Saddek [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
    1062.
    Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings / edited by Sheela Ramanna, Pawan Lingras, Chattrakul Sombattheera, Aneesh Krishna.

    by Ramanna, Sheela [editor.] | Lingras, Pawan [editor.] | Sombattheera, Chattrakul [editor.] | Krishna, Aneesh [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
    1063.
    Trustworthy Global Computing [electronic resource] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan.

    by Palamidessi, Catuscia [editor.] | Ryan, Mark D [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
    1064.
    Hybrid Artificial Intelligent Systems [electronic resource] : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings / edited by Jeng-Shyang Pan, Marios M. Polycarpou, Michał Woźniak, André C. P. L. F. Carvalho, Héctor Quintián, Emilio Corchado.

    by Pan, Jeng-Shyang [editor.] | Polycarpou, Marios M [editor.] | Woźniak, Michał [editor.] | Carvalho, André C. P. L. F [editor.] | Quintián, Héctor [editor.] | Corchado, Emilio [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
    1065.
    Security Engineering and Intelligence Informatics [electronic resource] : CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu.

    by Cuzzocrea, Alfredo [editor.] | Kittl, Christian [editor.] | Simos, Dimitris E [editor.] | Weippl, Edgar [editor.] | Xu, Lida [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
    1066.
    Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen.

    by Wu, Chenggang [editor.] | Cohen, Albert [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
    1067.
    Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / edited by Philip Brisk, José Gabriel Figueiredo Coutinho, Pedro C. Diniz.

    by Brisk, Philip [editor.] | Figueiredo Coutinho, José Gabriel [editor.] | Diniz, Pedro 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
    1068.
    Scale Space and Variational Methods in Computer Vision [electronic resource] : 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings / edited by Arjan Kuijper, Kristian Bredies, Thomas Pock, Horst Bischof.

    by Kuijper, Arjan [editor.] | Bredies, Kristian [editor.] | Pock, Thomas [editor.] | Bischof, Horst [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
    1069.
    Algorithms for Sensor Systems [electronic resource] : 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers / edited by Amotz Bar-Noy, Magnús M. Halldórsson.

    by Bar-Noy, Amotz [editor.] | Halldórsson, Magnús 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: 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
    1070.
    Language Processing and Intelligent Information Systems [electronic resource] : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings / edited by Mieczysław A. Kłopotek, Jacek Koronacki, Małgorzata Marciniak, Agnieszka Mykowiecka, Sławomir T. Wierzchoń.

    by Kłopotek, Mieczysław A [editor.] | Koronacki, Jacek [editor.] | Marciniak, Małgorzata [editor.] | Mykowiecka, Agnieszka [editor.] | Wierzchoń, Sławomir T [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
    1071.
    Approximation and Online Algorithms [electronic resource] : 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers / edited by Thomas Erlebach, Giuseppe Persiano.

    by Erlebach, Thomas [editor.] | Persiano, 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
    1072.
    Bioinformatics Research and Applications [electronic resource] : 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings / edited by Zhipeng Cai, Oliver Eulenstein, Daniel Janies, Daniel Schwartz.

    by Cai, Zhipeng [editor.] | Eulenstein, Oliver [editor.] | Janies, Daniel [editor.] | Schwartz, Daniel [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
    1073.
    Advances in Cryptology – EUROCRYPT 2013 [electronic resource] : 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings / edited by Thomas Johansson, Phong Q. Nguyen.

    by Johansson, Thomas [editor.] | Nguyen, Phong Q [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
    1074.
    Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn.

    by Cirne, Walfredo [editor.] | Desai, Narayan [editor.] | Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [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
    1075.
    Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I / 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 :
    Log in to add tags Add to cart
    1076.
    Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola.

    by Brodnik, Andrej [editor.] | López-Ortiz, Alejandro [editor.] | Raman, Venkatesh [editor.] | Viola, Alfredo [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
    1077.
    High Performance Computing for Computational Science - VECPAR 2012 [electronic resource] : 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima.

    by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [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
    1078.
    Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang.

    by Kühnberger, Kai-Uwe [editor.] | Rudolph, Sebastian [editor.] | Wang, Pei [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
    1079.
    Parallel Computing Technologies [electronic resource] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings / edited by Victor Malyshkin.

    by Malyshkin, Victor [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
    1080.
    Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall.

    by Chatterjee, Krishnendu [editor.] | Sgall, Jirí [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
    1081.
    Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings / edited by Frank Nielsen, Frédéric Barbaresco.

    by Nielsen, Frank [editor.] | Barbaresco, Frédéric [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
    1082.
    Information Hiding [electronic resource] : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers / edited by Matthias Kirchner, Dipak Ghosal.

    by Kirchner, Matthias [editor.] | Ghosal, Dipak [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
    1083.
    Wireless Sensor Networks [electronic resource] : 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings / edited by Piet Demeester, Ingrid Moerman, Andreas Terzis.

    by Demeester, Piet [editor.] | Moerman, Ingrid [editor.] | Terzis, Andreas [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
    1084.
    Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.

    by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, 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 :
    Log in to add tags Add to cart
    1085.
    Computer Science – Theory and Applications [electronic resource] : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur.

    by Bulatov, Andrei A [editor.] | Shur, Arseny 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: 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
    1086.
    Research in Computational Molecular Biology [electronic resource] : 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings / edited by Minghua Deng, Rui Jiang, Fengzhu Sun, Xuegong Zhang.

    by Deng, Minghua [editor.] | Jiang, Rui [editor.] | Sun, Fengzhu [editor.] | Zhang, Xuegong [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
    1087.
    Adaptive and Natural Computing Algorithms [electronic resource] : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings / edited by Marco Tomassini, Alberto Antonioni, Fabio Daolio, Pierre Buesser.

    by Tomassini, Marco [editor.] | Antonioni, Alberto [editor.] | Daolio, Fabio [editor.] | Buesser, Pierre [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
    1088.
    Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II / 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 :
    Log in to add tags Add to cart
    1089.
    Wireless Algorithms, Systems, and Applications [electronic resource] : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings / edited by Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, Kai Xing.

    by Ren, Kui [editor.] | Liu, Xue [editor.] | Liang, Weifa [editor.] | Xu, Ming [editor.] | Jia, Xiaohua [editor.] | Xing, Kai [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
    1090.
    Algorithms and Data Structures [electronic resource] : 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings / edited by Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack.

    by Dehne, Frank [editor.] | Solis-Oba, Roberto [editor.] | Sack, Jörg-Rüdiger [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
    1091.
    Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings / edited by Anders Heyden, Fredrik Kahl, Carl Olsson, Magnus Oskarsson, Xue-Cheng Tai.

    by Heyden, Anders [editor.] | Kahl, Fredrik [editor.] | Olsson, Carl [editor.] | Oskarsson, Magnus [editor.] | Tai, Xue-Cheng [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
    1092.
    Distributed Computing and Internet Technology [electronic resource] : 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings / edited by Chittaranjan Hota, Pradip K. Srimani.

    by Hota, Chittaranjan [editor.] | Srimani, Pradip 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: 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