ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 3153 results.

Not what you expected? Check for suggestions
Sort
Results
1421.
1422.
Logic Program Synthesis and Transformation - Meta-Programming in Logic 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20-21, 1994 Proceedings / edited by Laurent Fribourg, Franco Turini. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1423.
1424.
Analysis of Dynamical and Cognitive Systems Advanced Course Stockholm, Sweden, August 9-14, 1993 Proceedings / edited by Stig I. Andersson. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1425.
Intelligent Agents ECAI-94 Workshop on Agent Theories, Architectures, and Languages Amsterdam, The Netherlands August 8-9, 1994 Proceedings / edited by Michael J. Wooldridge, Nicholas R. Jennings. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1426.
Database Theory - ICDT '95 5th International Conference Prague, Czech Republic, January 11-13, 1995 Proceedings / edited by Georg Gottlob, Moshe Y. Vardi. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1427.
XPS-99: Knowledge-Based Systems. Survey and Future Directions 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999. Proceedings / edited by Frank Puppe. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1428.
Executable Modal and Temporal Logics IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings / edited by Michael Fisher, Richard Owens. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1429.
Machine Translation and the Lexicon Third International EAMT Workshop Heidelberg, Germany, April 26-28, 1993 Proceedings / edited by Petra Steffens. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1430.
Evolution and Biocomputation Computational Models of Evolution / edited by Wolfgang Banzhaf, Frank H. Eeckman. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1431.
Theorem Provers in Circuit Design Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26-28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1432.
Computational Learning Theory Second European Conference, EuroCOLT '95 Barcelona, Spain, March 13-15, 1995 Proceedings / edited by Paul Vitányi. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1433.
Computer Vision, Virtual Reality and Robotics in Medicine First International Conference, CVRMed ’95, Nice, France, April 3-6, 1995 Proceedings / edited by Nicholas Ayache. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1434.
Constraint Programming: Basics and Trends 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16-20, 1994 Selected Papers / edited by Andreas Podelski. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1435.
Practical Aspects of Declarative Languages First International Workshop, PADL’99 San Antonio, Texas, USA, January 18-19, 1999 Proceedings / edited by Gopal Gupta. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1436.
Audio System for Technical Readings by T. V. Raman. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1437.
Theory Reasoning in Connection Calculi by Peter Baumgartner. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1438.
Co-ordination in Artificial Agent Societies Social Structures and Its Implications for Autonomous Problem-Solving Agents / edited by G. Goos, J. Hartmanis, J. Leeuwen. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1439.
Compositionality: The Significant Difference International Symposium, COMPOS’97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures / edited by Willem-Paul Roever, Hans Langmaack, Amir Pnueli. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1440.
Rewriting Techniques and Applications 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5-7, 1995 Proceedings / edited by Jieh Hsiang. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages