ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 2335 results.

Not what you expected? Check for suggestions
Sort
Results
761.
Temporal Logic in Specification Altrincham, UK, April 8-10, 1987 Proceedings / edited by B. Banieqbal, H. Barringer, A. Pnueli. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

762.
Optimal Algorithms International Symposium Varna, Bulgaria, May 29-June 2, 1989 Proceedings / edited by Hristo Djidjev. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

763.
Foundations of Software Technology and Theoretical Computer Science Ninth Conference, Bangalore, India December 19-21, 1989 Proceedings / edited by C. E. Veni Madhavan. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

764.
Concrete and Abstract Voronoi Diagrams by Rolf Klein. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

765.
766.
767.
STACS 90 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22-24, 1990 Proceedings / edited by Christian Choffrut, Thomas Lengauer. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

768.
Graph-Theoretic Concepts in Computer Science 15th International Workshop WG '89 Castle Rolduc, The Netherlands, June 14-16, 1989 Proceedings / edited by Manfred Nagl. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

769.
Advances in Petri Nets 1989 edited by Grzegorz Rozenberg. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

770.
STACS 91 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14-16, 1991 Proceedings / edited by Christian Choffrut, Matthias Jantzen. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

771.
LATIN '92 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6-10, 1992 Proceedings / edited by Imre Simon. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

772.
Computer Algebra and Parallelism Second International Workshop Ithaca, USA, May 9-11, 1990 Proceedings / edited by Richard E. Zippel. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

773.
CAAP '90 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15-18, 1990 Proceedings / edited by A. Arnold. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

774.
Parallel Computation First International ACPC Conference Salzburg, Austria, September 30 - October 2, 1991 Proceedings / edited by Hans P. Zima. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

775.
Data structures and efficient algorithms Final Report on the DFG Special Joint Initiative / edited by B. Monien, Th. Ottmann. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

776.
Automata, Languages and Programming 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings / edited by Michael S. Paterson. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

777.
SWAT 90 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990 Proceedings / edited by John R. Gilbert, Rolf Karlsson. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

778.
Algorithms International Symposium SIGAL '90 Tokyo, Japan, August 16-18, 1990 Proceedings / edited by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

779.
Mathematical Foundations of Computer Science 1990 Banská Bystrica, Czechoslovakia August 27-31, 1990 Proceedings / edited by Branislav Rovan. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

780.
Theory of Computing and Systems ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages