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

Results
	1.	Logic for applications by Nerode, Anil, 1932- Shore, Richard A, 1946- Series: Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1997 Online access: Publisher description Table of contents only Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	2.	Theory of computation by Kozen, Dexter C Series: Texts in computer science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer, ©2006 SpringerLink ebooks - Computer Science (2006) Availability: Items available for loan: IIITD (1)Call number: REF 004.01 KOZ-T. Place hold Add to cart (remove)
	3.	Discrete mathematics : elementary and beyond by Lovasz, Laszlo Pelikan, J Vsztergombi, K Series: Undergraduate texts in mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2003 Online access: Table of contents Contributor biographical information Publisher description Availability: Items available for loan: IIITD (1)Call number: 510 LOV-D. Items available for reference: IIITD: Not for loan (1)Call number: REF 510 LOV-D. Place hold Add to cart (remove)
	4.	Measure theory and probability theory by Athreya, Krishna B Lahiri, Soumendra N Series: Springer texts in statistics (STS) Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2006 Availability: Items available for reference: IIITD: Not for loan (1)Call number: 515.42 ATH-M. Add to cart (remove)
	5.	Concise Guide to Quantum Computing [electronic resource] : Algorithms, Exercises, and Implementations / by Kurgalin, Sergei [author.] Borzunov, Sergei [author.] SpringerLink (Online service) Series: Texts in Computer Science 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)
	6.	An Introduction to Kolmogorov Complexity and Its Applications [electronic resource] / by Li, Ming [author.] Vitányi, Paul [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 4th 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)
	7.	Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory [electronic resource] / by Blümlein, Johannes [editor.] Schneider, Carsten [editor.] Paule, Peter [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. 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)
	8.	An Introduction to Computational Origami [electronic resource] / by Ida, Tetsuo [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. 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)
	9.	Introduction to the Tools of Scientific Computing [electronic resource] / by Smith, Einar [author.] SpringerLink (Online service) Series: Texts in Computational Science and Engineering ; 25 Edition: 2nd 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)
	10.	Integration in Finite Terms: Fundamental Sources [electronic resource] / by Raab, Clemens G [editor.] Singer, Michael F [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. 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)
	11.	Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra [electronic resource] : In Honour of Peter Paule on his 60th Birthday / by Pillwein, Veronika [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. 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)
	12.	Formal Methods for Software Engineering [electronic resource] : Languages, Methods, Application Domains / by Roggenbach, Markus [author.] Cerone, Antonio [author.] Schlingloff, Bernd-Holger [author.] Schneider, Gerardo [author.] Shaikh, Siraj Ahmed [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series 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)
	13.	Introduction to the Tools of Scientific Computing [electronic resource] / by Smith, Einar [author.] SpringerLink (Online service) Series: Texts in Computational Science and Engineering ; 25 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)
	14.	An Invitation to Analytic Combinatorics [electronic resource] : From One to Several Variables / by Melczer, Stephen [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 Nature Switzerland : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Algorithms on Trees and Graphs [electronic resource] : With Python Code / by Valiente, Gabriel [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)
	16.	Practical Optimization [electronic resource] : Algorithms and Engineering Applications / by Antoniou, Andreas [author.] Lu, Wu-Sheng [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: New York, NY : Springer US : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	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)
	18.	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)
	19.	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)
	20.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 28 results.