田原 - PC・システム開発 1

［この電子書籍は固定型レイアウトです。リフロー型と異なりビューア機能が制限されます］固定型レイアウトはページを画像化した構造であるため、ページの拡大縮小を除く機能は利用できません。また、モノクロ表示……続きを見る

続きを見る

昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の……続きを見る

［この電子書籍は固定型レイアウトです。リフロー型と異なりビューア機能が制限されます］固定型レイアウトはページを画像化した構造であるため、ページの拡大縮小を除く機能は利用できません。また、モノクロ表示……続きを見る

全体像から基礎的なしくみや新しい技術まですべて図解 確かな知識がつく「使える教科書」 【本書のポイント】 ・解説とイラストがセットで理解しやすい ・「5Gを支える技術」の役割がわかる！ ・考え方から技術、……続きを見る

UPPAALは，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質……続きを見る

本書はRaspberry Piを使い、FM波やradiko等を再生するための環境構築マニュアルの最新改訂版です。ラジオの聴取はもちろん、USBドライブからのメディア再生、ブラウザやリモコンからのコマンド実行、Googleスプレ……続きを見る

【あなたのラズパイ、余らせてませんか？もっと活用できます！】 本書はRaspberry PiをつかってFMやインターネットラジオを聞くための環境構築マニュアルです。ラジオの聴取はもちろん、USBドライブからのメディア……続きを見る