Results
|
|
761.
|
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. by Series: Lecture Notes in Computer Science ; 4573
Material type:  Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
762.
|
|
|
|
763.
|
|
|
|
764.
|
Active Mining [electronic resource] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003. Revised Selected Papers / edited by Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda. by Series: Lecture Notes in Computer Science ; 3430
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D343 T78 2005.
|
|
|
765.
|
|
|
|
766.
|
Advances in Data Mining. Applications in Medicine, Web Mining, Marketing, Image and Signal Mining [electronic resource] : 6th Industrial Conference on Data Mining, ICDM 2006, Leipzig, Germany, July 14-15, 2006. Proceedings / edited by Petra Perner. by Series: Lecture Notes in Computer Science ; 4065
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D343 P47 2006.
|
|
|
767.
|
Gesture in Human-Computer Interaction and Simulation [electronic resource] : 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers / edited by Sylvie Gibet, Nicolas Courty, Jean-François Kamp. by Series: Lecture Notes in Computer Science ; 3881
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.G53 2006.
|
|
|
768.
|
Advances in Hybrid Information Technology [electronic resource] : First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers / edited by Marcin S. Szczuka, Daniel Howard, Dominik Ślȩzak, Haeng-kon Kim, Tai-hoon Kim, Il-seok Ko, Geuk Lee, Peter M. A. Sloot. by Series: Lecture Notes in Computer Science ; 4413
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 S93 2007.
|
|
|
769.
|
|
|
|
770.
|
Intelligent Robotics and Applications [electronic resource] : First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part I / edited by Caihua Xiong, Honghai Liu, Yongan Huang, Youlun Xiong. by Series: Lecture Notes in Computer Science ; 5314
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ210.3 X56 2008.
|
|
|
771.
|
Advances in Artificial Life [electronic resource] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007. Proceedings / edited by Fernando Almeida e Costa, Luis Mateus Rocha, Ernesto Costa, Inman Harvey, António Coutinho. by Series: Lecture Notes in Computer Science ; 4648
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH324.2 A46 2007.
|
|
|
772.
|
Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss. by Series: Lecture Notes in Computer Science ; 4327
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 B35 2006.
|
|
|
773.
|
Multiple Classifier Systems [electronic resource] : 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005. Proceedings / edited by Nikunj C. Oza, Robi Polikar, Josef Kittler, Fabio Roli. by Series: Lecture Notes in Computer Science ; 3541
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q325.5 O93 2005.
|
|
|
774.
|
|
|
|
775.
|
Advances in Neural Networks – ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part III / edited by Jun Wang, Xiao-Feng Liao, Zhang Yi. by Series: Lecture Notes in Computer Science ; 3498
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 W364 2005.
|
|
|
776.
|
Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / edited by Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli. by Series: Lecture Notes in Computer Science ; 4894
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.63 B56 2008 .
|
|
|
777.
|
|
|
|
778.
|
Computational Intelligence [electronic resource] : 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 Series: Lecture Notes in Computer Science ; 4114
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q342 H83 2006.
|
|
|
779.
|
|
|
|
780.
|
|