Log in

Normal view MARC view ISBD view

Decision procedures : an algorithmic point of view

By: Kroening, Daniel.

Contributor(s): Strichman, Ofer.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: Texts in theoretical computer science.Publisher: Berlin: Springer, 2008Description: xvi, 304 p.; ill.: 24 cm.ISBN: 9783540741046 .Subject(s): Computer science | Decision making -- Mathematical models | Information theory | Logic design | Software engineeringDDC classification: 518.1

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 2 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		518.1 KRO (Browse shelf)	Available		021035
Books		518.1 KRO (Browse shelf)	Available		020584

Browsing DAIICT Shelves Close shelf browser

Previous								Next
Previous	518.1 GRA Discrete calculus: applied analysis on graphs for computational science	518.1 HOR Fundamental of computer algorithms	518.1 KLE Basic concepts in algorithms	518.1 KRO Decision procedures : an algorithmic point of view	518.1 KRO Decision procedures : an algorithmic point of view	518.1 MIT Probability and computing : randomized algorithms and probabilistic analysis	518.1 MIT Probability and computing : randomization and probabilistic techniques in algorithms and data analysis	Next

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha