Results
|
621.
|
|
|
622.
|
|
|
623.
|
|
|
624.
|
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 I / by Series: Theoretical Computer Science and General Issues ; 10981
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.
|
|
625.
|
|
|
626.
|
|
|
627.
|
|
|
628.
|
|
|
629.
|
|
|
630.
|
|
|
631.
|
|
|
632.
|
|
|
633.
|
|
|
634.
|
|
|
635.
|
|
|
636.
|
Service-Oriented Computing - ICSOC 2011 Workshops [electronic resource] : ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers / by
- Pallis, George [editor.]
- Jmaiel, Mohamed [editor.]
- Charfi, Anis [editor.]
- Graupner, Sven [editor.]
- Karabulut, Yücel [editor.]
- Guinea, Sam [editor.]
- Rosenberg, Florian [editor.]
- Sheng, Michael [editor.]
- Pautasso, Cesare [editor.]
- Ben Mokhtar, Sonia [editor.]
- SpringerLink (Online service)
Series: Programming and Software Engineering ; 7221
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.
|
|
637.
|
|
|
638.
|
|
|
639.
|
|
|
640.
|
|