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

Results
	41.	Reliable Implementation of Real Number Algorithms: Theory and Practice [electronic resource] : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers / by Hertling, Peter [editor.] Hoffmann, Christoph M [editor.] Luther, Wolfram [editor.] Revol, Nathalie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5045 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)
	42.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers / by Svensson, Lars [editor.] Monteiro, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5349 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)
	43.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings / by Paliouras, Vassilis [editor.] Vounckx, Johan [editor.] Verkest, Diederik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3728 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)
	44.	Advances in Computer Systems Architecture [electronic resource] : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings / by Srikanthan, Thambipillai [editor.] Xue, Jingling [editor.] Chang, Chip-Hong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3740 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)
	45.	Computer Algebra in Scientific Computing [electronic resource] : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / by Gerdt, Vladimir P [editor.] Koepf, Wolfram [editor.] Seiler, Werner M [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8660 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)
	46.	Next Generation Arithmetic [electronic resource] : 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings / by Gustafson, John [editor.] Leong, Siew Hoon [editor.] Michalewicz, Marek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13851 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)
	47.	Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / by Vaidya, Jaideep [editor.] Li, Jin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11334 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)
	48.	Machine Learning and Knowledge Extraction [electronic resource] : Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings / by Holzinger, Andreas [editor.] Kieseberg, Peter [editor.] Tjoa, A Min [editor.] Weippl, Edgar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11713 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)
	49.	Applications of Evolutionary Computation [electronic resource] : 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by Kaufmann, Paul [editor.] Castillo, Pedro A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11454 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)
	50.	Integer Programming and Combinatorial Optimization [electronic resource] : 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings / by Lodi, Andrea [editor.] Nagarajan, Viswanath [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11480 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)
	51.	Reversible Computation [electronic resource] : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / by Thomsen, Michael Kirkedal [editor.] Soeken, Mathias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11497 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)
	52.	Advances in Swarm Intelligence [electronic resource] : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II / by Tan, Ying [editor.] Shi, Yuhui [editor.] Niu, Ben [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11656 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)
	53.	Principles and Practice of Constraint Programming [electronic resource] : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings / by Schiex, Thomas [editor.] de Givry, Simon [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11802 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)
	54.	Intelligent Computing Theories and Application [electronic resource] : 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II / by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Huang, Zhi-Kai [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11644 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)
	55.	Algorithms for Computational Biology [electronic resource] : 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings / by Holmes, Ian [editor.] Martín-Vide, Carlos [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11488 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)
	56.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings / by Capello, Franck [editor.] Herault, Thomas [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4757 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)
	57.	Computer Algebra in Scientific Computing [electronic resource] : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings / by Gerdt, Vladimir P [editor.] Koepf, Wolfram [editor.] Mayr, Ernst W [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6885 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)
	58.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / by Spirakis, Paul [editor.] Tsigas, Philippas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10616 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)
	59.	Next Generation Arithmetic [electronic resource] : Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers / by Gustafson, John [editor.] Dimitrov, Vassil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13253 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)
	60.	Formal Verification of Floating-Point Hardware Design [electronic resource] : A Mathematical Approach / by Russinoff, David M [author.] SpringerLink (Online service) 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 126 results.