Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 8002 results.

    Sort
    Unhighlight Highlight
    Select all Clear all
    Select titles to:
    Results
    2001.
    Automated Reasoning Электронный ресурс Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Ulrich Furbach, Natarajan Shankar.

    by Furbach, Ulrich | Shankar, Natarajan | 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 :
    Log in to add tags Add to cart
    2002.
    Theory and Applications of Satisfiability Testing - SAT 2006 Электронный ресурс 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings edited by Armin Biere, Carla P. Gomes.

    by Biere, Armin | Gomes, Carla P | 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 :
    Log in to add tags Add to cart
    2003.
    Autonomic Communication (vol. # 3457) Электронный ресурс First International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers edited by Michael Smirnov.

    by Smirnov, 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2004.
    Multilingual Information Access for Text, Speech and Images Электронный ресурс 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers edited by Paul CloughJulio Gonzalo, G

    by Clough, Paul | Gonzalo, Julio | Jones, Gareth J. F | Kluck, Michael | Magnini, Bernardo | Peters, Carol | 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 :
    Log in to add tags Add to cart
    2005.
    Data and Applications Security XIX Электронный ресурс 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings edited by Sushil Jajodia, Duminda Wijesekera.

    by Jajodia, Sushil | Wijesekera, Duminda | 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 :
    Log in to add tags Add to cart
    2006.
    Reasoning, Action and Interaction in AI Theories and Systems Электронный ресурс Essays Dedicated to Luigia Carlucci Aiello edited by Oliviero Stock, Marco Schaerf.

    by Stock, Oliviero | Schaerf, 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 GmbH., 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2007.
    Ubiquitous Intelligence and Computing Электронный ресурс Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings edited by Jianhua Ma, Hai Jin, Laurence T. Yang, Jeffrey J.-P. Tsai.

    by Ma, Jianhua | Jin, Hai | Tsai, Jeffrey J.-P | 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 :
    Log in to add tags Add to cart
    2008.
    DNA Computing Электронный ресурс 7th International Workshop on DNA-Based Computers, DNA7 Tampa, FL, USA, June 10-13, 2001 Revised Papers / edited by Nataša Jonoska, Nadrian C. Seeman.

    by Jonoska, Nataša | Seeman, Nadrian C.

    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 :
    Log in to add tags Add to cart
    2009.
    Multiagent System Technologies (vol. # 4196) Электронный ресурс 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings edited by Klaus Fischer, Elisabeth André , Ingo J. Timm, Ning Zhong.

    by Fischer, Klaus | Timm, Ingo J | Zhong, Ning | André, Elisabeth | 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 :
    Log in to add tags Add to cart
    2010.
    On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (vol. # 4278) Электронный ресурс OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToContent,ORM,PerSys,OTM Academ

    by Meersman, Robert | Herrero, Pilar | Tari, Zahir | 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 :
    Log in to add tags Add to cart
    2011.
    Computer Science Logic (vol. # 3634) Электронный ресурс 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings edited by Luke Ong.

    by Ong, Luke | 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 :
    Log in to add tags Add to cart
    2012.
    Static Analysis (vol. # 3672) Электронный ресурс 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings edited by Chris Hankin, Igor Siveroni.

    by Hankin, Chris | Siveroni, Igor | 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 :
    Log in to add tags Add to cart
    2013.
    Computer Security - ESORICS 2005 Электронный ресурс 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings edited by Sabrina De Capitani di Vimercati, Dieter Gollmann, Paul Syverson.

    by De Capitani di Vimercati, Sabrina | Gollmann, Dieter | Syverson, Paul | 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 :
    Log in to add tags Add to cart
    2014.
    Agent-Mediated Electronic Commerce VI Электронный ресурс Theories for and Engineering of Distributed Mechanisms and Systems, AAMAS 2004 Workshop, Amec 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers edited by Peyman Farat

    by Faratin, Peyman | Rodríguez-Aguilar, Juan 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., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2015.
    On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops Электронный ресурс OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, Oct

    by Herrero, Pilar | Meersman, Robert | Tari, Zahir | 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 :
    Log in to add tags Add to cart
    2016.
    UbiComp 2005: Ubiquitous Computing Электронный ресурс 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings edited by Michael Beigl, Stephen Intille, Jun Rekimoto, Hideyuki Tokuda.

    by Beigl, Michael | Intille, Stephen | Rekimoto, Jun | Tokuda, Hideyuki | 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 :
    Log in to add tags Add to cart
    2017.
    KI 2005: Advances in Artificial Intelligence Электронный ресурс 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings edited by Ulrich Furbach.

    by Furbach, Ulrich | 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 :
    Log in to add tags Add to cart
    2018.
    Research and Advanced Technology for Digital Libraries (vol. # 3652) Электронный ресурс 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings edited by Stavros Christodoulakis, Andreas Rauber, A Min Tjoa

    by Christodoulakis, Stavros | Rauber, Andreas | Tjoa, A. Min | 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 :
    Log in to add tags Add to cart
    2019.
    Cryptographic Hardware and Embedded Systems - CHES 2005 Электронный ресурс 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings edited by Josyula R. Rao, Berk Sunar.

    by Rao, Josyula R | Sunar, Berk | 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 :
    Log in to add tags Add to cart
    2020.
    Pattern Recognition and Image Analysis (vol. # 3687) Электронный ресурс Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Part II edited by Chid Apte, Petra Perner, Sameer Singh,

    by Apte, Chid | Perner, Petra | Singh, Maneesha | Singh, Sameer | 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 :
    Log in to add tags Add to cart
    2021.
    Computer Analysis of Images and Patterns Электронный ресурс 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings edited by André Gagalowicz, Wilfried Philips.

    by Gagalowicz, André | Philips, Wilfried | 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 :
    Log in to add tags Add to cart
    2022.
    ECOOP 2002 — Object-Oriented Programming Электронный ресурс 16th European Conference MГЎlaga, Spain, June 10–14, 2002 Proceedings / edited by Boris Magnusson.

    by Magnusson, Boris.

    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 :
    Log in to add tags Add to cart
    2023.
    Hybrid Metaheuristics (vol. # 4030) Электронный ресурс Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings edited by Francisco Almeida, María J. Blesa Aguilera, Christian Blum, José Marcos Moreno Vega

    by Almeida, Francisco | Blesa Aguilera, María José | Blum, Christian | Moreno Vega, José Marcos | Pérez, Melquíades | Roli, Andrea | Sampels, 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 GmbH., 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2024.
    FastSLAM Электронный ресурс A Scalable Method for the Simultaneous Localization and Mapping Problem in Robotics / by Michael Montemerlo, Sebastian Thrun.

    by Montemerlo, Michael | Thrun, Sebastian | SpringerLink (Online service).

    Series: Springer Tracts in Advanced RoboticsSource: 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 :
    Log in to add tags Add to cart
    2025.
    Applied Parallel Computing Электронный ресурс State of the Art in Scientific Computing edited by Jack Dongarra, Kaj Madsen, Jerzy Wasniewski.

    by Dongarra, Jack | Madsen, Kaj | Waśniewski, Jerzy | 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 :
    Log in to add tags Add to cart
    2026.
    Principles and Practice of Semantic Web Reasoning (vol. # 3703) Электронный ресурс Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings edited by François Fages, Sylvain Soliman.

    by Fages, François | Soliman, 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., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2027.
    Numerical Solution of Partial Differential Equations on Parallel Computers Электронный ресурс edited by Are Magnus Bruaset, Aslak Tveito.

    by Bruaset, Are Magnus | Tveito, Aslak | SpringerLink (Online service).

    Series: Lecture Notes in Computational Science and EngineeringSource: 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 :
    Log in to add tags Add to cart
    2028.
    Unconventional Computation (vol. # 3699) Электронный ресурс 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jímenez et al

    by Calude, Cristian S, 1952- | Dinneen, Michael J | Paun, Gheorghe | Pérez-Jímenez, Mario de Jesus | Rozenberg, Grzegorz | 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 :
    Log in to add tags Add to cart
    2029.
    Service Availability (vol. # 3694) Электронный ресурс Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers edited by Miroslaw Malek, Edgar Nett, Neeraj Suri.

    by Malek, Miroslaw | Nett, Edgar | Suri, Neeraj | 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 :
    Log in to add tags Add to cart
    2030.
    Computational Life Sciences (vol. # 3695) Электронный ресурс First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings edited by Michael R. BertholdKay Diederichs, Ingrid Fischer, Robert Glen et

    by Berthold, Michael R | Diederichs, Kay | Fischer, Ingrid | Glen, Robert | Kohlbacher, Oliver | 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 :
    Log in to add tags Add to cart
    2031.
    Groupware: Design, Implementation, and Use (vol. # 3706) Электронный ресурс 11th International Workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005, Proceedings edited by Hugo Fuks, Stephan Lukosch, Ana Carolina Salgado

    by Fuks, Hugo | Lukosch, Stephan | Salgado, Ana Carolina | 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 :
    Log in to add tags Add to cart
    2032.
    Integrated Formal Methods Электронный ресурс Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings / edited by Michael Butler, Luigia Petre, Kaisa Sere.

    by Butler, Michael | Petre, Luigia | Sere, Kaisa.

    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 :
    Log in to add tags Add to cart
    2033.
    Advances in Knowledge Discovery and Data Mining Электронный ресурс 6th Pacific-Asia Conference, PAKDD 2002 Taipei, Taiwan, May 6-8, 2002 Proceedings / edited by Ming-Syan Chen, Philip S. Yu, Bing Liu.

    by Chen, Ming-Syan | Liu, Bing | Yu, Philip S.

    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 :
    Log in to add tags Add to cart
    2034.
    High Performance Computing on Vector Systems Электронный ресурс Proceedings of the High Performance Computing Center Stuttgart, March 2005 / edited by Michael Resch, Thomas Bönisch, Katharina Benkert, Wolfgang Bez, Toshiyuki Furui, Yoshiki Seo.

    by Resch, Michael | Benkert, Katharina | Bez, Wolfgang | Bönisch, Thomas | Furui, Toshiyuki | Seo, Yoshiki | 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, 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2035.
    Dealing with Uncertainties Электронный ресурс A Guide to Error Analysis / by Manfred Drosg.

    by Drosg, Manfred | 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 :
    Log in to add tags Add to cart
    2036.
    AI 2005: Advances in Artificial Intelligence Электронный ресурс 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings edited by Ray Jarvis, Shichao Zhang.

    by Jarvis, Ray | Zhang, Shichao | 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 :
    Log in to add tags Add to cart
    2037.
    Information and Communications Security (vol. # 3783) Электронный ресурс 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings edited by Javier Lopez, Wenbo Mao, Sihan Qing, Guilin Wang.

    by Lopez, Javier | Mao, Wenbo | Qing, Sihan | Wang, Guilin | 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 :
    Log in to add tags Add to cart
    2038.
    On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE (vol. # 3760) Электронный ресурс OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedi

    by Meersman, Robert | Tari, Zahir | 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 :
    Log in to add tags Add to cart
    2039.
    Power-Aware Computer Systems (vol. # 3471) Электронный ресурс 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers edited by Babak Falsafi, T.N. Vijaykumar.

    by Falsafi, Babak | Vijaykumar, T. 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., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2040.
    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 :
    Log in to add tags Add to cart
    2041.
    Model-Driven Design Using Business Patterns Электронный ресурс by Pavel Hruby.

    by Hruby, Pavel | 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, 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2042.
    Multiagent Engineering Электронный ресурс Theory and Applications in Enterprises / edited by Stefan Kirn, Otthein Herzog, Peter Lockemann, Otto Spaniol.

    by Kirn, Stefan | Herzog, Otthein | Lockemann, Peter | Spaniol, Otto | SpringerLink (Online service).

    Series: International Handbooks on Information SystemsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin В· Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2043.
    Mathematical Knowledge Management (vol. # 3863) Электронный ресурс 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers edited by Michael Kohlhase.

    by Kohlhase, 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 GmbH., 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2044.
    Software Process Improvement Электронный ресурс 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings edited by Pekka Abrahamsson, Richard Messnarz, Ita Richardson.

    by Abrahamsson, Pekka | Messnarz, Richard | Richardson, Ita | 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 :
    Log in to add tags Add to cart
    2045.
    Energy Minimization Methods in Computer Vision and Pattern Recognition Электронный ресурс 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings edited by Anand Rangarajan, Baba Vemuri, Alan L.

    by Rangarajan, Anand | Vemuri, Baba | Yuille, Alan L | 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 :
    Log in to add tags Add to cart
    2046.
    Transactions on Computational Systems Biology III Электронный ресурс edited by Pedro Pablo Gonzalez, Emanuela Merelli, Andrea Omicini, Corrado Priami.

    by Gonzalez, Pedro Pablo | Merelli, Emanuela | Omicini, Andrea | Priami, Corrado | 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 :
    Log in to add tags Add to cart
    2047.
    High Performance Embedded Architectures and Compilers Электронный ресурс First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings edited by Tom ConteWen-mei W. Hwu, Nacho Navarro, Theo Ungerer et a

    by Conte, Tom | Hwu, Wen-mei W | Navarro, Nacho | Ungerer, Theo | Valero, Mateo | 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 :
    Log in to add tags Add to cart
    2048.
    Integrated Formal Methods Электронный ресурс 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol.

    by Romijn, Judi M. T | Smith, Graeme P | Van de Pol, Jaco 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2049.
    Frontiers of Computational Science Электронный ресурс Proceedings of the International Symposium on Frontiers of Computational Science 2005 / edited by Yukio Kaneda, Hiroshi Kawamura, Masaki Sasai.

    by Kaneda, Yukio | Kawamura, Hiroshi | Sasai, Masaki | 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 :
    Log in to add tags Add to cart
    2050.
    Languages and Compilers for Parallel Computing (vol. # 2481) Электронный ресурс 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers edited by Bill Pugh, Chau-Wen Tseng.

    by Pugh, Bill | Tseng, Chau-Wen | 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 :
    Log in to add tags Add to cart
    Pages