Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 205 results.

    1.
    Web Information Systems Engineering - WISE 2007 Workshops Электронный ресурс WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings / edited by Mathias Weske, Mohand-SaГЇd Hacid, Claude Godart.

    by Weske, Mathias | Godart, Claude | Hacid, Mohand-Saïd | 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 :
    2.
    Task Models and Diagrams for User Interface Design Электронный ресурс 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings / edited by Marco Winckler, Hilary Johnson, Philippe Palanque.

    by Winckler, Marco | Johnson, Hilary | Palanque, Philippe | 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 :
    3.
    Comparative Genomics Электронный ресурс International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings / edited by Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Craig E. Nelson, Stéphane Vialette.

    by Istrail, Sorin | Nelson, Craig E | Pevzner, Pavel | Vialette, Stéphane | Waterman, Michael S | 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 :
    4.
    Term Rewriting and Applications Электронный ресурс 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader.

    by Baader, Franz | 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 :
    5.
    Typed Lambda Calculi and Applications Электронный ресурс 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca.

    by Rocca, Simona Ronchi | 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 :
    6.
    Gesture in Human-Computer Interaction and Simulation Электронный ресурс 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers edited by Sylvie Gibet, Nicolas Courty, Jean-Francois Ka

    by Gibet, Sylvie | Courty, Nicolas | Kamp, Jean-Francois | 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 :
    7.
    Trust Management (vol. # 3477) Электронный ресурс Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings edited by Peter Herrmann, Valerie Issarny, Simon Shiu.

    by Herrmann, Peter | Issarny, Valerie | Shiu, Simon | 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 :
    8.
    Principles of Distributed Systems (vol. # 4305) Электронный ресурс 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings edited by Alexander A. Shvartsman.

    by Shvartsman, Alexander A | 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 :
    9.
    Practical Aspects of Declarative Languages Электронный ресурс 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings / edited by Michael Hanus.

    by Hanus, 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 :
    10.
    Detection of Intrusions and Malware, and Vulnerability Assessment Электронный ресурс 5th International Conference, DIMVA 2008, Paris, France, July 10-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, Diego Zamboni.

    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 | Weikum, Gerhard | Zamboni, Diego | 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 :
    11.
    Data Warehousing and Knowledge Discovery Электронный ресурс 4th International Conference, DaWaK 2002 Aix-en-Provence, France, September 4–6, 2002 Proceedings / edited by Yahiko Kambayashi, Werner Winiwarter, Masatoshi Arikawa.

    by Kambayashi, Yahiko | Arikawa, Masatoshi | Winiwarter, Werner.

    Series: Lecture Notes in Computer ScienceMaterial 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.
    Autonomic Networking Электронный ресурс First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings edited by Dominique Gaïti, Guy Pujolle, Ehab Al-Shaer, Ken Calvert et al.

    by Gaïti, Dominique | Al-Shaer, Ehab | Calvert, Ken | Dobson, Simon | Leduc, Guy | Martikainen, Olli | Pujolle, Guy | 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 :
    13.
    Formal Techniques for Networked and Distributed Systems - FORTE 2006 Электронный ресурс 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings edited by Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge

    by Najm, Elie | Donzeau-Gouge, Véronique Viguié | Pradat-Peyre, Jean-Francois | 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 :
    14.
    Formal Concept Analysis Электронный ресурс 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings / edited by Sergei O. Kuznetsov, Stefan Schmidt.

    by Kuznetsov, Sergei O | Schmidt, Stefan | 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.
    Automated Reasoning with Analytic Tableaux and Related Methods Электронный ресурс 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti.

    by Olivetti, Nicola | 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 :
    16.
    Principle and Practice of Constraint Programming - CP 2006 Электронный ресурс 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings edited by Frédéric Benhamou.

    by Benhamou, Frédéric | 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 :
    17.
    Advances in Bioinformatics and Computational Biology Электронный ресурс Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007. Proceedings / edited by Marie-France Sagot, Maria Emilia M. T. Walter.

    by Sagot, Marie-France | Walter, Maria Emilia M. 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 :
    18.
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Электронный ресурс Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers edited by Gilles Barthe, Benj

    by Barthe, Gilles | Gregoire, Benjamin | Huisman, Marieke | Lanet, Jean-Louis | 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 :
    19.
    Information Hiding Электронный ресурс 9th International Workshop, IH 2007, Saint Malo, France, June 11-13, 2007, Revised Selected Papers / edited by Teddy Furon, François Cayre, Gwenaël Doërr, Patrick Bas.

    by Furon, Teddy | Bas, Patrick | Cayre, François | Doërr, Gwenaël | 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.
    Composition of Embedded Systems. Scientific and Industrial Issues Электронный ресурс 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky.

    by Kordon, Fabrice | Sokolsky, Oleg | 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 :
    21.
    The Engineering of Sport 7 Электронный ресурс Vol. 1 / by Margaret Estivalet, Pierre Brisson.

    by Estivalet, Margaret | Brisson, Pierre | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2008Online access: Click here to access online Availability: No items available :
    22.
    Advances in Material Forming Электронный ресурс Esaform 10 years on / by Francisco Chinesta, Elias Cueto.

    by Chinesta, Francisco | Cueto, Elias | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    23.
    Critique de la valeur fondamentale Электронный ресурс by Christian Walter, Éric Brian.

    by Walter, Christian | Brian, Éric | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    24.
    Les cancers digestifs Электронный ресурс Avec la collaboration de l’Association des Gastro-entérologues Oncologues (AGEO) / by Philippe Rougier, Emmanuel Mitry, Sophie Dominguez-Tinajero, Julien Taïeb

    by Rougier, Philippe | Dominguez-Tinajero, Sophie | Mitry, Emmanuel | Taïeb, Julien | SpringerLink (Online service).

    Series: Oncologie PratiqueSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    25.
    Approche pratique de la couverture des pertes de substance cutanГ©e de la main et des doigts Электронный ресурс by Dominique Nen, Weiguo Hu, Jacky Laulan.

    by Nen, Dominique | Hu, Weiguo | Laulan, Jacky | SpringerLink (Online service).

    Series: Approche pratique en orthopГ©die-traumatologieSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    26.
    Classifications et scores en chirurgie orthopédique et traumatologique Электронный ресурс I. Hanche, Genou, Rachis / by Emmanuel Favreul, Alain Dambreville, Gérard Gacon, Pierre Kehr.

    by Favreul, Emmanuel | Dambreville, Alain | Gacon, Gérard | Kehr, Pierre | SpringerLink (Online service).

    Series: Collection GECOSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2008Online access: Click here to access online Availability: No items available :
    27.
    Premiers pas en simulation Электронный ресурс by Yadolah Dodge, Giuseppe Melfi.

    by Dodge, Yadolah | Melfi, Giuseppe | SpringerLink (Online service).

    Series: Statistique et probabilitès appliquèesSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2008Online access: Click here to access online Availability: No items available :
    28.
    Abord Clinique des Urgences Traumatiques AU Cabinet du GГ©nГ©raliste Электронный ресурс by Jean-Claude Pire, Carole Carolet.

    by Pire, Jean-Claude | Carolet, Carole | SpringerLink (Online service).

    Series: Abord cliniqueSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2005Online access: Click here to access online Availability: No items available :
    29.
    Les infections urinaires Электронный ресурс by Bernard Lobel, Claude-James Soussy.

    by Lobel, Bernard | Soussy, Claude-James | SpringerLink (Online service).

    Series: Monographies en urologieSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    30.
    Sepsis sévère et choc septique Электронный ресурс by Claude Martin, Jean-Louis Vincent.

    by Martin, Claude | Vincent, Jean-Louis | SpringerLink (Online service).

    Series: Le point surSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2005Online access: Click here to access online Availability: No items available :
    31.
    Cancer du sujet âgé Электронный ресурс edited by Jean-François Morère, Muriel Rainfray.

    by Morère, Jean-François | Rainfray, Muriel | SpringerLink (Online service).

    Series: Oncologie pratiqueEdition: Deuxième édition.Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    32.
    Cancer et traitement Электронный ресурс Domicile ou hôpital : le choix du patient / by Marie-Frédérique Bacqué

    by Bacqué, Marie-Frédérique | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2006Online access: Click here to access online Availability: No items available :
    33.
    Techniques virales avancées Электронный ресурс by Éric Filiol.

    by Filiol, Éric | SpringerLink (Online service).

    Series: Collection IRISSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    34.
    Revision of Loose Femoral Prostheses Электронный ресурс With a Stem System Based on the "Press-Fit" Principle: A Concept and a System of Implants: A Method and Its Results / edited by Pierre Le Béguec, Hans-Peter Sieber.

    by Le Béguec, Pierre | Sieber, Hans-Peter | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    35.
    Une politique mondiale pour Nourrir le monde Электронный ресурс

    by Pisani, Edgard | Lebiez, Marc | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    36.
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) Электронный ресурс International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers edited by Gilles Barthe

    by Barthe, Gilles | Burdy, Lilian | Huisman, Marieke | Lanet, Jean-Louis | Muntean, Traian | 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 :
    37.
    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 :
    38.
    Échographie de contraste Электронный ресурс Méthodologie et applications cliniques / by François Tranquart, Jean-Michel Correas, Ayache Bouakaz.

    by Tranquart, François | Bouakaz, Ayache | Correas, Jean-Michel | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    39.
    L’esprit de l’aiguille Электронный ресурс L’apport du Yi Jing Г  la pratique de l’acupuncture / by Michel Vinogradoff.

    by Vinogradoff, Michel | SpringerLink (Online service).

    Series: Médecines d’Asie: Savoirs et PratiqueSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2006Online access: Click here to access online Availability: No items available :
    40.
    Les fonctions sphinctériennes Электронный ресурс by Gerard Amarenco, Alex Chantraine.

    by Amarenco, Gerard | Chantraine, Alex | SpringerLink (Online service).

    Series: Collection de Academie Europeenne De Medecine De ReadaSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    41.
    Les techniques de monitorage hémodynamique en réanimation Электронный ресурс by Jean-Louis Teboul, Daniel Backer.

    by Teboul, Jean-Louis | Backer, Daniel | SpringerLink (Online service).

    Series: Le point surSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    42.
    Raisonnements divins Электронный ресурс Quelques démonstrations mathématiques particulièrement élégantes / by Martin Aigner, Günter M. Ziegler.

    by Aigner, Martin | Ziegler, Günter M | SpringerLink (Online service).

    Edition: Deuxieme éditionSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    43.
    Génétique statistique Электронный ресурс by Stephan Morgenthaler ; edited by Yadolah Dodge, Christian Genest, Marc Hallin, Ludovic Lebart, Stephan Morgenthaler, Gilbert Saporta.

    by Morgenthaler, Stephan | Dodge, Yadolah | Genest, Christian | Hallin, Marc | Lebart, Ludovic | Morgenthaler, Stephan | Saporta, Gilbert | SpringerLink (Online service).

    Series: Statistique et probabilitès appliquèesSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2008Online access: Click here to access online Availability: No items available :
    44.
    Research in Interactive Design Электронный ресурс by Xavier Fischer, Daniel Coutellier.

    by Fischer, Xavier | Coutellier, Daniel | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    45.
    Atlas de pathologie thoracique Электронный ресурс by Daniel Anthoine, Jean-Claude Humbert.

    by Anthoine, Daniel | Humbert, Jean-Claude | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    46.
    Unconventional Programming Paradigms Электронный ресурс International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Gi

    by Banâtre, Jean-Pierre | Fradet, Pascal | Giavitto, Jean-Louis | Michel, Olivier | 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 :
    47.
    Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Электронный ресурс Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings edited by Gérard Subsol.

    by Subsol, Gérard | 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 :
    48.
    Formal Modeling and Analysis of Timed Systems (vol. # 4202) Электронный ресурс 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings edited by Eugene Asarin, Patricia Bouyer.

    by Asarin, Eugene | Bouyer, Patricia | 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 :
    49.
    Types for Proofs and Programs Электронный ресурс International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers edited by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner.

    by Filliatre, Jean-Christophe | Paulin-Mohring, Christine | Werner, Benjamin | 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 :
    50.
    Engineering Societies in the Agents World V Электронный ресурс 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers edited by Marie-Pierre Gleizes, Andrea Omicini, Franco Zambo

    by Gleizes, Marie-Pierre | Omicini, Andrea | Zambonelli, Franco | 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 :