Blank Cover Image
タイトル、所在を表示します

Computer programming and formal systems

フォーマット:
図書
責任表示:
edited by P. Braffort and D. Hirschberg
言語:
英語
出版情報:
Amsterdam : North-Holland Publishing, 1963
形態:
vi, 161 p. ; 22 cm
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
書誌ID:
BA2585818X
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Mathematical logic in computer science

Dömölki, B., Gergely, T. (Tamás), Colloquium on Mathematical Logic in Computer Science, Bolyai János Matematikai &hellip;

North-Holland Pub. Co.
7 図書 The endocrine system

Lewis, Paul David

Churchill Livingstone
2 図書 Robot manipulators : mathematics, programming, and control : the computer control of robot manipulators

Paul, Richard P.

MIT Press
8 図書 Design of modern control systems

Bell, D. J. (David John), 1913-, Cook, P. A. (Peter A.), Munro, N., Institution of Electrical Engineers

Peter Peregrinus
3 図書 Darwinism, war and history : the debate over the biology of war from the 'Origin of species' to the First World War

Crook, D. P. (David Paul)

Cambridge University Press
9 図書 Elements of computer security

Salomon, D. (David), 1938-

Springer
4 図書 Computer programming in BASIC

Myers, David L.

Houghton Mifflin
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 図書 A formal model of visualization in computer graphics systems

小野寺, 民也(1959-), 川合, 慧(1944-)

Springer-Verlag
11 図書 Systems programming : concepts of operating and data base systems

Hsiao, David K., 1933-

Addison-Wesley Pub. Co.
6 図書 Fundamental concepts of programming systems

Ullman, Jeffrey D., 1942-

Addison-Wesley
12 図書 C programming for engineering and computer science

Tan, H. H., D'Orazio, T. B.

WCR/McGraw-Hill