Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Computer science and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / by Caron, Pascal [editor.] Mignot, Ludovic [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13266 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)
	2.	The Semantic Web: ESWC 2022 Satellite Events [electronic resource] : Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings / by Groth, Paul [editor.] Rula, Anisa [editor.] Schneider, Jodi [editor.] Tiddi, Ilaria [editor.] Simperl, Elena [editor.] Alexopoulos, Panos [editor.] Hoekstra, Rinke [editor.] Alam, Mehwish [editor.] Dimou, Anastasia [editor.] Tamper, Minna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13384 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)
	3.	Logic versus Approximation [electronic resource] : Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday / by Lenski, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3075 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Database Theory - ICDT 2005 [electronic resource] : 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings / by Eiter, Thomas [editor.] Libkin, Leonid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3363 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Principles and Practice of Semantic Web Reasoning [electronic resource] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / by Ohlbach, Hans J [editor.] Schaffert, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3208 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	The Semantic Web: ESWC 2023 Satellite Events [electronic resource] : Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings / by Pesquita, Catia [editor.] Skaf-Molli, Hala [editor.] Efthymiou, Vasilis [editor.] Kirrane, Sabrina [editor.] Ngonga, Axel [editor.] Collarana, Diego [editor.] Cerqueira, Renato [editor.] Alam, Mehwish [editor.] Trojahn, Cassia [editor.] Hertling, Sven [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13998 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Conceptual Modeling - ER 2004 [electronic resource] : 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings / by Atzeni, Paolo [editor.] Chu, Wesley [editor.] Lu, Hongjun [editor.] Zhou, Shuigeng [editor.] Ling, Tok Wang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3288 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / by Gurevich, Yuri [editor.] Kutter, Philipp W [editor.] Odersky, Martin [editor.] Thiele, Lothar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1912 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers / by Blanck, Jens [editor.] Brattka, Vasco [editor.] Hertling, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2064 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Database Theory - ICDT 2001 [electronic resource] : 8th International Conference London, UK, January 4-6, 2001 Proceedings / by Van den Bussche, Jan [editor.] Vianu, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1973 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Mathematical Knowledge Management [electronic resource] : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 / by Asperti, Andrea [editor.] Buchberger, Bruno [editor.] Davenport, James Harold [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2594 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / by Berry, Gerard [editor.] Comon, Hubert [editor.] Finkel, Alain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2102 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Database Theory - ICDT '97 [electronic resource] : 6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings / by Afrati, Foto N [editor.] Kolaitis, Phokion G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1186 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Conceptual Modeling -- ER 2003 [electronic resource] : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings / by Song, Il-Yeol [editor.] Liddle, Stephen W [editor.] Ling, Tok Wang [editor.] Scheuermann, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2813 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Database Theory - ICDT 2003 [electronic resource] : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / by Calvanese, Diego [editor.] Lenzerini, Maurizio [editor.] Motwani, Rajeev [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2572 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Natural Language Processing and Information Systems [electronic resource] : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002, Stockholm, Sweden, June 27-28, 2002, Revised Papers / by Andersson, Birger [editor.] Bergholtz, Maria [editor.] Johannesson, P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2553 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Static Analysis [electronic resource] : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / by Hermenegildo, Manuel [editor.] Puebla, German [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2477 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Conceptual Modeling - ER '98 [electronic resource] : 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings / by Ling, Tok Wang [editor.] Ram, Sudha [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1507 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Conceptual Modeling - ER 2000 [electronic resource] : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings / by Laender, Alberto H.F [editor.] Liddle, Stephen W [editor.] Storey, Veda [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1920 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Natural Language Processing and Information Systems [electronic resource] : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers / by Bouzeghoub, Mokrane [editor.] Kedad, Zoubida [editor.] Metais, Elisabeth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1959 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 22 results.