Automated database applications testing : specification representation for automated reasoning | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Automated database applications testing : specification representation for automated reasoning / Rana Farid Mikhail, Donald Berndt, Abraham Kandel

資料種別:

図書

出版情報:

Singapore : World Scientific, c2010

形態:

xiv, 195 p. ; 24 cm

シリーズ名:

Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang ; v. 76 <BA17261443>

著者名:

ISBN:

9789812837288 [9812837280]

書誌ID:

BB0225647X

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	データ処理．情報処理
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Applications of databases : First International Conference, ADB-94, Vadstena, Sweden, June 21-23, 1994 : proceedings (: us ; : gw) International Conference on Applications of Databases, Litwin, W. (Witold), 1946-, Risch, Tore Springer-Verlag	7 図書 Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, MN ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Special Interest Group on Algorithms and … Association for Computing Machinery
2 図書 Fuzzy techniques in pattern recognition Kandel, Abraham Wiley	8 図書 Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC (:) ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Special Interest Group for Algorithms and … Association for Computing Machinery
3 図書 Fuzzy switching and automata : theory and applications Kandel, Abraham, Lee, Samuel C., 1937- Crane Russak	9 図書 Automated reasoning : introduction and applications (pbk.) Wos, Larry, 1930- Prentice-Hall
4 図書 Management of heterogeneous and autonomous database systems Elmagarmid, Ahmed K., Rusinkiewicz, Marek, Sheth, Amit Morgan Kaufmann Publishers	10 図書 Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1997, Tucson, Arizona, May 12-14, 1997 ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Special Interest Group on Algorithms and … Association for Computing Machinery
5 図書 Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Special Interest Group for Automata and … Association for Computing Machinery	11 図書 Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1996, Montreal, Canada, June 3-5, 1996 ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Special Interest Group on Algorithms and … Association for Computing Machinery
6 図書 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems Association for Computing Machinery	12 図書 Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1995, San Jose, California, May 22-25, 1995 ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Special Interest Group for Algorithms and … Association for Computing Machinery

1

2

3

4

5

6

7

8

9

10

11

12