ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 2335 results.

Not what you expected? Check for suggestions
Sort
Results
801.
Hybrid Systems II edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

802.
Parallel Image Analysis Second International Conference, ICPIA '92 Ube, Japan, December 21-23, 1992 Proceedings / edited by Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S. P. Wang, Katsushi Inoue. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

803.
Graph-Theoretic Concepts in Computer Science 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18-20, 1992 Proceedings / edited by Ernst W. Mayr. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

804.
Instantiation Theory On the Foundations of Automated Deduction / by James G. Williams. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

805.
Algorithms and Data Structures 2nd Workshop, WADS '91 Ottawa, Canada, August 14-16, 1991 Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

806.
STACS 93 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25-27, 1993 Proceedings / edited by P. Enjalbert, A. Finkel, K. W. Wagner. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

807.
Mathematical Foundations of Computer Science 1991 16th International Symposium Kazimierz Dolny, Poland, September 9-13, 1991 Proceedings / edited by 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).

808.
TAPSOFT'93: Theory and Practice of Software Development 4th International Joint Conference CAAP/FASE Orsay, France, April 13-17, 1993 Proceedings / edited by M. -C. Gaudel, J. -P. Jouannaud. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

809.
Advances in Petri Nets 1991 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).

810.
Mathematics of Program Construction Second International Conference, Oxford, U.K., June 29 - July 3, 1992 Proceedings / edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

811.
Advances in Spatial Databases 2nd Symposium, SSD '91 Zurich, Switzerland, August 28-30, 1991 Proceedings / edited by Oliver Günther, Hans-Jörg Schek. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

812.
813.
Advances in Petri Nets 1993 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).

814.
Parallel Architectures and Their Efficient Use First Heinz Nixdorf Symposium Paderborn, Germany, November 11-13, 1992 Proceedings / edited by F. Meyer, B. Monien, A. L. Rosenberg. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

815.
Discrete Geometry for Computer Imagery 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006. Proceedings / edited by Attila Kuba, László G. Nyúl, Kálmán Palágyi. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

816.
817.
Information Security and Privacy 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11-13, 2001 Proceedings / edited by Vijay Varadharajan, Yi Mu. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

818.
Combinatorial Pattern Matching 4th Annual Symposium, CPM 93 Padova, Italy, June 2-4, 1993 Proceedings / edited by Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

819.
Discrete and Computational Geometry Japanese Conference, JCDCG 2000 Tokyo, Japan, November 22-25, 2000 Revised Papers / edited by Jin Akiyama, Mikio Kano, Masatsugu Urabe. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

820.
Automata, Languages and Programming 14th International Colloquium Karlsruhe, Federal Republic of Germany, July 13-17, 1987 Proceedings / edited by Thomas Ottmann. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages