Your search returned 5 results.

Not what you expected? Check for suggestions

Results
		DNA computing: new computing paradigms by Paun, G Rozenberg, G Salomaa, A Series: Texts in theoretical computer science, an EATCS series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1998 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 651.26 P2D6. Place hold Add to cart (remove)
		Software engineering 1: abstraction and modelling by Bjorner, Dines Series: Texts in theoretical computer science: an EATCS series Publication details: New York Springer-Verlag 2006 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.1 B5S6-I. Place hold Add to cart (remove)
		Software engineering 3: domains, requirements, and software design by Bjorner, Dines Series: Texts in theoretical computer science: an EATCS series Publication details: New York Springer-Verlag 2006 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.1 B5S6-III. Place hold Add to cart (remove)
		Decision procedures: an algorithmic point of view by Kroening, Daniel Strichman, Ofer Series: Texts in theoretical computer science, an EATCS series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Heidelberg Springer-Verlag 2008 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.12 K7D3. Place hold Add to cart (remove)
		Graphs and algorithms in communication networks: studies in broadband, optical, wireless and ad hoc networks by Koster, Arie Koster, Arie M. C. A [Editor] Munoz, Xavier [Editor] Series: Texts in theoretical computer science. an eatcs series ; 3214 Publication details: New York Springer 2010 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 004.6 G7. Place hold Add to cart (remove)