Results
|
|
1.
|
|
|
|
|
2.
|
|
|
|
|
3.
|
|
|
|
|
4.
|
|
|
|
|
5.
|
|
|
|
|
6.
|
|
|
|
|
7.
|
|
|
|
|
8.
|
|
|
|
|
9.
|
|
|
|
|
10.
|
|
|
|
|
11.
|
|
|
|
|
12.
|
|
|
|
|
13.
|
|
|
|
|
14.
|
|
|
|
|
15.
|
|
|
|
|
16.
|
|
|
|
|
17.
|
|
Neural Information Processing [electronic resource] : 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part I / edited by Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang. by Series: Lecture Notes in Computer Science ; 4232
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 K56 2006.
|
|
|
18.
|
|
|
|
|
19.
|
|
|
|
|
20.
|
|
Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. by Series: Lecture Notes in Computer Science ; 3875
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.76.V47 U7 2006.
|