ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 3153 results.

Not what you expected? Check for suggestions
Sort
Results
1261.
1262.
DNA Computing 7th International Workshop on DNA-Based Computers, DNA7 Tampa, FL, USA, June 10-13, 2001 Revised Papers / edited by Nataša Jonoska, Nadrian C. Seeman. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1263.
1264.
Systems of Reductions by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1265.
Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '92 Bath, U.K., April 13-15, 1992 Proceedings / edited by John Fitch. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1266.
Foundations of Software Technology and Theoretical Computer Science Seventh Conference, Pune, India December 17-19, 1987 Proceedings / edited by Kesav V. Nori. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1267.
1268.
Progress in Artificial Intelligence 6th Portuguese Conference on AI, EPIA '93 Porto, Portugal, October 6-8, 1993 Proceedings / edited by Miguel Filgueiras, Luís Damas. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1269.
Advances in Artificial Intelligence Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93 Torino, Italy, October 26-28, 1993 Proceedings / edited by Pietro Torasso. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1270.
Foundations of Intelligent Systems 13th International Symposium, ISMIS 2002 Lyon, France, June 27-29, 2002 Proceedings / edited by Mohand-Saïd Hacid, Zbigniew W. Raś, Djamel A. Zighed, Yves Kodratoff. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1271.
Human Computer Interaction Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20-22, 1993 Proceedings / edited by Thomas Grechenig, Manfred Tscheligi. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1272.
Formal Methods in Programming and Their Applications International Conference Academgorodok, Novosibirsk, Russia June 28 - July 2, 1993 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1273.
Automata Implementation Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17-19, 1998 Revised Papers / edited by Jean-Marc Champarnaud, Djelloul Ziadi, Denis Maurel. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1274.
1275.
Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings / edited by Jacques Calmet, John A. Campbell. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1276.
A Tight, Practical Integration of Relations and Functions by Harold Boley. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1277.
Innovative Internet Computing Systems Second International Workshop, IICS 2002 Kühlungsborn, Germany, June 20-22, 2002 Proceedings / edited by Herwig Unger, Thomas Böhme, Armin Mikler. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1278.
Principles and Practice of Constraint Programming - CP99 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings / edited by Joxan Jaffar. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1279.
Information Extraction Towards Scalable, Adaptable Systems / edited by Maria Teresa Pazienza. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1280.
Correct System Design Recent Insights and Advances / edited by Ernst-Rüdiger Olderog, Bernhard Steffen. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages