Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Computer System Implementation and su-to:Computer System Implementation and se:Theoretical Computer Science and General Issues' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	CONCUR 2006 - Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 / by Baier, Christel [editor.] Hermanns, Holger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4137 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. Add to cart (remove)
	122.	Euro-Par 2005 Parallel Processing [electronic resource] : 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by Cunha, José C [editor.] Medeiros, Pedro D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3648 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)
	123.	Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings / by Bouajjani, Ahmed [editor.] Maler, Oded [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5643 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)
	124.	Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / by Hurd, Joe [editor.] Melham, Tom [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3603 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)
	125.	Reconfigurable Computing: Architectures and Applications [electronic resource] : Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers / by Bertels, Koen [editor.] Cardoso, João M.P [editor.] Vassiliadis, Stamatis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3985 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. Add to cart (remove)
	126.	Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings / by Gupta, Aarti [editor.] Malik, Sharad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5123 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)
	127.	Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010, Proceedings / by Müller-Schloer, Christian [editor.] Karl, Wolfgang [editor.] Yehia, Sami [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5974 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. Add to cart (remove)
	128.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009, Proceedings / by Becker, Jürgen [editor.] Woods, Roger [editor.] Athanas, Peter [editor.] Morgan, Fearghal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5453 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)
	129.	Supercomputing [electronic resource] : 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings / by Kunkel, Julian M [editor.] Ludwig, Thomas [editor.] Meuer, Hans [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7905 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. Add to cart (remove)
	130.	Parallel Processing and Applied Mathematics [electronic resource] : 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Meyer, Norbert [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3911 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. Add to cart (remove)
	131.	Architecture of Computing Systems - ARCS 2008 [electronic resource] : 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings / by Ungerer, Theo [editor.] Hochberger, Christian [editor.] Spallek, Rainer G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4934 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)
	132.	Parallel and Distributed Processing and Applications - ISPA 2005 Workshops [electronic resource] : ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings / by Chen, Guihai [editor.] Pan, Yi [editor.] Guo, Minyi [editor.] Lu, Jian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3759 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)
	133.	Architecture of Computing Systems - ARCS 2012 [electronic resource] : 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings / by Herkersdorf, Andreas [editor.] Römer, Kay [editor.] Brinkschulte, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7179 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. Add to cart (remove)
	134.	Applications of Evolutionary Computation [electronic resource] : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I / by Squillero, Giovanni [editor.] Sim, Kevin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10199 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)
	135.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers / by Frachtenberg, Eitan [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4376 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)
	136.	High Performance Embedded Architectures and Compilers [electronic resource] : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings / by Conte, Tom [editor.] Navarro, Nacho [editor.] Hwu, Wen-mei W [editor.] Valero, Mateo [editor.] Ungerer, Theo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3793 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)
	137.	Evolvable Systems: From Biology to Hardware [electronic resource] : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings / by Moreno, J. Manuel [editor.] Madrenas, Jordi [editor.] Cosp, Jordi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3637 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)
	138.	Advances in Computer Systems Architecture [electronic resource] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings / by Choi, Lynn [editor.] Paek, Yunheung [editor.] Cho, Sangyeun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4697 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)
	139.	High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [electronic resource] : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers / by Jarvis, Stephen A [editor.] Wright, Steven A [editor.] Hammond, Simon D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8966 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)
	140.	Euro-Par 2009 - Parallel Processing [electronic resource] : 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009, Proceedings / by Sips, Henk [editor.] Epema, Dick [editor.] Lin, Hai-Xiang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5704 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 170 results.