Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Operating systems Computers and su-to:Operating Systems and su-to:Numerical analysis' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Network and Parallel Computing [electronic resource] : 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings / by Tang, Xiaoxin [editor.] Chen, Quan [editor.] Bose, Pradip [editor.] Zheng, Weiming [editor.] Gaudiot, Jean-Luc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11783 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. Place hold Add to cart (remove)
	2.	Algorithms and Architectures for Parallel Processing [electronic resource] : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part II / by Wen, Sheng [editor.] Zomaya, Albert [editor.] Yang, Laurence T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11945 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. Place hold Add to cart (remove)
	3.	Euro-Par 2013: Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings / by Wolf, Felix [editor.] Mohr, Bernd [editor.] an Mey, Dieter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8097 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. Place hold Add to cart (remove)
	4.	Advances in Cryptology - ASIACRYPT'99 [electronic resource] : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999 Proceedings / by Lam, Kwok Yan [editor.] Okamoto, Eiji [editor.] Xing, Chaoping [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1716 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Place hold Add to cart (remove)
	5.	Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings / by Marques-Silva, Joao [editor.] Sakallah, Karem A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4501 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. Place hold Add to cart (remove)
	6.	Theory and Applications of Satisfiability Testing – SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Gaspers, Serge [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10491 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. Place hold Add to cart (remove)
	7.	Solving Irregularly Structured Problems in Parallel [electronic resource] : 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings / by Bilardi, Gianfranco [editor.] Ferreira, Afonso [editor.] Lüling, Reinhard [editor.] Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1253 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Place hold Add to cart (remove)
	8.	Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / by Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6852 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. Place hold Add to cart (remove)
	9.	Large-Scale Scientific Computing [electronic resource] : 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3743 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. Place hold Add to cart (remove)
	10.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings / by van Hoeve, Willem-Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10848 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. Place hold Add to cart (remove)
	11.	Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4818 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. Place hold Add to cart (remove)
	12.	The Stability Theory of Stream Ciphers [electronic resource] / by Ding, Cunsheng [author.] Xiao, Guozhen [author.] Shan, Weijuan [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 561 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Place hold Add to cart (remove)
	13.	Advances in Cryptology – EUROCRYPT 2000 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques Bruges, Belgium, May 14-18, 2000 Proceedings / by Preneel, Bart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1807 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Place hold Add to cart (remove)
	14.	Large-Scale Scientific Computing [electronic resource] : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] Plamen, Yalamov [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2907 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Place hold Add to cart (remove)
	15.	Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by Hoos, Holger H [editor.] Mitchell, David G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3542 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. Place hold Add to cart (remove)
	16.	Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / by Kullmann, Oliver [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5584 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. Place hold Add to cart (remove)
	17.	Euro-Par 2012 Parallel Processing [electronic resource] : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / by Kaklamanis, Christos [editor.] Papatheodorou, Theodore [editor.] Spirakis, Paul G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7484 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. Place hold Add to cart (remove)
	18.	Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by Bacchus, Fahiem [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3569 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. Place hold Add to cart (remove)
	19.	Large-Scale Scientific Computing [electronic resource] : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5910 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. Place hold Add to cart (remove)
	20.	Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / by Biere, Armin [editor.] Gomes, Carla P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4121 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. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 36 results.