Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 8002 results.

    Sort
    Results
    751.
    Software Engineering and Middleware Электронный ресурс 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers edited by Thomas Gschwind, Cecilia Mascolo.

    by Gschwind, Thomas | Mascolo, Cecilia | 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 :
    752.
    Knowledge Discovery in Inductive Databases (vol. # 3377) Электронный ресурс Third International Workshop, KDID 2004, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers edited by Bart Goethals, Arno Siebes.

    by Goethals, Bart | Siebes, Arno | 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 :
    753.
    Spatial Coherence for Visual Motion Analysis Электронный ресурс First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004, Revised Papers edited by W. James MacLean.

    by MacLean, W. James | 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 :
    754.
    Advances in Database Technology -- EDBT 2006 Электронный ресурс 10 International Conference on Extending Database Technology, Munich, Germany, 26-31 March 2006, Proceedings edited by Yannis IoannidisMarc H. Scholl, Joachim W. Schmidt, Fl

    by Ioannidis, Yannis | Boehm, Christian | Boehm, Klemens | Grust, Torsten | Hatzopoulos, Mike | Kemper, Alfons | Matthes, Florian | Schmidt, Joachim W | Scholl, Marc H | 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 :
    755.
    Foundations of Software Science and Computational Structures (vol. # 3441) Электронный ресурс 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edite

    by Sassone, Vladimiro | 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 :
    756.
    Computer Supported Cooperative Work in Design II Электронный ресурс 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers edited by Weiming ShenKuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthès

    by Shen, Weiming | Barthès, Jean-Paul A | Chao, Kuo-Ming | James, Anne | Lin, Zongkai | 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 :
    757.
    Innovative Internet Community Systems (vol. # 3908) Электронный ресурс 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers edited by Alain Bui, Marc Bui, Thomas Böhme, Herwig Unger.

    by Bui, Alain | Böhme, Thomas | Bui, Marc | Unger, Herwig | 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 :
    758.
    Transactions on Aspect-Oriented Software Development I Электронный ресурс edited by Awais Rashid, Mehmet Aksit.

    by Rashid, Awais | Aksit, Mehmet | 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 :
    759.
    Database Systems for Advanced Applications (vol. # 3882) Электронный ресурс 11th International Conference, DASFAA 2006, Singapore, April 12-15, 2006, Proceedings edited by Mong Li Lee, Kian Lee Tan, Vilas Wuwongse.

    by Lee, Mong Li | Tan, Kian Lee | Wuwongse, Vilas | 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 :
    760.
    Passive and Active Network Measurement Электронный ресурс 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings edited by Constantinos Dovrolis.

    by Dovrolis, Constantinos | 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 :
    761.
    Security in Pervasive Computing (vol. # 3450) Электронный ресурс Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings edited by Dieter Hutter, Markus Ullmann.

    by Hutter, Dieter | Ullmann, Markus | 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 :
    762.
    Computational Science and Its Applications - ICCSA 2005 (vol. # 3482) Электронный ресурс International Conference, Singapore, May 9-12. 2005, Proceedings, Part III edited by Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, Antonio Laganà

    by Gavrilova, Marina L | Gervasi, Osvaldo | Kumar, Vipin | Laganà, Antonio | Lee, Heow Pueh | Mun, Youngsong | Tan, Chih Jeng Kenneth | Taniar, David | 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 :
    763.
    Mechanisms, Symbols, and Models Underlying Cognition Электронный ресурс First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Pro

    by Álvarez, José R | Mira, 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
    764.
    Guerrilla Capacity Planning Электронный ресурс A Tactical Approach to Planning for Highly Scalable Applications and Services / by Neil J. Gunther.

    by Gunther, Neil J | 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 :
    765.
    High Performance Computing in Science and Engineering, Garching 2004 Электронный ресурс Transactions of the KONWIHR Result Workshop, October 14–15, 2004, Technical University of Munich, Garching, Germany / edited by Arndt Bode, Franz Durst.

    by Bode, Arndt | Durst, Franz | 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, 2005Online access: Click here to access online Availability: No items available :
    766.
    Pattern Recognition and Image Analysis (vol. # 3522) Электронный ресурс Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part 1 edited by Jorge S. Marques, Nicolás Pérez de la Blanca, Pedro Pina.

    by Marques, Jorge S | Pérez de la Blanca, Nicolás | Pina, Pedro | 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 :
    767.
    Applications of Declarative Programming and Knowledge Management Электронный ресурс 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP

    by Bartenstein, Oskar | Geske, Ulrich | Hanus, Michael | Seipel, Dietmar | 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 :
    768.
    Combinatorial Optimization Электронный ресурс Theory and Algorithms

    by Korte, Bernhard | Vygen, Jens | SpringerLink (Online service).

    Series: Algorithms and Combinatorics 21Edition: Third Edition.Source: Springer e-booksMaterial 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 :
    769.
    Advances in Web Intelligence Электронный ресурс Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005, Proceedings edited by Janusz Kacprzyk, Adam Niewiadomski, Piotr S. Szczepaniak.

    by Kacprzyk, Janusz | Niewiadomski, Adam | Szczepaniak, Piotr S | 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 :
    770.
    Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990) Электронный ресурс Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings edited

    by Beck, J. Christopher | Smith, Barbara | 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 :
    771.
    Database and Expert Systems and Applications Электронный ресурс 17th International Conference, DEXA 2006, Krakow, Poland, September 4-8, 2006, Proceedings edited by Stephane Bressan, Josef Küng, Roland Wagner.

    by Bressan, Stéphane | Küng, Josef | Wagner, Roland | 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 :
    772.
    Experimental and Efficient Algorithms Электронный ресурс 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings edited by Sotiris E. Nikoletseas.

    by Nikoletseas, Sotiris E | 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 :
    773.
    Fundamentals of Computation Theory Электронный ресурс 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings edited by Maciej Liskiewicz, Rüdiger Reischuk.

    by Liskiewicz, Maciej | Reischuk, Rüdiger | 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 :
    774.
    Generalized Curvatures Электронный ресурс by Jean-Marie Morvan.

    by Morvan, Jean-Marie | SpringerLink (Online service).

    Series: Geometry and ComputingSource: 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 :
    775.
    Rapid Integration of Software Engineering Techniques (vol. # 3943) Электронный ресурс Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers edited by Nicolas Guelfi, Anthony Savi

    by Guelfi, Nicolas | Savidis, Anthony | 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 :
    776.
    Advances in Neural Networks - ISNN 2006 (vol. # 3971) Электронный ресурс Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I edited by Jun WangZhang Yi, Jacek M. Zurada,

    by Wang, Jun | Hujun, Yin | Lu, Bao-Liang | Yi, Zhang | Zurada, Jacek M | 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 :
    777.
    ECOOP 2006 - Object-Oriented Programming Электронный ресурс 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings edited by Dave Thomas.

    by Thomas, Dave | 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 :
    778.
    Subspace, Latent Structure and Feature Selection Электронный ресурс Statistical and Optimization Perspectives Workshop, SLSFS 2005Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers edited by Craig Saunders, Marko Grobelnik

    by Saunders, Craig | Grobelnik, Marko | Gunn, Steve | Shawe-Taylor, John | 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 :
    779.
    DNA Computing (vol. # 3892) Электронный ресурс 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. edited by Alessandra Carbone, Niles A. Pierce.

    by Carbone, Alessandra | Pierce, Niles 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 :
    780.
    Computer Science -- Theory and Applications Электронный ресурс First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings edited by Dima Grigoriev, John Harrison, Edward A.

    by Grigoriev, Dima | Harrison, John | Hirsch, Edward 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 :
    781.
    Enabling Semantic Web Services Электронный ресурс The Web Service Modeling Ontology / by Dieter Fensel, Holger Lausen, Jos Bruijn, Michael Stollberg, Dumitru Roman, Axel Polleres, John Domingue.

    by Fensel, Dieter | Bruijn, Jos | Domingue, John | Lausen, Holger | Polleres, Axel | Roman, Dumitru | Stollberg, Michael | 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 :
    782.
    The Semantic Web: Research and Applications (vol. # 4011) Электронный ресурс 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings edited by York Sure, John Domingue.

    by Sure, York | Domingue, John | 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 :
    783.
    Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2 Электронный ресурс edited by Mauro Ferrario, Giovanni Ciccotti, Kurt Binder.

    by Ferrario, Mauro | Binder, Kurt | Ciccotti, Giovanni | SpringerLink (Online service).

    Series: Lecture Notes in PhysicsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer, 2006Online access: Click here to access online Availability: No items available :
    784.
    Advances in Grid and Pervasive Computing Электронный ресурс First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings edited by Yeh-Ching Chung, José E. Moreira.

    by Chung, Yeh-Ching | Moreira, José E | 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 :
    785.
    Algorithms for Approximation Электронный ресурс Proceedings of the 5th International Conference, Chester, July 2005 / edited by Armin Iske, Jeremy Levesley.

    by Iske, Armin | Levesley, Jeremy | 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 :
    786.
    Formal Methods in Systems Biology Электронный ресурс First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / edited by Jasmin Fisher.

    by Fisher, Jasmin | 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 :
    787.
    Mathematics of Program Construction Электронный ресурс 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings edited by Tarmo Uustalu.

    by Uustalu, Tarmo | 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 :
    788.
    NETWORKING 2006. Networking Technologies, Services, Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems Электронный ресурс 5th International IFIP-TC6 Networking Conference, Coimbra, P

    by Boavida, Fernando | Monteiro, Edmundo | Plagemann, Thomas | Stiller, Burkhard | Westphal, Cedric | 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 :
    789.
    Advances in Cryptology - EUROCRYPT 2006 Электронный ресурс 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Proceedings edited by Serge Vaudenay.

    by Vaudenay, Serge | 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 :
    790.
    Computer Vision -- ECCV 2006 (vol. # 3951) Электронный ресурс 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part I edited by Ales Leonardis, Horst Bischof, Axel Pinz.

    by Leonardis, Aleš | Bischof, Horst | Pinz, Axel | 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 :
    791.
    Computer Vision -- ECCV 2006 (vol. # 3953) Электронный ресурс 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III edited by Aleš Leonardis, Horst Bischof, Axel Pinz.

    by Leonardis, Aleš | Bischof, Horst | Pinz, Axel | 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 :
    792.
    Numerical Mathematics and Advanced Applications Электронный ресурс Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005 Alfredo Bermúdez de Castro, Dolores Gómez, Peregrina Quintela and Pilar Salgado

    by Gómez, Dolores | Quintela, Peregrina | Salgado, Pilar | de Castro, Alfredo Bermúdez | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin [a. o.] Springer 2006Online access: Click here to access online Availability: No items available :
    793.
    Formal Methods for Hardware Verification Электронный ресурс 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures edited

    by Bernardo, Marco | Cimatti, Alessandro | 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 :
    794.
    Performability Has its Price Электронный ресурс 5th International Workshop on Internet Charging and QoS Technologies, ICQT 2006, St. Malo, France, June 27, 2006, Proceedings edited by Burkhard Stiller, Peter Reichl, Bruno Tuffin.

    by Stiller, Burkhard | Reichl, Peter | Tuffin, Bruno | 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 :
    795.
    Mathematics and Computation, a Contemporary View Электронный ресурс The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006 / edited by Hans Munthe-Kaas, Brynjulf Owren.

    by Norwegian Mathematical Society | Munthe-Kaas, Hans | Owren, Brynjulf | SpringerLink (Online service).

    Series: Abel SymposiaSource: 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 :
    796.
    Learning Theory (vol. # 4005) Электронный ресурс 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings edited by Hans Ulrich Simon, Gábor Lugosi.

    by Simon, Hans Ulrich | Lugosi, Gábor | 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 :
    797.
    Innovative Concepts for Autonomic and Agent-Based Systems Электронный ресурс Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers edited by Michael G. HincheyPatric

    by Hinchey, Michael G | Rago, Patricia | Rash, James L | Rouff, Christopher A | Sterritt, Roy | Truszkowski, Walt | 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 :
    798.
    Biomedical Image Registration Электронный ресурс Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006, Proceedings edited by Josien P. W. Pluim, Boštjan Likar, Frans A. Gerritsen.

    by Pluim, Josien P. W | Gerritsen, Frans A | Likar, Boštjan | 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 :
    799.
    Automata, Languages and Programming (vol. # 4052) Электронный ресурс 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegen

    by Bugliesi, Michele | Preneel, Bart | Sassone, Vladimiro | Wegener, Ingo | 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 :
    800.
    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 :
    Pages