Results
|
|
221.
|
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4315
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
Availability: No items available.
|
|
|
222.
|
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 10982
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
Availability: No items available.
|
|
|
223.
|
|
|
|
224.
|
|
|
|
225.
|
|
|
|
226.
|
|
|
|
227.
|
|
|
|
228.
|
|
|
|
229.
|
|
|
|
230.
|
|
|
|
231.
|
|
|
|
232.
|
|
|
|
233.
|
|
|
|
234.
|
|
|
|
235.
|
|
|
|
236.
|
Euro-Par 2009, Parallel Processing - Workshops [electronic resource] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops / by Series: Theoretical Computer Science and General Issues ; 6043
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
Availability: No items available.
|
|
|
237.
|
|
|
|
238.
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6843
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
Availability: No items available.
|
|
|
239.
|
Euro-Par 2011: Parallel Processing Workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part I / by
- Alexander, Michael [editor.]
- D'Ambra, Pasqua [editor.]
- Belloum, Adam [editor.]
- Bosilca, George [editor.]
- Cannataro, Mario [editor.]
- Danelutto, Marco [editor.]
- Di Martino, Beniamino [editor.]
- Gerndt, Michael [editor.]
- Jeannot, Emmanuel [editor.]
- Namyst, Raymond [editor.]
- Roman, Jean [editor.]
- Scott, Stephen L [editor.]
- Traff, Jesper Larsson [editor.]
- Vallee, Geoffroy [editor.]
- Weidendorfer, Josef [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 7155
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
Availability: No items available.
|
|
|
240.
|
|
