Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 12 results.

    1.
    Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming Электронный ресурс by Ivo Nowak.

    by Nowak, Ivo | SpringerLink (Online service).

    Series: International Series of Numerical MathematicsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Basel : Birkhäuser Verlag, 2005Online access: Click here to access online Availability: No items available :
    2.
    Hierarchical Bayesian Optimization Algorithm Электронный ресурс Toward a New Generation of Evolutionary Algorithms edited by Martin Pelikan.

    by Pelikan, Martin | SpringerLink (Online service).

    Series: Studies in Fuzziness and Soft ComputingSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    3.
    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 :
    4.
    Languages and Compilers for Parallel Computing electronic resource 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / edited by James Brodman, Peng Tu.

    by Brodman, James [editor.] | Tu, Peng [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 :
    5.
    Adaptive Resource Management and Scheduling for Cloud Computing electronic resource Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers / edited by Florin Pop, Maria Potop-Butucaru.

    by Pop, Florin [editor.] | Potop-Butucaru, Maria [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 :
    6.
    Solving Software Challenges for Exascale electronic resource International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / edited by Stefano Markidis, Erwin Laure.

    by Markidis, Stefano [editor.] | Laure, Erwin [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 :
    7.
    Formal Methods and Software Engineering electronic resource 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.

    by Butler, Michael [editor.] | Conchon, Sylvain [editor.] | Zaïdi, Fatiha [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    8.
    Intelligent Cloud Computing electronic resource First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / edited by Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana.

    by Al-Saidi, Asma [editor.] | Fleischer, Rudolf [editor.] | Maamar, Zakaria [editor.] | Rana, Omer F [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 :
    9.
    Programming Languages with Applications to Biology and Security electronic resource Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami.

    by Bodei, Chiara [editor.] | Ferrari, Gianluigi [editor.] | Priami, Corrado [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 :
    10.
    Coordination Models and Languages electronic resource 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Tom Holvoet, Mirko Viroli.

    by Holvoet, Tom [editor.] | Viroli, Mirko [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 :
    11.
    Runtime Verification electronic resource 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / edited by Ezio Bartocci, Rupak Majumdar.

    by Bartocci, Ezio [editor.] | Majumdar, Rupak [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    12.
    Search-Based Software Engineering electronic resource 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / edited by Márcio Barros, Yvan Labiche.

    by Barros, Márcio [editor.] | Labiche, Yvan [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 :