Your search returned 7 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 2: specification of systems and languages by Bjorner, D Series: Texts in theoretical computer science: an EATCS seires Publication details: New York Springer-Verlag 2006 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.1 B5S6-II. 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)
		Extremal combinatorics: with applications in computer science by Jukna, Stasys Series: Texts in Theoretical Computer Science Publication details: New York SpringerVerlag 2001 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 511.6 J8E9. 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)