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
  • Subject Heading...ring--General. Computers--Programming Languages--General. Computers--Computer Simulatio...

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...ng Techniques. Computers--Programming Languages--General. Computers--Programming--Gener...

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

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

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

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

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

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

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

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

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

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

Systems programming in Unix/Linux

Systems programming in Unix/Linux
Paper図書
K.C. WangSpringerc2018
Other Libraries in Japan

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

Learning Java with games

Learning Java with games
Paper図書
Chong-wei XuSpringerc2018
Other Libraries in Japan

Reached to the end of result.

RSS