Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Software Engineering and su-to:Artificial Intelligence and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by Degano, Pierpaolo [editor.] de Nicola, Rocco [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5065 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	122.	Conceptual Modeling [electronic resource] : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings / by Mayr, Heinrich C [editor.] Guizzardi, Giancarlo [editor.] Ma, Hui [editor.] Pastor, Oscar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10650 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	123.	Mathematical Aspects of Computer and Information Sciences [electronic resource] : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings / by Blömer, Johannes [editor.] Kotsireas, Ilias S [editor.] Kutsia, Temur [editor.] Simos, Dimitris E [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10693 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	124.	Graph Transformation [electronic resource] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / by Giese, Holger [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8571 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	125.	Verified Software: Theorie, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / by Cohen, Ernie [editor.] Rybalchenko, Andrey [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8164 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	126.	Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / by Costantini, Stefania [editor.] Franconi, Enrico [editor.] Van Woensel, William [editor.] Kontchakov, Roman [editor.] Sadri, Fariba [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10364 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	127.	Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / by Parthasarathy, Madhusudan [editor.] Seshia, Sanjit A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7358 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	128.	Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / by Urban, Christian [editor.] Zhang, Xingyuan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9236 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	129.	Logic, Language, Information, and Computation [electronic resource] : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / by Moss, Lawrence S [editor.] de Queiroz, Ruy [editor.] Martinez, Maricarmen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10944 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	130.	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / by Beckert, Bernhard [editor.] Hähnle, Reiner [editor.] Schmitt, Peter H [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4334 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	131.	Engineering Multi-Agent Systems [electronic resource] : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers / by Baldoni, Matteo [editor.] Müller, Jörg P [editor.] Nunes, Ingrid [editor.] Zalila-Wenkstern, Rym [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10093 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	132.	Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings / by Kuznetsov, Sergei O [editor.] Schmidt, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4390 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	133.	Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / by Olivetti, Nicola [editor.] Tiwari, Ashish [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9706 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	134.	Logics in Artificial Intelligence [electronic resource] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / by Michael, Loizos [editor.] Kakas, Antonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10021 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	135.	Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / by Fisher, Michael [editor.] van der Torre, Leon [editor.] Dastani, Mehdi [editor.] Governatori, Guido [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7486 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	136.	Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / by van der Meyden, Ron [editor.] Smaus, Jan-Georg [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6572 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	137.	Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / by Escobar, Santiago [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5979 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	138.	Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings / by Van Eekelen, Marko [editor.] Geuvers, Herman [editor.] Schmaltz, Julien [editor.] Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6898 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	139.	Formal Concept Analysis [electronic resource] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings / by Ferré, Sébastien [editor.] Rudolph, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5548 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	140.	Theoretical Aspects of Computing – ICTAC 2017 [electronic resource] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / by Hung, Dang Van [editor.] Kapur, Deepak [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10580 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 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 371 results.