メインコンテンツに移動

このページのQRコード

Information theory and applications II : 4th Canadian workshop, Lac Delage, Québec, Canada, May 28-30, 1995 : selected papers

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver (eds.)
出版情報
  • Berlin : Springer , c1996
形態
  • xii, 308 p.  :  ill.  ;  24 cm
ISBN
  • 9783540617488 [3540617485]
シリーズ名
著者名
書誌ID
  • BA28544803
注記
  • Includes bibliographical references and index
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：Q350
  • DCC：003/.54
  • LCSH：Information theory--Congresses
  • LCSH：Coding theory--Congresses
  • LCSH：Cryptography--Congresses
主題
タイトルが類似している資料
類似資料
図書

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

International Workshop on TYPES Barendregt, H. P. (Hendrik Pieter), 1947- Nipkow, Tobias, 1958-
Springer-Verlag, c1994
図書

Trends in natural language generation : an artificial intelligence perspective : Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993 : selected papers

European Natural Language Generation Workshop Adorni, Giovanni Zock, Michael
Springer, c1996
図書

Agent mediated electronic commerce : First International Workshop on Agent Mediated Electronic Trading, AMET-98, Minneapolis, MN, USA, May 10th, 1998 : selected papers

International Workshop on Agent-Mediated Electronic Trading Noriega, Pablo, 1953- Sierra, Carles, 1963- International Conference on Autonomous Agents
Springer, c1999
図書

Implementation of functional languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers

International Workshop on the Implementation of Functional Languages Mohnen, Markus, 1967- Koopman, Pieter
Springer, c2001
図書

Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

International Workshop on Logic Program Synthesis and Transformation Lau, K.-K. (Kung-Kiu), 1953-
Springer, c2001
図書

Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

International Workshop on TYPES Berardi, Stefano Coppo, Mario
Springer, c1996
図書

Implementation of functional languages : 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers

International Workshop on the Implementation of Functional Languages Hammond, Kevin Davie, A. J. T. (Antony J. T.), 1939- Clack, Chris
Springer, c1999
図書

Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers

International Joint Conference on Artificial Intelligence Martin, T. P., 1957- Ralescu, Anca L., 1949-
Springer, c1997
図書

Implementation of functional languages : 9th International Workshop, IFL '97 St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers

International Workshop on the Implementation of Functional Languages Clack, Chris Hammond, Kevin Davie, A. J. T. (Antony J. T.), 1939-
Springer, c1998
図書

Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers

International Workshop on the Implementation of Functional Languages Koopman, Pieter Clack, Chris
Springer, c2000
図書

Implementation of functional languages : 8th International Workshop, IFL '96 Bad Godesberg, Germany, September 16-18, 1996 : selected papers

International Workshop on the Implementation of Functional Languages Kluge, Werner
Springer, c1997
図書

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

International Workshop on Logic Program Synthesis and Transformation Bossi, Annalisa, 1948-
Springer, c2000
図書

Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994 : proceedings

International Workshop AII 有川, 節夫 Jantke, Klaus P. International Workshop on Algorithmic Learning Theory
Springer-Verlag, c1994
図書

Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998 : selected papers

International Workshop on Logic-Based Program Synthesis and Transformation Flener, Pierre, 1964-
Springer, c1999
図書

Public key cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001, Cheju Island, Korea, February 13-15, 2001 : proceedings

International Workshop on Practice and Theory in Public Key Cryptography Kim, Kwangjo
Springer, c2001
図書

Learning Classifier Systems : 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009 : revised selected papers

IWLCS Bacardit, Jaume
Springer, c2010
図書

Algorithm theory -- SWAT 2002 : 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 : proceedings

Scandinavian Workshop on Algorithm Theory Penttonen, Martti, 1948- Schmidt, E. M. (Erik Meineche), 1945-
Springer, c2002
図書

Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

International Workshop on TYPES Coquand, Thierry, 1961-
Springer, c2000
図書

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers

International Workshop on TYPES Dybjer, Peter Nordström, Bengt Smith, Jan M
Springer-Verlag, c1995
図書

Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings

International Workshop on Logic Program Synthesis and Transformation Gallagher, John P.
Springer, c1997