Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springer[2017]<M17-20-375>
National Diet Library
  • Subject Heading...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
Paper図書
Gordon HaffApressc2018
Other Libraries in Japan

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
Paper図書
Shengchao Qin, Jim Woodcock, Wenhui ZhangSpringerc2021
Other Libraries in Japan

Kotlin for Android app development : pbk

Kotlin for Android app development : pbk
Paper図書
Peter SommerhoffAddison-Wesleyc2019
Other Libraries in Japan

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
Paper図書
Taweh Beysolow IIApressc2018
Other Libraries in Japan

Reached to the end of result.

RSS