Results of search for 'ccl=su:{Mathematics } and su-to:Computer science and su-to:Mathematics and itype:SPRINGER and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	381.	Advances in Cryptology – EUROCRYPT 2007 [electronic resource] : 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007, Proceedings / by Naor, Moni [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4515 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)
	382.	Advances in Cryptology -- ASIACRYPT 2015 [electronic resource] : 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I / by Iwata, Tetsu [editor.] Cheon, Jung Hee [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9452 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	383.	Algorithmic Methods for Railway Optimization [electronic resource] : International Dagstuhl Workshop, Railway Optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers / by Geraets, Frank [editor.] Kroon, Leo [editor.] Schoebel, Anita [editor.] Wagner, Dorothea [editor.] Zaroliagiis, Christos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4359 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)
	384.	Combinatorial Pattern Matching [electronic resource] : 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings / by Cicalese, Ferdinando [editor.] Porat, Ely [editor.] Vaccaro, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9133 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)
	385.	Structural Information and Communication Complexity [electronic resource] : 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers / by Das, Shantanu [editor.] Tixeuil, Sebastien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10641 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)
	386.	Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities [electronic resource] : Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / by Stoyanov, Danail [editor.] Taylor, Zeike [editor.] Ferrante, Enzo [editor.] Dalca, Adrian V [editor.] Martel, Anne [editor.] Maier-Hein, Lena [editor.] Parisot, Sarah [editor.] Sotiras, Aristeidis [editor.] Papiez, Bartlomiej [editor.] Sabuncu, Mert R [editor.] Shen, Li [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11044 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)
	387.	Intelligent Data Processing [electronic resource] : 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers / by Strijov, Vadim V [editor.] Ignatov, Dmitry I [editor.] Vorontsov, Konstantin V [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 794 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)
	388.	Transactions on Petri Nets and Other Models of Concurrency XIV [electronic resource] / by Koutny, Maciej [editor.] Pomello, Lucia [editor.] Kristensen, Lars Michael [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 11790 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	389.	Advances in Cryptology – ASIACRYPT 2019 [electronic resource] : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III / by Galbraith, Steven D [editor.] Moriai, Shiho [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11923 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)
	390.	Algorithmic Game Theory [electronic resource] : 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings / by Harks, Tobias [editor.] Klimm, Max [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12283 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)
	391.	Scalable Uncertainty Management [electronic resource] : 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings / by Davis, Jesse [editor.] Tabia, Karim [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12322 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)
	392.	Pattern Recognition [electronic resource] : 42nd DAGM German Conference, DAGM GCPR 2020, Tübingen, Germany, September 28 – October 1, 2020, Proceedings / by Akata, Zeynep [editor.] Geiger, Andreas [editor.] Sattler, Torsten [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12544 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	393.	Digital Twins: Basics and Applications [electronic resource] / by Lv, Zhihan [editor.] Fersman, Elena [editor.] SpringerLink (Online service) 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)
	394.	R-Calculus, III: Post Three-Valued Logic [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	395.	Modelling and Development of Intelligent Systems [electronic resource] : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28–30, 2022, Revised Selected Papers / by Simian, Dana [editor.] Stoica, Laura Florentina [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1761 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)
	396.	Intelligent Robotics and Applications [electronic resource] : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II / by Chen, Zhiyong [editor.] Mendes, Alexandre [editor.] Yan, Yamin [editor.] Chen, Shifeng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10985 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)
	397.	Scalable Uncertainty Management [electronic resource] : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / by Ciucci, Davide [editor.] Pasi, Gabriella [editor.] Vantaggi, Barbara [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11142 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)
	398.	Unconventional Computation and Natural Computation [electronic resource] : 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings / by McQuillan, Ian [editor.] Seki, Shinnosuke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11493 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)
	399.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / by Rodrigues, João M. F [editor.] Cardoso, Pedro J. S [editor.] Monteiro, Jânio [editor.] Lam, Roberto [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11540 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)
	400.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / by Cerrito, Serenella [editor.] Popescu, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11714 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2392 results.