Results
|
|
1701.
|
|
|
|
1702.
|
|
|
|
1703.
|
Life System Modeling and Simulation [electronic resource] : International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings / edited by Kang Li, Xin Li, George William Irwin, Gusen He. by Series: Lecture Notes in Computer Science ; 4689
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.8 L5 2007.
|
|
|
1704.
|
|
|
|
1705.
|
|
|
|
1706.
|
|
|
|
1707.
|
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part III / edited by Bogdan Gabrys, Robert J. Howlett, Lakhmi C. Jain. by Series: Lecture Notes in Computer Science ; 4253
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: TK7801 G33 2006.
|
|
|
1708.
|
|
|
|
1709.
|
|
|
|
1710.
|
Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I / edited by Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Hujun Yin. by Series: Lecture Notes in Computer Science ; 3971
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.87 W364 2006.
|
|
|
1711.
|
|
|
|
1712.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell. by Series: Lecture Notes in Computer Science ; 3542
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: No items available.
|
|
|
1713.
|
Web Technologies Research and Development - APWeb 2005 [electronic resource] : 7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005. Proceedings / edited by Yanchun Zhang, Katsumi Tanaka, Jeffrey Xu Yu, Shan Wang, Minglu Li. by Series: Lecture Notes in Computer Science ; 3399
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: TK5105.888 Z43 2005.
|
|
|
1714.
|
Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems [electronic resource] : First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings / edited by Damien Sauveron, Konstantinos Markantonakis, Angelos Bilas, Jean-Jacques Quisquater. by Series: Lecture Notes in Computer Science ; 4462
Edition: 1a ed.
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: QA76.9.A25 S38 2007.
|
|
|
1715.
|
|
|
|
1716.
|
|
|
|
1717.
|
|
|
|
1718.
|
|
|
|
1719.
|
Programming Multi-Agent Systems [electronic resource] : Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Series: Lecture Notes in Computer Science ; 3346
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.76.I58 B67 2005.
|
|
|
1720.
|
|