|
451.
|
|
|
452.
|
Automata, Languages and Programming (vol. # 4051) Электронный ресурс 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegene by Bugliesi, Michele | Preneel, Bart | Sassone, Vladimiro | Wegener, Ingo | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
453.
|
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; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
454.
|
Formal Methods and Stochastic Models for Performance Evaluation Электронный ресурс Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings edited by András Horváth, Miklós Telek. by Horváth, András | Telek, Miklós | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
455.
|
|
|
456.
|
Software Composition (vol. # 4089) Электронный ресурс 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers edited by Welf Löwe, Mario Südholt by Löwe, Welf | Südholt, Mario | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
457.
|
Automotive Software- Connected Services in Mobile Networks Электронный ресурс First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers edited by Manfred Broy, Ingolf Krüger, Michael by Broy, Manfred | Krüger, Ingolf | Meisinger, Michael | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
458.
|
|
|
459.
|
Information Security Applications Электронный ресурс 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers / edited by Jae Kwang Lee, Okyeon Yi, Moti Yung. by Lee, Jae Kwang | Yi, Okyeon | Yung, Moti | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
460.
|
Computational Intelligence (vol. # 4114) Электронный ресурс International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II edited by De-Shuang Huang, Kang Li, George William Irwin. by Huang, De-Shuang | Irwin, George William | Li, Kang | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
461.
|
|
|
462.
|
|
|
463.
|
|
|
464.
|
|
|
465.
|
|
|
466.
|
|
|
467.
|
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; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
|
|
468.
|
|
|
469.
|
Database and XML Technologies (vol. # 4156) Электронный ресурс 4th International XML Database Symposium, XSym 2006, Seoul, Korea, September 10-11, 2006, Proceedings edited by Sihem Amer-Yahia, Zohra Bellahsène, Ela Hunt, Rainer Unland et a by Amer-Yahia, Sihem | Bellahsène, Zohra | Hunt, Ela | Unland, Rainer | Yu, Jeffrey Xu | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
470.
|
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; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
471.
|
|
|
472.
|
|
|
473.
|
Advanced Environments, Tools, and Applications for Cluster Computing Электронный ресурс NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1–6, 2001 Revised Papers / edited by Dan Grigoras, Alex Nicolau, Bernard Toursel, Bertil Folliot. by Grigoras, Dan | Folliot, Bertil | Nicolau, Alex | Toursel, Bernard. Series: Lecture Notes in Computer ScienceMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
|
|
474.
|
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; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
475.
|
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; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
476.
|
|
|
477.
|
|
|
478.
|
|
|
479.
|
Discovery Science (vol. # 4265) Электронный ресурс 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings edited by Nada Lavrac, Ljupco Todorovski, Klaus P. Jantke. by Lavrač, Nada | Jantke, Klaus P | Todorovski, Ljupčo | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
480.
|
|
|
481.
|
|
|
482.
|
|
|
483.
|
|
|
484.
|
Reasoning Web (vol. # 4126) Электронный ресурс Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures edited by Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze et al. by Barahona, Pedro | Bry, François | Franconi, Enrico | Henze, Nicola | Sattler, Ulrike | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
485.
|
|
|
486.
|
|
|
487.
|
|
|
488.
|
|
|
489.
|
|
|
490.
|
Computer Safety, Reliability, and Security (vol. # 4166) Электронный ресурс 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings edited by Janusz Górski by Górski, Janusz | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
491.
|
Foundations of Intelligent Systems (vol. # 4203) Электронный ресурс 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings edited by Floriana Esposito, Zbigniew W. Ras, Donato Malerba, Giovanni Semeraro by Esposito, Floriana | Malerba, Donato | Ras, Zbigniew W | Semeraro, Giovanni | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
492.
|
|
|
493.
|
|
|
494.
|
|
|
495.
|
|
|
496.
|
Programming Multi-Agent Systems Электронный ресурс 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni. by Bordini, Rafael H | Dastani, Mehdi | Dix, Jürgen | Seghrouchni, Amal El Fallah | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
497.
|
|
|
498.
|
|
|
499.
|
Cooperative Design, Visualization, and Engineering (vol. # 4101) Электронный ресурс Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings edited by Yuhua Luo. by Luo, Yuhua | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
500.
|
|