本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springer[2017]<M17-20-375>
国立国会図書館
  • 件名...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)
紙図書
Springer[2016]<M17-19-536>
国立国会図書館
  • 件名...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
紙図書
Shengchao Qin, Jim Woodcock, Wenhui ZhangSpringerc2021
全国の図書館

Kotlin for Android app development : pbk

Kotlin for Android app development : pbk
紙図書
Peter SommerhoffAddison-Wesleyc2019
全国の図書館

Principles of package design : creating reusable software components : pbk

Principles of package design : creating reusable software components : pbk
紙図書
Matthias NobackApressc2018
全国の図書館

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++
紙図書
Marius BancilaPackt Publishing2017
全国の図書館

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.]
紙図書
Saurabh Shrivastava, Neelanjali Srivastav ; [foreword by Kamal Arora]Packt Pub.2020
全国の図書館

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

Mastering Rust : write safe, concurrent and reliable programs without compromising on performance
紙図書
Vesa KaihlavirtaPackt Publishing2017
全国の図書館

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

Learning R programming : become an efficient data scientist with R : pbk
紙図書
Kun RenPackt Publishingc2016
全国の図書館

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
紙図書
Edward LavieriPackt Pub.2018
全国の図書館

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
紙図書
Bogunuva Mohanram BalachandarPackt Pub.2017
全国の図書館

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
紙図書
Cody PrecordPackt Pub.2010
全国の図書館

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]
紙図書
Xinyu Feng, Markus Müller-Olm, Zijiang YangSpringerc2018
全国の図書館

Systems programming in Unix/Linux

Systems programming in Unix/Linux
紙図書
K.C. WangSpringerc2018
全国の図書館

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
紙図書
James H. Davenport ... [et al.] (eds.)Springerc2018
全国の図書館

Learning Java with games

Learning Java with games
紙図書
Chong-wei XuSpringerc2018
全国の図書館

検索結果は以上です。

RSS