Table of contents

  1. Front Matter
  2. Brian Randell
    Pages 21-50
  3. Jeffrey D. Ullman
    Pages 87-101
  4. Zohar Manna, Amir Pnueli
    Pages 129-153
  5. Gianfranco Bilardi, Franco P. Preparata
    Pages 155-174
  6. Roy Campbell, Sean Dorward, Anand Iyengar, Chuck Kalmanek, Gary Murakami, Ravi Sethi et al.
    Pages 175-186
  7. Michael Brady
    Pages 217-231
  8. Jan J. Koenderink
    Pages 233-251
  9. Arun N. Netravali
    Pages 253-264
  10. K. J. Åström
    Pages 265-278
  11. Roger W. Brockett
    Pages 279-289
  12. Wendell H. Fleming
    Pages 291-300
  13. Pravin Varaiya
    Pages 315-330
  14. C. Baiocchi, F. Brezzi, L. D. Marini
    Pages 343-355
  15. Back Matter

About these proceedings


This volume contains the proceedings of the International Conference on Research in Computer Science and Control, held on the occasion of the 25th anniversary of INRIA in December 1992. The objective of this conference was to bring together a large number of the world's leading specialists in information technology who are particularly active in the fields covered by INRIA research programmes, to present the state of the art and a prospective view of future research. The contributions in the volume are organized into the following areas: Parallel processing, databases, networks, and distributed systems; Symbolic computation, programming, and software engineering; Artificial intelligence, cognitive systems, and man-machine interaction; Robotics, image processing, and computer vision; Signal processing, control and manufacturing automation; Scientific computing, numerical software, and computer aided engineering.


Automat Processing artificial intelligence automation computer vision databases distributed systems image processing robotics scientific computing

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56320-4
  • Online ISBN 978-3-540-47520-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods