Blank Cover Image
所蔵情報QRコード

Computer programming and formal systems / edited by P. Braffort and D. Hirschberg

資料種別:
図書
出版情報:
Amsterdam ; London : North-Holland Pub. Co., 1970
形態:
vi, 161 p. ; 23 cm
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
著者名:
書誌ID:
BA0232268X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻
Computer programming and formal systems
edited by P. Braffort and D. Hirschberg , North-Holland Pub. Co. , 1963

類似資料:

1 図書 Computer programming and formal systems

Braffort, P. (Paul), Hirschberg, D. (David)

North-Holland Pub. Co.
7 図書 Formal description of programming concepts (gw ; us)

Neuhold, Erich J., 1940-, Paul, Manfred, 1932-, Apt, Krzysztof R., 1949-, IFIP Working Group 2.2

Springer-Verlag
2 図書 Computer programming: techniques, analysis, and mathematics

Andree, Richard Vernon, 1919-, Andree, Josephine P., Andree, David D.

Prentice-Hall
8 図書 Chemisorption systems (pt. A ; pt. B)

King, D. A. (David Anthony), 1939-, Woodruff, D. P.

Elsevier
3 図書 Digital computer programs for physical chemistry (v. 1)

De Maine, Paul A. D., Seawright, Robert D.

Macmillan
9 図書 Health, culture, and community : case studies of public reactions to health programs

Paul, Benjamin D. (Benjamin David), 1911-, Miller, Walter B.

Russell Sage Foundation
4 図書 Robot manipulators : mathematics, programming, and control : the computer control of robot manipulators

Paul, Richard P.

MIT Press
10 図書 Gesture-based communication in human-computer interaction : International Gesture Workshop, GW '99, Gif-sur-Yvette, France, March 17-19, 1999 : proceedings

International Gesture Workshop, Braffort, Annelies

Springer
5 図書 Computer programs for experiments in physical chemistry

Shoemaker, David P., Garland, Carl W.

McGraw-Hill
11 電子ブック Descriptional Complexity of Formal Systems

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
6 図書 Heuristic programming in artificial intelligence : the first computer olympiad (: Ellis Horwood Ltd. ; : Halsted Press)

Levy, David N. L., Beal, D. F.

Ellis Horwood, Halsted Press
12 電子ブック Formal Techniques for Distributed Systems

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12