G
o
o
g
l
e
×
Please click
here
if you are not redirected within a few seconds.
All
Images
Books
Shopping
Maps
Videos
News
Search tools
Any view
Any view
Preview and full view
Full view
Any document
Any document
Books
Magazines
Newspapers
実践プログラミングDSL: ドメイン特化言語の設計と実装のノウハウ
books.google.com › books
ドメイン知識の抽出から、言語固有の機能の使いこなしまで、複雑な業務ドメインに立ち向かう技法のすべてがここにある。
Journal of the Faculty of Engineering, University of Tokyo: ...
books.google.com › books
... 設計支援は,論理設計段階における検証及び合成を計算機を用いて支援するものである。時相論理に基づく論理設計支援を考えており,時相論理に基づくハードウェア記述言語 ... 構文解析の終わった状態から,いかに隠喩を検出するかを研究している。その方法として, ...
Swift実践入門: 直感的な文法と安全性を兼ね備えた言語
books.google.com › books
先進的な機能を駆使した簡潔でバグのないコード。Xcodeで動かしながら学ぶ基本、設計指針、実装パターン。
On Lisp
books.google.com › books
Lispは近年、強力で実用的なプログラミング言語として見直されている。本書の原書である"On Lisp ...
独習Python
books.google.com › books
手を動かしておぼえるPythonプログラミング ――独学に最適な“標準教科書” プログラミングの初学者に向けた独習シリーズに『独習Python』が新登場。 ...
SPIN モデル検査: 検証モデリング技法
books.google.com › books
SPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍 ◆SPINとは? 社会の様々なところにソフトウェアが組み込まれ、その規模が飛躍的に大きくなってきて ...
プログラミング言語C 第2版: ANSI規格準拠
books.google.com › books
1988年末に提出された、アメリカのANSI標準規格により定義されたCについて述べる。尚本書は第2版の訳書として1989年に出されたものの訂正版。 ...
Rubyソースコード完全解説
books.google.com › books
Rubyとはまつもとゆきひろ氏の手によって開発されたオブジェクト指向言語である。rubyはそのRuby言語の公式実装であり、コミュニティベースで活発に開発が進められている。その ...
統計的自然言語処理の基礎
books.google.com › books
統計的自然言語処理について基礎となる統計学、情報理論、言語学から、中心的な問題や応用まで丁寧に積み上げた解説がされている。
組込みソフトウェア開発のためのオブジェクト指向モデリング: ...
books.google.com › books
オブジェクト指向開発でソフトウェアの大規模化・複雑化に打ち勝つ!厳しい要求に対応する組込みエンジニア必読の書。