Results
|
2281.
|
|
|
2282.
|
|
|
2283.
|
|
|
2284.
|
|
|
2285.
|
|
|
2286.
|
Computational Science and Its Applications – ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I / by
- Gervasi, Osvaldo [editor.]
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Stankova, Elena [editor.]
- Torre, Carmelo M [editor.]
- Rocha, Ana Maria A.C [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Tarantino, Eufemia [editor.]
- Ryu, Yeonseung [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 10960
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.
|
|
2287.
|
Computational Science and Its Applications – ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV / by
- Gervasi, Osvaldo [editor.]
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Stankova, Elena [editor.]
- Torre, Carmelo M [editor.]
- Rocha, Ana Maria A.C [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Tarantino, Eufemia [editor.]
- Ryu, Yeonseung [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 10963
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.
|
|
2288.
|
|
|
2289.
|
|
|
2290.
|
Language, Logic, and Computation [electronic resource] : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11456
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
2291.
|
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 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
Availability: No items available.
|
|
2292.
|
|
|
2293.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8318
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
2294.
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10817
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.
|
|
2295.
|
Euro-Par 2020: Parallel Processing Workshops [electronic resource] : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by
- Balis, Bartosz [editor.]
- B. Heras, Dora [editor.]
- Antonelli, Laura [editor.]
- Bracciali, Andrea [editor.]
- Gruber, Thomas [editor.]
- Hyun-Wook, Jin [editor.]
- Kuhn, Michael [editor.]
- Scott, Stephen L [editor.]
- Unat, Didem [editor.]
- Wyrzykowski, Roman [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 12480
Edition: 1st ed. 2021.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021
In:
Springer Nature eBook
Availability: No items available.
|
|
2296.
|
|
|
2297.
|
|
|
2298.
|
|
|
2299.
|
|
|
2300.
|
|