Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 12 results.

    1.
    Theorem Proving in Higher Order Logics Электронный ресурс 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 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, Otmane Ait Mohamed, César Muñoz, Sofiène Tahar.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Mohamed, Otmane Ait | Muñoz, César | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Tahar, Sofiène | 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    Logic Programming Электронный ресурс 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 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, Maria Garcia de la Banda, Enrico Pontelli.

    by Hutchison, David | Garcia de la Banda, Maria | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Pontelli, Enrico | 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    Principles and Practice of Constraint Programming Электронный ресурс 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 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, Peter J. Stuckey.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Stuckey, Peter J | 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 :
    Log in to add tags Add to cart
    4.
    Logic-Based Program Synthesis and Transformation Электронный ресурс 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised 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, Andy King.

    by Hutchison, David | Kanade, Takeo | King, Andy | 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 | 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 :
    Log in to add tags Add to cart
    5.
    The Semantic Web - ISWC 2008 Электронный ресурс 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 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, Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan.

    by Hutchison, David | Dean, Mike | Finin, Timothy | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Maynard, Diana | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Paolucci, Massimo | Sheth, Amit | Staab, Steffen | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Thirunarayan, Krishnaprasad | 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    6.
    Computer Aided Verification Электронный ресурс 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 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, Aarti Gupta, Sharad Malik.

    by Hutchison, David | Gupta, Aarti | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Malik, Sharad | 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 :
    Log in to add tags Add to cart
    7.
    The Semantic Web Электронный ресурс 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 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 Domingue, Chutiporn Anutariya.

    by Hutchison, David | Anutariya, Chutiporn | Domingue, John | 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 | 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 :
    Log in to add tags Add to cart
    8.
    Verified Software: Theories, Tools, Experiments Электронный ресурс Second International Conference, VSTTE 2008, Toronto, Canada, October 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, Natarajan Shankar, Jim Woodcock.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Shankar, Natarajan | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | Woodcock, Jim | 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 :
    Log in to add tags Add to cart
    9.
    Algebraic Methodology and Software Technology Электронный ресурс 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 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, José Meseguer, Grigore Roşu

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Meseguer, José | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Roşu, Grigore | 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 :
    Log in to add tags Add to cart
    10.
    Computer Science Logic Электронный ресурс 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 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, Michael Kaminski, Simone Martini.

    by Hutchison, David | Kaminski, Michael | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Martini, Simone | 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 :
    Log in to add tags Add to cart
    11.
    Evolvable Systems: From Biology to Hardware Электронный ресурс 8th International Conference, ICES 2008, Prague, Czech Republic, September 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, Gregory S. Hornby, Lukáš Sekanina, Pauline C. Haddow.

    by Hutchison, David | Haddow, Pauline C | Hornby, Gregory S | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Sekanina, Lukáš | 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 :
    Log in to add tags Add to cart
    12.
    Rewriting Techniques and Applications Электронный ресурс 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-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, Andrei Voronkov.

    by Hutchison, David | 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 | Voronkov, Andrei | 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 :
    Log in to add tags Add to cart