Results
|
1001.
|
Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by Series: Programming and Software Engineering ; 3465
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
Availability: No items available.
|
|
1002.
|
|
|
1003.
|
|
|
1004.
|
Computational Science and Its Applications – ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V / 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 ; 10964
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.
|
|
1005.
|
|
|
1006.
|
Next Generation Information Technologies and Systems [electronic resource] : 6th International Conference, NGITS 2006, Kebbutz Sehfayim, Israel, July 4-6, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4032
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
Availability: No items available.
|
|
1007.
|
|
|
1008.
|
|
|
1009.
|
|
|
1010.
|
|
|
1011.
|
|
|
1012.
|
|
|
1013.
|
|
|
1014.
|
|
|
1015.
|
|
|
1016.
|
Computational Science and Its Applications – ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III / 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 ; 10962
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.
|
|
1017.
|
|
|
1018.
|
|
|
1019.
|
|
|
1020.
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7405
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.
|