Научная библиотека ТГУ catalog › Results of search for 'se,phr:"Lecture notes in computer science"'

Your search returned 3964 results.

	251.	Trust Management (vol. # 3986) Электронный ресурс 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings edited by Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci. by Stølen, Ketil \| Martinelli, Fabio \| Massacci, Fabio \| Winsborough, William H \| 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 : Log in to add tags Add to cart (remove)
	252.	Algebra, Meaning, and Computation Электронный ресурс Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer. by Futatsugi, Kokichi \| Jouannaud, Jean-Pierre \| Meseguer, José \| 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 : Log in to add tags Add to cart (remove)
	253.	Computing and Combinatorics (vol. # 4112) Электронный ресурс 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings edited by Danny Z. Chen, D.T. Lee. by Chen, Danny Z \| Lee, D. T \| 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 : Log in to add tags Add to cart (remove)
	254.	Fast Software Encryption (vol. # 4047) Электронный ресурс 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers edited by Matt Robshaw. by Robshaw, Matt \| 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 : Log in to add tags Add to cart (remove)
	255.	Intelligent Tutoring Systems Электронный ресурс 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings edited by Mitsuru Ikeda, Kevin Ashlay, Tak-Wai Chan. by Ikeda, Mitsuru \| Ashlay, Kevin \| Chan, Tak-Wai \| 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 : Log in to add tags Add to cart (remove)
	256.	RoboCup 2007: Robot Soccer World Cup XI Электронный ресурс edited by Jaime G. Carbonell, Jörg Siekmann, Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert. by Carbonell, Jaime G \| Dellaert, Frank \| Ohashi, Takeshi \| Ribeiro, Fernando \| Siekmann, Jörg \| Visser, Ubbo \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	257.	Declarative Programming for Knowledge Management Электронный ресурс 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers by Umeda, Masanobu \| Bartenstein, Oskar \| Geske, Ulrich \| Seipel, Dietmar \| Takata, Osamu \| Wolf, Armin \| 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 : Log in to add tags Add to cart (remove)
	258.	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; Format: electronic available online 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 (remove)
	259.	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 : Log in to add tags Add to cart (remove)
	260.	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 : Log in to add tags Add to cart (remove)
	261.	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 : Log in to add tags Add to cart (remove)
	262.	Advances in Case-Based Reasoning Электронный ресурс 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings edited by Thomas Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir by Roth-Berghofer, Thomas \| Göker, Mehmet H \| Güvenir, H. Altay \| 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 : Log in to add tags Add to cart (remove)
	263.	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 : Log in to add tags Add to cart (remove)
	264.	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 : Log in to add tags Add to cart (remove)
	265.	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; Format: electronic available online 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 (remove)
	266.	Computational Logic in Multi-Agent Systems Электронный ресурс 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni. by Inoue, Katsumi \| Satoh, Ken \| Toni, Francesca \| 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 : Log in to add tags Add to cart (remove)
	267.	Biomedical Simulation Электронный ресурс 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 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, Fernando Bello, P. J. Eddie Edwards. by Hutchison, David \| Bello, Fernando \| Edwards, P. J. Eddie \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	268.	Deontic Logic in Computer Science Электронный ресурс 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Ron Meyden, Leendert Torre. by Carbonell, Jaime G \| Meyden, Ron van der \| Siekmann, Jörg \| Torre, Leendert \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	269.	Implementation and Applications of Automata Электронный ресурс 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Oscar H. Ibarra, Bala Ravikumar. by Hutchison, David \| Ibarra, Oscar H \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Ravikumar, Bala \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	270.	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 : Log in to add tags Add to cart (remove)
	271.	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 : Log in to add tags Add to cart (remove)
	272.	Product-Focused Software Process Improvement Электронный ресурс 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings / edited by Andreas Jedlitschka, Outi Salo. by Jedlitschka, Andreas \| Salo, Outi \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	273.	Articulated Motion and Doformable Objects Электронный ресурс 4th International Conference, AMDO 2006, Port d'Andratx, Mallorca, Spain, July 11-14, 2006, Proceedings edited by Francisco J. Perales, Robert B. Fisher. by Perales, Francisco J \| Fisher, Robert B \| 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 : Log in to add tags Add to cart (remove)
	274.	Computers Helping People with Special Needs Электронный ресурс 11th International Conference, ICCHP 2008, Linz, Austria, July 9-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, Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer. by Hutchison, David \| Kanade, Takeo \| Karshmer, Arthur \| Kittler, Josef \| Klaus, Joachim \| Kleinberg, Jon M \| Mattern, Friedemann \| Miesenberger, Klaus \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Zagler, Wolfgang \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	275.	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; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	276.	SDL 2001: Meeting UML Электронный ресурс 10th International SDL Forum Copenhagen, Denmark, June 27вЂ“29, 2001 Proceedings / edited by Rick Reed, Jeanne Reed. by Reed, Rick \| Reed, Jeanne. 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 : Log in to add tags Add to cart (remove)
	277.	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 : Log in to add tags Add to cart (remove)
	278.	Artificial Intelligence: Methodology, Systems, and Applications Электронный ресурс 10th International Conference, AIMSA 2002 Varna, Bulgaria, September 4вЂ“6, 2002 Proceedings / edited by Donia Scott. by Scott, Donia. 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 : Log in to add tags Add to cart (remove)
	279.	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; Format: electronic available online 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 (remove)
	280.	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 : Log in to add tags Add to cart (remove)
	281.	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 : Log in to add tags Add to cart (remove)
	282.	Protocols for High Speed Networks Электронный ресурс 7th IFIP/IEEE International Workshop, PfHSN 2002 Berlin, Germany, April 22вЂ“24, 2002 Proceedings / edited by Georg Carle, Martina Zitterbart. by Carle, Georg \| Zitterbart, Martina. Series: Lecture Notes in Computer ScienceMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	283.	Software Product-Family Engineering Электронный ресурс 4th International Workshop, PFE 2001 Bilbao, Spain, October 3вЂ“5, 2001 Revised Papers / edited by Frank Linden. by Linden, Frank. 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 : Log in to add tags Add to cart (remove)
	284.	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 : Log in to add tags Add to cart (remove)
	285.	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 : Log in to add tags Add to cart (remove)
	286.	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 : Log in to add tags Add to cart (remove)
	287.	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 : Log in to add tags Add to cart (remove)
	288.	Advances in Learning Classifier Systems Электронный ресурс 4th International Workshop, IWLCS 2001 San Francisco, CA, USA, July 7-8, 2001 Revised Papers / edited by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson. by Lanzi, Pier Luca \| Stolzmann, Wolfgang \| Wilson, Stewart W. 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 : Log in to add tags Add to cart (remove)
	289.	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 : Log in to add tags Add to cart (remove)
	290.	Business Process Management Workshops (vol. # 4103) Электронный ресурс BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings edited by Johann Eder, Schahram Dustdar. by Eder, Johann \| Dustdar, Schahram \| 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 : Log in to add tags Add to cart (remove)
	291.	Combinatorial Pattern Matching Электронный ресурс 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings / by Gad M. Landau ; edited by Amihood Amir. by Landau, Gad M \| Amir, Amihood. 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 : Log in to add tags Add to cart (remove)
	292.	Information and Communications Security (vol. # 4307) Электронный ресурс 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings edited by Peng Ning, Sihan Qing, Ninghui Li. by Ning, Peng \| Li, Ninghui \| Qing, Sihan \| 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 : Log in to add tags Add to cart (remove)
	293.	Current Topics in Artificial Intelligence Электронный ресурс 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers edited by Roqu by Marín, Roque \| Bugarín, Alberto \| Onaindía, Eva \| Santos, José \| 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 : Log in to add tags Add to cart (remove)
	294.	Progress in Nonlinear Speech Processing Электронный ресурс edited by Yannis Stylianou, Marcos Faundez-Zanuy, Anna Esposito. by Stylianou, Yannis \| Esposito, Anna \| Faundez-Zanuy, Marcos \| 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 : Log in to add tags Add to cart (remove)
	295.	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 : Log in to add tags Add to cart (remove)
	296.	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 : Log in to add tags Add to cart (remove)
	297.	Progress in Pattern Recognition, Image Analysis and Applications (vol. # 4225) Электронный ресурс 11th Iberoamerican Congress on Pattern Recognition, CIARP 2006, Cancun, Mexico, November 14-17, 2006, Proceedings edited by José Francisco Martínez-Trinidad by Martínez-Trinidad, José Francisco \| Carrasco Ochoa, Jesús Ariel \| Kittler, Josef \| 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 : Log in to add tags Add to cart (remove)
	298.	Innovative Approaches for Learning and Knowledge Sharing Электронный ресурс First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006, Proceedings edited by Wolfgang Nejdl, Klaus Tochtermann by Nejdl, Wolfgang \| Tochtermann, Klaus \| 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 : Log in to add tags Add to cart (remove)
	299.	Algorithmic Learning Theory (vol. # 4264) Электронный ресурс 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings edited by José L. Balcázar, Philip M. Long, Frank Stephan. by Balcázar, José L \| Long, Philip M \| Stephan, Frank \| 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 : Log in to add tags Add to cart (remove)
	300.	Scale-Space and Morphology in Computer Vision Электронный ресурс Third International Conference, Scale-Space 2001 Vancouver, Canada, July 7вЂ“8, 2001 Proceedings / edited by Michael Kerckhove. by Kerckhove, Michael. Series: Lecture Notes in Computer Science 2106Material 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 : Log in to add tags Add to cart (remove)