本文に飛ぶ

年 〜
年

検索結果 5 件

Formal techniques for safety-critical systems : 5th international workshop, FTSCS 2016 : Tokyo, Japan, November 14, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Communications in Computer and Information Science ; 694)

Formal techniques for safety-critical systems : 5th international workshop, FTSCS 2016 : Tokyo, Japan, November 14, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Communications in Computer and Information Science ; 694)
紙図書
Springer[2017]<M17-20-375>
国立国会図書館
  • 件名...ming--General. Computer programming--software development. Formal methods (Computer scie...

How open source ate software : understand the open source movement and so much more : pbk

How open source ate software : understand the open source movement and so much more : pbk
紙図書
Gordon HaffApressc2018
全国の図書館

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings
紙図書
Shengchao Qin, Jim Woodcock, Wenhui ZhangSpringerc2021
全国の図書館

Kotlin for Android app development : pbk

Kotlin for Android app development : pbk
紙図書
Peter SommerhoffAddison-Wesleyc2019
全国の図書館

Applied natural language processing with Python : implementing machine learning and deep learning algorithms for natural language processing

Applied natural language processing with Python : implementing machine learning and deep learning algorithms for natural language processing
紙図書
Taweh Beysolow IIApressc2018
全国の図書館

検索結果は以上です。

RSS