Your search returned 4 results.

Results
	1.	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 Series: Texts in theoretical computer science. an eatcs series ; 3214 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2009 Availability: Items available for loan: IIITD (1)Call number: REF 004.6 KOS-G. Place hold Add to cart (remove)
	2.	Exact Exponential Algorithms by Fomin, Fedor V Kratsch, Dieter Series: Texts in Theoretical Computer Science. an EATCS Ser Material type: Text; Format: electronic available online ; Literary form: Publication details: New York : Springer ©2010 SpringerLink ebooks - Computer Science (2010) Availability: Items available for loan: IIITD (1)Call number: REF 005.1 FOM-E. Place hold Add to cart (remove)
	3.	Decision procedures : an algorithmic point of view by Kroening, Daniel Strichman, Ofer Series: Texts in theoretical computer science an EATCS Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 519.542 KRO-D. Add to cart (remove)
	4.	Formal Methods for Software Engineering [electronic resource] : Languages, Methods, Application Domains / by Roggenbach, Markus [author.] Cerone, Antonio [author.] Schlingloff, Bernd-Holger [author.] Schneider, Gerardo [author.] Shaikh, Siraj Ahmed [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in