Slide
Show JP
☰
探索
サインイン
サインアップ
アップロード
×
抽象化を用いた検証ツールの調査
抽象化の原則 (The Abstraction Principle)
抽象化に基づくリモートコンポーネントベースシステムの複雑度測定
抽象化に基づいた UML設計の検証支援ツールの開発
抽象化による大規模システムの検証と解析
抽象化には非常に実用的な意義がある
抽象化するバイオテクノロジーと特許制度のあり方(3・完)
抽象化するバイオテクノロジーと特許制度のあり方(2)
抽象化するバイオテクノロジーと特許制度のあり方(1)
抽象化 abstraction Short Quiz
抽象化
抽象到達可能性検査のPriced Timed Automatonへの応用
抽象凸構造と一般双対構造ならびに不動点定理
抽象代数学の基礎
抽象代数の歴史
抽象モデル検査のための グラフ探索アルゴリズムの 形式化と検証
抽象モデル検査による並列ごみ集めの検証
抽象フォームを用いたエンドユーザ主導の要求定義法
抽象データ型の概念、およびリスト、スタック、キューなどの基本的なデータ
抽象データ型とクラス（4）
抽象データ型
«
prev
1 ...
35615
35616
35617
35618
35619
35620
35621
35622
35623
... 101216
»
next
