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

Results
	1041.	Horizons of the Mind. A Tribute to Prakash Panangaden [electronic resource] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / by van Breugel, Franck [editor.] Kashefi, Elham [editor.] Palamidessi, Catuscia [editor.] Rutten, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8464 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)
	1042.	OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Alan Bundy / by Kohlhase, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4180 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)
	1043.	Switching and Learning in Feedback Systems [electronic resource] : European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers / by Murray-Smith, Roderick [editor.] Shorten, Robert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3355 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)
	1044.	Theory and Applications of Formal Argumentation [electronic resource] : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers / by Black, Elizabeth [editor.] Modgil, Sanjay [editor.] Oren, Nir [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10757 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)
	1045.	Quaternions for Computer Graphics [electronic resource] / by Vince, John [author.] SpringerLink (Online service) Edition: 2nd ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1046.	Computer Performance Engineering and Stochastic Modelling [electronic resource] : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20–23, 2023, Proceedings / by Iacono, Mauro [editor.] Scarpa, Marco [editor.] Barbierato, Enrico [editor.] Serrano, Salvatore [editor.] Cerotti, Davide [editor.] Longo, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14231 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)
	1047.	Understanding Planning Tasks [electronic resource] : Domain Complexity and Heuristic Decomposition / by Helmert, Malte [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4929 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)
	1048.	Transactions on Computational Systems Biology XI [electronic resource] : Computational Models for Cell Processes / by Priami, Corrado [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 5750 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)
	1049.	Information Technologies and Mathematical Modelling. Queueing Theory and Applications [electronic resource] : 20th International Conference, ITMM 2021, Named after A.F. Terpugov, Tomsk, Russia, December 1–5, 2021, Revised Selected Papers / by Dudin, Alexander [editor.] Nazarov, Anatoly [editor.] Moiseev, Alexander [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1605 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)
	1050.	Web and Big Data [electronic resource] : 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part II / by Li, Bohan [editor.] Yue, Lin [editor.] Tao, Chuanqi [editor.] Han, Xuming [editor.] Calvanese, Diego [editor.] Amagasa, Toshiyuki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13422 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)
	1051.	Photonic Neural Networks with Spatiotemporal Dynamics [electronic resource] : Paradigms of Computing and Implementation / by Suzuki, Hideyuki [editor.] Tanida, Jun [editor.] Hashimoto, Masanori [editor.] SpringerLink (Online service) Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1052.	Independent Component Analysis and Blind Signal Separation [electronic resource] : 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006, Proceedings / by Rosca, Justinian [editor.] Erdogmus, Deniz [editor.] Principe, Jose C [editor.] Haykin, Simon [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3889 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)
	1053.	Engineering Secure Software and Systems [electronic resource] : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / by Caballero, Juan [editor.] Bodden, Eric [editor.] Athanasopoulos, Elias [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9639 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)
	1054.	Advances in Intelligent Data Analysis VI [electronic resource] : 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings / by Famili, A. Fazel [editor.] Kok, Joost N [editor.] Pena, José M [editor.] Siebes, Arno [editor.] Feelders, Ad [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3646 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)
	1055.	Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings / by Perny, Patrice [editor.] Pirlot, Marc [editor.] Tsoukiàs, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8176 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)
	1056.	Active Inference [electronic resource] : 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13–15, 2023, Revised Selected Papers / by Buckley, Christopher L [editor.] Cialfi, Daniela [editor.] Lanillos, Pablo [editor.] Ramstead, Maxwell [editor.] Sajid, Noor [editor.] Shimazaki, Hideaki [editor.] Verbelen, Tim [editor.] Wisse, Martijn [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1915 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1057.	Large-Scale Scientific Computing [electronic resource] : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Waśniewski, Jerzy [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9374 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)
	1058.	Theory of Cryptography [electronic resource] : 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010, Proceedings / by Micciancio, Daniele [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5978 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)
	1059.	Critical Information Infrastructure Security [electronic resource] : Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008 / by Setola, Roberto [editor.] Geretshuber, Stefan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5508 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)
	1060.	Theory of Cryptography [electronic resource] : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings / by Cramer, Ronald [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7194 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1234 results.