Jump to main content

yr 〜
yr

Search results 8

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

Software evolution : [pbk.]

Software evolution : [pbk.]
Paper図書
Tom Mens, Serge Demeyer, editorsSpringerc2010
Other Libraries in Japan
  • Subject Heading...ion Technology Programming -- Software Development
  • Subject Heading (ID)...ion Technology Programming -- Software Development

Software evolution

Software evolution
Paper図書
Tom Mens, Serge Demeyer, editorsSpringerc2008
Other Libraries in Japan
  • Subject Heading...ion Technology Programming -- Software Development
  • Subject Heading (ID)...ion Technology Programming -- Software Development

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
  • Subject Heading...ource Computer programming -- software development
  • Subject Heading (ID)...ource Computer programming -- software development

Resource proportional software design for emerging systems : hardback

Resource proportional software design for emerging systems : hardback
Paper図書
Suparna Bhattacharya, Kanchi Gopinath, Doug VoigtCRC Pressc2020
Other Libraries in Japan
  • Subject Heading...h COMPUTERS -- Programming -- Software Development. bisacsh COMPUTERS -- Compute...
  • Subject Heading (ID)...h COMPUTERS -- Programming -- Software Development. bisacsh COMPUTERS -- Compute...

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
  • Subject Heading...uages Computer programming -- software development Databases Electronic data pro...
  • Subject Heading (ID)...uages Computer programming -- software development Databases Electronic data pro...

Kotlin for Android app development : pbk

Kotlin for Android app development : pbk
Paper図書
Peter SommerhoffAddison-Wesleyc2019
Other Libraries in Japan
  • Subject Heading...neral Computer programming -- software development Mobile computing Mobile & han...
  • Subject Heading (ID)...neral Computer programming -- software development Mobile computing Mobile & han...

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
  • Subject Heading...tures Computer programming -- Software development
  • Subject Heading (ID)...tures Computer programming -- Software development

Reached to the end of result.

RSS