Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Decision procedures : an algorithmic point of view / by Daniel Kroening and Ofer Strichman by
  • Kroening, Daniel
  • Strichman, Ofer
Series: Texts in theoretical computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer, �2008
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 519.542 KRO/D.

Place hold
2.
Decision procedures: an algorithmic point of view / Daniel Kroening and Ofer Strichman by
  • Daniel Kroening [Auhtor]
  • Strichman, Ofer [Joint author]
Series: Texts in theoretical computer science an EATCS series
Language: English
Publication details: Berlin : Springer, 2016
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004.0151 KRO/D.

Place hold
Pages

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha