Results
|
|
101.
|
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.
|
|
|
102.
|
|
|
|
103.
|
|
|
|
104.
|
|
|
|
105.
|
|
|
|
106.
|
|
|
|
107.
|
|
|
|
108.
|
|
|
|
109.
|
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.
|
|
|
110.
|
|
|
|
111.
|
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.
|
|
|
112.
|
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.
|
|
|
113.
|
|
|
|
114.
|
|
|
|
115.
|
|
|
|
116.
|
|
|
|
117.
|
|
|
|
118.
|
|
|
|
119.
|
|
|
|
120.
|
|
