TOP
0
0
即日起~6/30,暑期閱讀書展,好書7折起

縮小範圍


商品類型

原文書 (5)
商品狀況

可訂購商品 (5)
庫存狀況

無庫存 (5)
商品定價

$800以上 (5)
出版日期

2022~2023 (2)
2020~2021 (2)
2016年以前 (1)
裝訂方式

平裝 (5)
作者

Antonio Cerone(EDI) (4)
Antonio Cerone (EDT)/ Donatella Persico (EDT)/ Sara Fernandes (EDT)/ Alexeis Garcia-perez (EDT)/ Panagiotis Katsaros (EDT) (1)
出版社/品牌

Springer Nature (4)
Springer Verlag (1)

三民網路書店 / 搜尋結果

5筆商品,1/1頁
Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Proceedings
作者:Antonio Cerone(EDI)  出版社:Springer Nature  出版日:2021/04/14 裝訂:平裝
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
Theoretical Aspects of Computing - Ictac 2021: 18th International Colloquium, Virtual Event, September 6-10, 2021, Proceedings
作者:Antonio Cerone(EDI)  出版社:Springer Nature  出版日:2021/09/21 裝訂:平裝
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Event, December 6-10, 2021, Revise
作者:Antonio Cerone(EDI)  出版社:Springer Nature  出版日:2022/09/17 裝訂:平裝
定價:3600 元, 優惠價:1 3600
無庫存,下單後進貨(到貨天數約30-45天)
Formal Methods for an Informal World: Ictac 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
作者:Antonio Cerone(EDI)  出版社:Springer Nature  出版日:2023/11/22 裝訂:平裝
定價:2475 元, 優惠價:1 2475
無庫存,下單後進貨(到貨天數約30-45天)
Information Technology and Open Source - Applications for Education, Innovation, and Sustainability ― SEFM 2012 Satellite Events, Insuedu, Mokmads, and Opencert, Thessaloniki, Greece, October 1-2,
滿額折
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the Firs
定價:3735 元, 優惠價:1 3735
無庫存,下單後進貨(到貨天數約30-45天)

暢銷榜

客服中心

收藏

會員專區