CRAMP 发表于 2025-3-30 11:04:49

http://reply.papertrans.cn/88/8709/870823/870823_51.png

Cholesterol 发表于 2025-3-30 15:51:01

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops978-3-030-67220-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

拱墙 发表于 2025-3-30 18:34:31

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/870823.jpg

失败主义者 发表于 2025-3-31 00:12:05

https://doi.org/10.1007/978-3-030-67220-1artificial intelligence; computer hardware; computer programming; computer science; computer systems; emb

Iniquitous 发表于 2025-3-31 02:40:53

http://reply.papertrans.cn/88/8709/870823/870823_55.png

英寸 发表于 2025-3-31 07:20:57

http://reply.papertrans.cn/88/8709/870823/870823_56.png

nitroglycerin 发表于 2025-3-31 10:53:29

http://reply.papertrans.cn/88/8709/870823/870823_57.png

craven 发表于 2025-3-31 16:56:59

http://reply.papertrans.cn/88/8709/870823/870823_58.png

不容置疑 发表于 2025-3-31 17:52:00

Sneha Sahu,Ruth Schorr,Inmaculada Medina-Bulo,Matthias Wagneratik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einführung in die Mathematik im Umfang der ersten drei bis vier Semester an Universitäten. Der klassische Stoff von Analysis und Linearer Algebra ist auf das Wesentliche konzen

阐明 发表于 2025-3-31 23:05:28

http://reply.papertrans.cn/88/8709/870823/870823_60.png
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; ASYDE, CIFMA, and Co Loek Cleophas,Mieke Massink Conference procee