Results of search for 'ccl=su:{Theory}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3381.	Reasoning Web - Semantic Technologies for Advanced Query Answering [electronic resource] : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings / by Eiter, Thomas [editor.] Krennwallner, Thomas [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7487 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)
	3382.	Web Reasoning and Rule Systems [electronic resource] : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. / by ten Cate, Balder [editor.] Mileo, Alessandra [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9209 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)
	3383.	PRICAI 2010: Trends in Artificial Intelligence [electronic resource] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30-September 2, 2010. Proceedings / by Zhang, Byoung-Tak [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6230 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)
	3384.	Haptic and Audio Interaction Design [electronic resource] : First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings / by McGookin, David [editor.] Brewster, Stephen [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4129 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)
	3385.	Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / by Calmet, Jacques [editor.] Geiselmann, Willi [editor.] Müller-Quade, Jörn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5393 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)
	3386.	Life System Modeling and Simulation [electronic resource] : International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings / by Fei, Minrui [editor.] Irwin, George W [editor.] Ma, Shiwei [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4689 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)
	3387.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 7th International Conference, MLDM 2011, New York, NY, USA, August 30-September 3, 2011Proceedings / by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6871 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)
	3388.	Journal on Data Semantics V [electronic resource] / by Spaccapietra, Stefano [editor.] Atzeni, Paolo [editor.] Chu, Wesley W [editor.] Catarci, Tiziana [editor.] Sycara, Katia P [editor.] SpringerLink (Online service) Series: Journal on Data Semantics ; 3870 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)
	3389.	Architecture of Computing Systems - ARCS 2017 [electronic resource] : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings / by Knoop, Jens [editor.] Karl, Wolfgang [editor.] Schulz, Martin [editor.] Inoue, Koji [editor.] Pionteck, Thilo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10172 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)
	3390.	Anticipatory Behavior in Adaptive Learning Systems [electronic resource] : From Psychological Theories to Artificial Cognitive Systems / by Pezzulo, Giovanni [editor.] Butz, Martin V [editor.] Sigaud, Olivier [editor.] Baldassarre, Gianluca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5499 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)
	3391.	Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers / by Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5289 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)
	3392.	The Semantic Web [electronic resource] : 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II / by Blomqvist, Eva [editor.] Maynard, Diana [editor.] Gangemi, Aldo [editor.] Hoekstra, Rinke [editor.] Hitzler, Pascal [editor.] Hartig, Olaf [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10250 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)
	3393.	Artificial Neural Networks – ICANN 2009 [electronic resource] : 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I / by Alippi, Cesare [editor.] Polycarpou, Marios M [editor.] Panayiotou, Christos [editor.] Ellinas, Georgios [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5768 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)
	3394.	Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by Fiadeiro, José Luis [editor.] Harman, Neil [editor.] Roggenbach, Markus [editor.] Rutten, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3629 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)
	3395.	Data Engineering and Management [electronic resource] : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers / by Kannan, Rajkumar [editor.] Andres, Frederic [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6411 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)
	3396.	Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers / by Masulli, Francesco [editor.] Tagliaferri, Roberto [editor.] Verkhivker, Gennady M [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 5488 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)
	3397.	Artificial Life and Computational Intelligence [electronic resource] : Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 – February 2, 2017, Proceedings / by Wagner, Markus [editor.] Li, Xiaodong [editor.] Hendtlass, Tim [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10142 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)
	3398.	Mathematics of Program Construction [electronic resource] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / by Hinze, Ralf [editor.] Voigtländer, Janis [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9129 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)
	3399.	Database Systems for Advanced Applications [electronic resource] : 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005, Proceedings / by Zhou, Lizhu [editor.] Ooi, Beng Chin [editor.] Meng, Xiaofeng [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3453 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)
	3400.	Future Generation Information Technology [electronic resource] : First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009, Proceedings / by Lee, Young Hoon [editor.] Slezak, Dominik [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5899 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.