Results
|
3621.
|
|
|
3622.
|
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.
|
|
3623.
|
|
|
3624.
|
|
|
3625.
|
|
|
3626.
|
|
|
3627.
|
|
|
3628.
|
|
|
3629.
|
Social Informatics [electronic resource] : 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11185
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.
|
|
3630.
|
|
|
3631.
|
Advances in Conceptual Modeling [electronic resource] : ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11158
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.
|
|
3632.
|
|
|
3633.
|
|
|
3634.
|
|
|
3635.
|
|
|
3636.
|
|
|
3637.
|
|
|
3638.
|
|
|
3639.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 11427
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
3640.
|
|