Your search returned 16 results.

Results
	1.	Theory and Applications of Satisfiability Testing – SAT 2020 [electronic resource] : 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings / by Pulina, Luca [editor.] Seidl, Martina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12178 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)
	2.	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. Add to cart (remove)
	3.	Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings / by Nagel, Wolfgang E [editor.] Walter, Wolfgang V [editor.] Lehner, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4128 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)
	4.	Euro-Par 2007 Parallel Processing [electronic resource] : 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings / by Kermarrec, Anne-Marie [editor.] Bougé, Luc [editor.] Priol, Thierry [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4641 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)
	5.	Euro-Par 2004 Parallel Processing [electronic resource] : 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings / by Danelutto, Marco [editor.] Vanneschi, Marco [editor.] Laforenza, Domenico [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3149 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)
	6.	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)
	7.	Euro-Par 2007 Workshops: Parallel Processing [electronic resource] : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / by Bougé, Luc [editor.] Forsell, Martti [editor.] Larsson Träff, Jesper [editor.] Streit, Achim [editor.] Ziegler, Wolfgang [editor.] Alexander, Michael [editor.] Childs, Stephen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4854 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)
	8.	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)
	9.	Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / by César, Eduardo [editor.] Alexander, Michael [editor.] Streit, Achim [editor.] Traff, Jesper Larsson [editor.] Cérin, Christophe [editor.] Knüpfer, Andreas [editor.] Kranzlmüller, Dieter [editor.] Jha, Shantenu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5415 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)
	10.	High Performance Computing - HiPC 2002 [electronic resource] : 9th International Conference Bangalore, India, December 18-21, 2002, Proceedings / by Sahni, Sartaj [editor.] Prasanna, Viktor K [editor.] Shukla, Uday [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2552 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	High Performance Computing [electronic resource] : International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings / by Polychronopoulos, Constantine [editor.] Joe, Kazuki [editor.] Araki, Keijiro [editor.] Amamiya, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1336 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. Add to cart (remove)
	12.	High Performance Computing -- HiPC 2003 [electronic resource] : 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings / by Pinkston, Timothy Mark [editor.] Prasanna, Viktor K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2913 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Parallel and Distributed Processing [electronic resource] : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings / by Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1800 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. Add to cart (remove)
	14.	High Performance Computing [electronic resource] : Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings / by Polychronopoulos, Constantine [editor.] Joe, Kazuki [editor.] Fukuda, Akira [editor.] Tomita, Shinji [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1615 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. Add to cart (remove)
	15.	OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings / by Eigenmann, Rudolf [editor.] Voss, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2104 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Euro-Par 2000 Parallel Processing [electronic resource] : 6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings / by Bode, Arndt [editor.] Ludwig, Thomas [editor.] Karl, Wolfgang [editor.] Wismüller, Roland [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1900 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. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in