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

Computing in systems described by equations

種類:
図書
責任表示:
Michael J. O'Donnell
出版情報:
Berlin ; New York : Springer-Verlag, 1977
著者名:
O'Donnell, Michael J., 1952- <DA00027925>  
シリーズ名:
Lecture notes in computer science ; 58 <BA00009279>
ISBN:
9783540085317 [3540085319] (: gw)  CiNii Books  Calil
9780387085319 [0387085319] (: us)  CiNii Books  Calil
注記:
Bibliography: p. [109]-111
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Computing in systems described by equations

O'Donnell, Michael J., SpringerLink (Online service)

Springer-Verlag
7 電子ブック Constructivity in Computer Science : Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding

Myers, J. Paul, O'Donnell, Michael J., SpringerLink (Online service)

Springer-Verlag
2 電子ブック Computing in Systems Described by Equations

O'Donnell, M.J., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 The Design of interpreters, compilers, and editors for augmented transition networks

Bolc, Leonard, 1934-

Springer-Verlag
3 図書 Equational logic as a programming language

O'Donnell, Michael J.

MIT Press
9 図書 Vorlesungen über algebra

Bieberbach, Ludwig

B. G. Teubner
4 電子ブック Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic …

AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and &hellip;

American Mathematical Society
10 電子ブック Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

Myers, J.Paul Jr., O'Donnell, Michael J., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings

Myers, J. P. (J. Paul), 1946-, O'Donnell, Michael J., 1952-

Springer-Verlag
11 図書 Discrete mathematics using a computer

Hall, Cordelia, 1955-, O'Donnell, John, 1952-

Springer
6 図書 Pathology of systems

McGee, J. O'D. (James O'Donnell), Isaacson, Peter G., Wright, Nicholas A.

Oxford University Press
12 図書 Computing

Coffman, E. G. (Edward Grady), 1934-, Lenstra, J. K., 1947-, Rinnooy Kan, A. H. G., 1949-

North-Holland