ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 2335 results.

Not what you expected? Check for suggestions
Sort
Results
2121.
Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings / edited by Jin-Kao Hao, Martin Middendorf. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2122.
Genetic Programming 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings / edited by Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, Carlos Cotta. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2123.
2124.
LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / edited by David Fernández-Baca. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2125.
2126.
2127.
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2128.
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / edited by Alexis Vos, Robert Wille. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2129.
Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings / edited by Benny Chor. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2130.
2131.
2132.
2133.
2134.
2135.
2136.
Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2137.
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2138.
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2139.
Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings / edited by Werner Schindler, Sorin A. Huss. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2140.
Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers / edited by Scott Sanner, Marcus Hutter. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages