Results of search for 'ccl=su:{Theory of Computation.} and su-to:Computer System Implementation and su-to:Software Engineering and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	21.	Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II / by Yeo, Sang-Soo [editor.] Park, Jong Hyuk [editor.] Yang, Laurence Tianruo [editor.] Hsu, Ching-Hsien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6082 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)
	22.	Parallel Computing Technologies [electronic resource] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4671 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)
	23.	Euro-Par 2006 Workshops: Parallel Processing [electronic resource] : CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers / by Lehner, Wolfgang [editor.] Meyer, Norbert [editor.] Streit, Achim [editor.] Stewart, Craig [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4375 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)
	24.	Parallel Problem Solving from Nature - PPSN X [electronic resource] : 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings / by Rudolph, Günter [editor.] Jansen, Thomas [editor.] Lucas, Simon M [editor.] Poloni, Carlo [editor.] Beume, Nicola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5199 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)
	25.	Applied Parallel Computing [electronic resource] : State of the Art in Scientific Computing / by Dongarra, Jack [editor.] Madsen, Kaj [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3732 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)
	26.	Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings / by Ciancarini, Paolo [editor.] Wiklicky, Herbert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4038 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)
	27.	Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings / by van Hee, Kees [editor.] Valk, Rüdiger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5062 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)
	28.	Architecture of Computing Systems - ARCS 2017 [electronic resource] : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings / by Knoop, Jens [editor.] Karl, Wolfgang [editor.] Schulz, Martin [editor.] Inoue, Koji [editor.] Pionteck, Thilo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10172 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)
	29.	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)
	30.	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)
	31.	Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More [electronic resource] / by Sato, Mitsuhisa [editor.] Hanawa, Toshihiro [editor.] Müller, Matthias S [editor.] Chapman, Barbara [editor.] de Supinski, Bronis R [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6132 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)
	32.	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)
	33.	Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / by Murphy, Amy L [editor.] Vitek, Jan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4467 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)
	34.	Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / by Slind, Konrad [editor.] Bunker, Annette [editor.] Gopalakrishnan, Ganesh C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3223 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. Add to cart (remove)
	35.	Applied Parallel Computing [electronic resource] : State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers / by Kagström, Bo [editor.] Elmroth, Erik [editor.] Dongarra, Jack [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4699 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)
	36.	Parallel Problem Solving from Nature - PPSN VIII [electronic resource] : 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings / by Yao, Xin [editor.] Burke, Edmund [editor.] Lozano, Jose A [editor.] Smith, Jim [editor.] Merelo-Guervós, Juan J [editor.] Bullinaria, John A [editor.] Rowe, Jonathan [editor.] Tino, Peter [editor.] Kabán, Ata [editor.] Schwefel, Hans-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3242 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. Add to cart (remove)
	37.	Parallel Problem Solving from Nature - PPSN IX [electronic resource] : 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings / by Runarsson, Thomas Philip [editor.] Beyer, Hans-Georg [editor.] Burke, Edmund [editor.] Merelo-Guervós, Juan J [editor.] Whitley, L. Darrell [editor.] Yao, Xin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4193 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)
	38.	From Lambda Calculus to Cybersecurity Through Program Analysis [electronic resource] : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / by Di Pierro, Alessandra [editor.] Malacaria, Pasquale [editor.] Nagarajan, Rajagopal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12065 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)
	39.	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13702 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	40.	Fundamental Approaches to Software Engineering [electronic resource] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / by Beyer, Dirk [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14573 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 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 61 results.