メインコンテンツに移動

このページのQRコード

Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings

書誌情報を取り込む
フォーマット
  • 図書
責任表示
J. Hughes, (ed.)
出版情報
  • Berlin ; New York : Springer-Verlag , c1991
形態
  • viii, 666 p.  :  ill.  ;  24 cm
ISBN
  • 9783540543961 [3540543961] (: gw)
  • 9780387543963 [0387543961] (: us)
シリーズ名
著者名
書誌ID
  • BA12762099
注記
  • "Proceedings of the fifth conference on Functional Programming Languages and Computer Architecture, ..."--Foreword
  • Includes bibliographies
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA76.7
  • DCC：005.1
  • DCC：005.13
  • NDC8：007.64
  • LCSH：Functional programming languages--Congresses
  • LCSH：Computer architecture--Congresses
  • NDLSH：プログラミング用言語
主題
タイトルが類似している資料
類似資料
図書

Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985

Jouannaud, Jean-Pierre Conference on Functional Programming Languages and Computer Architecture
Springer-Verlag, c1985
図書

Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings

International Colloquium on Automata, Languages and Programming Leach Albert, Javier Monien, Burkhard Rodriguez-Artalejo, M. European Association for Theoretical Computer Science
Springer-Verlag, c1991
図書

Advanced functional programming : Second International School, Olympia, WA, USA, August 26-30, 1996 : tutorial text

International Spring School on Advanced Functional Programming Techniques Launchbury, John Meijer, Erik, 1963- Sheard, T. (Tim)
Springer, c1996
図書

Automata, languages and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings

Paterson, Michael S., 1942- International Colloquium on Automata, Languages and Programming European Association for Theoretical Computer Science
Springer-Verlag, c1990
図書

Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings

International Colloquium on Automata, Languages and Programming Kuich, Werner, 1941- European Association for Theoretical Computer Science
Springer-Verlag, c1992
図書

Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986

Symposium on Logic in Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing ACM Special Interest Group for Automata and Computability Theory Association for Symbolic Logic European Association for Theoretical Computer Science
IEEE Computer Society Press Order from IEEE Computer Society, c1986
図書

The 11th Annual International Symposium on Computer Architecture, June 5-7, 1984, Ann Arbor, Michigan : conference proceedings

International Symposium on Computer Architecture IEEE Computer Society Association for Computing Machinery
Institute of Electrical and Electronics Engineers, c1984
図書

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

FLOPS Kuchen, Herbert R., 1958- 上田, 和紀(1956-)
Springer, c2001
図書

Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing : Berkeley, California, May 28-30, 1986

ACM Symposium on Theory of Computing ACM Special Interest Group for Automata and Computability Theory
Association for Computing Machinery Additional copies may be orderd from ACM Order Dept., c1986
図書

Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings

International Colloquium on Automata, Languages and Programming Montanari, U. (Ugo) Rolim, José D. P. Welzl, Emo
Springer, c2000
図書

Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings

International Colloquium on Automata, Languages and Programming Orejas, Fernando Spirakis, P. G. (Paul G.), 1955- Leeuwen, Jan van
Springer, c2001
図書

Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings

International Colloquium on Automata, Languages and Programming Ottmann, Thomas
Springer-Verlag, c1987
図書

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

International Conference on the Mathematics of Program Construction Backhouse, Roland C., 1948- Oliveira, José N.
Springer, c2000
図書

Computer-aided transit scheduling : proceedings, Cambridge, MA, USA, August 1997

International Workshop on Computer-aided Scheduling of Public Transport Wilson, Nigel H. M.
Springer, c1999
図書

Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic European Association for Computer Science Logic Clote, Peter Schwichtenberg, Helmut, 1942-
Springer, c2000
図書

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
図書

Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

Logic Programming Conference 新世代コンピュータ技術開発機構 和田, 英一(1931-)
Springer-Verlag, c1987
図書

Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings

International Symposium, PLILP Glaser, Hugh Hartel, Pieter H. Kuchen, Herbert R., 1958-
Springer, c1997
図書

Computing and combinatorics : 5th Annual International Conference, COCOON '99, Tokyo, Japan, July 26-28, 1999 : proceedings

International Computing and Combinatorics Conference 浅野, 孝夫(1949-)
Springer, c1999
図書

Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, New York City, May 25-27, 1987

ACM Symposium on Theory of Computing ACM Special Interest Group for Automata and Computability Theory
ACM, c1987