Refine your search

• Availability

  • Limit to records with available items

• Authors

  • Calmet, Jacques (2)
  • Limongelli, Carla (1)

• Item types

  • 14-General Book (2)

• Locations

  • General Collection (2)

• Series

  • Lecture notes in com... (2)

• Topics

  • Algebraic number the... (1)
  • Algorithms (1)
  • Automatic theorem pr... (1)
  • Computers (1)
  • Mathematics (1)
  • System design (1)
  • Show more
  • Show less