Results
|
2941.
|
|
|
2942.
|
ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium [electronic resource] : International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / by
- Bellatreche, Ladjel [editor.]
- Bieliková, Mária [editor.]
- Boussaïd, Omar [editor.]
- Catania, Barbara [editor.]
- Darmont, Jérôme [editor.]
- Demidova, Elena [editor.]
- Duchateau, Fabien [editor.]
- Hall, Mark [editor.]
- Merčun, Tanja [editor.]
- Novikov, Boris [editor.]
- Papatheodorou, Christos [editor.]
- Risse, Thomas [editor.]
- Romero, Oscar [editor.]
- Sautot, Lucile [editor.]
- Talens, Guilaine [editor.]
- Wrembel, Robert [editor.]
- Žumer, Maja [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 1260
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
Availability: No items available.
|
|
2943.
|
|
|
2944.
|
|
|
2945.
|
|
|
2946.
|
|
|
2947.
|
|
|
2948.
|
|
|
2949.
|
|
|
2950.
|
|
|
2951.
|
|
|
2952.
|
|
|
2953.
|
|
|
2954.
|
|
|
2955.
|
|
|
2956.
|
|
|
2957.
|
|
|
2958.
|
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.
|
|
2959.
|
|
|
2960.
|
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.
|