Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 1265 results.

    301.
    Information Retrieval Technology (vol. # 4182) Электронный ресурс Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings edited by Hwee Tou Ng, Mun-Kew Leong, Min-Yen Kan, Donghong Ji.

    by Ng, Hwee Tou | Ji, Donghong | Kan, Min-Yen | Leong, Mun-Kew | 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 :
    302.
    String Processing and Information Retrieval (vol. # 4209) Электронный ресурс 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings edited by Fabio Crestani, Paolo Ferragina, Mark Sanderson.

    by Crestani, Fabio | Ferragina, Paolo | Sanderson, Mark | 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 :
    303.
    Resource Allocation in Wireless Networks Электронный ресурс Theory and Algorithms edited by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche.

    by Stanczak, Slawomir | Boche, Holger | Wiczanowski, Marcin | 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 :
    304.
    Graph-Theoretic Concepts in Computer Science (vol. # 4271) Электронный ресурс 32nd International Workshop, WG 2006, Bergen, Norway, June 22-23, 2006, Revised Papers edited by Fedor V. Fomin.

    by Fomin, Fedor V | 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 :
    305.
    Discrete Geometry for Computer Imagery (vol. # 4245) Электронный ресурс 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006, Proceedings edited by Attila Kuba, László G. Nyúl, Kálmán Palágyi

    by Kuba, Attila | Nyúl, László G | Palágyi, Kálmán | 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 :
    306.
    Chinese Spoken Language, Processing Электронный ресурс 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings edited by Qiang Huo, Bin Ma, Eng-Siong Chng, Haizhou Li.

    by Huo, Qiang | Chng, Eng-Siong | Li, Haizhou | Ma, Bin | 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 :
    307.
    Distributed Computing in Sensor Systems Электронный ресурс Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings / edited by James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden.

    by Aspnes, James | Arora, Anish | Madden, Samuel | Scheideler, Christian | 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 :
    308.
    Statistical Network Analysis: Models, Issues, and New Directions Электронный ресурс ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers / edited by Edoardo Airoldi, David M. Blei, Ste

    by Airoldi, Edoardo | Blei, David M | Fienberg, Stephen E | Goldenberg, Anna | Xing, Eric P | Zheng, Alice X | 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 :
    309.
    VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search Электронный ресурс edited by Simone Frintrop.

    by Frintrop, Simone | 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 :
    310.
    Combinatorial Pattern Matching Электронный ресурс 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007. Proceedings / edited by Bin Ma, Kaizhong Zhang.

    by Ma, Bin | Zhang, Kaizhong | 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 :
    311.
    Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops Электронный ресурс ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7

    by Min, Geyong | Di Martino, Beniamino | Guo, Minyi | Ruenger, Gudula | Yang, Laurence T | 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 :
    312.
    Artificial Immune Systems Электронный ресурс 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007. Proceedings / edited by Leandro Nunes Castro, Fernando José Zuben, Helder Knidel.

    by Castro, Leandro Nunes | Knidel, Helder | Zuben, Fernando 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 Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    313.
    Progress in Cryptology – AFRICACRYPT 2008 Электронный ресурс First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings / edited by Serge Vaudenay.

    by Vaudenay, Serge | 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 :
    314.
    Progress in Cryptology - VIETCRYPT 2006 Электронный ресурс First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers edited by Phong Q. Nguyen.

    by Nguyen, Phong Q | 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 :
    315.
    Security and Privacy in Ad-hoc and Sensor Networks (vol. # 4357) Электронный ресурс Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers edited by Levente Buttyan, Virgil Gligor, Dirk Westh

    by Buttyan, Levente | Gligor, Virgil | Westhoff, Dirk | 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 :
    316.
    Pattern Recognition Электронный ресурс 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007. Proceedings / edited by Fred A. Hamprecht, Christoph Schnörr, Bernd Jähne.

    by Hamprecht, Fred A | Jähne, Bernd | Schnörr, Christoph | 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 :
    317.
    Domain Modeling and the Duration Calculus Электронный ресурс International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock.

    by George, Chris W | Liu, Zhiming | Woodcock, Jim | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    318.
    Arithmetic of Finite Fields Электронный ресурс 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 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, Joachim Gathen, José Luis Imaña, Çetin Kaya Koç

    by Hutchison, David | Gathen, Joachim | Imaña, José Luis | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Koç, Çetin Kaya | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | 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 :
    319.
    Frontiers in Algorithmics Электронный ресурс Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings / edited by Franco P. Preparata, Xiaodong Wu, Jianping Yin.

    by Preparata, Franco P | Wu, Xiaodong | Yin, Jianping | 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 :
    320.
    Structural Information and Communication Complexity Электронный ресурс 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings / edited by Alexander A. Shvartsman, Pascal Felber.

    by Shvartsman, Alexander A | Felber, Pascal | 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 :
    321.
    Graph Drawing Электронный ресурс 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers / edited by Michael Kaufmann, Dorothea Wagner.

    by Kaufmann, Michael | Wagner, Dorothea | 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 :
    322.
    Tools and Algorithms for the Construction and Analysis of Systems Электронный ресурс 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.

    by Grumberg, Orna | Huth, Michael | 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 :
    323.
    Evolutionary Computation in Combinatorial Optimization Электронный ресурс 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Carlos Cotta, Jano Hemert.

    by Cotta, Carlos | Hemert, Jano | 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 :
    324.
    Algorithm Theory – SWAT 2008 Электронный ресурс 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings / edited by Joachim Gudmundsson.

    by Gudmundsson, Joachim | 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 :
    325.
    Understanding Planning Tasks Электронный ресурс Domain Complexity and Heuristic Decomposition / by Malte Helmert.

    by Helmert, Malte | 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 :
    326.
    Discrete Geometry, Combinatorics and Graph Theory Электронный ресурс 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China, November 22-24, 2005, Revised Selected Papers edited by Jin AkiyamaWi

    by Akiyama, Jin | Chen, William Y. C | Kano, Mikio | Li, Xueliang | Yu, Qinglin | 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., 2007Online access: Click here to access online Availability: No items available :
    327.
    Research in Computational Molecular Biology Электронный ресурс 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings / edited by Terry Speed, Haiyan Huang.

    by Speed, Terry | Huang, Haiyan | 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 :
    328.
    Algorithmic Aspects in Information and Management Электронный ресурс Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings edited by Ming-Yang Kao, Xiang-Yang Li.

    by Kao, Ming-Yang | Li, Xiang-Yang | 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., 2007Online access: Click here to access online Availability: No items available :
    329.
    Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics Электронный ресурс 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Elena Marchiori, Jason H. Moore, Jagath C. Rajapakse.

    by Marchiori, Elena | Moore, Jason H | Rajapakse, Jagath C | 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 :
    330.
    Advances in Neural Networks - ISNN 2007 Электронный ресурс 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I / edited by Derong Liu, Shumin Fei, Zeng-Guang Hou et al.

    by Liu, Derong | Fei, Shumin | Hou, Zeng-Guang | Sun, Changyin | Zhang, Huaguang | 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 :
    331.
    Bio-inspired Modeling of Cognitive Tasks Электронный ресурс Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I.

    by Mira, José | Álvarez, José R | 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 :
    332.
    Advances in Neural Networks - ISNN 2007 Электронный ресурс 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II / edited by Derong Liu, Shumin Fei, Zengguang Hou et al.

    by Liu, Derong | Fei, Shumin | Hou, Zengguang | Sun, Changyin | Zhang, Huaguang | 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 :
    333.
    Genetic Programming Электронный ресурс 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings / edited by Michael O’Neill, Leonardo Vanneschi, Steven Gustafson, Anna Isabel Esparcia-Alcázar, Ivanoe Falco, Antonio

    by O’Neill, Michael | Cioppa, Antonio | Falco, Ivanoe | Gustafson, Steven | Tarantino, Ernesto | Vanneschi, Leonardo | Esparcia-Alcázar, Anna Isabel | 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 :
    334.
    Fun with Algorithms Электронный ресурс 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings edited by Pierluigi Crescenzi, Giuseppe Prencipe, Geppino Pucci.

    by Crescenzi, Pierluigi | Prencipe, Giuseppe | Pucci, Geppino | 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., 2007Online access: Click here to access online Availability: No items available :
    335.
    Advances in Neural Networks - ISNN 2007 Электронный ресурс 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III / edited by Derong Liu, Shumin Fei, Zengguang Hou et al.

    by Liu, Derong | Fei, Shumin | Hou, Zengguang | Sun, Changyin | Zhang, Huaguang | 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 :
    336.
    Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Электронный ресурс 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings / edited by Pascal Hentenryck, Laurence Wolsey.

    by Hentenryck, Pascal | Wolsey, Laurence | 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 :
    337.
    Pairing-Based Cryptography – Pairing 2007 Электронный ресурс First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings / edited by Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto.

    by Takagi, Tsuyoshi | Okamoto, Eiji | Okamoto, Takeshi | Okamoto, Tatsuaki | 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 :
    338.
    Algorithms and Data Structures Электронный ресурс 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh.

    by Dehne, Frank | Sack, Jörg-Rüdiger | Zeh, Norbert | 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 :
    339.
    Parallel Processing and Applied Mathematics Электронный ресурс 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski.

    by Wyrzykowski, Roman | Dongarra, Jack | Karczewski, Konrad | Waśniewski, Jerzy | 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 :
    340.
    The Calculus of Computation Электронный ресурс Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna.

    by Bradley, Aaron R | Manna, Zohar | 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, 2007Online access: Click here to access online Availability: No items available :
    341.
    Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Электронный ресурс Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings

    by Huang, De-Shuang | Heutte, Laurent | Loog, Marco | 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 :
    342.
    Parallel and Distributed Processing and Applications Электронный ресурс 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings / edited by Ivan Stojmenovic, Ruppa K. Thulasiram, Laurence T. Yang, Weijia Ji

    by Stojmenovic, Ivan | Guo, Minyi | Jia, Weijia | Mello, Rodrigo Fernandes | Thulasiram, Ruppa K | Yang, Laurence T | 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 :
    343.
    Stabilization, Safety, and Security of Distributed Systems Электронный ресурс 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / edited by Toshimitsu Masuzawa, Sébastien Tixeuil.

    by Masuzawa, Toshimitsu | Tixeuil, Sébastien | 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 :
    344.
    Applications of Graph Transformations with Industrial Relevance Электронный ресурс Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited 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, Andy SchГјrr, Manfred Nagl, Albert Zündorf.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Nagl, Manfred | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Schürr, Andy | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | Zündorf, Albert | 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 :
    345.
    Theoretical Aspects of Computing - ICTAC 2008 Электронный ресурс 5th International Colloquium, Istanbul, Turkey, September 1-3, 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, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun.

    by Hutchison, David | Fitzgerald, John S | Haxthausen, Anne E | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | Yenigün, Hüsnü | 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 :
    346.
    Mathematical Foundations of Computer Science 2007 Электронный ресурс 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings / edited by Luděk Kučera, Antonín Kučera

    by Kučera, Luděk | Kučera, Antonín | 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 :
    347.
    Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics Электронный ресурс 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings / edited by Elena Marchiori, Jason H. Moore.

    by Marchiori, Elena | Moore, Jason H | 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 :
    348.
    Information Security Applications Электронный ресурс 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers / edited by Sehun Kim, Moti Yung, Hyung-Woo Lee.

    by Kim, Sehun | Lee, Hyung-Woo | Yung, Moti | 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 :
    349.
    Security and Cryptography for Networks Электронный ресурс 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 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, Rafail Ostrovsky, Roberto Prisco, Ivan Visconti.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Ostrovsky, Rafail | Pandu Rangan, C | Prisco, Roberto | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Visconti, Ivan | 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 :
    350.
    Reliable Implementation of Real Number Algorithms: Theory and Practice Электронный ресурс International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised 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, Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol.

    by Hutchison, David | Hertling, Peter | Hoffmann, Christoph M | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Luther, Wolfram | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Revol, Nathalie | 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 :