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

Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings

種類:
図書
責任表示:
Aart Middeldorp, Taisuke Sato (eds.)
出版情報:
Berlin : Springer, c1999
著者名:
シリーズ名:
Lecture notes in computer science ; 1722 <BA00009279>
ISBN:
9783540666776 [354066677X]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

FLOPS, Hu, henjiang,, Rodríguez Artalejo, M. (Mario)

Springer
7 図書 Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, Le Métayer, D. (Daniel), European Conferences on Theory and Practice of Software

Springer
2 図書 Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

International Workshops on Computer Science Logic, Conference of European Association for Computer Science Logic, Flum, &hellip;

Springer
8 図書 Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

VMCAI, Zuck, Lenore D., Attie, Paul C., Cortesi, Agostino, Mukhopadhyay, Supratik

Springer
3 図書 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

SAS, Cortesi, Agostino, Filé, Gilberto

Springer
9 図書 High performance computing - HiPC '99 : 6th International Conference, Calcutta, India, December 17-20, 1999 : proceedings

International Conference on High Performance Computing, Banerjee, Prithviraj, Prasanna Kumar, V. K., Sinha, Bhabani P.

Springer
4 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves

Springer
10 図書 CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings

International Conference on Concurrency Theory, Baeten, Jos C.M., Mauw, Sjouke

Springer
5 図書 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles

Springer
11 図書 Advances in cryptology - ASIACRYPT '99 : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November …

International Conference on the Theory and Application of Cryptology, Lam, Kwok Yan, 1966-, 岡本, 栄司, Xing, Chaoping

Springer
6 図書 Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael

Springer
12 図書 Advances in cryptology, CRYPTO '99 : 19th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 1999 : proceedings

CRYPTO, Wiener, Michael

Springer