Results
|
2381.
|
|
|
2382.
|
|
|
2383.
|
|
|
2384.
|
Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
|
|
2385.
|
|
|
2386.
|
|
|
2387.
|
|
|
2388.
|
|
|
2389.
|
|
|
2390.
|
|
|
2391.
|
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings / edited by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
|
|
2392.
|
Artifical Evolution 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers / edited by Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
|
|
2393.
|
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
|
|
2394.
|
|
|
2395.
|
|
|
2396.
|
|
|
2397.
|
|
|
2398.
|
|
|
2399.
|
|
|
2400.
|
|