Results of search for 'ccl=su:{Science } and su-to:Machine theory and su-to:Artificial Intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	101.	Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / by Aranda-Corral, Gonzalo A [editor.] Calmet, Jacques [editor.] Martín-Mateos, Francisco J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8884 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)
	102.	Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / by Piterman, Nir [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9434 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)
	103.	Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by Falaschi, Moreno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9527 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)
	104.	Hardware and Software: Verification and Testing [electronic resource] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by Bloem, Roderick [editor.] Arbel, Eli [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10028 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)
	105.	Relational and Algebraic Methods in Computer Science [electronic resource] : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings / by Fahrenberg, Uli [editor.] Jipsen, Peter [editor.] Winter, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12062 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	106.	Software Technologies: Applications and Foundations [electronic resource] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / by Milazzo, Paolo [editor.] Varró, Dániel [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9946 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)
	107.	Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / by Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10982 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	108.	Relational and Algebraic Methods in Computer Science [electronic resource] : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings / by Desharnais, Jules [editor.] Guttmann, Walter [editor.] Joosten, Stef [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11194 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	109.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I / by Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11427 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	110.	Cellular Automata and Discrete Complex Systems [electronic resource] : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings / by Castillo-Ramirez, Alonso [editor.] de Oliveira, Pedro P. B [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11525 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	111.	Principles and Practice of Constraint Programming [electronic resource] : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings / by Schiex, Thomas [editor.] de Givry, Simon [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11802 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	112.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / by Berardi, Stefano [editor.] Coppo, Mario [editor.] Damiani, Ferruccio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3085 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)
	113.	Modeling Decisions for Artificial Intelligence [electronic resource] : Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings / by Torra, Vincenc [editor.] Narukawa, Yasuo [editor.] Valls, Aïda [editor.] Domingo-Ferrer, Josep [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3885 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	114.	Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] : Fourth International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008, Proceedings / by Huang, De-Shuang [editor.] Wunsch, Donald C [editor.] Levine, Daniel S [editor.] Jo, Kang-Hyun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5227 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)
	115.	Rough Sets and Intelligent Systems Paradigms [electronic resource] : International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings / by Kryszkiewicz, Marzena [editor.] Peters, James F [editor.] Rybinski, Henryk [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4585 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)
	116.	Formal Methods: Foundations and Applications [electronic resource] : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / by Carvalho, Gustavo [editor.] Stolz, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12475 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	117.	Grammatical Inference: Algorithms and Applications [electronic resource] : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings / by Clark, Alexander [editor.] Coste, François [editor.] Miclet, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5278 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)
	118.	Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings / by Blume, Matthias [editor.] Kobayashi, Naoki [editor.] Vidal-Oriola, Germán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6009 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)
	119.	AI Approaches to the Complexity of Legal Systems [electronic resource] : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers / by Pagallo, Ugo [editor.] Palmirani, Monica [editor.] Casanovas, Pompeu [editor.] Sartor, Giovanni [editor.] Villata, Serena [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10791 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	120.	Combinatorial Algorithms [electronic resource] : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / by Lipták, Zsuzsanna [editor.] Smyth, William F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9538 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 815 results.