Results
|
|
1901.
|
Theory and Applications of Satisfiability Testing (vol. # 3569) Электронный ресурс 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings edited by Fahiem Bacchus, Toby Walsh. by Bacchus, Fahiem | Walsh, Toby | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1902.
|
Theorem Proving in Higher Order Logics Электронный ресурс 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings edited by Joe Hurd, Tom Melham. by Hurd, Joe | Melham, Tom | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1903.
|
|
|
|
1904.
|
|
|
|
1905.
|
|
|
|
1906.
|
|
|
|
1907.
|
|
|
|
1908.
|
Fuzzy Systems and Knowledge Discovery (vol. # 3614) Электронный ресурс Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II edited by Yaochu Jin, Lipo Wang. by Jin, Yaochu | Wang, Lipo | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1909.
|
|
|
|
1910.
|
|
|
|
1911.
|
|
|
|
1912.
|
|
|
|
1913.
|
|
|
|
1914.
|
|
|
|
1915.
|
|
|
|
1916.
|
|
|
|
1917.
|
|
|
|
1918.
|
Artificial Neural Networks: Biological Inspirations - ICANN 2005 Электронный ресурс 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I edited by Włodzisław Duch, Janusz Kacprzyk, Erkki Oja, Slawomir by Duch, Włodzisław | Kacprzyk, Janusz | Oja, Erkki | Zadrozny, Slawomir | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1919.
|
Entertainment Computing - ICEC 2005 Электронный ресурс 4th International Conference, Sanda, Japan, September 19-21, 2005, Proceedings edited by Hirokazu Kato, Fumio Kishino, Yoshifumi Kitamura, Noriko Nagata. by Kato, Hirokazu | Kishino, Fumio | Kitamura, Yoshifumi | Nagata, Noriko | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1920.
|
|
|
|
1921.
|
|
|
|
1922.
|
Ambient Networks Электронный ресурс 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings edited by Jürgen Schönwälder, Joan Serrat. by Schönwälder, Jürgen | Serrat, Joan | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1923.
|
|
|
|
1924.
|
|
|
|
1925.
|
|
|
|
1926.
|
Information Security Applications (vol. # 3325) Электронный ресурс 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers edited by Chae Hoon Lim, Moti Yung. by Lim, Chae Hoon | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1927.
|
|
|
|
1928.
|
|
|
|
1929.
|
|
|
|
1930.
|
|
|
|
1931.
|
|
|
|
1932.
|
|
|
|
1933.
|
|
|
|
1934.
|
|
|
|
1935.
|
|
|
|
1936.
|
|
|
|
1937.
|
Semantic Web Services and Web Process Composition Электронный ресурс First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers edited by Jorge Cardoso, Amit Sheth. by Cardoso, Jorge | Sheth, Amit | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1938.
|
|
|
|
1939.
|
|
|
|
1940.
|
Advances in Visual Computing (vol. # 3804) Электронный ресурс First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings edited by George Bebis, Richard Boyle, Darko Koracin, Bahram Parvin. by Bebis, George | Boyle, Richard | Koracin, Darko | Parvin, Bahram | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1941.
|
|
|
|
1942.
|
|
|
|
1943.
|
|
|
|
1944.
|
|
|
|
1945.
|
|
|
|
1946.
|
COTS-Based Software Systems Электронный ресурс 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings edited by Xavier Franch, Dan Port. by Franch, Xavier | Port, Dan | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1947.
|
System Analysis and Modeling Электронный ресурс 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers edited by Daniel Amyot, Alan W. Williams. by Amyot, Daniel | Williams, Alan W | 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., 2005Online access: Click here to access online Availability: No items available :
|
|
|
1948.
|
|
|
|
1949.
|
|
|
|
1950.
|
|
