FEEDBACK Smiley face

Your search returned 351 results. Subscribe to this search

|
1. Introduction to automata theory, languages, and computation

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Addison-Wesley, ©2007Availability: Items available for loan: IIITD [511.3 HOP-I] (13).
Items available for reference: IIITD [REF 511.35 HOP-I] (1).

2. Languages and machines : an introduction to the theory of computer science

by Sudkamp, Thomas A.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson, c2006Online access: Table of contents Availability: Items available for loan: IIITD [511.3 SUD-L] (1).

3. Elements of the theory of computation

by Lewis, Harry R | Papadimitriou, Christos H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : PHI, c1998Availability: Items available for loan: IIITD [511 LEW-E] (1).

4. Introduction theory of automata, formal languages, and computation

by Ghosh, Debidas.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi PHI Learning ©2013Availability: Items available for loan: IIITD [511.35 GHO-I] (1).

5. Textbook on automata theory

by Srimani, P.K | S.F.B., Nasir.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Delhi : Cambridge University Press, 2008Availability: Items available for loan: IIITD [511.35 SRI-T] (1).

6. Introduction to automata theory, languages, and computation

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Delhi : Pearson Education, ©2001Availability: Items available for loan: IIITD [511.3 HOP-I] (1).

7. Computational Intelligence Theory and Applications [electronic resource] :International Conference, 5th Fuzzy Days Dortmund, Germany, April 28–30, 1997 Proceedings /

by Reusch, Bernd [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

8. Field-Programmable Logic and Applications [electronic resource] :7th International Workshop, FPL '97 London, UK, September 1–3, 1997 Proceedings /

by Luk, Wayne [editor.] | Cheung, Peter Y. K [editor.] | Glesner, Manfred [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

9. Computational Logic and Proof Theory [electronic resource] :5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings /

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

10. Formal Methods in Computer-Aided Design [electronic resource] :Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings /

by Gopalakrishnan, Ganesh [editor.] | Windley, Phillip [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

11. Algorithmic Learning Theory [electronic resource] :9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings /

by Richter, Michael M [editor.] | Smith, Carl H [editor.] | Wiehagen, Rolf [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

12. Algorithmic Learning Theory [electronic resource] :10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings /

by Watanabe, Osamu [editor.] | Yokomori, Takashi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

13. Conceptual Structures: Standards and Practices [electronic resource] :7th International Conference on Conceptual Structures, ICCS’99 Blacksburg, VA, USA, July 12–15, 1999 Proceedings /

by Tepfenhart, William M [editor.] | Cyre, Walling [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

14. Computational Intelligence [electronic resource] :Theory and Applications International Conference, 6th Fuzzy Days Dortmund, Germany, May 25–28 1999 Proceedings /

by Reusch, Bernd [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

15. Computational Learning Theory [electronic resource] :4th European Conference, EuroCOLT’99 Nordkirchen, Germany, March 29–31, 1999 Proceedings /

by Fischer, Paul [editor.] | Simon, Hans Ulrich [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

16. Formal Methods in Computer-Aided Design [electronic resource] :Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings /

by Hunt, Warren A [editor.] | Johnson, Steven D [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

17. Algorithmic Learning Theory [electronic resource] :11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings /

by Arimura, Hiroki [editor.] | Jain, Sanjay [editor.] | Sharma, Arun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

18. FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :20th Conference New Delhi, India, December 13–15, 2000 Proceedings /

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

19. Advances in Computing Science — ASIAN 2000 [electronic resource] :6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings /

by Jifeng, He [editor.] | Sato, Masahiko [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

20. Conceptual Structures: Logical, Linguistic, and Computational Issues [electronic resource] :8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings /

by Ganter, Bernhard [editor.] | Mineau, Guy W [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available


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