Algebraic system specification and development : A survey and annotated bibliography

>> Amazon.co.jp

このページのQRコード

Algebraic system specification and development : A survey and annotated bibliography

種類:

電子ブック

責任表示:

edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1991

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 501

ISBN:

9783540473824 [3540473823]

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)

オンライン

http://dx.doi.org/10.1007/BFb0018512

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer Science; Computer Systems Organization and Communication Networks
分類・件名:	LCSH : Computer science LCSH : Computer network architectures FREE : Computer Science FREE : Computer Systems Organization and Communication Networks
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006136

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Algebraic System Specification and Development : A Survey and Annotated Bibliography Bidoit, Michel., Kreowski, Hans-Jörg., Lescanne, Pierre., Orejas, Fernando., Sannella, Donald., SpringerLink (Online … Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Future Tendencies in Computer Science, Control and Applied Mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA Paris, … Bensoussan, A., Verjus, J. -P, SpringerLink (Online service) Springer-Verlag
2 図書 Algebraic system specification and development : a survey and annotated bibliography Bidoit, M. (Michel), 1957- Springer-Verlag	8 電子ブック High-Performance Computing and Networking : International Conference and Exhibition Milan, Italy, May 3–5, 1995 Proceedings Hertzberger, Bob, Serazzi, Giuseppe, SpringerLink (Online service) Springer-Verlag
3 電子ブック Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26–29 1996 Proceedings, Volume I Bougé, Luc, Fraigniaud, Pierre, Mignotte, Anne, Robert, Yves, SpringerLink (Online service) Springer-Verlag	9 電子ブック Foundations of Algebraic Specification and Formal Software Development Sannella, Donald., Tarlecki, Andrzej., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
4 電子ブック Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II Bougé, Luc, Fraigniaud, Pierre, Mignotte, Anne, Robert, Yves, SpringerLink (Online service) Springer-Verlag	10 電子ブック Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, … Ehrig, Hartmut, Orejas, Fernando, SpringerLink (Online service) Springer-Verlag
5 電子ブック Dynamics On and Of Complex Networks, Volume 2 : Applications to Time-Varying Dynamical Systems Mukherjee, Animesh, Choudhury, Monojit, Peruani, Fernando, Ganguly, Niloy, Mitra, Bivas, SpringerLink (Online service) Springer New York : Imprint: Birkhäuser	11 電子ブック Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August … Bidoit, Michel, Choppy, Christine, SpringerLink (Online service) Springer-Verlag
6 電子ブック Instruction Sequences for Computer Science Bergstra, Jan A., Middelburg, Cornelis A., SpringerLink (Online service) Atlantis Press	12 電子ブック Graphs, Dioids and Semirings : New Models and Algorithms Gondran, Michel, Minoux, Michel, SpringerLink (Online service) Springer Science+Business Media, LLC