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

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

種類:
図書
責任表示:
Peter E. Lauer (ed.)
出版情報:
Berlin ; New York : Springer-Verlag, c1993
著者名:
Lauer, Peter E <DA07050437>  
シリーズ名:
Lecture notes in computer science ; 693 <BA00009279>
ISBN:
9783540568834 [3540568832] (: gw)  CiNii Books  Calil
9780387568836 [0387568832] (: us)  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
edited by Peter E. Lauer , Springer-Verlag , 1993

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada

Lauer, Peter E., SpringerLink (Online service)

Springer-Verlag
7 図書 Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Maher, Michael, 1959-

MIT Press
2 電子ブック Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Lauer, Peter E., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Logic programming : proceedings of the eleventh International Conference on Logic Programming

Van Hentenryck, Pascal, International Conference on Logic Programming (11th)

MIT Press
3 図書 Concurrent programming

Snow, C. R.

Cambridge University Press
9 図書 Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, …

Asian Computing Science Conference, Jaffar, Joxan, Yap, Roland H.C.

Springer
4 図書 LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING

<ED. BY> HUET, GERARD

ADDISON-WESLEY PUB.
10 図書 Logic programming : proceedings of the 1995 International Symposium

Lloyd, J. W. (John Wylie), 1947-

MIT Press
5 図書 Deduction and declarative programming

Padawitz, Peter, 1953-

Cambridge University Press
11 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

LPAR, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
6 図書 Functional programming, Glasgow 1991 : proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991

Glasgow Workshop on Functional Programming, Heldal, Rogardt, 1964-, Holst, Carsten Kehler, 1962-, Wadler, Philip, 1956-, &hellip;

Springer-Verlag in collaboration with the British Computer Society
12 電子ブック Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Voronkov, Andrei, SpringerLink (Online service)

Springer-Verlag