ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 3153 results.

Not what you expected? Check for suggestions
Sort
Results
141.
Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings / edited by Jerzy Marcinkowski, Andrzej Tarlecki. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

142.
143.
144.
145.
146.
147.
Intelligent Tutoring Systems 7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004. Proceedings / edited by James C. Lester, Rosa Maria Vicari, Fábio Paraguaçu. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

148.
Theorem Proving in Higher Order Logics 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings / edited by Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

149.
150.
Intelligence in Communication Systems IFIP International Conference, INTELLCOMM 2004, Bangkok, Thailand, November 23-26, 2004. Proceedings / edited by Finn Arve Aagesen, Chutiporn Anutariya, Vilas Wuwongse. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

151.
152.
Grid Services Engineering and Management First International Conference, GSEM 2004, Erfurt, Germany, September 27-30, 2004. Proceedings / edited by Mario Jeckle, Ryszard Kowalczyk, Peter Braun. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

153.
154.
Grammatical Inference: Algorithms and Applications 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings / edited by Georgios Paliouras, Yasubumi Sakakibara. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

155.
156.
Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings / edited by Tatyana Yakhno. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

157.
Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / edited by Jürgen Dix, João Leite. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

158.
Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings / edited by Mark Wallace. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

159.
160.
Web Services European Conference, ECOWS 2004, Erfurt, Germany, September 27-30, 2004. Proceedings / edited by Liang-Jie (LJ) Zhang, Mario Jeckle. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages