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

Results
	721.	Text Mining with MATLAB® [electronic resource] / by Banchs, Rafael E [author.] SpringerLink (Online service) Edition: 2nd 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)
	722.	Relational and Algebraic Methods in Computer Science [electronic resource] : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by Fahrenberg, Uli [editor.] Gehrke, Mai [editor.] Santocanale, Luigi [editor.] Winter, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13027 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)
	723.	Thinking Programs [electronic resource] : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / by Schreiner, Wolfgang [author.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria 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)
	724.	Speeding-Up Radio-Frequency Integrated Circuit Sizing with Neural Networks [electronic resource] / by Domingues, João L. C. P [author.] Vaz, Pedro J. C. D. C [author.] Gusmão, António P. L [author.] Horta, Nuno C. G [author.] Lourenço, Nuno C. C [author.] Martins, Ricardo M. F [author.] SpringerLink (Online service) Series: SpringerBriefs in Computational Intelligence Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	725.	R-Calculus, IV: Propositional Logic [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	726.	Maple in Mathematics Education and Research [electronic resource] : 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2–6, 2020, Revised Selected Papers / by Corless, Robert M [editor.] Gerhard, Jürgen [editor.] Kotsireas, Ilias S [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1414 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)
	727.	Deep Learning-Based Face Analytics [electronic resource] / by Ratha, Nalini K [editor.] Patel, Vishal M [editor.] Chellappa, Rama [editor.] SpringerLink (Online service) Series: Advances in Computer Vision and Pattern Recognition 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)
	728.	Anti-Differentiation and the Calculation of Feynman Amplitudes [electronic resource] / by Blümlein, Johannes [editor.] Schneider, Carsten [editor.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria 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)
	729.	Large-Scale Scientific Computing [electronic resource] : 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13127 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)
	730.	Large-Scale Simultaneous Localization and Mapping [electronic resource] / by Będkowski, Janusz [author.] SpringerLink (Online service) Series: Cognitive Intelligence and Robotics 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)
	731.	Active Inference [electronic resource] : Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, 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.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1721 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)
	732.	Evolutionary Multi-Task Optimization [electronic resource] : Foundations and Methodologies / by Feng, Liang [author.] Gupta, Abhishek [author.] Tan, Kay Chen [author.] Ong, Yew Soon [author.] SpringerLink (Online service) Series: Machine Learning: Foundations, Methodologies, and Applications Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	733.	Modelling Puzzles in First Order Logic [electronic resource] / by Groza, Adrian [author.] SpringerLink (Online service) 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)
	734.	Guide to Discrete Mathematics [electronic resource] : An Accessible Introduction to the History, Theory, Logic and Applications / by O'Regan, Gerard [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd 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)
	735.	Machine Translation [electronic resource] : 17th China Conference, CCMT 2021, Xining, China, October 8–10, 2021, Revised Selected Papers / by Su, Jinsong [editor.] Sennrich, Rico [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1464 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	736.	R-CALCULUS: A Logic of Belief Revision [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	737.	Multilayer Networks: Analysis and Visualization [electronic resource] : Introduction to muxViz with R / by De Domenico, Manlio [author.] 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)
	738.	Pedigree Polytopes [electronic resource] : New Insights on Computational Complexity of Combinatorial Optimisation Problems / by Arthanari, Tirukkattuppalli Subramanyam [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	739.	Concrete Abstractions [electronic resource] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Schreiner, Wolfgang [author.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	740.	Mathematical Optimization Theory and Operations Research [electronic resource] : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings / by Pardalos, Panos [editor.] Khachay, Michael [editor.] Kazakov, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12755 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1234 results.