collocated
|
【预订】Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
【预订】Software Engineering and Formal Methods. SEFM 2021 Collocated Worksh 9783031124280
【3-4周达】Stabilization of Elastic Systems by Collocated Feedback [9783319108995]
【3-4周达】Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marb... [9783319747293]
【3-4周达】Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, M... [9783319747804]
[预订]Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
预订 Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven,
【3-4周达】Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toul... [9783030047702]
【3-4周达】Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, Ope... [9783319152004]
【3-4周达】Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS,... [9783031124280]
【3-4周达】Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, F... [9783319050317]
【3-4周达】Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and... [9783030672195]
【3-4周达】Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and Op... [9783031660207]
【3-4周达】Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoS... [9783031262357]
预订 Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops ReacTS 2024 and CIFMA 2024, Aveiro, Portuga
【3-4周达】Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and C... [9783031947476]
海外直订Software Engineering and Formal Methods: Sefm 2017 Collocated Workshops: Datamod 软件工程和正式方法：
海外直订Software Technologies: Applications and Foundations: Staf 2017 Collocated Worksh 软件技术：应用和基础：2017
【3-4周达】Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataM... [9783319502298]
【3-4周达】Algorithms and Architectures for Parallel Processing: ICA3PP 2016 Collocated Workshops: SC... [9783319499550]
海外直订Stabilization of Elastic Systems by Collocated Feedback 弹性系统的同位反馈镇定
海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
海外直订Software Engineering and Formal Methods: Sefm 2013 Collocated Workshops: Beat2, 软件工程和形式化方法
【3-4周达】Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMa... [9783662492239]
海外直订Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2 Software E
海外直订Software Technologies: Applications and Foundations: Staf 2018 Collocated Worksh 软件技术：应用和基础：Staf
海外直订Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-C 软件工程和正式方法：
海外直订Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, H 软件工程和形式化方法：Sefm
【3-4周达】Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE,... [9783030575052] |
![【3-4周达】Stabilization of Elastic Systems by Collocated Feedback [9783319108995]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01ud4yDE28LaOw9PkZi_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Stabilization of Elastic Systems by Collocated Feedback [9783319108995]")
![【3-4周达】Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marb... [9783319747293]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01IYrvPC5mBMI1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marb... [9783319747293]")
![【3-4周达】Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, M... [9783319747804]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01fiL2U728LaOwPjfGF_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, M... [9783319747804]")
![[预订]Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01QJljai1ym0n1THKT9_!!0-item_pic.jpg "[预订]Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops")
![【3-4周达】Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toul... [9783030047702]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN0117UVAf28LaOwGv3vg_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toul... [9783030047702]")
![【3-4周达】Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, Ope... [9783319152004]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01Dr66F728LaOw97R0R_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, Ope... [9783319152004]")
![【3-4周达】Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS,... [9783031124280]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01jdeGfy28LaOw528xm_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS,... [9783031124280]")
![【3-4周达】Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, F... [9783319050317]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN018slFM928LaOwFeKZL_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, F... [9783319050317]")
![【3-4周达】Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and... [9783030672195]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01JER6aYEkVID1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and... [9783030672195]")
![【3-4周达】Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and Op... [9783031660207]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01VAdAKk28LaOrO8df7_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and Op... [9783031660207]")
![【3-4周达】Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoS... [9783031262357]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01B1WLU828LaOvmsUSa_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoS... [9783031262357]")
![【3-4周达】Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and C... [9783031947476]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01nX9xnhWjeMH1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and C... [9783031947476]")
![【3-4周达】Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataM... [9783319502298]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01eyTMfJ28LaOwgPWG4_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataM... [9783319502298]")
![【3-4周达】Algorithms and Architectures for Parallel Processing: ICA3PP 2016 Collocated Workshops: SC... [9783319499550]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01I8wSu528LaOwEM1m1_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Algorithms and Architectures for Parallel Processing: ICA3PP 2016 Collocated Workshops: SC... [9783319499550]")
![【3-4周达】Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMa... [9783662492239]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01684ic5d9rsB1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMa... [9783662492239]")
![【3-4周达】Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE,... [9783030575052]](http://tupian.y866.cn/picture/pic18865132/tu9/O1CN01Q8GstzpFDNF1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE,... [9783030575052]")