Results
|
161.
|
|
|
162.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by C. R. Ramakrishnan, Jakob Rehof. by Series: Lecture Notes in Computer Science ; 4963
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.9.S88 R36 2008.
|
|
163.
|
|
|
164.
|
|
|
165.
|
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 .
|
|
166.
|
|
|
167.
|
|
|
168.
|
|
|
169.
|
|
|
170.
|
|
|
171.
|
|
|
172.
|
Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I / edited by De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin Huang. by Series: Lecture Notes in Computer Science ; 3644
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: Q342 H83 2005.
|
|
173.
|
|
|
174.
|
|
|
175.
|
|
|
176.
|
|
|
177.
|
|
|
178.
|
Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics [electronic resource] : 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Elena Marchiori, Jason H. Moore, Jagath C. Rajapakse. by Series: Lecture Notes in Computer Science ; 4447
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 M37 2007.
|
|
179.
|
|
|
180.
|
Combinatorial Image Analysis [electronic resource] : 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings / edited by Valentin E. Brimkov, Reneta P. Barneva, Herbert A. Hauptman. by Series: Lecture Notes in Computer Science ; 4958
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: TA1637B75 2008.
|