FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. Decision procedures : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin : Springer, ©2016Availability:
Items available for reference: IIITD [REF 519.542 KRO-D] (1).

2. Exact Exponential Algorithms

by Fomin, Fedor V | Kratsch, Dieter.

Source: SpringerLink ebooks - Computer Science (2010)Material type: book Book; Format: electronic available online remote; Literary form: Publisher: New York : Springer ©2010Availability: Items available for loan: IIITD [REF 005.1 FOM-E] (1).

3. Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks

by Koster, Arie | Koster, Arie M. C. A | Munoz, Xavier.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2009Availability: Items available for loan: IIITD [REF 004.6 KOS-G] (1).


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in