yr 〜
yr

Search results 13

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...e Engineering. Programming & scripting languages: general. 3D graphics & modelling. User...

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)
Paper図書
Springer[2016]<M17-19-536>
National Diet Library
  • Subject Heading...) & Semantics. Programming & scripting languages: general. Computer programming / softwa...

Data science fundamentals for Python and MongoDB : pbk

Data science fundamentals for Python and MongoDB : pbk
Paper図書
David PaperApressc2018
Other Libraries in Japan

Kotlin for Android app development : pbk

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

Principles of package design : creating reusable software components : pbk

Principles of package design : creating reusable software components : pbk
Paper図書
Matthias NobackApressc2018
Other Libraries in Japan
  • Subject Heading...-- Open Source Programming & scripting languages: general. Web programming Computer prog...
  • Subject Heading (ID)...-- Open Source Programming & scripting languages: general. Web programming Computer prog...

Embedded systems architecture : explore architectural concepts, pragmatic design patterns, and best practices to produce robust systems : pbk

Embedded systems architecture : explore architectural concepts, pragmatic design patterns, and best practices to produce robust systems : pbk
Paper図書
Daniele LacameraPackt Publishing2018
Other Libraries in Japan
  • Subject Heading...ystems. bicssc Programming & scripting languages: general. bicssc
  • Subject Heading (ID)...ystems. bicssc Programming & scripting languages: general. bicssc

Mastering Java 11 : develop modular and secure Java applications using concurrency and advanced JDK libraries : [pbk.] 2nd ed

Mastering Java 11 : develop modular and secure Java applications using concurrency and advanced JDK libraries : [pbk.] 2nd ed
Paper図書
Edward LavieriPackt Pub.2018
Other Libraries in Japan
  • Subject Heading...opment. bicssc Programming & scripting languages: general. bicssc Computers -- Programmi...
  • Subject Heading (ID)...opment. bicssc Programming & scripting languages: general. bicssc Computers -- Programmi...

Python data analytics : with Pandas, NumPy, and Matplotlib : pbk 2nd ed

Python data analytics : with Pandas, NumPy, and Matplotlib : pbk 2nd ed
Paper図書
Fabio NelliApress2018
Other Libraries in Japan
  • Subject Heading...ata processing Programming & scripting languages: general. bicssc Electronic books
  • Subject Heading (ID)...ata processing Programming & scripting languages: general. bicssc Electronic books

Guide to programming for the digital humanities : lessons for introductory Python : [pbk.]

Guide to programming for the digital humanities : lessons for introductory Python : [pbk.]
Paper図書
Brian KokenspargerSpringerc2018
Other Libraries in Japan
  • Subject Heading...ticism. bicssc Programming & scripting languages: general. bicssc Combinatorics & graph ...
  • Subject Heading (ID)...ticism. bicssc Programming & scripting languages: general. bicssc Combinatorics & graph ...

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]
Paper図書
Xinyu Feng, Markus Müller-Olm, Zijiang YangSpringerc2018
Other Libraries in Japan
  • Subject Heading...neral. bisacsh Programming & scripting languages: general. bicssc Systems analysis & des...
  • Subject Heading (ID)...neral. bisacsh Programming & scripting languages: general. bicssc Systems analysis & des...

Systems programming in Unix/Linux

Systems programming in Unix/Linux
Paper図書
K.C. WangSpringerc2018
Other Libraries in Japan
  • Subject Heading...neral. bisacsh Programming & scripting languages: general. bicssc Algorithms & data stru...
  • Subject Heading (ID)...neral. bisacsh Programming & scripting languages: general. bicssc Algorithms & data stru...

Mathematical software - ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings

Mathematical software - ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings
Paper図書
James H. Davenport ... [et al.] (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...opment. bicssc Programming & scripting languages: general. bicssc Information retrieval....
  • Subject Heading (ID)...opment. bicssc Programming & scripting languages: general. bicssc Information retrieval....

Learning Java with games

Learning Java with games
Paper図書
Chong-wei XuSpringerc2018
Other Libraries in Japan
  • Subject Heading...Games. bisacsh Programming & scripting languages: general. bicssc Computer programming /...
  • Subject Heading (ID)...Games. bisacsh Programming & scripting languages: general. bicssc Computer programming /...

Reached to the end of result.