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

Results
	141.	Algorithmic Game Theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / by Serna, Maria [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7615 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)
	142.	Conceptual Modeling - ER 2008 [electronic resource] : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings / by Li, Qing [editor.] Spaccapietra, Stefano [editor.] Yu, Eric [editor.] Olivé, Antoni [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5231 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)
	143.	Replication [electronic resource] : Theory and Practice / by Charron-Bost, Bernadette [editor.] Pedone, Fernando [editor.] Schiper, Andre [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5959 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)
	144.	The Challenge of Anticipation [electronic resource] : A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems / by Pezzulo, Giovanni [editor.] Butz, Martin V [editor.] Castelfranchi, Cristiano [editor.] Falcone, Rino [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5225 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)
	145.	Haptics: Perception, Devices, Control, and Applications [electronic resource] : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II / by Bello, Fernando [editor.] Kajimoto, Hiroyuki [editor.] Visell, Yon [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9775 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)
	146.	Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / by Varbanescu, Ana Lucia [editor.] Molnos, Anca [editor.] van Nieuwpoort, Rob [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6161 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)
	147.	CONCUR 2009 - Concurrency Theory [electronic resource] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings / by Bravetti, Mario [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5710 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)
	148.	Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings / by Barthe, Gilles [editor.] Livshits, Ben [editor.] Scandariato, Riccardo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7159 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)
	149.	Software Architecture [electronic resource] : First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings / by Oquendo, Flavio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4758 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)
	150.	Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings / by Wolff, Burkhart [editor.] Zaidi, Fatiha [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7019 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)
	151.	Advances in Computation and Intelligence [electronic resource] : Third International Symposium on Intelligence Computation and Applications, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / by Yan, Xuesong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5370 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)
	152.	Uncertainty Reasoning for the Semantic Web I [electronic resource] : ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers / by Costa, Paulo Cesar G [editor.] d'Amato, Claudia [editor.] Fanizzi, Nicola [editor.] Laskey, Kathryn B [editor.] Laskey, Kenneth J [editor.] Nickles, Matthias [editor.] Pool, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5327 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)
	153.	Graph Drawing [electronic resource] : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers / by Brandes, Ulrik [editor.] Cornelsen, Sabine [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6502 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)
	154.	Advances in Computational Intelligence [electronic resource] : 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II / by Rojas, Ignacio [editor.] Joya, Gonzalo [editor.] Catala, Andreu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9095 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)
	155.	Distributed, Ambient, and Pervasive Interactions [electronic resource] : First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / by Streitz, Norbert [editor.] Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8028 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	156.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings / by Glinz, Martin [editor.] Heymans, Patrick [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5512 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)
	157.	Advances in Swarm Intelligence [electronic resource] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / by Tan, Ying [editor.] Shi, Yuhui [editor.] Li, Li [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9713 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)
	158.	Fundamentals of Software Engineering [electronic resource] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / by Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5961 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)
	159.	Spatial Information Theory [electronic resource] : 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings / by Winter, Stephan [editor.] Duckham, Matt [editor.] Kulik, Lars [editor.] Kuipers, Ben [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4736 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)
	160.	Spatial Information Theory [electronic resource] : 10th International Conference, COSIT 2011, Belfast, ME, USA / by Egenhofer, Max J [editor.] Giudice, Nicholas [editor.] Moratz, Reinhard [editor.] Worboys, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6899 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 198 results.