13 results
Type of media (3)
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
13 results

Your search for Deepak Kapur

  1. Cover: Dependable Software Engineering: Theories, Tools, and Applications - Springer
    Martin Fränzle | Deepak Kapur | Naijun Zhan
    Dependable Software Engineering: Theories, Tools, and Applications
    Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
    10/2016
    Springer
    9783319476773 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Theoretical Aspects of Computing - ICTAC 2017 - Springer
    Dang Van Hung | Deepak Kapur
    Theoretical Aspects of Computing - ICTAC 2017
    14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
    09/2017
    Springer
    9783319677293 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Automated Reasoning - Springer
    Stéphane Demri | Deepak Kapur | Christoph Weidenbach
    Automated Reasoning
    7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
    07/2014
    Springer
    9783319085876 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Computer Mathematics - Springer
    Deepak Kapur
    Computer Mathematics
    8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers
    09/2008
    Springer
    9783540878278 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  5. Cover: Dependable Software Engineering: Theories, Tools, and Applications - Springer
    Martin Fränzle | Deepak Kapur | Naijun Zhan
    Dependable Software Engineering: Theories, Tools, and Applications
    Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
    10/2016
    Springer
    9783319476766 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Theoretical Aspects of Computing - ICTAC 2017 - Springer
    Dang Van Hung | Deepak Kapur
    Theoretical Aspects of Computing - ICTAC 2017
    14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
    09/2017
    Springer
    9783319677286 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Automated Reasoning - Springer
    Stéphane Demri | Deepak Kapur | Christoph Weidenbach
    Automated Reasoning
    7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
    08/2014
    Springer
    9783319085869 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Computer Mathematics - Springer
    Deepak Kapur
    Computer Mathematics
    8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers
    09/2008
    Springer
    9783540878261 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Exhausted; check different version
  9. Cover: Automated Deduction - CADE-11 - Springer
    Deepak Kapur
    Automated Deduction - CADE-11
    11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
    05/1992
    Springer
    9783540556022 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  10. This image is currently not available.
    Automated Deduction - Cade-11
    11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
    06/1992
    Springer
    9780387556024 (ISBN)
    Book
    Paperback/Softback
    €113.15
    Article not available
  11. This image is currently not available.
    Deepak Kapur | Joseph L. Mundy
    Geometric Reasoning
    06/1989
    MIT Press
    9780262610582 (ISBN)
    Book
    Paperback/Softback
    €33.37
    No shipping information available
  12. This image is currently not available.
    Koji Nakagawa
    Electronic Proceedings of Symposium in Honor of Bruno Buchberger's 60th Birthday
    LMCS 2002
    10/2002
    1st EDN1st Edition
    Universität Linz Research Institute for Symbolic Computation
    9783902276032 (ISBN)
    Other
    Undefined
    €5.00
    Article not available
  13. This image is currently not available.
    Koji Nakagawa
    Proceedingd of Symposium in Honor of Bruno Buchberger's 60th Birthday
    Logic, Mathematics and Computer Science: Interactions
    10/2002
    1st EDN1st Edition
    Universität Linz Research Institute for Symbolic Computation
    9783902276025 (ISBN)
    Other
    Undefined
    €20.00
    Article not available