>> Amazon.co.jp
このページのQRコード

A Systematic Catalogue of Reusable Abstract Data Types

種類:
電子ブック
責任表示:
by Jürgen Uhl, Hans Albrecht Schmid
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1990
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 460
ISBN:
9783540467779 [3540467777]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/BFb0016877
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック A Systematic Catalogue of Reusable Abstract Data Types

Uhl, Jürgen., Schmid, Hans A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September …

Haveraaen, Magne, Owe, Olaf, Dahl, Ole-Johan, SpringerLink (Online service)

Springer-Verlag
2 図書 A systematic catalogue of reusable abstract data types

Uhl, Jürgen, 1956-, Schmid, Hans Albrecht, 1944-

Springer-Verlag
8 電子ブック Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings

Ehrig, H., Jantke, K. P., Orejas, F., Reichel, H., SpringerLink (Online service)

Springer-Verlag
3 電子ブック Paragon : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types

Sherman, Mark Steven, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Recent Trends in Data Type Specification : 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Sannella, D., Tarlecki, A., SpringerLink (Online service)

Springer-Verlag
4 電子ブック 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
10 電子ブック Parallel Computation : First International ACPC Conference Salzburg, Austria, September 30 – October 2, 1991 Proceedings

Zima, Hans P., SpringerLink (Online service)

Springer-Verlag
5 電子ブック 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
11 電子ブック Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May …

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation

Mulkers, Anne, SpringerLink (Online service)

Springer-Verlag