Jump to main content

yr 〜
yr

Search results 16

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

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

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...e Logic design Computers -- Programming languages -- General Computers -- Hardware -- Hand...
  • Subject Heading (ID)...e Logic design Computers -- Programming languages -- General Computers -- Hardware -- Hand...

Kotlin for Android app development : pbk

Kotlin for Android app development : pbk
Paper図書
Peter SommerhoffAddison-Wesleyc2019
Other Libraries in Japan
  • Subject Heading...ing Techniques Computers -- Programming Languages -- General Programming & scripting langu...
  • Subject Heading (ID)...ing Techniques Computers -- Programming Languages -- General Programming & scripting langu...

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...puter science) Computers -- Programming Languages -- General Computers -- Software Develop...
  • Subject Heading (ID)...puter science) Computers -- Programming Languages -- General Computers -- Software Develop...

Modern C++ programming cookbook : over 100 recipes to help you overcome your difficulties with C++ programming and gain deeper understanding of the working of modern C++

Modern C++ programming cookbook : over 100 recipes to help you overcome your difficulties with C++ programming and gain deeper understanding of the working of modern C++
Paper図書
Marius BancilaPackt Publishing2017
Other Libraries in Japan
  • Subject HeadingCOMPUTERS -- Programming Languages -- General. bisacsh C++ (Computer progra...
  • Subject Heading (ID)COMPUTERS -- Programming Languages -- General. bisacsh C++ (Computer progra...

Solutions architect's handbook : kick-start your solutions architect career by learning architecture design principles and strategies : [pbk.]

Solutions architect's handbook : kick-start your solutions architect career by learning architecture design principles and strategies : [pbk.]
Paper図書
Saurabh Shrivastava, Neelanjali Srivastav ; [foreword by Kamal Arora]Packt Pub.2020
Other Libraries in Japan
  • Subject Heading... architectures Computers -- Programming Languages -- General. bisacsh Computers -- Softwar...
  • Subject Heading (ID)... architectures Computers -- Programming Languages -- General. bisacsh Computers -- Softwar...

Mastering Rust : write safe, concurrent and reliable programs without compromising on performance

Mastering Rust : write safe, concurrent and reliable programs without compromising on performance
Paper図書
Vesa KaihlavirtaPackt Publishing2017
Other Libraries in Japan
  • Subject HeadingCOMPUTERS -- Programming Languages -- General. bisacsh Programming language...
  • Subject Heading (ID)COMPUTERS -- Programming Languages -- General. bisacsh Programming language...

Learning R programming : become an efficient data scientist with R : pbk

Learning R programming : become an efficient data scientist with R : pbk
Paper図書
Kun RenPackt Publishingc2016
Other Libraries in Japan
  • Subject Heading...-- Development COMPUTERS -- Programming Languages -- General. bisacsh COMPUTERS -- Softwar...
  • Subject Heading (ID)...-- Development COMPUTERS -- Programming Languages -- General. bisacsh COMPUTERS -- Softwar...

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...eneral. bicssc Computers -- Programming Languages -- General. bisacsh
  • Subject Heading (ID)...eneral. bicssc Computers -- Programming Languages -- General. bisacsh

RESTful Java web services : a pragmatic guide to designing and building RESTful APIs using Java : [pbk.] 3rd ed

RESTful Java web services : a pragmatic guide to designing and building RESTful APIs using Java : [pbk.] 3rd ed
Paper図書
Bogunuva Mohanram BalachandarPackt Pub.2017
Other Libraries in Japan
  • Subject Heading... Java. bisacsh COMPUTERS -- Programming Languages -- General. bisacsh
  • Subject Heading (ID)... Java. bisacsh COMPUTERS -- Programming Languages -- General. bisacsh

WxPython 2.8 : application development cookbook : quickly create robust, reliable and reusable wxPython applications : pbk

WxPython 2.8 : application development cookbook : quickly create robust, reliable and reusable wxPython applications : pbk
Paper図書
Cody PrecordPackt Pub.2010
Other Libraries in Japan
  • Subject Heading...-- C++ bisacsh COMPUTERS -- Programming Languages -- General. bisacsh Python (Computer pro...
  • Subject Heading (ID)...-- C++ bisacsh COMPUTERS -- Programming Languages -- General. bisacsh Python (Computer pro...

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... -- Congresses Computers -- Programming Languages -- General. bisacsh Computers -- Hardwar...
  • Subject Heading (ID)... -- Congresses Computers -- Programming Languages -- General. bisacsh Computers -- Hardwar...

Systems programming in Unix/Linux

Systems programming in Unix/Linux
Paper図書
K.C. WangSpringerc2018
Other Libraries in Japan
  • Subject Heading...puter science) Computers -- Programming Languages -- General. bisacsh Computers -- Data Mo...
  • Subject Heading (ID)...puter science) Computers -- Programming Languages -- General. bisacsh Computers -- Data Mo...

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...neral. bisacsh Computers -- Programming Languages -- General. bisacsh Computers -- System ...
  • Subject Heading (ID)...neral. bisacsh Computers -- Programming Languages -- General. bisacsh Computers -- System ...

Learning Java with games

Learning Java with games
Paper図書
Chong-wei XuSpringerc2018
Other Libraries in Japan
  • Subject Heading...gram language) Computers -- Programming Languages -- General. bisacsh Electronic books
  • Subject Heading (ID)...gram language) Computers -- Programming Languages -- General. bisacsh Electronic books

Reached to the end of result.

RSS