HTML5 Icon

Your search returned 4 results.

1.
Decision procedures: an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed. Language: English Publisher: Berlin Springer 2016Availability: Items available for loan: Central Library [Call number: 004.0151 KRO/D] (1). Items available for reference: Central Library [Call number: 004.0151 KRO/D] (1).
2.
Fundamentals of the new artificial intelligence: neural, evolutionary, fuzzy and more

by Munakata, Toshinori.

Edition: 2nd ed. Language: English Publisher: New Delhi Springer 2008Availability: Items available for loan: Central Library [Call number: 006.3 MUN/F] (8). Items available for reference: Central Library [Call number: 006.3 MUN/F] (1).
3.
Discrete Mathematics: Elementary And Beyond

by Lovasz, L | Pelikan, J | Vestergombi, K.

Language: English Publisher: United States of America -- Springer -- 2003Availability: Items available for loan: Central Library [Call number: 511.1 LOV/D] (4). Items available for reference: Central Library [Call number: 511.1 LOV/D] (1).
4.
Computer Vision: Algorithms And Applications

by Szeliski, Richard.

Edition: 2nd ed. Language: English Publisher: Switzerland -- Springer -- 2022Availability: No items available

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.