FME 2003: Formal Methods | 金沢大学附属図書館 OPAC plus

>> Google Books

FME 2003: Formal Methods

フォーマット:: 電子ブック
責任表示:: Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan
言語:: 英語
出版情報:: Springer Berlin Heidelberg, 2003
著者名:: Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan
ISBN:: 9783540408284 [3540408282]
9783540452362 [3540452362]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	INTERNATIONAL SYMPOSIUM OF FORMAL METHODS EUROPE. PISA ITALY, SEPTEMBER 8-14, 2003, PROCEEDINGS FME 2003
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000212168
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Methods for Software Architectures Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Bernardo, Marco, Inverardi, Paola Springer Berlin Heidelberg	7 電子ブック E-Commerce and Web Technologies Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg
2 電子ブック Formal Methods at the Crossroads. From Panacea to Foundational Support Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Aichernig, Bernhard K., Maibaum, Thomas S. E., International … Springer Berlin Heidelberg	8 電子ブック Electronic Government Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg
3 電子ブック Machine Learning: ECML 2003 Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan; Blockeel, Hendrick Springer Berlin Heidelberg	9 電子ブック Knowledge-Based Intelligent Information and Engineering Systems Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg
4 電子ブック On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Meersman, R., Tari, Zahir Springer Berlin Heidelberg	10 電子ブック Empirical Methods and Studies in Software Engineering Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Conradi, Reidar, Wang, Alf Inge, ESERNET. Springer Berlin Heidelberg
5 電子ブック Multiple Approaches to Intelligent Systems Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg	11 電子ブック Communication in Multiagent Systems Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Huget, Marc-Philippe Springer Berlin Heidelberg
6 電子ブック Discrete and Computational Geometry Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg	12 電子ブック State of the Art in Applied Cryptography Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Preneel, Bart, Rijmen, Vincent Springer Berlin Heidelberg